MICROSOFT.STORAGECACHE

AscOperations_Get

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

AscUsages_List

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

Caches_CreateOrUpdate

enum_CacheIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_CacheUsernameDownloadSettingsUsernameSource := [ "AD", "LDAP", "File", "None" ]
enum_NfsAccessRuleAccess := [ "no", "ro", "rw" ]
enum_NfsAccessRuleScope := [ "default", "network", "host" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.identity.type == enum_CacheIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.cacheSizeGB == INTEGER
    input.Body.properties.subnet == STRING
    input.Body.properties.upgradeSettings.upgradeScheduleEnabled == BOOLEAN
    input.Body.properties.upgradeSettings.scheduledTime == STRING
    input.Body.properties.networkSettings.mtu == INTEGER
    input.Body.properties.networkSettings.dnsServers[_] == STRING
    input.Body.properties.networkSettings.dnsSearchDomain == STRING
    input.Body.properties.networkSettings.ntpServer == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.keyUrl == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.sourceVault.id == STRING
    input.Body.properties.encryptionSettings.rotationToLatestKeyVersionEnabled == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].name == STRING
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].scope == enum_NfsAccessRuleScope[_]
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].filter == STRING
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].access == enum_NfsAccessRuleAccess[_]
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].suid == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].submountAccess == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].rootSquash == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].anonymousUID == STRING
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].anonymousGID == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.primaryDnsIpAddress == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.secondaryDnsIpAddress == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.domainName == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.domainNetBiosName == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.cacheNetBiosName == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.credentials.username == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.credentials.password == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.extendedGroups == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.usernameSource == enum_CacheUsernameDownloadSettingsUsernameSource[_]
    input.Body.properties.directoryServicesSettings.usernameDownload.groupFileURI == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.userFileURI == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.ldapServer == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.ldapBaseDN == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.encryptLdapConnection == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.requireValidCertificate == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.autoDownloadCertificate == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.caCertificateURI == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.credentials.bindDn == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.credentials.bindPassword == STRING
    input.Body.properties.zones[_] == STRING
    input.Body.sku.name == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.cacheName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Caches_DebugInfo

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

Caches_Delete

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

Caches_Flush

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

Caches_Get

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

Caches_List

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

Caches_ListByResourceGroup

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

Caches_PausePrimingJob

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

Caches_ResumePrimingJob

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

Caches_SpaceAllocation

valid {
    input.Body[_].name == STRING
    input.Body[_].allocationPercentage == INTEGER
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.cacheName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Caches_Start

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

Caches_StartPrimingJob

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

Caches_Stop

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

Caches_StopPrimingJob

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

Caches_Update

enum_CacheIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_CacheUsernameDownloadSettingsUsernameSource := [ "AD", "LDAP", "File", "None" ]
enum_NfsAccessRuleAccess := [ "no", "ro", "rw" ]
enum_NfsAccessRuleScope := [ "default", "network", "host" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.identity.type == enum_CacheIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.cacheSizeGB == INTEGER
    input.Body.properties.subnet == STRING
    input.Body.properties.upgradeSettings.upgradeScheduleEnabled == BOOLEAN
    input.Body.properties.upgradeSettings.scheduledTime == STRING
    input.Body.properties.networkSettings.mtu == INTEGER
    input.Body.properties.networkSettings.dnsServers[_] == STRING
    input.Body.properties.networkSettings.dnsSearchDomain == STRING
    input.Body.properties.networkSettings.ntpServer == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.keyUrl == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.sourceVault.id == STRING
    input.Body.properties.encryptionSettings.rotationToLatestKeyVersionEnabled == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].name == STRING
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].scope == enum_NfsAccessRuleScope[_]
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].filter == STRING
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].access == enum_NfsAccessRuleAccess[_]
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].suid == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].submountAccess == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].rootSquash == BOOLEAN
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].anonymousUID == STRING
    input.Body.properties.securitySettings.accessPolicies[_].accessRules[_].anonymousGID == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.primaryDnsIpAddress == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.secondaryDnsIpAddress == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.domainName == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.domainNetBiosName == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.cacheNetBiosName == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.credentials.username == STRING
    input.Body.properties.directoryServicesSettings.activeDirectory.credentials.password == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.extendedGroups == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.usernameSource == enum_CacheUsernameDownloadSettingsUsernameSource[_]
    input.Body.properties.directoryServicesSettings.usernameDownload.groupFileURI == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.userFileURI == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.ldapServer == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.ldapBaseDN == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.encryptLdapConnection == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.requireValidCertificate == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.autoDownloadCertificate == BOOLEAN
    input.Body.properties.directoryServicesSettings.usernameDownload.caCertificateURI == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.credentials.bindDn == STRING
    input.Body.properties.directoryServicesSettings.usernameDownload.credentials.bindPassword == STRING
    input.Body.properties.zones[_] == STRING
    input.Body.sku.name == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.cacheName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Caches_UpgradeFirmware

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

Operations_List

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

Skus_List

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

StorageTarget_Flush

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

StorageTarget_Invalidate

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

StorageTarget_Resume

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

StorageTarget_Suspend

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

StorageTargets_CreateOrUpdate

enum_StorageTargetPropertiesState := [ "Ready", "Busy", "Suspended", "Flushing" ]
enum_StorageTargetPropertiesTargetType := [ "nfs3", "clfs", "unknown", "blobNfs" ]

valid {
    input.Body.properties.junctions[_].namespacePath == STRING
    input.Body.properties.junctions[_].targetPath == STRING
    input.Body.properties.junctions[_].nfsExport == STRING
    input.Body.properties.junctions[_].nfsAccessPolicy == STRING
    input.Body.properties.targetType == enum_StorageTargetPropertiesTargetType[_]
    input.Body.properties.state == enum_StorageTargetPropertiesState[_]
    input.Body.properties.nfs3.target == STRING
    input.Body.properties.nfs3.usageModel == STRING
    input.Body.properties.nfs3.verificationTimer == INTEGER
    input.Body.properties.nfs3.writeBackTimer == INTEGER
    input.Body.properties.clfs.target == STRING
    input.Body.properties.unknown.attributes.STRING == STRING
    input.Body.properties.blobNfs.target == STRING
    input.Body.properties.blobNfs.usageModel == STRING
    input.Body.properties.blobNfs.verificationTimer == INTEGER
    input.Body.properties.blobNfs.writeBackTimer == INTEGER
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.cacheName == STRING
    input.ReqMap.storageTargetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StorageTargets_Delete

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

StorageTargets_DnsRefresh

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

StorageTargets_Get

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

StorageTargets_ListByCache

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

StorageTargets_RestoreDefaults

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

StorageTargets_Update

enum_StorageTargetPropertiesProvisioningState := [ "Succeeded", "Failed", "Cancelled", "Creating", "Deleting", "Updating" ]
enum_StorageTargetPropertiesTargetType := [ "nfs3", "clfs", "unknown" ]

valid {
    input.Body.properties.junctions[_].namespacePath == STRING
    input.Body.properties.junctions[_].targetPath == STRING
    input.Body.properties.junctions[_].nfsExport == STRING
    input.Body.properties.targetType == enum_StorageTargetPropertiesTargetType[_]
    input.Body.properties.provisioningState == enum_StorageTargetPropertiesProvisioningState[_]
    input.Body.properties.nfs3.target == STRING
    input.Body.properties.nfs3.usageModel == STRING
    input.Body.properties.clfs.target == STRING
    input.Body.properties.unknown.unknownMap.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.cacheName == STRING
    input.ReqMap.storageTargetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

UsageModels_List

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

amlFilesystems_Archive

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

amlFilesystems_CancelArchive

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

amlFilesystems_CreateOrUpdate

enum_AmlFilesystemIdentityType := [ "UserAssigned", "None" ]
enum_AmlFilesystemPropertiesMaintenanceWindowDayOfWeek := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]
enum_AmlFilesystemRootSquashSettingsMode := [ "None", "RootOnly", "All" ]

valid {
    input.Body.identity.type == enum_AmlFilesystemIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.sku.name == STRING
    input.Body.zones[_] == STRING
    input.Body.properties.storageCapacityTiB == NUMBER
    input.Body.properties.filesystemSubnet == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.keyUrl == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.sourceVault.id == STRING
    input.Body.properties.maintenanceWindow.dayOfWeek == enum_AmlFilesystemPropertiesMaintenanceWindowDayOfWeek[_]
    input.Body.properties.maintenanceWindow.timeOfDayUTC == STRING
    input.Body.properties.hsm.settings.container == STRING
    input.Body.properties.hsm.settings.loggingContainer == STRING
    input.Body.properties.hsm.settings.importPrefix == STRING
    input.Body.properties.rootSquashSettings.mode == enum_AmlFilesystemRootSquashSettingsMode[_]
    input.Body.properties.rootSquashSettings.noSquashNidLists == STRING
    input.Body.properties.rootSquashSettings.squashUID == INTEGER
    input.Body.properties.rootSquashSettings.squashGID == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.amlFilesystemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

amlFilesystems_Delete

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

amlFilesystems_Get

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

amlFilesystems_List

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

amlFilesystems_ListByResourceGroup

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

amlFilesystems_Update

enum_AmlFilesystemRootSquashSettingsMode := [ "None", "RootOnly", "All" ]
enum_AmlFilesystemUpdatePropertiesMaintenanceWindowDayOfWeek := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.keyUrl == STRING
    input.Body.properties.encryptionSettings.keyEncryptionKey.sourceVault.id == STRING
    input.Body.properties.maintenanceWindow.dayOfWeek == enum_AmlFilesystemUpdatePropertiesMaintenanceWindowDayOfWeek[_]
    input.Body.properties.maintenanceWindow.timeOfDayUTC == STRING
    input.Body.properties.rootSquashSettings.mode == enum_AmlFilesystemRootSquashSettingsMode[_]
    input.Body.properties.rootSquashSettings.noSquashNidLists == STRING
    input.Body.properties.rootSquashSettings.squashUID == INTEGER
    input.Body.properties.rootSquashSettings.squashGID == INTEGER
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.amlFilesystemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

checkAmlFSSubnets

valid {
    input.Body.filesystemSubnet == STRING
    input.Body.storageCapacityTiB == NUMBER
    input.Body.sku.name == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

getRequiredAmlFSSubnetsSize

valid {
    input.Body.storageCapacityTiB == NUMBER
    input.Body.sku.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}