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 over 2 years ago