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_MigrationResourcePropertiesMigrateRoles := [ "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", "AWS_RDS", "AWS_AURORA", "AWS_EC2", "GCP_CloudSQL", "GCP_AlloyDB", "GCP_Compute", "EDB" ]
enum_SslMode := [ "Prefer", "Require", "VerifyCA", "VerifyFull" ]
valid {
input.Body.properties.migrationInstanceResourceId == STRING
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.migrateRoles == enum_MigrationResourcePropertiesMigrateRoles[_]
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_MigrationResourcePropertiesForPatchMigrateRoles := [ "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.migrateRoles == enum_MigrationResourcePropertiesForPatchMigrateRoles[_]
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
}
Updated 5 months ago