MICROSOFT.DBFORMYSQL
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
}
AzureADAdministrators_CreateOrUpdate
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
enum_AdministratorPropertiesAdministratorType := [ "ActiveDirectory" ]
valid {
input.Body.properties.administratorType == enum_AdministratorPropertiesAdministratorType[_]
input.Body.properties.login == STRING
input.Body.properties.sid == STRING
input.Body.properties.tenantId == STRING
input.Body.properties.identityResourceId == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
AzureADAdministrators_Delete
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
AzureADAdministrators_Get
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
AzureADAdministrators_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
}
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
}
Backups_Put
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
}
CheckNameAvailabilityWithoutLocation_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
}
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
}
CheckVirtualNetworkSubnetUsage_Execute
valid {
input.Body.virtualNetworkResourceId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.locationName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
Configurations_BatchUpdate
valid {
input.Body.value[_].name == STRING
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
}
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_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_Update
enum_ConfigurationPropertiesSource := [ "system-default", "user-override" ]
valid {
input.Body.properties.value == STRING
input.Body.properties.source == enum_ConfigurationPropertiesSource[_]
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
}
CreateRecommendedActionSession
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
}
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_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
}
GetPrivateDnsZoneSuffix_Execute
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
LocationBasedCapabilities_List
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
}
Operations_List
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
PrivateEndpointConnections_CreateOrUpdate
valid {
input.Body.properties.privateEndpoint.id == STRING
input.Body.properties.privateLinkServiceConnectionState.status == STRING
input.Body.properties.privateLinkServiceConnectionState.description == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateEndpointConnections_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateEndpointConnections_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateEndpointConnections_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
}
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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.groupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateLinkResources_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
}
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
}
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
}
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
}
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_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
}
ServerKeys_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
}
ServerParameters_BatchUpdate
valid {
input.Body.value[_].properties.value == STRING
input.Body.value[_].properties.source == STRING
input.Body.value[_].STRING == STRING
input.Body.nextLink == 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
}
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
}
Servers_Create
enum_InfrastructureEncryption := [ "Enabled", "Disabled" ]
enum_MinimalTlsVersion := [ "TLS1_0", "TLS1_1", "TLS1_2", "TLSEnforcementDisabled" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ResourceIdentityType := [ "SystemAssigned" ]
enum_ServerPropertiesForCreateCreateMode := [ "Default", "PointInTimeRestore", "GeoRestore", "Replica" ]
enum_ServerVersion := [ "5.6", "5.7", "8.0" ]
enum_SkuTier := [ "Basic", "GeneralPurpose", "MemoryOptimized" ]
enum_SslEnforcement := [ "Enabled", "Disabled" ]
enum_StorageProfileGeoRedundantBackup := [ "Enabled", "Disabled" ]
enum_StorageProfileStorageAutogrow := [ "Enabled", "Disabled" ]
valid {
input.Body.identity.type == enum_ResourceIdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.properties.version == enum_ServerVersion[_]
input.Body.properties.sslEnforcement == enum_SslEnforcement[_]
input.Body.properties.minimalTlsVersion == enum_MinimalTlsVersion[_]
input.Body.properties.infrastructureEncryption == enum_InfrastructureEncryption[_]
input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
input.Body.properties.storageProfile.backupRetentionDays == INTEGER
input.Body.properties.storageProfile.geoRedundantBackup == enum_StorageProfileGeoRedundantBackup[_]
input.Body.properties.storageProfile.storageMB == INTEGER
input.Body.properties.storageProfile.storageAutogrow == enum_StorageProfileStorageAutogrow[_]
input.Body.properties.createMode == enum_ServerPropertiesForCreateCreateMode[_]
input.Body.location == 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
}
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_Failover
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_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_Restart
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_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_MinimalTlsVersion := [ "TLS1_0", "TLS1_1", "TLS1_2", "TLSEnforcementDisabled" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ResourceIdentityType := [ "SystemAssigned" ]
enum_ServerVersion := [ "5.6", "5.7", "8.0" ]
enum_SkuTier := [ "Basic", "GeneralPurpose", "MemoryOptimized" ]
enum_SslEnforcement := [ "Enabled", "Disabled" ]
enum_StorageProfileGeoRedundantBackup := [ "Enabled", "Disabled" ]
enum_StorageProfileStorageAutogrow := [ "Enabled", "Disabled" ]
valid {
input.Body.identity.type == enum_ResourceIdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.properties.storageProfile.backupRetentionDays == INTEGER
input.Body.properties.storageProfile.geoRedundantBackup == enum_StorageProfileGeoRedundantBackup[_]
input.Body.properties.storageProfile.storageMB == INTEGER
input.Body.properties.storageProfile.storageAutogrow == enum_StorageProfileStorageAutogrow[_]
input.Body.properties.administratorLoginPassword == STRING
input.Body.properties.version == enum_ServerVersion[_]
input.Body.properties.sslEnforcement == enum_SslEnforcement[_]
input.Body.properties.minimalTlsVersion == enum_MinimalTlsVersion[_]
input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
input.Body.properties.replicationRole == 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
}
Servers_Upgrade
valid {
input.Body.properties.targetServerVersion == 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.Body.properties.numberOfTopQueries == INTEGER
input.Body.properties.aggregationFunction == STRING
input.Body.properties.observedMetric == STRING
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
}
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
}
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
}
Updated about 2 years ago