MICROSOFT.DBFORPOSTGRESQL

Administrators_Create

enum_AdministratorPropertiesForAddPrincipalType := [ "Unknown", "User", "Group", "ServicePrincipal" ]

valid {
    input.Body.properties.principalType == enum_AdministratorPropertiesForAddPrincipalType[_]
    input.Body.properties.principalName == STRING
    input.Body.properties.tenantId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.objectId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Administrators_Delete

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

Administrators_Get

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

Administrators_ListByServer

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

Advisors_Get

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

Advisors_ListByServer

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

Advisors_StartRecommendedActionSession

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

Backups_Get

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

Backups_ListByServer

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

CheckMigrationNameAvailability

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

CheckNameAvailabilityWithLocation_Execute

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

CheckNameAvailability_Execute

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

Clusters_Create

enum_AuthConfigActiveDirectoryAuth := [ "enabled", "disabled" ]
enum_AuthConfigPasswordAuth := [ "enabled", "disabled" ]

valid {
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.postgresqlVersion == STRING
    input.Body.properties.citusVersion == STRING
    input.Body.properties.maintenanceWindow.customWindow == STRING
    input.Body.properties.maintenanceWindow.startHour == INTEGER
    input.Body.properties.maintenanceWindow.startMinute == INTEGER
    input.Body.properties.maintenanceWindow.dayOfWeek == INTEGER
    input.Body.properties.preferredPrimaryZone == STRING
    input.Body.properties.enableShardsOnCoordinator == BOOLEAN
    input.Body.properties.enableHa == BOOLEAN
    input.Body.properties.coordinatorServerEdition == STRING
    input.Body.properties.coordinatorStorageQuotaInMb == INTEGER
    input.Body.properties.coordinatorVCores == INTEGER
    input.Body.properties.coordinatorEnablePublicIpAccess == BOOLEAN
    input.Body.properties.nodeServerEdition == STRING
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.nodeStorageQuotaInMb == INTEGER
    input.Body.properties.nodeVCores == INTEGER
    input.Body.properties.nodeEnablePublicIpAccess == BOOLEAN
    input.Body.properties.sourceResourceId == STRING
    input.Body.properties.sourceLocation == STRING
    input.Body.properties.pointInTimeUTC == STRING
    input.Body.properties.databaseName == STRING
    input.Body.properties.enableGeoBackup == BOOLEAN
    input.Body.properties.authConfig.activeDirectoryAuth == enum_AuthConfigActiveDirectoryAuth[_]
    input.Body.properties.authConfig.passwordAuth == enum_AuthConfigPasswordAuth[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Delete

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

Clusters_Get

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

Clusters_List

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

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

Clusters_PromoteReadReplica

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

Clusters_Restart

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

Clusters_Start

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

Clusters_Stop

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

Clusters_Update

valid {
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.postgresqlVersion == STRING
    input.Body.properties.citusVersion == STRING
    input.Body.properties.enableShardsOnCoordinator == BOOLEAN
    input.Body.properties.enableHa == BOOLEAN
    input.Body.properties.preferredPrimaryZone == STRING
    input.Body.properties.coordinatorServerEdition == STRING
    input.Body.properties.coordinatorStorageQuotaInMb == INTEGER
    input.Body.properties.coordinatorVCores == INTEGER
    input.Body.properties.coordinatorEnablePublicIpAccess == BOOLEAN
    input.Body.properties.nodeServerEdition == STRING
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.nodeStorageQuotaInMb == INTEGER
    input.Body.properties.nodeVCores == INTEGER
    input.Body.properties.maintenanceWindow.customWindow == STRING
    input.Body.properties.maintenanceWindow.startHour == INTEGER
    input.Body.properties.maintenanceWindow.startMinute == INTEGER
    input.Body.properties.maintenanceWindow.dayOfWeek == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_CreateOrUpdate

valid {
    input.Body.properties.value == STRING
    input.Body.properties.source == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_Get

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

Configurations_GetCoordinator

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

Configurations_GetNode

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

Configurations_ListByCluster

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

Configurations_ListByServer

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

Configurations_ListByServerGroup

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

Configurations_Put

valid {
    input.Body.properties.value == STRING
    input.Body.properties.source == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_Update

valid {
    input.Body.properties.value == STRING
    input.Body.properties.source == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_UpdateOnCoordinator

valid {
    input.Body.properties.value == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_UpdateOnNode

valid {
    input.Body.properties.value == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_Create

valid {
    input.Body.properties.charset == STRING
    input.Body.properties.collation == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_CreateOrUpdate

valid {
    input.Body.properties.charset == STRING
    input.Body.properties.collation == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_Delete

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

Databases_Get

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

Databases_ListByServer

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

FirewallRules_CreateOrUpdate

valid {
    input.Body.properties.startIpAddress == STRING
    input.Body.properties.endIpAddress == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.firewallRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FirewallRules_Delete

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

FirewallRules_Get

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

FirewallRules_ListByCluster

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

FirewallRules_ListByServer

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

FirewallRules_ListByServerGroup

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

FlexibleServer_StartLtrBackup

valid {
    input.Body.targetDetails.sasUriList[_] == STRING
    input.Body.backupSettings.backupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FlexibleServer_TriggerLtrPreBackup

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

GetCachedServerName_Execute

enum_ServerVersion := [ "14", "13", "12", "11" ]
enum_SkuTier := [ "Burstable", "GeneralPurpose", "MemoryOptimized" ]

valid {
    input.Body.version == enum_ServerVersion[_]
    input.Body.storage.storageSizeGB == INTEGER
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.locationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GetPrivateDnsZoneSuffix_Execute

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

LocationBasedCapabilities_Execute

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

LocationBasedPerformanceTier_List

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

LocationBasedRecommendedActionSessionsOperationStatus_Get

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

LocationBasedRecommendedActionSessionsResult_List

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

LogFiles_ListByServer

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

Migrations_Create

enum_MigrationMode := [ "Offline", "Online" ]
enum_MigrationOption := [ "Validate", "Migrate", "ValidateAndMigrate" ]
enum_MigrationResourcePropertiesCancel := [ "True", "False" ]
enum_MigrationResourcePropertiesOverwriteDbsInTarget := [ "True", "False" ]
enum_MigrationResourcePropertiesSetupLogicalReplicationOnSourceDbIfNeeded := [ "True", "False" ]
enum_MigrationResourcePropertiesStartDataMigration := [ "True", "False" ]
enum_MigrationResourcePropertiesTriggerCutover := [ "True", "False" ]
enum_SourceType := [ "OnPremises", "AWS", "GCP", "AzureVM", "PostgreSQLSingleServer" ]
enum_SslMode := [ "Prefer", "Require", "VerifyCA", "VerifyFull" ]

valid {
    input.Body.properties.migrationMode == enum_MigrationMode[_]
    input.Body.properties.migrationOption == enum_MigrationOption[_]
    input.Body.properties.sourceType == enum_SourceType[_]
    input.Body.properties.sslMode == enum_SslMode[_]
    input.Body.properties.sourceDbServerResourceId == STRING
    input.Body.properties.sourceDbServerFullyQualifiedDomainName == STRING
    input.Body.properties.targetDbServerFullyQualifiedDomainName == STRING
    input.Body.properties.secretParameters.adminCredentials.sourceServerPassword == STRING
    input.Body.properties.secretParameters.adminCredentials.targetServerPassword == STRING
    input.Body.properties.secretParameters.sourceServerUsername == STRING
    input.Body.properties.secretParameters.targetServerUsername == STRING
    input.Body.properties.dbsToMigrate[_] == STRING
    input.Body.properties.setupLogicalReplicationOnSourceDbIfNeeded == enum_MigrationResourcePropertiesSetupLogicalReplicationOnSourceDbIfNeeded[_]
    input.Body.properties.overwriteDbsInTarget == enum_MigrationResourcePropertiesOverwriteDbsInTarget[_]
    input.Body.properties.migrationWindowStartTimeInUtc == STRING
    input.Body.properties.migrationWindowEndTimeInUtc == STRING
    input.Body.properties.startDataMigration == enum_MigrationResourcePropertiesStartDataMigration[_]
    input.Body.properties.triggerCutover == enum_MigrationResourcePropertiesTriggerCutover[_]
    input.Body.properties.dbsToTriggerCutoverOn[_] == STRING
    input.Body.properties.cancel == enum_MigrationResourcePropertiesCancel[_]
    input.Body.properties.dbsToCancelMigrationOn[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.targetDbServerName == STRING
    input.ReqMap.migrationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Migrations_Delete

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

Migrations_Get

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

Migrations_ListByTargetServer

enum_MigrationListFilter := [ "Active", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.targetDbServerName == STRING
    input.Qs.api-version == STRING
    input.Qs.migrationListFilter == enum_MigrationListFilter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Migrations_Update

enum_MigrationMode := [ "Offline", "Online" ]
enum_MigrationResourcePropertiesForPatchCancel := [ "True", "False" ]
enum_MigrationResourcePropertiesForPatchOverwriteDbsInTarget := [ "True", "False" ]
enum_MigrationResourcePropertiesForPatchSetupLogicalReplicationOnSourceDbIfNeeded := [ "True", "False" ]
enum_MigrationResourcePropertiesForPatchStartDataMigration := [ "True", "False" ]
enum_MigrationResourcePropertiesForPatchTriggerCutover := [ "True", "False" ]

valid {
    input.Body.properties.sourceDbServerResourceId == STRING
    input.Body.properties.sourceDbServerFullyQualifiedDomainName == STRING
    input.Body.properties.targetDbServerFullyQualifiedDomainName == STRING
    input.Body.properties.secretParameters.adminCredentials.sourceServerPassword == STRING
    input.Body.properties.secretParameters.adminCredentials.targetServerPassword == STRING
    input.Body.properties.secretParameters.sourceServerUsername == STRING
    input.Body.properties.secretParameters.targetServerUsername == STRING
    input.Body.properties.dbsToMigrate[_] == STRING
    input.Body.properties.setupLogicalReplicationOnSourceDbIfNeeded == enum_MigrationResourcePropertiesForPatchSetupLogicalReplicationOnSourceDbIfNeeded[_]
    input.Body.properties.overwriteDbsInTarget == enum_MigrationResourcePropertiesForPatchOverwriteDbsInTarget[_]
    input.Body.properties.migrationWindowStartTimeInUtc == STRING
    input.Body.properties.startDataMigration == enum_MigrationResourcePropertiesForPatchStartDataMigration[_]
    input.Body.properties.triggerCutover == enum_MigrationResourcePropertiesForPatchTriggerCutover[_]
    input.Body.properties.dbsToTriggerCutoverOn[_] == STRING
    input.Body.properties.cancel == enum_MigrationResourcePropertiesForPatchCancel[_]
    input.Body.properties.dbsToCancelMigrationOn[_] == STRING
    input.Body.properties.migrationMode == enum_MigrationMode[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.targetDbServerName == STRING
    input.ReqMap.migrationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

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

PrivateEndpointConnection_Delete

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

PrivateEndpointConnection_Update

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

valid {
    input.Body.properties.privateEndpoint == {}
    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.serverName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_CreateOrUpdate

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

valid {
    input.Body.properties.privateEndpoint == {}
    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.clusterName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Delete

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

PrivateEndpointConnections_Get

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

PrivateEndpointConnections_ListByCluster

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

PrivateEndpointConnections_ListByServer

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

PrivateEndpointConnections_UpdateTags

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

PrivateLinkResources_Get

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

PrivateLinkResources_ListByCluster

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

PrivateLinkResources_ListByServer

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

QueryPerformanceInsightData_Reset

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

QueryTexts_Get

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

QueryTexts_ListByServer

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

QuotaUsages_List

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

RecommendedActions_Get

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

RecommendedActions_ListByServer

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

RecoverableServers_Get

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

Replicas_ListByServer

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

ResetQueryPerformanceInsightData

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

Roles_Create

enum_RolePropertiesExternalIdentityPrincipalType := [ "user", "servicePrincipal", "group" ]
enum_RolePropertiesRoleType := [ "user", "admin" ]

valid {
    input.Body.properties.roleType == enum_RolePropertiesRoleType[_]
    input.Body.properties.password == STRING
    input.Body.properties.externalIdentity.objectId == STRING
    input.Body.properties.externalIdentity.principalType == enum_RolePropertiesExternalIdentityPrincipalType[_]
    input.Body.properties.externalIdentity.tenantId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.roleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Roles_Delete

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

Roles_Get

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

Roles_ListByCluster

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

Roles_ListByServerGroup

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

ServerAdministrators_CreateOrUpdate

enum_ServerAdministratorPropertiesAdministratorType := [ "ActiveDirectory" ]

valid {
    input.Body.properties.administratorType == enum_ServerAdministratorPropertiesAdministratorType[_]
    input.Body.properties.login == STRING
    input.Body.properties.sid == STRING
    input.Body.properties.tenantId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerAdministrators_Delete

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

ServerAdministrators_Get

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

ServerAdministrators_List

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

ServerBasedPerformanceTier_List

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

ServerCapabilities_List

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

ServerGroups_CreateOrUpdate

enum_CitusVersion := [ "8.3", "9.0", "9.1", "9.2", "9.3", "9.4", "9.5" ]
enum_PostgreSQLVersion := [ "11", "12" ]
enum_ServerGroupPropertiesCreateMode := [ "Default", "PointInTimeRestore", "ReadReplica" ]
enum_ServerPropertiesServerEdition := [ "GeneralPurpose", "MemoryOptimized" ]
enum_ServerRole := [ "Coordinator", "Worker" ]

valid {
    input.Body.properties.createMode == enum_ServerGroupPropertiesCreateMode[_]
    input.Body.properties.administratorLogin == STRING
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.backupRetentionDays == INTEGER
    input.Body.properties.postgresqlVersion == enum_PostgreSQLVersion[_]
    input.Body.properties.citusVersion == enum_CitusVersion[_]
    input.Body.properties.enableMx == BOOLEAN
    input.Body.properties.enableZfs == BOOLEAN
    input.Body.properties.enableShardsOnCoordinator == BOOLEAN
    input.Body.properties.serverRoleGroups[_].name == STRING
    input.Body.properties.serverRoleGroups[_].role == enum_ServerRole[_]
    input.Body.properties.serverRoleGroups[_].serverCount == INTEGER
    input.Body.properties.serverRoleGroups[_].serverEdition == enum_ServerPropertiesServerEdition[_]
    input.Body.properties.serverRoleGroups[_].storageQuotaInMb == INTEGER
    input.Body.properties.serverRoleGroups[_].vCores == INTEGER
    input.Body.properties.serverRoleGroups[_].enableHa == BOOLEAN
    input.Body.properties.maintenanceWindow.customWindow == STRING
    input.Body.properties.maintenanceWindow.startHour == INTEGER
    input.Body.properties.maintenanceWindow.startMinute == INTEGER
    input.Body.properties.maintenanceWindow.dayOfWeek == INTEGER
    input.Body.properties.availabilityZone == STRING
    input.Body.properties.standbyAvailabilityZone == STRING
    input.Body.properties.delegatedSubnetArguments.subnetArmResourceId == STRING
    input.Body.properties.privateDnsZoneArguments.privateDnsZoneArmResourceId == STRING
    input.Body.properties.sourceSubscriptionId == STRING
    input.Body.properties.sourceResourceGroupName == STRING
    input.Body.properties.sourceServerGroupName == STRING
    input.Body.properties.sourceLocation == STRING
    input.Body.properties.pointInTimeUTC == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerGroups_Delete

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

ServerGroups_Get

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

ServerGroups_List

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

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

ServerGroups_Restart

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

ServerGroups_Start

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

ServerGroups_Stop

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

ServerGroups_Update

enum_CitusVersion := [ "8.3", "9.0", "9.1", "9.2", "9.3", "9.4", "9.5" ]
enum_PostgreSQLVersion := [ "11", "12" ]
enum_ServerRole := [ "Coordinator", "Worker" ]

valid {
    input.Body.location == STRING
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.backupRetentionDays == INTEGER
    input.Body.properties.postgresqlVersion == enum_PostgreSQLVersion[_]
    input.Body.properties.citusVersion == enum_CitusVersion[_]
    input.Body.properties.enableShardsOnCoordinator == BOOLEAN
    input.Body.properties.serverRoleGroups[_].name == STRING
    input.Body.properties.serverRoleGroups[_].role == enum_ServerRole[_]
    input.Body.properties.serverRoleGroups[_].serverCount == INTEGER
    input.Body.properties.maintenanceWindow.customWindow == STRING
    input.Body.properties.maintenanceWindow.startHour == INTEGER
    input.Body.properties.maintenanceWindow.startMinute == INTEGER
    input.Body.properties.maintenanceWindow.dayOfWeek == INTEGER
    input.Body.properties.availabilityZone == STRING
    input.Body.properties.standbyAvailabilityZone == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerKeys_CreateOrUpdate

enum_ServerKeyPropertiesServerKeyType := [ "AzureKeyVault" ]

valid {
    input.Body.properties.serverKeyType == enum_ServerKeyPropertiesServerKeyType[_]
    input.Body.properties.uri == STRING
    input.Body.STRING == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.keyName == STRING
    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
}

ServerKeys_Delete

valid {
    input.ReqMap.serverName == STRING
    input.ReqMap.keyName == STRING
    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
}

ServerKeys_Get

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

ServerKeys_List

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

ServerKeys_ListByInstance

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

ServerParameters_ListUpdateConfigurations

valid {
    input.Body.value[_].properties.value == STRING
    input.Body.value[_].properties.source == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSecurityAlertPolicies_CreateOrUpdate

enum_SecurityAlertPolicyNameParameter := [ "Default" ]
enum_SecurityAlertPolicyPropertiesState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.state == enum_SecurityAlertPolicyPropertiesState[_]
    input.Body.properties.disabledAlerts[_] == STRING
    input.Body.properties.emailAddresses[_] == STRING
    input.Body.properties.emailAccountAdmins == BOOLEAN
    input.Body.properties.storageEndpoint == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.retentionDays == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSecurityAlertPolicies_Get

enum_SecurityAlertPolicyNameParameter := [ "Default" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSecurityAlertPolicies_ListByServer

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

ServerThreatProtectionSettings_CreateOrUpdate

enum_ServerThreatProtectionPropertiesState := [ "Enabled", "Disabled" ]
enum_ThreatProtectionNameParameter := [ "Default" ]

valid {
    input.Body.properties.state == enum_ServerThreatProtectionPropertiesState[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.threatProtectionName == enum_ThreatProtectionNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerThreatProtectionSettings_Get

enum_ThreatProtectionNameParameter := [ "Default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.threatProtectionName == enum_ThreatProtectionNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerThreatProtectionSettings_ListByServer

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

Servers_Create

enum_AuthConfigActiveDirectoryAuth := [ "Enabled", "Disabled" ]
enum_AuthConfigPasswordAuth := [ "Enabled", "Disabled" ]
enum_BackupGeoRedundantBackup := [ "Enabled", "Disabled" ]
enum_DataEncryptionGeoBackupEncryptionKeyStatus := [ "Valid", "Invalid" ]
enum_DataEncryptionPrimaryEncryptionKeyStatus := [ "Valid", "Invalid" ]
enum_DataEncryptionType := [ "SystemManaged", "AzureKeyVault" ]
enum_HighAvailabilityMode := [ "Disabled", "ZoneRedundant", "SameZone" ]
enum_NetworkPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ReplicaPromoteMode := [ "standalone", "switchover" ]
enum_ReplicaPromoteOption := [ "planned", "forced" ]
enum_ReplicationRole := [ "None", "Primary", "AsyncReplica", "GeoAsyncReplica" ]
enum_ServerPropertiesCreateMode := [ "Default", "Create", "Update", "PointInTimeRestore", "GeoRestore", "Replica", "ReviveDropped" ]
enum_ServerVersion := [ "16", "15", "14", "13", "12", "11" ]
enum_SkuTier := [ "Burstable", "GeneralPurpose", "MemoryOptimized" ]
enum_StorageAutoGrow := [ "Enabled", "Disabled" ]
enum_StorageTier := [ "P1", "P2", "P3", "P4", "P6", "P10", "P15", "P20", "P30", "P40", "P50", "P60", "P70", "P80" ]
enum_StorageType := [ "Premium_LRS", "PremiumV2_LRS" ]
enum_UserAssignedIdentityType := [ "None", "UserAssigned" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.identity.userAssignedIdentities.STRING.principalId == STRING
    input.Body.identity.userAssignedIdentities.STRING.clientId == STRING
    input.Body.identity.type == enum_UserAssignedIdentityType[_]
    input.Body.properties.administratorLogin == STRING
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.version == enum_ServerVersion[_]
    input.Body.properties.storage.storageSizeGB == INTEGER
    input.Body.properties.storage.autoGrow == enum_StorageAutoGrow[_]
    input.Body.properties.storage.tier == enum_StorageTier[_]
    input.Body.properties.storage.iops == INTEGER
    input.Body.properties.storage.throughput == INTEGER
    input.Body.properties.storage.type == enum_StorageType[_]
    input.Body.properties.authConfig.activeDirectoryAuth == enum_AuthConfigActiveDirectoryAuth[_]
    input.Body.properties.authConfig.passwordAuth == enum_AuthConfigPasswordAuth[_]
    input.Body.properties.authConfig.tenantId == STRING
    input.Body.properties.dataEncryption.primaryKeyURI == STRING
    input.Body.properties.dataEncryption.primaryUserAssignedIdentityId == STRING
    input.Body.properties.dataEncryption.geoBackupKeyURI == STRING
    input.Body.properties.dataEncryption.geoBackupUserAssignedIdentityId == STRING
    input.Body.properties.dataEncryption.type == enum_DataEncryptionType[_]
    input.Body.properties.dataEncryption.primaryEncryptionKeyStatus == enum_DataEncryptionPrimaryEncryptionKeyStatus[_]
    input.Body.properties.dataEncryption.geoBackupEncryptionKeyStatus == enum_DataEncryptionGeoBackupEncryptionKeyStatus[_]
    input.Body.properties.backup.backupRetentionDays == INTEGER
    input.Body.properties.backup.geoRedundantBackup == enum_BackupGeoRedundantBackup[_]
    input.Body.properties.network.publicNetworkAccess == enum_NetworkPublicNetworkAccess[_]
    input.Body.properties.network.delegatedSubnetResourceId == STRING
    input.Body.properties.network.privateDnsZoneArmResourceId == STRING
    input.Body.properties.highAvailability.mode == enum_HighAvailabilityMode[_]
    input.Body.properties.highAvailability.standbyAvailabilityZone == STRING
    input.Body.properties.maintenanceWindow.customWindow == STRING
    input.Body.properties.maintenanceWindow.startHour == INTEGER
    input.Body.properties.maintenanceWindow.startMinute == INTEGER
    input.Body.properties.maintenanceWindow.dayOfWeek == INTEGER
    input.Body.properties.sourceServerResourceId == STRING
    input.Body.properties.pointInTimeUTC == STRING
    input.Body.properties.availabilityZone == STRING
    input.Body.properties.replicationRole == enum_ReplicationRole[_]
    input.Body.properties.replica.role == enum_ReplicationRole[_]
    input.Body.properties.replica.promoteMode == enum_ReplicaPromoteMode[_]
    input.Body.properties.replica.promoteOption == enum_ReplicaPromoteOption[_]
    input.Body.properties.createMode == enum_ServerPropertiesCreateMode[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Servers_Delete

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

Servers_Get

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

Servers_List

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

Servers_ListByCluster

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

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

Servers_ListByServerGroup

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

Servers_Restart

enum_RestartParameterFailoverMode := [ "PlannedFailover", "ForcedFailover", "PlannedSwitchover", "ForcedSwitchover" ]

valid {
    input.Body.restartWithFailover == BOOLEAN
    input.Body.failoverMode == enum_RestartParameterFailoverMode[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Servers_Start

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

Servers_Stop

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

Servers_Update

enum_AuthConfigActiveDirectoryAuth := [ "Enabled", "Disabled" ]
enum_AuthConfigPasswordAuth := [ "Enabled", "Disabled" ]
enum_BackupGeoRedundantBackup := [ "Enabled", "Disabled" ]
enum_DataEncryptionGeoBackupEncryptionKeyStatus := [ "Valid", "Invalid" ]
enum_DataEncryptionPrimaryEncryptionKeyStatus := [ "Valid", "Invalid" ]
enum_DataEncryptionType := [ "SystemManaged", "AzureKeyVault" ]
enum_HighAvailabilityMode := [ "Disabled", "ZoneRedundant", "SameZone" ]
enum_NetworkPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ReplicaPromoteMode := [ "standalone", "switchover" ]
enum_ReplicaPromoteOption := [ "planned", "forced" ]
enum_ReplicationRole := [ "None", "Primary", "AsyncReplica", "GeoAsyncReplica" ]
enum_ServerPropertiesForUpdateCreateMode := [ "Default", "Update" ]
enum_ServerVersion := [ "16", "15", "14", "13", "12", "11" ]
enum_SkuTier := [ "Burstable", "GeneralPurpose", "MemoryOptimized" ]
enum_StorageAutoGrow := [ "Enabled", "Disabled" ]
enum_StorageTier := [ "P1", "P2", "P3", "P4", "P6", "P10", "P15", "P20", "P30", "P40", "P50", "P60", "P70", "P80" ]
enum_StorageType := [ "Premium_LRS", "PremiumV2_LRS" ]
enum_UserAssignedIdentityType := [ "None", "UserAssigned" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.identity.userAssignedIdentities.STRING.principalId == STRING
    input.Body.identity.userAssignedIdentities.STRING.clientId == STRING
    input.Body.identity.type == enum_UserAssignedIdentityType[_]
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.version == enum_ServerVersion[_]
    input.Body.properties.storage.storageSizeGB == INTEGER
    input.Body.properties.storage.autoGrow == enum_StorageAutoGrow[_]
    input.Body.properties.storage.tier == enum_StorageTier[_]
    input.Body.properties.storage.iops == INTEGER
    input.Body.properties.storage.throughput == INTEGER
    input.Body.properties.storage.type == enum_StorageType[_]
    input.Body.properties.backup.backupRetentionDays == INTEGER
    input.Body.properties.backup.geoRedundantBackup == enum_BackupGeoRedundantBackup[_]
    input.Body.properties.highAvailability.mode == enum_HighAvailabilityMode[_]
    input.Body.properties.highAvailability.standbyAvailabilityZone == STRING
    input.Body.properties.maintenanceWindow.customWindow == STRING
    input.Body.properties.maintenanceWindow.startHour == INTEGER
    input.Body.properties.maintenanceWindow.startMinute == INTEGER
    input.Body.properties.maintenanceWindow.dayOfWeek == INTEGER
    input.Body.properties.authConfig.activeDirectoryAuth == enum_AuthConfigActiveDirectoryAuth[_]
    input.Body.properties.authConfig.passwordAuth == enum_AuthConfigPasswordAuth[_]
    input.Body.properties.authConfig.tenantId == STRING
    input.Body.properties.dataEncryption.primaryKeyURI == STRING
    input.Body.properties.dataEncryption.primaryUserAssignedIdentityId == STRING
    input.Body.properties.dataEncryption.geoBackupKeyURI == STRING
    input.Body.properties.dataEncryption.geoBackupUserAssignedIdentityId == STRING
    input.Body.properties.dataEncryption.type == enum_DataEncryptionType[_]
    input.Body.properties.dataEncryption.primaryEncryptionKeyStatus == enum_DataEncryptionPrimaryEncryptionKeyStatus[_]
    input.Body.properties.dataEncryption.geoBackupEncryptionKeyStatus == enum_DataEncryptionGeoBackupEncryptionKeyStatus[_]
    input.Body.properties.createMode == enum_ServerPropertiesForUpdateCreateMode[_]
    input.Body.properties.replicationRole == enum_ReplicationRole[_]
    input.Body.properties.replica.role == enum_ReplicationRole[_]
    input.Body.properties.replica.promoteMode == enum_ReplicaPromoteMode[_]
    input.Body.properties.replica.promoteOption == enum_ReplicaPromoteOption[_]
    input.Body.properties.network.publicNetworkAccess == enum_NetworkPublicNetworkAccess[_]
    input.Body.properties.network.delegatedSubnetResourceId == STRING
    input.Body.properties.network.privateDnsZoneArmResourceId == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TopQueryStatistics_Get

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

TopQueryStatistics_ListByServer

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

VirtualEndpoints_Create

enum_VirtualEndpointResourcePropertiesEndpointType := [ "ReadWrite" ]

valid {
    input.Body.STRING == STRING
    input.Body.properties.endpointType == enum_VirtualEndpointResourcePropertiesEndpointType[_]
    input.Body.properties.members[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.virtualEndpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualEndpoints_Delete

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

VirtualEndpoints_Get

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

VirtualEndpoints_ListByServer

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

VirtualEndpoints_Update

enum_VirtualEndpointResourcePropertiesEndpointType := [ "ReadWrite" ]

valid {
    input.Body.properties.endpointType == enum_VirtualEndpointResourcePropertiesEndpointType[_]
    input.Body.properties.members[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.virtualEndpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualNetworkRules_CreateOrUpdate

valid {
    input.Body.properties.virtualNetworkSubnetId == STRING
    input.Body.properties.ignoreMissingVnetServiceEndpoint == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.virtualNetworkRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualNetworkRules_Delete

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

VirtualNetworkRules_Get

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

VirtualNetworkRules_ListByServer

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

VirtualNetworkSubnetUsage_Execute

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

WaitStatistics_Get

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

WaitStatistics_ListByServer

valid {
    input.Body.properties.observationStartTime == STRING
    input.Body.properties.observationEndTime == STRING
    input.Body.properties.aggregationWindow == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ltrBackupOperations_Get

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

ltrBackupOperations_ListByServer

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