MICROSOFT.COMPUTE

AvailabilitySets_CreateOrUpdate

valid {
    input.Body.properties.platformUpdateDomainCount == INTEGER
    input.Body.properties.platformFaultDomainCount == INTEGER
    input.Body.properties.virtualMachines[_].id == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.availabilitySetName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AvailabilitySets_Delete

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

AvailabilitySets_Get

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

AvailabilitySets_List

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
}

AvailabilitySets_ListAvailableSizes

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

AvailabilitySets_ListBySubscription

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

AvailabilitySets_Update

valid {
    input.Body.properties.platformUpdateDomainCount == INTEGER
    input.Body.properties.platformFaultDomainCount == INTEGER
    input.Body.properties.virtualMachines[_].id == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.availabilitySetName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservationGroups_CreateOrUpdate

valid {
    input.Body.properties == {}
    input.Body.zones[_] == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.capacityReservationGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservationGroups_Delete

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

CapacityReservationGroups_Get

enum_$expandParameter := [ "instanceView" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.capacityReservationGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservationGroups_ListByResourceGroup

enum_$expandParameter := [ "virtualMachineScaleSetVMs/$ref", "virtualMachines/$ref" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservationGroups_ListBySubscription

enum_$expandParameter := [ "virtualMachineScaleSetVMs/$ref", "virtualMachines/$ref" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CapacityReservationGroups_Update

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

CapacityReservations_CreateOrUpdate

valid {
    input.Body.properties == {}
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.zones[_] == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.capacityReservationGroupName == STRING
    input.ReqMap.capacityReservationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservations_Delete

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

CapacityReservations_Get

enum_$expandParameter := [ "instanceView" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.capacityReservationGroupName == STRING
    input.ReqMap.capacityReservationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservations_ListByCapacityReservationGroup

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

CapacityReservations_Update

valid {
    input.Body.properties == {}
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.capacityReservationGroupName == STRING
    input.ReqMap.capacityReservationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServiceOperatingSystems_GetOSFamily

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

CloudServiceOperatingSystems_GetOSVersion

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

CloudServiceOperatingSystems_ListOSFamilies

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

CloudServiceOperatingSystems_ListOSVersions

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

CloudServiceRoleInstances_Delete

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

CloudServiceRoleInstances_Get

enum_$expandParameter := [ "instanceView", "userData" ]

valid {
    input.ReqMap.roleInstanceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServiceRoleInstances_GetInstanceView

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

CloudServiceRoleInstances_GetRemoteDesktopFile

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

CloudServiceRoleInstances_List

enum_$expandParameter := [ "instanceView", "userData" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServiceRoleInstances_Rebuild

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

CloudServiceRoleInstances_Reimage

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

CloudServiceRoleInstances_Restart

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

CloudServiceRoles_Get

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

CloudServiceRoles_List

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

CloudServicesUpdateDomain_GetUpdateDomain

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

CloudServicesUpdateDomain_ListUpdateDomains

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

CloudServicesUpdateDomain_WalkUpdateDomain

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

CloudServices_CreateOrUpdate

enum_CloudServiceUpgradeMode := [ "Auto", "Manual", "Simultaneous" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.packageUrl == STRING
    input.Body.properties.configuration == STRING
    input.Body.properties.configurationUrl == STRING
    input.Body.properties.startCloudService == BOOLEAN
    input.Body.properties.allowModelOverride == BOOLEAN
    input.Body.properties.upgradeMode == enum_CloudServiceUpgradeMode[_]
    input.Body.properties.roleProfile.roles[_].name == STRING
    input.Body.properties.roleProfile.roles[_].sku.name == STRING
    input.Body.properties.roleProfile.roles[_].sku.tier == STRING
    input.Body.properties.roleProfile.roles[_].sku.capacity == INTEGER
    input.Body.properties.osProfile.secrets[_].sourceVault.id == STRING
    input.Body.properties.osProfile.secrets[_].vaultCertificates[_].certificateUrl == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].id == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].name == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].name == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.publicIPAddress.id == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.subnet.id == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.privateIPAddress == STRING
    input.Body.properties.networkProfile.swappableCloudService.id == STRING
    input.Body.properties.extensionProfile.extensions[_].name == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.publisher == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.type == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.typeHandlerVersion == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.extensionProfile.extensions[_].properties.settings == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.protectedSettings == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.protectedSettingsFromKeyVault.sourceVault.id == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.protectedSettingsFromKeyVault.secretUrl == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.forceUpdateTag == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.rolesAppliedTo[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServices_Delete

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

CloudServices_DeleteInstances

valid {
    input.Body.roleInstances[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServices_Get

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

CloudServices_GetInstanceView

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

CloudServices_List

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
}

CloudServices_ListAll

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

CloudServices_PowerOff

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

CloudServices_Rebuild

valid {
    input.Body.roleInstances[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServices_Reimage

valid {
    input.Body.roleInstances[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServices_Restart

valid {
    input.Body.roleInstances[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServices_Start

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

CloudServices_Update

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

CommunityGalleries_Get

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

CommunityGalleryImageVersions_Get

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

CommunityGalleryImageVersions_List

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

CommunityGalleryImages_Get

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

CommunityGalleryImages_List

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

DedicatedHostGroups_CreateOrUpdate

valid {
    input.Body.properties.platformFaultDomainCount == INTEGER
    input.Body.properties.supportAutomaticPlacement == BOOLEAN
    input.Body.zones[_] == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.hostGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedHostGroups_Delete

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

DedicatedHostGroups_Get

enum_$expandParameter := [ "instanceView", "userData" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.hostGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedHostGroups_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
}

DedicatedHostGroups_ListBySubscription

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

DedicatedHostGroups_Update

valid {
    input.Body.properties.platformFaultDomainCount == INTEGER
    input.Body.properties.supportAutomaticPlacement == BOOLEAN
    input.Body.zones[_] == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.hostGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedHosts_CreateOrUpdate

enum_DedicatedHostLicenseType := [ "None", "Windows_Server_Hybrid", "Windows_Server_Perpetual" ]

valid {
    input.Body.properties.platformFaultDomain == INTEGER
    input.Body.properties.autoReplaceOnFailure == BOOLEAN
    input.Body.properties.licenseType == enum_DedicatedHostLicenseType[_]
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.hostGroupName == STRING
    input.ReqMap.hostName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedHosts_Delete

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

DedicatedHosts_Get

enum_$expandParameter := [ "instanceView", "userData" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.hostGroupName == STRING
    input.ReqMap.hostName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedHosts_ListByHostGroup

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

DedicatedHosts_Restart

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

DedicatedHosts_Update

enum_DedicatedHostLicenseType := [ "None", "Windows_Server_Hybrid", "Windows_Server_Perpetual" ]

valid {
    input.Body.properties.platformFaultDomain == INTEGER
    input.Body.properties.autoReplaceOnFailure == BOOLEAN
    input.Body.properties.licenseType == enum_DedicatedHostLicenseType[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.hostGroupName == STRING
    input.ReqMap.hostName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DiagnosticOperations_Read

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.operationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Diagnostics_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DiskAccesses_CreateOrUpdate

enum_ExtendedLocationType := [ "EdgeZone" ]

valid {
    input.Body.properties == {}
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diskAccessName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DiskAccesses_Delete

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

DiskAccesses_DeleteAPrivateEndpointConnection

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

DiskAccesses_Get

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

DiskAccesses_GetAPrivateEndpointConnection

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

DiskAccesses_GetPrivateLinkResources

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

DiskAccesses_List

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

DiskAccesses_ListByResourceGroup

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
}

DiskAccesses_ListPrivateEndpointConnections

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

DiskAccesses_Update

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

DiskAccesses_UpdateAPrivateEndpointConnection

enum_PrivateEndpointServiceConnectionStatus := [ "Pending", "Approved", "Rejected" ]

valid {
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateEndpointServiceConnectionStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diskAccessName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DiskEncryptionSets_CreateOrUpdate

enum_DiskEncryptionSetType := [ "EncryptionAtRestWithCustomerKey", "EncryptionAtRestWithPlatformAndCustomerKeys", "ConfidentialVmEncryptedWithCustomerKey" ]
enum_EncryptionSetIdentityType := [ "SystemAssigned", "None" ]

valid {
    input.Body.identity.type == enum_EncryptionSetIdentityType[_]
    input.Body.properties.encryptionType == enum_DiskEncryptionSetType[_]
    input.Body.properties.activeKey.sourceVault.id == STRING
    input.Body.properties.activeKey.keyUrl == STRING
    input.Body.properties.rotationToLatestKeyVersionEnabled == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diskEncryptionSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DiskEncryptionSets_Delete

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

DiskEncryptionSets_Get

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

DiskEncryptionSets_List

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

DiskEncryptionSets_ListAssociatedResources

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

DiskEncryptionSets_ListByResourceGroup

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
}

DiskEncryptionSets_Update

enum_DiskEncryptionSetType := [ "EncryptionAtRestWithCustomerKey", "EncryptionAtRestWithPlatformAndCustomerKeys", "ConfidentialVmEncryptedWithCustomerKey" ]
enum_EncryptionSetIdentityType := [ "SystemAssigned", "None" ]

valid {
    input.Body.properties.encryptionType == enum_DiskEncryptionSetType[_]
    input.Body.properties.activeKey.sourceVault.id == STRING
    input.Body.properties.activeKey.keyUrl == STRING
    input.Body.properties.rotationToLatestKeyVersionEnabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_EncryptionSetIdentityType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diskEncryptionSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DiskInspectionStorageConfiguration_Register

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

DiskInspectionStorageConfiguration_Validate

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

DiskInspection_Create

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

DiskInspection_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DiskRestorePoint_Get

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

DiskRestorePoint_GrantAccess

enum_GrantAccessDataAccess := [ "None", "Read", "Write" ]

valid {
    input.Body.access == enum_GrantAccessDataAccess[_]
    input.Body.durationInSeconds == INTEGER
    input.Body.getSecureVMGuestStateSAS == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.restorePointCollectionName == STRING
    input.ReqMap.vmRestorePointName == STRING
    input.ReqMap.diskRestorePointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DiskRestorePoint_ListByRestorePoint

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

DiskRestorePoint_RevokeAccess

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

Disks_CreateOrUpdate

enum_CreationDataCreateOption := [ "Empty", "Attach", "FromImage", "Import", "Copy", "Restore", "Upload" ]
enum_DiskPropertiesHyperVGeneration := [ "V1", "V2" ]
enum_DiskPropertiesOsType := [ "Windows", "Linux" ]
enum_DiskSkuName := [ "Standard_LRS", "Premium_LRS", "StandardSSD_LRS", "UltraSSD_LRS" ]

valid {
    input.Body.sku.name == enum_DiskSkuName[_]
    input.Body.zones[_] == STRING
    input.Body.properties.osType == enum_DiskPropertiesOsType[_]
    input.Body.properties.hyperVGeneration == enum_DiskPropertiesHyperVGeneration[_]
    input.Body.properties.creationData.createOption == enum_CreationDataCreateOption[_]
    input.Body.properties.creationData.storageAccountId == STRING
    input.Body.properties.creationData.imageReference.id == STRING
    input.Body.properties.creationData.imageReference.lun == INTEGER
    input.Body.properties.creationData.sourceUri == STRING
    input.Body.properties.creationData.sourceResourceId == STRING
    input.Body.properties.diskSizeGB == INTEGER
    input.Body.properties.encryptionSettingsCollection.enabled == BOOLEAN
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].diskEncryptionKey.sourceVault.id == STRING
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].diskEncryptionKey.secretUrl == STRING
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].keyEncryptionKey.sourceVault.id == STRING
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].keyEncryptionKey.keyUrl == STRING
    input.Body.properties.diskIOPSReadWrite == INTEGER
    input.Body.properties.diskMBpsReadWrite == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diskName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Disks_Delete

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

Disks_Get

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

Disks_GrantAccess

enum_GrantAccessDataAccess := [ "None", "Read", "Write" ]

valid {
    input.Body.access == enum_GrantAccessDataAccess[_]
    input.Body.durationInSeconds == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diskName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Disks_List

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

Disks_ListByResourceGroup

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
}

Disks_RevokeAccess

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

Disks_Update

enum_DiskSkuName := [ "Standard_LRS", "Premium_LRS", "StandardSSD_LRS", "UltraSSD_LRS" ]
enum_DiskUpdatePropertiesOsType := [ "Windows", "Linux" ]

valid {
    input.Body.properties.osType == enum_DiskUpdatePropertiesOsType[_]
    input.Body.properties.diskSizeGB == INTEGER
    input.Body.properties.encryptionSettingsCollection.enabled == BOOLEAN
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].diskEncryptionKey.sourceVault.id == STRING
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].diskEncryptionKey.secretUrl == STRING
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].keyEncryptionKey.sourceVault.id == STRING
    input.Body.properties.encryptionSettingsCollection.encryptionSettings[_].keyEncryptionKey.keyUrl == STRING
    input.Body.properties.diskIOPSReadWrite == INTEGER
    input.Body.properties.diskMBpsReadWrite == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.sku.name == enum_DiskSkuName[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diskName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Galleries_CreateOrUpdate

enum_SharingProfilePermissions := [ "Private", "Groups", "Community" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.identifier == {}
    input.Body.properties.sharingProfile.permissions == enum_SharingProfilePermissions[_]
    input.Body.properties.sharingProfile.communityGalleryInfo.publisherUri == STRING
    input.Body.properties.sharingProfile.communityGalleryInfo.publisherContact == STRING
    input.Body.properties.sharingProfile.communityGalleryInfo.eula == STRING
    input.Body.properties.sharingProfile.communityGalleryInfo.publicNamePrefix == STRING
    input.Body.properties.softDeletePolicy.isSoftDeleteEnabled == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Galleries_Delete

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

Galleries_Get

enum_$selectParameter := [ "Permissions" ]
enum_GalleryODataExpandQueryParameter := [ "SharingProfile/Groups" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.Qs.api-version == STRING
    input.Qs.$select == enum_$selectParameter[_]
    input.Qs.$expand == enum_GalleryODataExpandQueryParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Galleries_List

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

Galleries_ListByResourceGroup

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
}

Galleries_Update

enum_SharingProfilePermissions := [ "Private", "Groups", "Community" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.identifier == {}
    input.Body.properties.sharingProfile.permissions == enum_SharingProfilePermissions[_]
    input.Body.properties.sharingProfile.communityGalleryInfo.publisherUri == STRING
    input.Body.properties.sharingProfile.communityGalleryInfo.publisherContact == STRING
    input.Body.properties.sharingProfile.communityGalleryInfo.eula == STRING
    input.Body.properties.sharingProfile.communityGalleryInfo.publicNamePrefix == STRING
    input.Body.properties.softDeletePolicy.isSoftDeleteEnabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryApplicationVersions_CreateOrUpdate

enum_GalleryArtifactPublishingProfileBaseReplicationMode := [ "Full", "Shallow" ]
enum_GalleryArtifactPublishingProfileBaseStorageAccountType := [ "Standard_LRS", "Standard_ZRS", "Premium_LRS" ]
enum_GalleryExtendedLocationType := [ "EdgeZone", "Unknown" ]
enum_GalleryTargetExtendedLocationStorageAccountType := [ "Standard_LRS", "Standard_ZRS", "Premium_LRS" ]
enum_OSDiskImageSecurityProfileConfidentialVMEncryptionType := [ "EncryptedVMGuestStateOnlyWithPmk", "EncryptedWithPmk", "EncryptedWithCmk" ]
enum_TargetRegionStorageAccountType := [ "Standard_LRS", "Standard_ZRS", "Premium_LRS" ]

valid {
    input.Body.properties.publishingProfile.source.mediaLink == STRING
    input.Body.properties.publishingProfile.source.defaultConfigurationLink == STRING
    input.Body.properties.publishingProfile.manageActions.install == STRING
    input.Body.properties.publishingProfile.manageActions.remove == STRING
    input.Body.properties.publishingProfile.manageActions.update == STRING
    input.Body.properties.publishingProfile.settings.packageFileName == STRING
    input.Body.properties.publishingProfile.settings.configFileName == STRING
    input.Body.properties.publishingProfile.advancedSettings.STRING == STRING
    input.Body.properties.publishingProfile.enableHealthCheck == BOOLEAN
    input.Body.properties.publishingProfile.targetRegions[_].name == STRING
    input.Body.properties.publishingProfile.targetRegions[_].regionalReplicaCount == INTEGER
    input.Body.properties.publishingProfile.targetRegions[_].storageAccountType == enum_TargetRegionStorageAccountType[_]
    input.Body.properties.publishingProfile.targetRegions[_].encryption.osDiskImage.securityProfile.confidentialVMEncryptionType == enum_OSDiskImageSecurityProfileConfidentialVMEncryptionType[_]
    input.Body.properties.publishingProfile.targetRegions[_].encryption.osDiskImage.securityProfile.secureVMDiskEncryptionSetId == STRING
    input.Body.properties.publishingProfile.targetRegions[_].encryption.dataDiskImages[_].lun == INTEGER
    input.Body.properties.publishingProfile.replicaCount == INTEGER
    input.Body.properties.publishingProfile.excludeFromLatest == BOOLEAN
    input.Body.properties.publishingProfile.endOfLifeDate == STRING
    input.Body.properties.publishingProfile.storageAccountType == enum_GalleryArtifactPublishingProfileBaseStorageAccountType[_]
    input.Body.properties.publishingProfile.replicationMode == enum_GalleryArtifactPublishingProfileBaseReplicationMode[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].name == STRING
    input.Body.properties.publishingProfile.targetExtendedLocations[_].extendedLocation.name == STRING
    input.Body.properties.publishingProfile.targetExtendedLocations[_].extendedLocation.type == enum_GalleryExtendedLocationType[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].extendedLocationReplicaCount == INTEGER
    input.Body.properties.publishingProfile.targetExtendedLocations[_].storageAccountType == enum_GalleryTargetExtendedLocationStorageAccountType[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].encryption.osDiskImage.securityProfile.confidentialVMEncryptionType == enum_OSDiskImageSecurityProfileConfidentialVMEncryptionType[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].encryption.osDiskImage.securityProfile.secureVMDiskEncryptionSetId == STRING
    input.Body.properties.publishingProfile.targetExtendedLocations[_].encryption.dataDiskImages[_].lun == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryApplicationName == STRING
    input.ReqMap.galleryApplicationVersionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryApplicationVersions_Delete

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

GalleryApplicationVersions_Get

enum_$expandParameter := [ "ReplicationStatus" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryApplicationName == STRING
    input.ReqMap.galleryApplicationVersionName == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryApplicationVersions_ListByGalleryApplication

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

GalleryApplicationVersions_Update

valid {
    input.Body.properties.publishingProfile.source.mediaLink == STRING
    input.Body.properties.publishingProfile.source.defaultConfigurationLink == STRING
    input.Body.properties.publishingProfile.manageActions.install == STRING
    input.Body.properties.publishingProfile.manageActions.remove == STRING
    input.Body.properties.publishingProfile.manageActions.update == STRING
    input.Body.properties.publishingProfile.settings.packageFileName == STRING
    input.Body.properties.publishingProfile.settings.configFileName == STRING
    input.Body.properties.publishingProfile.advancedSettings.STRING == STRING
    input.Body.properties.publishingProfile.enableHealthCheck == BOOLEAN
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryApplicationName == STRING
    input.ReqMap.galleryApplicationVersionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryApplications_CreateOrUpdate

enum_GalleryApplicationPropertiesSupportedOSType := [ "Windows", "Linux" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.eula == STRING
    input.Body.properties.privacyStatementUri == STRING
    input.Body.properties.releaseNoteUri == STRING
    input.Body.properties.endOfLifeDate == STRING
    input.Body.properties.supportedOSType == enum_GalleryApplicationPropertiesSupportedOSType[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryApplicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryApplications_Delete

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

GalleryApplications_Get

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

GalleryApplications_ListByGallery

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

GalleryApplications_Update

enum_GalleryApplicationPropertiesSupportedOSType := [ "Windows", "Linux" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.eula == STRING
    input.Body.properties.privacyStatementUri == STRING
    input.Body.properties.releaseNoteUri == STRING
    input.Body.properties.endOfLifeDate == STRING
    input.Body.properties.supportedOSType == enum_GalleryApplicationPropertiesSupportedOSType[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryApplicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryImageVersions_CreateOrUpdate

enum_GalleryArtifactPublishingProfileBaseReplicationMode := [ "Full", "Shallow" ]
enum_GalleryArtifactPublishingProfileBaseStorageAccountType := [ "Standard_LRS", "Standard_ZRS", "Premium_LRS" ]
enum_GalleryDiskImageHostCaching := [ "None", "ReadOnly", "ReadWrite" ]
enum_GalleryExtendedLocationType := [ "EdgeZone", "Unknown" ]
enum_GalleryTargetExtendedLocationStorageAccountType := [ "Standard_LRS", "Standard_ZRS", "Premium_LRS" ]
enum_OSDiskImageSecurityProfileConfidentialVMEncryptionType := [ "EncryptedVMGuestStateOnlyWithPmk", "EncryptedWithPmk", "EncryptedWithCmk" ]
enum_TargetRegionStorageAccountType := [ "Standard_LRS", "Standard_ZRS", "Premium_LRS" ]

valid {
    input.Body.properties.publishingProfile.targetRegions[_].name == STRING
    input.Body.properties.publishingProfile.targetRegions[_].regionalReplicaCount == INTEGER
    input.Body.properties.publishingProfile.targetRegions[_].storageAccountType == enum_TargetRegionStorageAccountType[_]
    input.Body.properties.publishingProfile.targetRegions[_].encryption.osDiskImage.securityProfile.confidentialVMEncryptionType == enum_OSDiskImageSecurityProfileConfidentialVMEncryptionType[_]
    input.Body.properties.publishingProfile.targetRegions[_].encryption.osDiskImage.securityProfile.secureVMDiskEncryptionSetId == STRING
    input.Body.properties.publishingProfile.targetRegions[_].encryption.osDiskImage.diskEncryptionSetId == STRING
    input.Body.properties.publishingProfile.targetRegions[_].encryption.dataDiskImages[_].lun == INTEGER
    input.Body.properties.publishingProfile.targetRegions[_].encryption.dataDiskImages[_].diskEncryptionSetId == STRING
    input.Body.properties.publishingProfile.replicaCount == INTEGER
    input.Body.properties.publishingProfile.excludeFromLatest == BOOLEAN
    input.Body.properties.publishingProfile.endOfLifeDate == STRING
    input.Body.properties.publishingProfile.storageAccountType == enum_GalleryArtifactPublishingProfileBaseStorageAccountType[_]
    input.Body.properties.publishingProfile.replicationMode == enum_GalleryArtifactPublishingProfileBaseReplicationMode[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].name == STRING
    input.Body.properties.publishingProfile.targetExtendedLocations[_].extendedLocation.name == STRING
    input.Body.properties.publishingProfile.targetExtendedLocations[_].extendedLocation.type == enum_GalleryExtendedLocationType[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].extendedLocationReplicaCount == INTEGER
    input.Body.properties.publishingProfile.targetExtendedLocations[_].storageAccountType == enum_GalleryTargetExtendedLocationStorageAccountType[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].encryption.osDiskImage.securityProfile.confidentialVMEncryptionType == enum_OSDiskImageSecurityProfileConfidentialVMEncryptionType[_]
    input.Body.properties.publishingProfile.targetExtendedLocations[_].encryption.osDiskImage.securityProfile.secureVMDiskEncryptionSetId == STRING
    input.Body.properties.publishingProfile.targetExtendedLocations[_].encryption.dataDiskImages[_].lun == INTEGER
    input.Body.properties.storageProfile.source.id == STRING
    input.Body.properties.storageProfile.source.uri == STRING
    input.Body.properties.storageProfile.osDiskImage.hostCaching == enum_GalleryDiskImageHostCaching[_]
    input.Body.properties.storageProfile.osDiskImage.source.id == STRING
    input.Body.properties.storageProfile.osDiskImage.source.uri == STRING
    input.Body.properties.storageProfile.dataDiskImages[_].lun == INTEGER
    input.Body.properties.storageProfile.dataDiskImages[_].hostCaching == enum_GalleryDiskImageHostCaching[_]
    input.Body.properties.storageProfile.dataDiskImages[_].source.id == STRING
    input.Body.properties.storageProfile.dataDiskImages[_].source.uri == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryImageName == STRING
    input.ReqMap.galleryImageVersionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryImageVersions_Delete

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

GalleryImageVersions_Get

enum_$expandParameter := [ "ReplicationStatus" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryImageName == STRING
    input.ReqMap.galleryImageVersionName == STRING
    input.Q