MICROSOFT.NETAPP

Suggest Edits
docs.microsoft.com
Azure documentation

AccountBackups_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AccountBackups_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AccountBackups_ListByNetAppAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.Qs.includeOnlyBackupsFromDeletedVolumes == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_accountEncryptionKeySource := [ "Microsoft.NetApp", "Microsoft.KeyVault" ]

valid {
    input.Body.properties.activeDirectories[_].activeDirectoryId == STRING
    input.Body.properties.activeDirectories[_].username == STRING
    input.Body.properties.activeDirectories[_].password == STRING
    input.Body.properties.activeDirectories[_].domain == STRING
    input.Body.properties.activeDirectories[_].dns == STRING
    input.Body.properties.activeDirectories[_].smbServerName == STRING
    input.Body.properties.activeDirectories[_].organizationalUnit == STRING
    input.Body.properties.activeDirectories[_].site == STRING
    input.Body.properties.activeDirectories[_].backupOperators[_] == STRING
    input.Body.properties.activeDirectories[_].administrators[_] == STRING
    input.Body.properties.activeDirectories[_].kdcIP == STRING
    input.Body.properties.activeDirectories[_].adName == STRING
    input.Body.properties.activeDirectories[_].serverRootCACertificate == STRING
    input.Body.properties.activeDirectories[_].aesEncryption == BOOLEAN
    input.Body.properties.activeDirectories[_].ldapSigning == BOOLEAN
    input.Body.properties.activeDirectories[_].securityOperators[_] == STRING
    input.Body.properties.activeDirectories[_].ldapOverTLS == BOOLEAN
    input.Body.properties.activeDirectories[_].allowLocalNfsUsersWithLdap == BOOLEAN
    input.Body.properties.activeDirectories[_].encryptDCConnections == BOOLEAN
    input.Body.properties.activeDirectories[_].ldapSearchScope.userDN == STRING
    input.Body.properties.activeDirectories[_].ldapSearchScope.groupDN == STRING
    input.Body.properties.activeDirectories[_].ldapSearchScope.groupMembershipFilter == STRING
    input.Body.properties.activeDirectories[_].preferredServersForLdapClient == STRING
    input.Body.properties.encryption.keySource == enum_accountEncryptionKeySource[_]
    input.Body.properties.encryption.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVaultResourceId == STRING
    input.Body.properties.encryption.identity.userAssignedIdentity == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_ListBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Accounts_MigrateEncryptionKey

valid {
    input.Body.virtualNetworkId == STRING
    input.Body.privateEndpointId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_RenewCredentials

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_accountEncryptionKeySource := [ "Microsoft.NetApp", "Microsoft.KeyVault" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.activeDirectories[_].activeDirectoryId == STRING
    input.Body.properties.activeDirectories[_].username == STRING
    input.Body.properties.activeDirectories[_].password == STRING
    input.Body.properties.activeDirectories[_].domain == STRING
    input.Body.properties.activeDirectories[_].dns == STRING
    input.Body.properties.activeDirectories[_].smbServerName == STRING
    input.Body.properties.activeDirectories[_].organizationalUnit == STRING
    input.Body.properties.activeDirectories[_].site == STRING
    input.Body.properties.activeDirectories[_].backupOperators[_] == STRING
    input.Body.properties.activeDirectories[_].administrators[_] == STRING
    input.Body.properties.activeDirectories[_].kdcIP == STRING
    input.Body.properties.activeDirectories[_].adName == STRING
    input.Body.properties.activeDirectories[_].serverRootCACertificate == STRING
    input.Body.properties.activeDirectories[_].aesEncryption == BOOLEAN
    input.Body.properties.activeDirectories[_].ldapSigning == BOOLEAN
    input.Body.properties.activeDirectories[_].securityOperators[_] == STRING
    input.Body.properties.activeDirectories[_].ldapOverTLS == BOOLEAN
    input.Body.properties.activeDirectories[_].allowLocalNfsUsersWithLdap == BOOLEAN
    input.Body.properties.activeDirectories[_].encryptDCConnections == BOOLEAN
    input.Body.properties.activeDirectories[_].ldapSearchScope.userDN == STRING
    input.Body.properties.activeDirectories[_].ldapSearchScope.groupDN == STRING
    input.Body.properties.activeDirectories[_].ldapSearchScope.groupMembershipFilter == STRING
    input.Body.properties.activeDirectories[_].preferredServersForLdapClient == STRING
    input.Body.properties.encryption.keySource == enum_accountEncryptionKeySource[_]
    input.Body.properties.encryption.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVaultResourceId == STRING
    input.Body.properties.encryption.identity.userAssignedIdentity == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_Create

valid {
    input.Body.properties.dailyBackupsToKeep == INTEGER
    input.Body.properties.weeklyBackupsToKeep == INTEGER
    input.Body.properties.monthlyBackupsToKeep == INTEGER
    input.Body.properties.enabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_Update

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.dailyBackupsToKeep == INTEGER
    input.Body.properties.weeklyBackupsToKeep == INTEGER
    input.Body.properties.monthlyBackupsToKeep == INTEGER
    input.Body.properties.enabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupVaults_CreateOrUpdate

valid {
    input.Body.properties == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupVaults_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupVaults_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupVaults_ListByNetAppAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupVaults_Update

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupsUnderAccount_MigrateBackups

valid {
    input.Body.backupVaultId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupsUnderBackupVault_RestoreFiles

valid {
    input.Body.fileList[_] == STRING
    input.Body.restoreFilePath == STRING
    input.Body.destinationVolumeId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupsUnderVolume_MigrateBackups

valid {
    input.Body.backupVaultId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_Create

valid {
    input.Body.properties.label == STRING
    input.Body.properties.volumeResourceId == STRING
    input.Body.properties.useExistingSnapshot == BOOLEAN
    input.Body.properties.snapshotName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_GetLatestStatus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_GetStatus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_GetVolumeLatestRestoreStatus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_GetVolumeRestoreStatus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_ListByVault

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_RestoreFiles

valid {
    input.Body.fileList[_] == STRING
    input.Body.restoreFilePath == STRING
    input.Body.destinationVolumeId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_Update

valid {
    input.Body.properties.label == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.backupVaultName == STRING
    input.ReqMap.backupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MountTargets_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetAppResourceQuotaLimits_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.quotaLimitName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResourceQuotaLimits_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResourceRegionInfos_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResourceRegionInfos_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResource_CheckFilePathAvailability

valid {
    input.Body.name == STRING
    input.Body.subnetId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResource_CheckNameAvailability

enum_ResourceNameAvailabilityRequestType := [ "Microsoft.NetApp/netAppAccounts", "Microsoft.NetApp/netAppAccounts/capacityPools", "Microsoft.NetApp/netAppAccounts/capacityPools/volumes", "Microsoft.NetApp/netAppAccounts/capacityPools/volumes/snapshots" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_ResourceNameAvailabilityRequestType[_]
    input.Body.resourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResource_CheckQuotaAvailability

enum_QuotaAvailabilityRequestType := [ "Microsoft.NetApp/netAppAccounts", "Microsoft.NetApp/netAppAccounts/capacityPools", "Microsoft.NetApp/netAppAccounts/capacityPools/volumes", "Microsoft.NetApp/netAppAccounts/capacityPools/volumes/snapshots" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_QuotaAvailabilityRequestType[_]
    input.Body.resourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResource_QueryNetworkSiblingSet

valid {
    input.Body.networkSiblingSetId == STRING
    input.Body.subnetId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResource_QueryRegionInfo

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

NetAppResource_UpdateNetworkSiblingSet

enum_networkFeatures := [ "Basic", "Standard", "Basic_Standard", "Standard_Basic" ]

valid {
    input.Body.networkSiblingSetId == STRING
    input.Body.subnetId == STRING
    input.Body.networkSiblingSetStateId == STRING
    input.Body.networkFeatures == enum_networkFeatures[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Operations_List

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Pools_CreateOrUpdate

enum_poolPropertiesEncryptionType := [ "Single", "Double" ]
enum_poolPropertiesQosType := [ "Auto", "Manual" ]
enum_serviceLevel := [ "Standard", "Premium", "Ultra", "StandardZRS" ]

valid {
    input.Body.properties.size == INTEGER
    input.Body.properties.serviceLevel == enum_serviceLevel[_]
    input.Body.properties.qosType == enum_poolPropertiesQosType[_]
    input.Body.properties.coolAccess == BOOLEAN
    input.Body.properties.encryptionType == enum_poolPropertiesEncryptionType[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Pools_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Pools_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Pools_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Pools_Update

enum_poolPatchPropertiesQosType := [ "Auto", "Manual" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.size == INTEGER
    input.Body.properties.qosType == enum_poolPatchPropertiesQosType[_]
    input.Body.properties.coolAccess == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SnapshotPolicies_Create

valid {
    input.Body.properties.hourlySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.hourlySchedule.minute == INTEGER
    input.Body.properties.hourlySchedule.usedBytes == INTEGER
    input.Body.properties.dailySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.dailySchedule.hour == INTEGER
    input.Body.properties.dailySchedule.minute == INTEGER
    input.Body.properties.dailySchedule.usedBytes == INTEGER
    input.Body.properties.weeklySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.weeklySchedule.day == STRING
    input.Body.properties.weeklySchedule.hour == INTEGER
    input.Body.properties.weeklySchedule.minute == INTEGER
    input.Body.properties.weeklySchedule.usedBytes == INTEGER
    input.Body.properties.monthlySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.monthlySchedule.daysOfMonth == STRING
    input.Body.properties.monthlySchedule.hour == INTEGER
    input.Body.properties.monthlySchedule.minute == INTEGER
    input.Body.properties.monthlySchedule.usedBytes == INTEGER
    input.Body.properties.enabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.snapshotPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SnapshotPolicies_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.snapshotPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SnapshotPolicies_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.snapshotPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SnapshotPolicies_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SnapshotPolicies_ListVolumes

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.snapshotPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SnapshotPolicies_Update

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.hourlySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.hourlySchedule.minute == INTEGER
    input.Body.properties.hourlySchedule.usedBytes == INTEGER
    input.Body.properties.dailySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.dailySchedule.hour == INTEGER
    input.Body.properties.dailySchedule.minute == INTEGER
    input.Body.properties.dailySchedule.usedBytes == INTEGER
    input.Body.properties.weeklySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.weeklySchedule.day == STRING
    input.Body.properties.weeklySchedule.hour == INTEGER
    input.Body.properties.weeklySchedule.minute == INTEGER
    input.Body.properties.weeklySchedule.usedBytes == INTEGER
    input.Body.properties.monthlySchedule.snapshotsToKeep == INTEGER
    input.Body.properties.monthlySchedule.daysOfMonth == STRING
    input.Body.properties.monthlySchedule.hour == INTEGER
    input.Body.properties.monthlySchedule.minute == INTEGER
    input.Body.properties.monthlySchedule.usedBytes == INTEGER
    input.Body.properties.enabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.snapshotPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Snapshots_Create

valid {
    input.Body.location == STRING
    input.Body.properties == {}
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.snapshotName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Snapshots_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.snapshotName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Snapshots_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.snapshotName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Snapshots_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Snapshots_RestoreFiles

valid {
    input.Body.filePaths[_] == STRING
    input.Body.destinationPath == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.snapshotName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Snapshots_Update

valid {
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.snapshotName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Subvolumes_Create

valid {
    input.Body.properties.path == STRING
    input.Body.properties.size == INTEGER
    input.Body.properties.parentPath == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.subvolumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Subvolumes_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.subvolumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Subvolumes_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.subvolumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Subvolumes_GetMetadata

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.subvolumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Subvolumes_ListByVolume

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Subvolumes_Update

valid {
    input.Body.properties.size == INTEGER
    input.Body.properties.path == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.subvolumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Vaults_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeGroups_Create

enum_coolAccessRetrievalPolicy := [ "Default", "OnRead", "Never" ]
enum_exportPolicyRuleChownMode := [ "Restricted", "Unrestricted" ]
enum_networkFeatures := [ "Basic", "Standard", "Basic_Standard", "Standard_Basic" ]
enum_replicationObjectEndpointType := [ "src", "dst" ]
enum_replicationObjectReplicationSchedule := [ "_10minutely", "hourly", "daily" ]
enum_serviceLevel := [ "Standard", "Premium", "Ultra", "StandardZRS" ]
enum_smbAccessBasedEnumeration := [ "Disabled", "Enabled" ]
enum_smbNonBrowsable := [ "Disabled", "Enabled" ]
enum_volumeGroupMetaDataApplicationType := [ "SAP-HANA", "ORACLE" ]
enum_volumePropertiesAvsDataStore := [ "Enabled", "Disabled" ]
enum_volumePropertiesEnableSubvolumes := [ "Enabled", "Disabled" ]
enum_volumePropertiesEncryptionKeySource := [ "Microsoft.NetApp", "Microsoft.KeyVault" ]
enum_volumePropertiesSecurityStyle := [ "ntfs", "unix" ]

valid {
    input.Body.location == STRING
    input.Body.properties.groupMetaData.groupDescription == STRING
    input.Body.properties.groupMetaData.applicationType == enum_volumeGroupMetaDataApplicationType[_]
    input.Body.properties.groupMetaData.applicationIdentifier == STRING
    input.Body.properties.groupMetaData.globalPlacementRules[_].key == STRING
    input.Body.properties.groupMetaData.globalPlacementRules[_].value == STRING
    input.Body.properties.volumes[_].name == STRING
    input.Body.properties.volumes[_].tags.STRING == STRING
    input.Body.properties.volumes[_].zones[_] == STRING
    input.Body.properties.volumes[_].properties.creationToken == STRING
    input.Body.properties.volumes[_].properties.serviceLevel == enum_serviceLevel[_]
    input.Body.properties.volumes[_].properties.usageThreshold == INTEGER
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].ruleIndex == INTEGER
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].unixReadOnly == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].unixReadWrite == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].kerberos5ReadOnly == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].kerberos5ReadWrite == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].kerberos5iReadOnly == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].kerberos5iReadWrite == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].kerberos5pReadOnly == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].kerberos5pReadWrite == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].cifs == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].nfsv3 == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].nfsv41 == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].allowedClients == STRING
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].hasRootAccess == BOOLEAN
    input.Body.properties.volumes[_].properties.exportPolicy.rules[_].chownMode == enum_exportPolicyRuleChownMode[_]
    input.Body.properties.volumes[_].properties.protocolTypes[_] == STRING
    input.Body.properties.volumes[_].properties.snapshotId == STRING
    input.Body.properties.volumes[_].properties.deleteBaseSnapshot == BOOLEAN
    input.Body.properties.volumes[_].properties.backupId == STRING
    input.Body.properties.volumes[_].properties.subnetId == STRING
    input.Body.properties.volumes[_].properties.networkFeatures == enum_networkFeatures[_]
    input.Body.properties.volumes[_].properties.volumeType == STRING
    input.Body.properties.volumes[_].properties.dataProtection.replication.endpointType == enum_replicationObjectEndpointType[_]
    input.Body.properties.volumes[_].properties.dataProtection.replication.replicationSchedule == enum_replicationObjectReplicationSchedule[_]
    input.Body.properties.volumes[_].properties.dataProtection.replication.remoteVolumeResourceId == STRING
    input.Body.properties.volumes[_].properties.dataProtection.replication.remoteVolumeRegion == STRING
    input.Body.properties.volumes[_].properties.dataProtection.snapshot.snapshotPolicyId == STRING
    input.Body.properties.volumes[_].properties.dataProtection.volumeRelocation.relocationRequested == BOOLEAN
    input.Body.properties.volumes[_].properties.isRestoring == BOOLEAN
    input.Body.properties.volumes[_].properties.snapshotDirectoryVisible == BOOLEAN
    input.Body.properties.volumes[_].properties.kerberosEnabled == BOOLEAN
    input.Body.properties.volumes[_].properties.securityStyle == enum_volumePropertiesSecurityStyle[_]
    input.Body.properties.volumes[_].properties.smbEncryption == BOOLEAN
    input.Body.properties.volumes[_].properties.smbAccessBasedEnumeration == enum_smbAccessBasedEnumeration[_]
    input.Body.properties.volumes[_].properties.smbNonBrowsable == enum_smbNonBrowsable[_]
    input.Body.properties.volumes[_].properties.smbContinuouslyAvailable == BOOLEAN
    input.Body.properties.volumes[_].properties.throughputMibps == NUMBER
    input.Body.properties.volumes[_].properties.encryptionKeySource == enum_volumePropertiesEncryptionKeySource[_]
    input.Body.properties.volumes[_].properties.keyVaultPrivateEndpointResourceId == STRING
    input.Body.properties.volumes[_].properties.ldapEnabled == BOOLEAN
    input.Body.properties.volumes[_].properties.coolAccess == BOOLEAN
    input.Body.properties.volumes[_].properties.coolnessPeriod == INTEGER
    input.Body.properties.volumes[_].properties.coolAccessRetrievalPolicy == enum_coolAccessRetrievalPolicy[_]
    input.Body.properties.volumes[_].properties.unixPermissions == STRING
    input.Body.properties.volumes[_].properties.avsDataStore == enum_volumePropertiesAvsDataStore[_]
    input.Body.properties.volumes[_].properties.isDefaultQuotaEnabled == BOOLEAN
    input.Body.properties.volumes[_].properties.defaultUserQuotaInKiBs == INTEGER
    input.Body.properties.volumes[_].properties.defaultGroupQuotaInKiBs == INTEGER
    input.Body.properties.volumes[_].properties.capacityPoolResourceId == STRING
    input.Body.properties.volumes[_].properties.proximityPlacementGroup == STRING
    input.Body.properties.volumes[_].properties.volumeSpecName == STRING
    input.Body.properties.volumes[_].properties.placementRules[_].key == STRING
    input.Body.properties.volumes[_].properties.placementRules[_].value == STRING
    input.Body.properties.volumes[_].properties.enableSubvolumes == enum_volumePropertiesEnableSubvolumes[_]
    input.Body.properties.volumes[_].properties.isLargeVolume == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.volumeGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeGroups_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.volumeGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeGroups_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.volumeGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeGroups_ListByNetAppAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeQuotaRules_Create

enum_volumeQuotaRulesPropertiesQuotaType := [ "DefaultUserQuota", "DefaultGroupQuota", "IndividualUserQuota", "IndividualGroupQuota" ]

valid {
    input.Body.properties.quotaSizeInKiBs == INTEGER
    input.Body.properties.quotaType == enum_volumeQuotaRulesPropertiesQuotaType[_]
    input.Body.properties.quotaTarget == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.volumeQuotaRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeQuotaRules_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.volumeQuotaRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeQuotaRules_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.volumeQuotaRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeQuotaRules_ListByVolume

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeQuotaRules_Update

enum_volumeQuotaRulesPropertiesQuotaType := [ "DefaultUserQuota", "DefaultGroupQuota", "IndividualUserQuota", "IndividualGroupQuota" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.quotaSizeInKiBs == INTEGER
    input.Body.properties.quotaType == enum_volumeQuotaRulesPropertiesQuotaType[_]
    input.Body.properties.quotaTarget == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.volumeQuotaRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_AuthorizeReplication

valid {
    input.Body.remoteVolumeResourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_BreakFileLocks

valid {
    input.Body.clientIp == STRING
    input.Body.confirmRunningDisruptiveOperation == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_BreakReplication

valid {
    input.Body.forceBreakReplication == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_CreateOnPremMigrationReplication

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_CreateOrUpdate

enum_coolAccessRetrievalPolicy := [ "Default", "OnRead", "Never" ]
enum_exportPolicyRuleChownMode := [ "Restricted", "Unrestricted" ]
enum_networkFeatures := [ "Basic", "Standard", "Basic_Standard", "Standard_Basic" ]
enum_replicationObjectEndpointType := [ "src", "dst" ]
enum_replicationObjectReplicationSchedule := [ "_10minutely", "hourly", "daily" ]
enum_serviceLevel := [ "Standard", "Premium", "Ultra", "StandardZRS" ]
enum_smbAccessBasedEnumeration := [ "Disabled", "Enabled" ]
enum_smbNonBrowsable := [ "Disabled", "Enabled" ]
enum_volumePropertiesAvsDataStore := [ "Enabled", "Disabled" ]
enum_volumePropertiesEnableSubvolumes := [ "Enabled", "Disabled" ]
enum_volumePropertiesEncryptionKeySource := [ "Microsoft.NetApp", "Microsoft.KeyVault" ]
enum_volumePropertiesSecurityStyle := [ "ntfs", "unix" ]

valid {
    input.Body.zones[_] == STRING
    input.Body.properties.creationToken == STRING
    input.Body.properties.serviceLevel == enum_serviceLevel[_]
    input.Body.properties.usageThreshold == INTEGER
    input.Body.properties.exportPolicy.rules[_].ruleIndex == INTEGER
    input.Body.properties.exportPolicy.rules[_].unixReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].unixReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5ReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5ReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5iReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5iReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5pReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5pReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].cifs == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].nfsv3 == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].nfsv41 == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].allowedClients == STRING
    input.Body.properties.exportPolicy.rules[_].hasRootAccess == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].chownMode == enum_exportPolicyRuleChownMode[_]
    input.Body.properties.protocolTypes[_] == STRING
    input.Body.properties.snapshotId == STRING
    input.Body.properties.deleteBaseSnapshot == BOOLEAN
    input.Body.properties.backupId == STRING
    input.Body.properties.subnetId == STRING
    input.Body.properties.networkFeatures == enum_networkFeatures[_]
    input.Body.properties.volumeType == STRING
    input.Body.properties.dataProtection.replication.endpointType == enum_replicationObjectEndpointType[_]
    input.Body.properties.dataProtection.replication.replicationSchedule == enum_replicationObjectReplicationSchedule[_]
    input.Body.properties.dataProtection.replication.remoteVolumeResourceId == STRING
    input.Body.properties.dataProtection.replication.remoteVolumeRegion == STRING
    input.Body.properties.dataProtection.snapshot.snapshotPolicyId == STRING
    input.Body.properties.dataProtection.volumeRelocation.relocationRequested == BOOLEAN
    input.Body.properties.isRestoring == BOOLEAN
    input.Body.properties.snapshotDirectoryVisible == BOOLEAN
    input.Body.properties.kerberosEnabled == BOOLEAN
    input.Body.properties.securityStyle == enum_volumePropertiesSecurityStyle[_]
    input.Body.properties.smbEncryption == BOOLEAN
    input.Body.properties.smbAccessBasedEnumeration == enum_smbAccessBasedEnumeration[_]
    input.Body.properties.smbNonBrowsable == enum_smbNonBrowsable[_]
    input.Body.properties.smbContinuouslyAvailable == BOOLEAN
    input.Body.properties.throughputMibps == NUMBER
    input.Body.properties.encryptionKeySource == enum_volumePropertiesEncryptionKeySource[_]
    input.Body.properties.keyVaultPrivateEndpointResourceId == STRING
    input.Body.properties.ldapEnabled == BOOLEAN
    input.Body.properties.coolAccess == BOOLEAN
    input.Body.properties.coolnessPeriod == INTEGER
    input.Body.properties.coolAccessRetrievalPolicy == enum_coolAccessRetrievalPolicy[_]
    input.Body.properties.unixPermissions == STRING
    input.Body.properties.avsDataStore == enum_volumePropertiesAvsDataStore[_]
    input.Body.properties.isDefaultQuotaEnabled == BOOLEAN
    input.Body.properties.defaultUserQuotaInKiBs == INTEGER
    input.Body.properties.defaultGroupQuotaInKiBs == INTEGER
    input.Body.properties.capacityPoolResourceId == STRING
    input.Body.properties.proximityPlacementGroup == STRING
    input.Body.properties.volumeSpecName == STRING
    input.Body.properties.placementRules[_].key == STRING
    input.Body.properties.placementRules[_].value == STRING
    input.Body.properties.enableSubvolumes == enum_volumePropertiesEnableSubvolumes[_]
    input.Body.properties.isLargeVolume == BOOLEAN
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.forceDelete == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_DeleteReplication

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_FinalizeOnPremMigration

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_FinalizeRelocation

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_ListGetGroupIdListForLdapUser

valid {
    input.Body.username == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_ListReplications

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_PeerClusterForOnPremMigration

valid {
    input.Body.peerAddresses[_] == STRING
    input.Body.remotePath.externalHostName == STRING
    input.Body.remotePath.serverName == STRING
    input.Body.remotePath.volumeName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_PerformReplicationTransfer

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_PoolChange

valid {
    input.Body.newPoolResourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_PopulateAvailabilityZone

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_ReInitializeReplication

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_ReestablishReplication

valid {
    input.Body.sourceVolumeId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_Relocate

valid {
    input.Body.creationToken == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_ReplicationStatus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_ResetCifsPassword

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_ResyncReplication

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_Revert

valid {
    input.Body.snapshotId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_RevertRelocation

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_SplitCloneFromParent

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_Update

enum_coolAccessRetrievalPolicy := [ "Default", "OnRead", "Never" ]
enum_exportPolicyRuleChownMode := [ "Restricted", "Unrestricted" ]
enum_serviceLevel := [ "Standard", "Premium", "Ultra", "StandardZRS" ]
enum_smbAccessBasedEnumeration := [ "Disabled", "Enabled" ]
enum_smbNonBrowsable := [ "Disabled", "Enabled" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.serviceLevel == enum_serviceLevel[_]
    input.Body.properties.usageThreshold == INTEGER
    input.Body.properties.exportPolicy.rules[_].ruleIndex == INTEGER
    input.Body.properties.exportPolicy.rules[_].unixReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].unixReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5ReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5ReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5iReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5iReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5pReadOnly == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].kerberos5pReadWrite == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].cifs == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].nfsv3 == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].nfsv41 == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].allowedClients == STRING
    input.Body.properties.exportPolicy.rules[_].hasRootAccess == BOOLEAN
    input.Body.properties.exportPolicy.rules[_].chownMode == enum_exportPolicyRuleChownMode[_]
    input.Body.properties.throughputMibps == NUMBER
    input.Body.properties.dataProtection.snapshot.snapshotPolicyId == STRING
    input.Body.properties.isDefaultQuotaEnabled == BOOLEAN
    input.Body.properties.defaultUserQuotaInKiBs == INTEGER
    input.Body.properties.defaultGroupQuotaInKiBs == INTEGER
    input.Body.properties.unixPermissions == STRING
    input.Body.properties.coolAccess == BOOLEAN
    input.Body.properties.coolnessPeriod == INTEGER
    input.Body.properties.coolAccessRetrievalPolicy == enum_coolAccessRetrievalPolicy[_]
    input.Body.properties.snapshotDirectoryVisible == BOOLEAN
    input.Body.properties.smbAccessBasedEnumeration == enum_smbAccessBasedEnumeration[_]
    input.Body.properties.smbNonBrowsable == enum_smbNonBrowsable[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Updated 1 day ago