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
}

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.Qs.$expand == enum_$expandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryImageVersions_ListByGalleryImage

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

GalleryImageVersions_Update

valid {
    input.Body.properties.publishingProfile == {}
    input.Body.properties.storageProfile.source.id == STRING
    input.Body.properties.storageProfile.source.uri == STRING
    input.Body.properties.storageProfile.osDiskImage == {}
    input.Body.properties.storageProfile.dataDiskImages[_].lun == INTEGER
    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
}

GalleryImages_CreateOrUpdate

enum_Architecture := [ "x64", "Arm64" ]
enum_GalleryImagePropertiesHyperVGeneration := [ "V1", "V2" ]
enum_GalleryImagePropertiesOsState := [ "Generalized", "Specialized" ]
enum_GalleryImagePropertiesOsType := [ "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.osType == enum_GalleryImagePropertiesOsType[_]
    input.Body.properties.osState == enum_GalleryImagePropertiesOsState[_]
    input.Body.properties.hyperVGeneration == enum_GalleryImagePropertiesHyperVGeneration[_]
    input.Body.properties.endOfLifeDate == STRING
    input.Body.properties.identifier.publisher == STRING
    input.Body.properties.identifier.offer == STRING
    input.Body.properties.identifier.sku == STRING
    input.Body.properties.recommended.vCPUs.min == INTEGER
    input.Body.properties.recommended.vCPUs.max == INTEGER
    input.Body.properties.recommended.memory.min == INTEGER
    input.Body.properties.recommended.memory.max == INTEGER
    input.Body.properties.disallowed.diskTypes[_] == STRING
    input.Body.properties.purchasePlan.name == STRING
    input.Body.properties.purchasePlan.publisher == STRING
    input.Body.properties.purchasePlan.product == STRING
    input.Body.properties.features[_].name == STRING
    input.Body.properties.features[_].value == STRING
    input.Body.properties.architecture == enum_Architecture[_]
    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.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GalleryImages_Delete

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

GalleryImages_Get

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

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

GalleryImages_Update

enum_Architecture := [ "x64", "Arm64" ]
enum_GalleryImagePropertiesHyperVGeneration := [ "V1", "V2" ]
enum_GalleryImagePropertiesOsState := [ "Generalized", "Specialized" ]
enum_GalleryImagePropertiesOsType := [ "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.osType == enum_GalleryImagePropertiesOsType[_]
    input.Body.properties.osState == enum_GalleryImagePropertiesOsState[_]
    input.Body.properties.hyperVGeneration == enum_GalleryImagePropertiesHyperVGeneration[_]
    input.Body.properties.endOfLifeDate == STRING
    input.Body.properties.identifier.publisher == STRING
    input.Body.properties.identifier.offer == STRING
    input.Body.properties.identifier.sku == STRING
    input.Body.properties.recommended.vCPUs.min == INTEGER
    input.Body.properties.recommended.vCPUs.max == INTEGER
    input.Body.properties.recommended.memory.min == INTEGER
    input.Body.properties.recommended.memory.max == INTEGER
    input.Body.properties.disallowed.diskTypes[_] == STRING
    input.Body.properties.purchasePlan.name == STRING
    input.Body.properties.purchasePlan.publisher == STRING
    input.Body.properties.purchasePlan.product == STRING
    input.Body.properties.features[_].name == STRING
    input.Body.properties.features[_].value == STRING
    input.Body.properties.architecture == enum_Architecture[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.galleryName == STRING
    input.ReqMap.galleryImageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GallerySharingProfile_Update

enum_SharingProfileGroupType := [ "Subscriptions", "AADTenants" ]
enum_SharingUpdateOperationType := [ "Add", "Remove", "Reset", "EnableCommunity" ]

valid {
    input.Body.operationType == enum_SharingUpdateOperationType[_]
    input.Body.groups[_].type == enum_SharingProfileGroupType[_]
    input.Body.groups[_].ids[_] == 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
}

SharedGalleries_Get

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

SharedGalleries_List

enum_SharedToParameter := [ "tenant" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.Qs.sharedTo == enum_SharedToParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

SharedGalleryImageVersions_Get

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

SharedGalleryImageVersions_List

enum_SharedToParameter := [ "tenant" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.galleryUniqueName == STRING
    input.ReqMap.galleryImageName == STRING
    input.Qs.api-version == STRING
    input.Qs.sharedTo == enum_SharedToParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

SharedGalleryImages_Get

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

SharedGalleryImages_List

enum_SharedToParameter := [ "tenant" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.galleryUniqueName == STRING
    input.Qs.api-version == STRING
    input.Qs.sharedTo == enum_SharedToParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}