MICROSOFT.DOCUMENTDB

Suggest Edits
docs.microsoft.com
Azure documentation

CassandraClusters_CreateUpdate

enum_ClusterResourcePropertiesAuthenticationMethod := [ "None", "Cassandra", "Ldap" ]
enum_ClusterResourcePropertiesAutoReplicate := [ "None", "SystemKeyspaces", "AllKeyspaces" ]
enum_ClusterResourcePropertiesAzureConnectionMethod := [ "None", "VPN" ]
enum_ClusterResourcePropertiesClusterType := [ "Production", "NonProduction" ]
enum_ClusterResourcePropertiesScheduledEventStrategy := [ "Ignore", "StopAny", "StopByRack" ]
enum_ManagedCassandraManagedServiceIdentityType := [ "SystemAssigned", "None" ]
enum_ManagedCassandraProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Failed", "Canceled" ]

valid {
    input.Body.properties.provisioningState == enum_ManagedCassandraProvisioningState[_]
    input.Body.properties.restoreFromBackupId == STRING
    input.Body.properties.delegatedManagementSubnetId == STRING
    input.Body.properties.cassandraVersion == STRING
    input.Body.properties.clusterNameOverride == STRING
    input.Body.properties.authenticationMethod == enum_ClusterResourcePropertiesAuthenticationMethod[_]
    input.Body.properties.initialCassandraAdminPassword == STRING
    input.Body.properties.prometheusEndpoint.ipAddress == STRING
    input.Body.properties.repairEnabled == BOOLEAN
    input.Body.properties.autoReplicate == enum_ClusterResourcePropertiesAutoReplicate[_]
    input.Body.properties.clientCertificates[_].pem == STRING
    input.Body.properties.externalGossipCertificates[_].pem == STRING
    input.Body.properties.externalSeedNodes[_].ipAddress == STRING
    input.Body.properties.externalDataCenters[_] == STRING
    input.Body.properties.hoursBetweenBackups == INTEGER
    input.Body.properties.deallocated == BOOLEAN
    input.Body.properties.cassandraAuditLoggingEnabled == BOOLEAN
    input.Body.properties.clusterType == enum_ClusterResourcePropertiesClusterType[_]
    input.Body.properties.provisionError.code == STRING
    input.Body.properties.provisionError.message == STRING
    input.Body.properties.provisionError.target == STRING
    input.Body.properties.provisionError.additionalErrorInfo == STRING
    input.Body.properties.extensions[_] == STRING
    input.Body.properties.backupSchedules[_].scheduleName == STRING
    input.Body.properties.backupSchedules[_].cronExpression == STRING
    input.Body.properties.backupSchedules[_].retentionInHours == INTEGER
    input.Body.properties.scheduledEventStrategy == enum_ClusterResourcePropertiesScheduledEventStrategy[_]
    input.Body.properties.azureConnectionMethod == enum_ClusterResourcePropertiesAzureConnectionMethod[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedCassandraManagedServiceIdentityType[_]
    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
}

CassandraClusters_Deallocate

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
}

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

CassandraClusters_FetchNodeStatus

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
}

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

CassandraClusters_GetBackup

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

CassandraClusters_GetCommandAsync

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

CassandraClusters_InvokeCommand

valid {
    input.Body.command == STRING
    input.Body.arguments.STRING == STRING
    input.Body.host == STRING
    input.Body.cassandra-stop-start == BOOLEAN
    input.Body.readWrite == 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
}

CassandraClusters_InvokeCommandAsync

valid {
    input.Body.command == STRING
    input.Body.arguments.STRING == STRING
    input.Body.host == STRING
    input.Body.cassandra-stop-start == BOOLEAN
    input.Body.readWrite == 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
}

CassandraClusters_ListBackups

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
}

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

CassandraClusters_ListBySubscription

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

CassandraClusters_ListCommand

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
}

CassandraClusters_RequestRepair

valid {
    input.Body.keyspace == STRING
    input.Body.tables[_] == 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
}

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

CassandraClusters_Status

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
}

CassandraClusters_Update

enum_ClusterResourcePropertiesAuthenticationMethod := [ "None", "Cassandra", "Ldap" ]
enum_ClusterResourcePropertiesAutoReplicate := [ "None", "SystemKeyspaces", "AllKeyspaces" ]
enum_ClusterResourcePropertiesAzureConnectionMethod := [ "None", "VPN" ]
enum_ClusterResourcePropertiesClusterType := [ "Production", "NonProduction" ]
enum_ClusterResourcePropertiesScheduledEventStrategy := [ "Ignore", "StopAny", "StopByRack" ]
enum_ManagedCassandraProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Failed", "Canceled" ]

valid {
    input.Body.properties.provisioningState == enum_ManagedCassandraProvisioningState[_]
    input.Body.properties.restoreFromBackupId == STRING
    input.Body.properties.delegatedManagementSubnetId == STRING
    input.Body.properties.cassandraVersion == STRING
    input.Body.properties.clusterNameOverride == STRING
    input.Body.properties.authenticationMethod == enum_ClusterResourcePropertiesAuthenticationMethod[_]
    input.Body.properties.initialCassandraAdminPassword == STRING
    input.Body.properties.prometheusEndpoint.ipAddress == STRING
    input.Body.properties.repairEnabled == BOOLEAN
    input.Body.properties.autoReplicate == enum_ClusterResourcePropertiesAutoReplicate[_]
    input.Body.properties.clientCertificates[_].pem == STRING
    input.Body.properties.externalGossipCertificates[_].pem == STRING
    input.Body.properties.externalSeedNodes[_].ipAddress == STRING
    input.Body.properties.externalDataCenters[_] == STRING
    input.Body.properties.hoursBetweenBackups == INTEGER
    input.Body.properties.deallocated == BOOLEAN
    input.Body.properties.cassandraAuditLoggingEnabled == BOOLEAN
    input.Body.properties.clusterType == enum_ClusterResourcePropertiesClusterType[_]
    input.Body.properties.provisionError.code == STRING
    input.Body.properties.provisionError.message == STRING
    input.Body.properties.provisionError.target == STRING
    input.Body.properties.provisionError.additionalErrorInfo == STRING
    input.Body.properties.extensions[_] == STRING
    input.Body.properties.backupSchedules[_].scheduleName == STRING
    input.Body.properties.backupSchedules[_].cronExpression == STRING
    input.Body.properties.backupSchedules[_].retentionInHours == INTEGER
    input.Body.properties.scheduledEventStrategy == enum_ClusterResourcePropertiesScheduledEventStrategy[_]
    input.Body.properties.azureConnectionMethod == enum_ClusterResourcePropertiesAzureConnectionMethod[_]
    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
}

CassandraDataCenters_CreateUpdate

enum_ManagedCassandraProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Failed", "Canceled" ]

valid {
    input.Body.properties.provisioningState == enum_ManagedCassandraProvisioningState[_]
    input.Body.properties.dataCenterLocation == STRING
    input.Body.properties.delegatedSubnetId == STRING
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.base64EncodedCassandraYamlFragment == STRING
    input.Body.properties.managedDiskCustomerKeyUri == STRING
    input.Body.properties.backupStorageCustomerKeyUri == STRING
    input.Body.properties.sku == STRING
    input.Body.properties.diskSku == STRING
    input.Body.properties.diskCapacity == INTEGER
    input.Body.properties.availabilityZone == BOOLEAN
    input.Body.properties.authenticationMethodLdapProperties.serverHostname == STRING
    input.Body.properties.authenticationMethodLdapProperties.serverPort == INTEGER
    input.Body.properties.authenticationMethodLdapProperties.serviceUserDistinguishedName == STRING
    input.Body.properties.authenticationMethodLdapProperties.serviceUserPassword == STRING
    input.Body.properties.authenticationMethodLdapProperties.searchBaseDistinguishedName == STRING
    input.Body.properties.authenticationMethodLdapProperties.searchFilterTemplate == STRING
    input.Body.properties.authenticationMethodLdapProperties.serverCertificates[_].pem == STRING
    input.Body.properties.authenticationMethodLdapProperties.connectionTimeoutInMs == INTEGER
    input.Body.properties.deallocated == BOOLEAN
    input.Body.properties.provisionError.code == STRING
    input.Body.properties.provisionError.message == STRING
    input.Body.properties.provisionError.target == STRING
    input.Body.properties.provisionError.additionalErrorInfo == STRING
    input.Body.properties.privateEndpointIpAddress == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.dataCenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CassandraDataCenters_Delete

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

CassandraDataCenters_Get

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

CassandraDataCenters_List

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
}

CassandraDataCenters_Update

enum_ManagedCassandraProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Failed", "Canceled" ]

valid {
    input.Body.properties.provisioningState == enum_ManagedCassandraProvisioningState[_]
    input.Body.properties.dataCenterLocation == STRING
    input.Body.properties.delegatedSubnetId == STRING
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.base64EncodedCassandraYamlFragment == STRING
    input.Body.properties.managedDiskCustomerKeyUri == STRING
    input.Body.properties.backupStorageCustomerKeyUri == STRING
    input.Body.properties.sku == STRING
    input.Body.properties.diskSku == STRING
    input.Body.properties.diskCapacity == INTEGER
    input.Body.properties.availabilityZone == BOOLEAN
    input.Body.properties.authenticationMethodLdapProperties.serverHostname == STRING
    input.Body.properties.authenticationMethodLdapProperties.serverPort == INTEGER
    input.Body.properties.authenticationMethodLdapProperties.serviceUserDistinguishedName == STRING
    input.Body.properties.authenticationMethodLdapProperties.serviceUserPassword == STRING
    input.Body.properties.authenticationMethodLdapProperties.searchBaseDistinguishedName == STRING
    input.Body.properties.authenticationMethodLdapProperties.searchFilterTemplate == STRING
    input.Body.properties.authenticationMethodLdapProperties.serverCertificates[_].pem == STRING
    input.Body.properties.authenticationMethodLdapProperties.connectionTimeoutInMs == INTEGER
    input.Body.properties.deallocated == BOOLEAN
    input.Body.properties.provisionError.code == STRING
    input.Body.properties.provisionError.message == STRING
    input.Body.properties.provisionError.target == STRING
    input.Body.properties.provisionError.additionalErrorInfo == STRING
    input.Body.properties.privateEndpointIpAddress == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.dataCenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CassandraResources_CreateUpdateCassandraKeyspace

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CassandraResources_CreateUpdateCassandraTable

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.defaultTtl == INTEGER
    input.Body.properties.resource.schema.columns[_].name == STRING
    input.Body.properties.resource.schema.columns[_].type == STRING
    input.Body.properties.resource.schema.partitionKeys[_].name == STRING
    input.Body.properties.resource.schema.clusterKeys[_].name == STRING
    input.Body.properties.resource.schema.clusterKeys[_].orderBy == STRING
    input.Body.properties.resource.analyticalStorageTtl == INTEGER
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CassandraResources_CreateUpdateCassandraView

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.viewDefinition == STRING
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.ReqMap.viewName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CassandraResources_DeleteCassandraKeyspace

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

CassandraResources_DeleteCassandraTable

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

CassandraResources_DeleteCassandraView

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

CassandraResources_GetCassandraKeyspace

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

CassandraResources_GetCassandraKeyspaceThroughput

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

CassandraResources_GetCassandraTable

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

CassandraResources_GetCassandraTableThroughput

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

CassandraResources_GetCassandraView

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

CassandraResources_GetCassandraViewThroughput

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

CassandraResources_ListCassandraKeyspaces

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

CassandraResources_ListCassandraTables

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

CassandraResources_ListCassandraViews

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

CassandraResources_MigrateCassandraKeyspaceToAutoscale

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

CassandraResources_MigrateCassandraKeyspaceToManualThroughput

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

CassandraResources_MigrateCassandraTableToAutoscale

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

CassandraResources_MigrateCassandraTableToManualThroughput

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

CassandraResources_MigrateCassandraViewToAutoscale

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

CassandraResources_MigrateCassandraViewToManualThroughput

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

CassandraResources_UpdateCassandraKeyspaceThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CassandraResources_UpdateCassandraTableThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CassandraResources_UpdateCassandraViewThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.ReqMap.viewName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectionPartitionRegion_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.region == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectionPartition_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectionPartition_ListUsages

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectionRegion_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.region == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Collection_ListMetricDefinitions

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

Collection_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Collection_ListUsages

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataTransferJobs_Cancel

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

DataTransferJobs_Complete

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

DataTransferJobs_Create

enum_DataTransferDataSourceSinkComponent := [ "CosmosDBCassandra", "CosmosDBMongo", "CosmosDBSql", "AzureBlobStorage" ]
enum_DataTransferJobPropertiesMode := [ "Offline", "Online" ]

valid {
    input.Body.properties.source.component == enum_DataTransferDataSourceSinkComponent[_]
    input.Body.properties.destination.component == enum_DataTransferDataSourceSinkComponent[_]
    input.Body.properties.workerCount == INTEGER
    input.Body.properties.mode == enum_DataTransferJobPropertiesMode[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.jobName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataTransferJobs_Get

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

DataTransferJobs_ListByDatabaseAccount

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

DataTransferJobs_Pause

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

DataTransferJobs_Resume

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

DatabaseAccountRegion_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.region == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CheckNameExists

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

DatabaseAccounts_CreateOrUpdate

enum_AnalyticalStorageSchemaType := [ "WellDefined", "FullFidelity" ]
enum_ApiPropertiesServerVersion := [ "3.2", "3.6", "4.0", "4.2" ]
enum_BackupPolicyMigrationStatus := [ "Invalid", "InProgress", "Completed", "Failed" ]
enum_BackupPolicyType := [ "Periodic", "Continuous" ]
enum_ConnectorOffer := [ "Small" ]
enum_ConsistencyPolicyDefaultConsistencyLevel := [ "Eventual", "Session", "BoundedStaleness", "Strong", "ConsistentPrefix" ]
enum_CreateMode := [ "Default", "Restore" ]
enum_DatabaseAccountCreateUpdateParametersKind := [ "GlobalDocumentDB", "MongoDB", "Parse" ]
enum_DatabaseAccountOfferType := [ "Standard" ]
enum_DefaultPriorityLevel := [ "High", "Low" ]
enum_DiagnosticLogSettingsEnableFullTextQuery := [ "None", "True", "False" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]
enum_MinimalTlsVersion := [ "Tls", "Tls11", "Tls12" ]
enum_NetworkAclBypass := [ "None", "AzureServices" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]
enum_RestoreParametersRestoreMode := [ "PointInTime" ]

valid {
    input.Body.kind == enum_DatabaseAccountCreateUpdateParametersKind[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.consistencyPolicy.defaultConsistencyLevel == enum_ConsistencyPolicyDefaultConsistencyLevel[_]
    input.Body.properties.consistencyPolicy.maxStalenessPrefix == INTEGER
    input.Body.properties.consistencyPolicy.maxIntervalInSeconds == INTEGER
    input.Body.properties.locations[_].locationName == STRING
    input.Body.properties.locations[_].failoverPriority == INTEGER
    input.Body.properties.locations[_].isZoneRedundant == BOOLEAN
    input.Body.properties.databaseAccountOfferType == enum_DatabaseAccountOfferType[_]
    input.Body.properties.ipRules[_].ipAddressOrRange == STRING
    input.Body.properties.isVirtualNetworkFilterEnabled == BOOLEAN
    input.Body.properties.enableAutomaticFailover == BOOLEAN
    input.Body.properties.capabilities[_].name == STRING
    input.Body.properties.virtualNetworkRules[_].id == STRING
    input.Body.properties.virtualNetworkRules[_].ignoreMissingVNetServiceEndpoint == BOOLEAN
    input.Body.properties.enableMultipleWriteLocations == BOOLEAN
    input.Body.properties.enableCassandraConnector == BOOLEAN
    input.Body.properties.connectorOffer == enum_ConnectorOffer[_]
    input.Body.properties.disableKeyBasedMetadataWriteAccess == BOOLEAN
    input.Body.properties.keyVaultKeyUri == STRING
    input.Body.properties.defaultIdentity == STRING
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.properties.enableFreeTier == BOOLEAN
    input.Body.properties.apiProperties.serverVersion == enum_ApiPropertiesServerVersion[_]
    input.Body.properties.enableAnalyticalStorage == BOOLEAN
    input.Body.properties.analyticalStorageConfiguration.schemaType == enum_AnalyticalStorageSchemaType[_]
    input.Body.properties.createMode == enum_CreateMode[_]
    input.Body.properties.backupPolicy.type == enum_BackupPolicyType[_]
    input.Body.properties.backupPolicy.migrationState.status == enum_BackupPolicyMigrationStatus[_]
    input.Body.properties.backupPolicy.migrationState.targetType == enum_BackupPolicyType[_]
    input.Body.properties.backupPolicy.migrationState.startTime == STRING
    input.Body.properties.cors[_].allowedOrigins == STRING
    input.Body.properties.cors[_].allowedMethods == STRING
    input.Body.properties.cors[_].allowedHeaders == STRING
    input.Body.properties.cors[_].exposedHeaders == STRING
    input.Body.properties.cors[_].maxAgeInSeconds == INTEGER
    input.Body.properties.networkAclBypass == enum_NetworkAclBypass[_]
    input.Body.properties.networkAclBypassResourceIds[_] == STRING
    input.Body.properties.diagnosticLogSettings.enableFullTextQuery == enum_DiagnosticLogSettingsEnableFullTextQuery[_]
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.Body.properties.restoreParameters.restoreMode == enum_RestoreParametersRestoreMode[_]
    input.Body.properties.restoreParameters.restoreSource == STRING
    input.Body.properties.restoreParameters.restoreTimestampInUtc == STRING
    input.Body.properties.restoreParameters.databasesToRestore[_].databaseName == STRING
    input.Body.properties.restoreParameters.databasesToRestore[_].collectionNames[_] == STRING
    input.Body.properties.restoreParameters.gremlinDatabasesToRestore[_].databaseName == STRING
    input.Body.properties.restoreParameters.gremlinDatabasesToRestore[_].graphNames[_] == STRING
    input.Body.properties.restoreParameters.tablesToRestore[_] == STRING
    input.Body.properties.restoreParameters.sourceBackupLocation == STRING
    input.Body.properties.restoreParameters.restoreWithTtlDisabled == BOOLEAN
    input.Body.properties.capacity.totalThroughputLimit == INTEGER
    input.Body.properties.enableMaterializedViews == BOOLEAN
    input.Body.properties.enablePartitionMerge == BOOLEAN
    input.Body.properties.enableBurstCapacity == BOOLEAN
    input.Body.properties.minimalTlsVersion == enum_MinimalTlsVersion[_]
    input.Body.properties.customerManagedKeyStatus == STRING
    input.Body.properties.enablePriorityBasedExecution == BOOLEAN
    input.Body.properties.defaultPriorityLevel == enum_DefaultPriorityLevel[_]
    input.Body.properties.enablePerRegionPerPartitionAutoscale == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateCassandraKeyspace

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateCassandraTable

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.defaultTtl == INTEGER
    input.Body.properties.resource.schema.columns[_].name == STRING
    input.Body.properties.resource.schema.columns[_].type == STRING
    input.Body.properties.resource.schema.partitionKeys[_].name == STRING
    input.Body.properties.resource.schema.clusterKeys[_].name == STRING
    input.Body.properties.resource.schema.clusterKeys[_].orderBy == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateGremlinDatabase

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateGremlinGraph

enum_ConflictResolutionPolicyMode := [ "LastWriterWins", "Custom" ]
enum_ContainerPartitionKeyKind := [ "Hash", "Range" ]
enum_IndexesDataType := [ "String", "Number", "Point", "Polygon", "LineString", "MultiPolygon" ]
enum_IndexesKind := [ "Hash", "Range", "Spatial" ]
enum_IndexingPolicyIndexingMode := [ "Consistent", "Lazy", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.indexingPolicy.automatic == BOOLEAN
    input.Body.properties.resource.indexingPolicy.indexingMode == enum_IndexingPolicyIndexingMode[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].path == STRING
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].dataType == enum_IndexesDataType[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].precision == INTEGER
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].kind == enum_IndexesKind[_]
    input.Body.properties.resource.indexingPolicy.excludedPaths[_].path == STRING
    input.Body.properties.resource.partitionKey.paths[_] == STRING
    input.Body.properties.resource.partitionKey.kind == enum_ContainerPartitionKeyKind[_]
    input.Body.properties.resource.defaultTtl == INTEGER
    input.Body.properties.resource.uniqueKeyPolicy.uniqueKeys[_].paths[_] == STRING
    input.Body.properties.resource.conflictResolutionPolicy.mode == enum_ConflictResolutionPolicyMode[_]
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionPath == STRING
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionProcedure == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.graphName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateMongoDBCollection

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.shardKey.STRING == STRING
    input.Body.properties.resource.indexes[_].key.keys[_] == STRING
    input.Body.properties.resource.indexes[_].options.expireAfterSeconds == INTEGER
    input.Body.properties.resource.indexes[_].options.unique == BOOLEAN
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateMongoDBDatabase

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateSqlContainer

enum_ConflictResolutionPolicyMode := [ "LastWriterWins", "Custom" ]
enum_ContainerPartitionKeyKind := [ "Hash", "Range" ]
enum_IndexesDataType := [ "String", "Number", "Point", "Polygon", "LineString", "MultiPolygon" ]
enum_IndexesKind := [ "Hash", "Range", "Spatial" ]
enum_IndexingPolicyIndexingMode := [ "Consistent", "Lazy", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.indexingPolicy.automatic == BOOLEAN
    input.Body.properties.resource.indexingPolicy.indexingMode == enum_IndexingPolicyIndexingMode[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].path == STRING
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].dataType == enum_IndexesDataType[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].precision == INTEGER
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].kind == enum_IndexesKind[_]
    input.Body.properties.resource.indexingPolicy.excludedPaths[_].path == STRING
    input.Body.properties.resource.partitionKey.paths[_] == STRING
    input.Body.properties.resource.partitionKey.kind == enum_ContainerPartitionKeyKind[_]
    input.Body.properties.resource.defaultTtl == INTEGER
    input.Body.properties.resource.uniqueKeyPolicy.uniqueKeys[_].paths[_] == STRING
    input.Body.properties.resource.conflictResolutionPolicy.mode == enum_ConflictResolutionPolicyMode[_]
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionPath == STRING
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionProcedure == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateSqlDatabase

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_CreateUpdateTable

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.options.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_Delete

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

DatabaseAccounts_DeleteCassandraKeyspace

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

DatabaseAccounts_DeleteCassandraTable

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

DatabaseAccounts_DeleteGremlinDatabase

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

DatabaseAccounts_DeleteGremlinGraph

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

DatabaseAccounts_DeleteMongoDBCollection

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

DatabaseAccounts_DeleteMongoDBDatabase

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

DatabaseAccounts_DeleteSqlContainer

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

DatabaseAccounts_DeleteSqlDatabase

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

DatabaseAccounts_DeleteTable

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

DatabaseAccounts_FailoverPriorityChange

valid {
    input.Body.failoverPolicies[_].locationName == STRING
    input.Body.failoverPolicies[_].failoverPriority == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_Get

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

DatabaseAccounts_GetCassandraKeyspace

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

DatabaseAccounts_GetCassandraKeyspaceThroughput

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

DatabaseAccounts_GetCassandraTable

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

DatabaseAccounts_GetCassandraTableThroughput

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

DatabaseAccounts_GetGremlinDatabase

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

DatabaseAccounts_GetGremlinDatabaseThroughput

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

DatabaseAccounts_GetGremlinGraph

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

DatabaseAccounts_GetGremlinGraphThroughput

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

DatabaseAccounts_GetMongoDBCollection

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

DatabaseAccounts_GetMongoDBCollectionThroughput

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

DatabaseAccounts_GetMongoDBDatabase

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

DatabaseAccounts_GetMongoDBDatabaseThroughput

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

DatabaseAccounts_GetReadOnlyKeys

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

DatabaseAccounts_GetSqlContainer

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

DatabaseAccounts_GetSqlContainerThroughput

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

DatabaseAccounts_GetSqlDatabase

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

DatabaseAccounts_GetSqlDatabaseThroughput

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

DatabaseAccounts_GetTable

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

DatabaseAccounts_GetTableThroughput

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

DatabaseAccounts_List

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

DatabaseAccounts_ListByResourceGroup

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

DatabaseAccounts_ListCassandraKeyspaces

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

DatabaseAccounts_ListCassandraTables

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

DatabaseAccounts_ListConnectionStrings

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

DatabaseAccounts_ListGremlinDatabases

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

DatabaseAccounts_ListGremlinGraphs

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

DatabaseAccounts_ListKeys

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

DatabaseAccounts_ListMetricDefinitions

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

DatabaseAccounts_ListMetrics

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

DatabaseAccounts_ListMongoDBCollections

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

DatabaseAccounts_ListMongoDBDatabases

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

DatabaseAccounts_ListReadOnlyKeys

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

DatabaseAccounts_ListSqlContainers

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

DatabaseAccounts_ListSqlDatabases

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

DatabaseAccounts_ListTables

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

DatabaseAccounts_ListUsages

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

DatabaseAccounts_OfflineRegion

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

DatabaseAccounts_OnlineRegion

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

DatabaseAccounts_RegenerateKey

enum_DatabaseAccountRegenerateKeyParametersKeyKind := [ "primary", "secondary", "primaryReadonly", "secondaryReadonly" ]

valid {
    input.Body.keyKind == enum_DatabaseAccountRegenerateKeyParametersKeyKind[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_Update

enum_AnalyticalStorageSchemaType := [ "WellDefined", "FullFidelity" ]
enum_ApiPropertiesServerVersion := [ "3.2", "3.6", "4.0", "4.2" ]
enum_BackupPolicyMigrationStatus := [ "Invalid", "InProgress", "Completed", "Failed" ]
enum_BackupPolicyType := [ "Periodic", "Continuous" ]
enum_ConnectorOffer := [ "Small" ]
enum_ConsistencyPolicyDefaultConsistencyLevel := [ "Eventual", "Session", "BoundedStaleness", "Strong", "ConsistentPrefix" ]
enum_DefaultPriorityLevel := [ "High", "Low" ]
enum_DiagnosticLogSettingsEnableFullTextQuery := [ "None", "True", "False" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]
enum_MinimalTlsVersion := [ "Tls", "Tls11", "Tls12" ]
enum_NetworkAclBypass := [ "None", "AzureServices" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.consistencyPolicy.defaultConsistencyLevel == enum_ConsistencyPolicyDefaultConsistencyLevel[_]
    input.Body.properties.consistencyPolicy.maxStalenessPrefix == INTEGER
    input.Body.properties.consistencyPolicy.maxIntervalInSeconds == INTEGER
    input.Body.properties.locations[_].locationName == STRING
    input.Body.properties.locations[_].failoverPriority == INTEGER
    input.Body.properties.locations[_].isZoneRedundant == BOOLEAN
    input.Body.properties.ipRules[_].ipAddressOrRange == STRING
    input.Body.properties.isVirtualNetworkFilterEnabled == BOOLEAN
    input.Body.properties.enableAutomaticFailover == BOOLEAN
    input.Body.properties.capabilities[_].name == STRING
    input.Body.properties.virtualNetworkRules[_].id == STRING
    input.Body.properties.virtualNetworkRules[_].ignoreMissingVNetServiceEndpoint == BOOLEAN
    input.Body.properties.enableMultipleWriteLocations == BOOLEAN
    input.Body.properties.enableCassandraConnector == BOOLEAN
    input.Body.properties.connectorOffer == enum_ConnectorOffer[_]
    input.Body.properties.disableKeyBasedMetadataWriteAccess == BOOLEAN
    input.Body.properties.keyVaultKeyUri == STRING
    input.Body.properties.defaultIdentity == STRING
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.properties.enableFreeTier == BOOLEAN
    input.Body.properties.apiProperties.serverVersion == enum_ApiPropertiesServerVersion[_]
    input.Body.properties.enableAnalyticalStorage == BOOLEAN
    input.Body.properties.analyticalStorageConfiguration.schemaType == enum_AnalyticalStorageSchemaType[_]
    input.Body.properties.backupPolicy.type == enum_BackupPolicyType[_]
    input.Body.properties.backupPolicy.migrationState.status == enum_BackupPolicyMigrationStatus[_]
    input.Body.properties.backupPolicy.migrationState.targetType == enum_BackupPolicyType[_]
    input.Body.properties.backupPolicy.migrationState.startTime == STRING
    input.Body.properties.cors[_].allowedOrigins == STRING
    input.Body.properties.cors[_].allowedMethods == STRING
    input.Body.properties.cors[_].allowedHeaders == STRING
    input.Body.properties.cors[_].exposedHeaders == STRING
    input.Body.properties.cors[_].maxAgeInSeconds == INTEGER
    input.Body.properties.networkAclBypass == enum_NetworkAclBypass[_]
    input.Body.properties.networkAclBypassResourceIds[_] == STRING
    input.Body.properties.diagnosticLogSettings.enableFullTextQuery == enum_DiagnosticLogSettingsEnableFullTextQuery[_]
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.Body.properties.capacity.totalThroughputLimit == INTEGER
    input.Body.properties.enableMaterializedViews == BOOLEAN
    input.Body.properties.enablePartitionMerge == BOOLEAN
    input.Body.properties.enableBurstCapacity == BOOLEAN
    input.Body.properties.minimalTlsVersion == enum_MinimalTlsVersion[_]
    input.Body.properties.customerManagedKeyStatus == STRING
    input.Body.properties.enablePriorityBasedExecution == BOOLEAN
    input.Body.properties.defaultPriorityLevel == enum_DefaultPriorityLevel[_]
    input.Body.properties.enablePerRegionPerPartitionAutoscale == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateCassandraKeyspaceThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateCassandraTableThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.keyspaceName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateGremlinDatabaseThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateGremlinGraphThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.graphName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateMongoDBCollectionThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateMongoDBDatabaseThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateSqlContainerThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateSqlDatabaseThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabaseAccounts_UpdateTableThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Database_ListMetricDefinitions

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

Database_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Database_ListUsages

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseRid == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GraphResources_CreateUpdateGraph

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.graphName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GraphResources_DeleteGraphResource

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

GraphResources_GetGraph

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

GraphResources_ListGraphs

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

GremlinResources_CreateUpdateGremlinDatabase

enum_CreateMode := [ "Default", "Restore" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.restoreParameters.STRING == STRING
    input.Body.properties.resource.createMode == enum_CreateMode[_]
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GremlinResources_CreateUpdateGremlinGraph

enum_CompositePathOrder := [ "ascending", "descending" ]
enum_ConflictResolutionPolicyMode := [ "LastWriterWins", "Custom" ]
enum_ContainerPartitionKeyKind := [ "Hash", "Range", "MultiHash" ]
enum_CreateMode := [ "Default", "Restore" ]
enum_IndexesDataType := [ "String", "Number", "Point", "Polygon", "LineString", "MultiPolygon" ]
enum_IndexesKind := [ "Hash", "Range", "Spatial" ]
enum_IndexingPolicyIndexingMode := [ "consistent", "lazy", "none" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]
enum_SpatialType := [ "Point", "LineString", "Polygon", "MultiPolygon" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.indexingPolicy.automatic == BOOLEAN
    input.Body.properties.resource.indexingPolicy.indexingMode == enum_IndexingPolicyIndexingMode[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].path == STRING
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].dataType == enum_IndexesDataType[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].precision == INTEGER
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].kind == enum_IndexesKind[_]
    input.Body.properties.resource.indexingPolicy.excludedPaths[_].path == STRING
    input.Body.properties.resource.indexingPolicy.compositeIndexes[_][_].path == STRING
    input.Body.properties.resource.indexingPolicy.compositeIndexes[_][_].order == enum_CompositePathOrder[_]
    input.Body.properties.resource.indexingPolicy.spatialIndexes[_].path == STRING
    input.Body.properties.resource.indexingPolicy.spatialIndexes[_].types[_] == enum_SpatialType[_]
    input.Body.properties.resource.partitionKey.paths[_] == STRING
    input.Body.properties.resource.partitionKey.kind == enum_ContainerPartitionKeyKind[_]
    input.Body.properties.resource.partitionKey.version == INTEGER
    input.Body.properties.resource.defaultTtl == INTEGER
    input.Body.properties.resource.uniqueKeyPolicy.uniqueKeys[_].paths[_] == STRING
    input.Body.properties.resource.conflictResolutionPolicy.mode == enum_ConflictResolutionPolicyMode[_]
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionPath == STRING
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionProcedure == STRING
    input.Body.properties.resource.analyticalStorageTtl == INTEGER
    input.Body.properties.resource.restoreParameters.STRING == STRING
    input.Body.properties.resource.createMode == enum_CreateMode[_]
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.graphName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GremlinResources_DeleteGremlinDatabase

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

GremlinResources_DeleteGremlinGraph

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

GremlinResources_GetGremlinDatabase

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

GremlinResources_GetGremlinDatabaseThroughput

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

GremlinResources_GetGremlinGraph

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

GremlinResources_GetGremlinGraphThroughput

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

GremlinResources_ListGremlinDatabases

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

GremlinResources_ListGremlinGraphs

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

GremlinResources_MigrateGremlinDatabaseToAutoscale

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

GremlinResources_MigrateGremlinDatabaseToManualThroughput

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

GremlinResources_MigrateGremlinGraphToAutoscale

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

GremlinResources_MigrateGremlinGraphToManualThroughput

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

GremlinResources_RetrieveContinuousBackupInformation

valid {
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.graphName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GremlinResources_UpdateGremlinDatabaseThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GremlinResources_UpdateGremlinGraphThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.graphName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Locations_Get

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

Locations_List

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

MongoClusters_CheckNameAvailability

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

MongoClusters_CreateOrUpdate

enum_MongoClusterPropertiesCreateMode := [ "Default", "PointInTimeRestore" ]
enum_NodeKind := [ "Shard" ]

valid {
    input.Body.properties.createMode == enum_MongoClusterPropertiesCreateMode[_]
    input.Body.properties.restoreParameters.pointInTimeUTC == STRING
    input.Body.properties.restoreParameters.sourceResourceId == STRING
    input.Body.properties.administratorLogin == STRING
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.serverVersion == STRING
    input.Body.properties.nodeGroupSpecs[_].kind == enum_NodeKind[_]
    input.Body.properties.nodeGroupSpecs[_].nodeCount == INTEGER
    input.Body.properties.nodeGroupSpecs[_].sku == STRING
    input.Body.properties.nodeGroupSpecs[_].diskSizeGB == INTEGER
    input.Body.properties.nodeGroupSpecs[_].enableHa == BOOLEAN
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.mongoClusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoClusters_CreateOrUpdateFirewallRule

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.mongoClusterName == STRING
    input.ReqMap.firewallRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoClusters_Delete

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

MongoClusters_DeleteFirewallRule

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

MongoClusters_Get

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

MongoClusters_GetFirewallRule

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

MongoClusters_List

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

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

MongoClusters_ListConnectionStrings

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

MongoClusters_ListFirewallRules

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

MongoClusters_Update

enum_MongoClusterPropertiesCreateMode := [ "Default", "PointInTimeRestore" ]
enum_NodeKind := [ "Shard" ]

valid {
    input.Body.properties.createMode == enum_MongoClusterPropertiesCreateMode[_]
    input.Body.properties.restoreParameters.pointInTimeUTC == STRING
    input.Body.properties.restoreParameters.sourceResourceId == STRING
    input.Body.properties.administratorLogin == STRING
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.serverVersion == STRING
    input.Body.properties.nodeGroupSpecs[_].kind == enum_NodeKind[_]
    input.Body.properties.nodeGroupSpecs[_].nodeCount == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.mongoClusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_CreateUpdateMongoDBCollection

enum_CreateMode := [ "Default", "Restore" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.shardKey.STRING == STRING
    input.Body.properties.resource.indexes[_].key.keys[_] == STRING
    input.Body.properties.resource.indexes[_].options.expireAfterSeconds == INTEGER
    input.Body.properties.resource.indexes[_].options.unique == BOOLEAN
    input.Body.properties.resource.analyticalStorageTtl == INTEGER
    input.Body.properties.resource.restoreParameters.STRING == STRING
    input.Body.properties.resource.createMode == enum_CreateMode[_]
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_CreateUpdateMongoDBDatabase

enum_CreateMode := [ "Default", "Restore" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.restoreParameters.STRING == STRING
    input.Body.properties.resource.createMode == enum_CreateMode[_]
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_CreateUpdateMongoRoleDefinition

enum_MongoRoleDefinitionResourceType := [ "BuiltInRole", "CustomRole" ]

valid {
    input.Body.properties.roleName == STRING
    input.Body.properties.type == enum_MongoRoleDefinitionResourceType[_]
    input.Body.properties.databaseName == STRING
    input.Body.properties.privileges[_].resource.db == STRING
    input.Body.properties.privileges[_].resource.collection == STRING
    input.Body.properties.privileges[_].actions[_] == STRING
    input.Body.properties.roles[_].db == STRING
    input.Body.properties.roles[_].role == STRING
    input.ReqMap.mongoRoleDefinitionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_CreateUpdateMongoUserDefinition

valid {
    input.Body.properties.userName == STRING
    input.Body.properties.password == STRING
    input.Body.properties.databaseName == STRING
    input.Body.properties.customData == STRING
    input.Body.properties.roles[_].db == STRING
    input.Body.properties.roles[_].role == STRING
    input.Body.properties.mechanisms == STRING
    input.ReqMap.mongoUserDefinitionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_DeleteMongoDBCollection

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

MongoDBResources_DeleteMongoDBDatabase

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

MongoDBResources_DeleteMongoRoleDefinition

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

MongoDBResources_DeleteMongoUserDefinition

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

MongoDBResources_GetMongoDBCollection

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

MongoDBResources_GetMongoDBCollectionThroughput

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

MongoDBResources_GetMongoDBDatabase

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

MongoDBResources_GetMongoDBDatabaseThroughput

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

MongoDBResources_GetMongoRoleDefinition

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

MongoDBResources_GetMongoUserDefinition

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

MongoDBResources_ListMongoDBCollectionPartitionMerge

valid {
    input.Body.isDryRun == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_ListMongoDBCollections

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

MongoDBResources_ListMongoDBDatabases

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

MongoDBResources_ListMongoRoleDefinitions

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

MongoDBResources_ListMongoUserDefinitions

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

MongoDBResources_MigrateMongoDBCollectionToAutoscale

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

MongoDBResources_MigrateMongoDBCollectionToManualThroughput

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

MongoDBResources_MigrateMongoDBDatabaseToAutoscale

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

MongoDBResources_MigrateMongoDBDatabaseToManualThroughput

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

MongoDBResources_MongoDBContainerRedistributeThroughput

enum_RedistributeThroughputPropertiesResourceThroughputPolicy := [ "none", "equal", "custom" ]

valid {
    input.Body.properties.resource.throughputPolicy == enum_RedistributeThroughputPropertiesResourceThroughputPolicy[_]
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_MongoDBContainerRetrieveThroughputDistribution

valid {
    input.Body.properties.resource.physicalPartitionIds[_].id == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_MongoDBDatabasePartitionMerge

valid {
    input.Body.isDryRun == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_MongoDBDatabaseRedistributeThroughput

enum_RedistributeThroughputPropertiesResourceThroughputPolicy := [ "none", "equal", "custom" ]

valid {
    input.Body.properties.resource.throughputPolicy == enum_RedistributeThroughputPropertiesResourceThroughputPolicy[_]
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_MongoDBDatabaseRetrieveThroughputDistribution

valid {
    input.Body.properties.resource.physicalPartitionIds[_].id == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_RetrieveContinuousBackupInformation

valid {
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_UpdateMongoDBCollectionThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.collectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MongoDBResources_UpdateMongoDBDatabaseThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotebookWorkspaces_CreateOrUpdate

enum_NotebookWorkspaceNameParameter := [ "default" ]

valid {
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.notebookWorkspaceName == enum_NotebookWorkspaceNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotebookWorkspaces_Delete

enum_NotebookWorkspaceNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.notebookWorkspaceName == enum_NotebookWorkspaceNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotebookWorkspaces_Get

enum_NotebookWorkspaceNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.notebookWorkspaceName == enum_NotebookWorkspaceNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotebookWorkspaces_ListByDatabaseAccount

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

NotebookWorkspaces_ListConnectionInfo

enum_NotebookWorkspaceNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.notebookWorkspaceName == enum_NotebookWorkspaceNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotebookWorkspaces_RegenerateAuthToken

enum_NotebookWorkspaceNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.notebookWorkspaceName == enum_NotebookWorkspaceNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotebookWorkspaces_Start

enum_NotebookWorkspaceNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.notebookWorkspaceName == enum_NotebookWorkspaceNameParameter[_]
    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
}

PartitionKeyRangeIdRegion_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.region == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.ReqMap.partitionKeyRangeId == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PartitionKeyRangeId_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseRid == STRING
    input.ReqMap.collectionRid == STRING
    input.ReqMap.partitionKeyRangeId == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PercentileSourceTarget_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.sourceRegion == STRING
    input.ReqMap.targetRegion == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PercentileTarget_ListMetrics

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.targetRegion == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Percentile_ListMetrics

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

PrivateEndpointConnections_CreateOrUpdate

valid {
    input.Body.properties.privateEndpoint.id == STRING
    input.Body.properties.privateLinkServiceConnectionState.status == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.groupId == STRING
    input.Body.properties.provisioningState == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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.accountName == 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.accountName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_ListByDatabaseAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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.accountName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateLinkResources_ListByDatabaseAccount

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

RestorableDatabaseAccounts_GetByLocation

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

RestorableDatabaseAccounts_List

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

RestorableDatabaseAccounts_ListByLocation

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

RestorableGremlinDatabases_List

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

RestorableGremlinGraphs_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.instanceId == STRING
    input.Qs.api-version == STRING
    input.Qs.restorableGremlinDatabaseRid == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RestorableGremlinResources_List

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

RestorableMongodbCollections_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.instanceId == STRING
    input.Qs.api-version == STRING
    input.Qs.restorableMongodbDatabaseRid == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RestorableMongodbDatabases_List

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

RestorableMongodbResources_List

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

RestorableSqlContainers_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.instanceId == STRING
    input.Qs.api-version == STRING
    input.Qs.restorableSqlDatabaseRid == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RestorableSqlDatabases_List

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

RestorableSqlResources_List

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

RestorableTableResources_List

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

RestorableTables_List

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

Service_Create

enum_ServiceResourceInstanceSize := [ "Cosmos.D4s", "Cosmos.D8s", "Cosmos.D16s" ]
enum_ServiceType := [ "SqlDedicatedGateway", "DataTransfer", "GraphAPICompute", "MaterializedViewsBuilder" ]

valid {
    input.Body.properties.instanceSize == enum_ServiceResourceInstanceSize[_]
    input.Body.properties.instanceCount == INTEGER
    input.Body.properties.serviceType == enum_ServiceType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Service_Delete

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

Service_Get

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

Service_List

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

SqlResources_CreateUpdateClientEncryptionKey

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.encryptionAlgorithm == STRING
    input.Body.properties.resource.wrappedDataEncryptionKey == STRING
    input.Body.properties.resource.keyWrapMetadata.name == STRING
    input.Body.properties.resource.keyWrapMetadata.type == STRING
    input.Body.properties.resource.keyWrapMetadata.value == STRING
    input.Body.properties.resource.keyWrapMetadata.algorithm == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.clientEncryptionKeyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_CreateUpdateSqlContainer

enum_CompositePathOrder := [ "ascending", "descending" ]
enum_ConflictResolutionPolicyMode := [ "LastWriterWins", "Custom" ]
enum_ContainerPartitionKeyKind := [ "Hash", "Range", "MultiHash" ]
enum_CreateMode := [ "Default", "Restore" ]
enum_IndexesDataType := [ "String", "Number", "Point", "Polygon", "LineString", "MultiPolygon" ]
enum_IndexesKind := [ "Hash", "Range", "Spatial" ]
enum_IndexingPolicyIndexingMode := [ "consistent", "lazy", "none" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]
enum_SpatialType := [ "Point", "LineString", "Polygon", "MultiPolygon" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.indexingPolicy.automatic == BOOLEAN
    input.Body.properties.resource.indexingPolicy.indexingMode == enum_IndexingPolicyIndexingMode[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].path == STRING
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].dataType == enum_IndexesDataType[_]
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].precision == INTEGER
    input.Body.properties.resource.indexingPolicy.includedPaths[_].indexes[_].kind == enum_IndexesKind[_]
    input.Body.properties.resource.indexingPolicy.excludedPaths[_].path == STRING
    input.Body.properties.resource.indexingPolicy.compositeIndexes[_][_].path == STRING
    input.Body.properties.resource.indexingPolicy.compositeIndexes[_][_].order == enum_CompositePathOrder[_]
    input.Body.properties.resource.indexingPolicy.spatialIndexes[_].path == STRING
    input.Body.properties.resource.indexingPolicy.spatialIndexes[_].types[_] == enum_SpatialType[_]
    input.Body.properties.resource.partitionKey.paths[_] == STRING
    input.Body.properties.resource.partitionKey.kind == enum_ContainerPartitionKeyKind[_]
    input.Body.properties.resource.partitionKey.version == INTEGER
    input.Body.properties.resource.defaultTtl == INTEGER
    input.Body.properties.resource.uniqueKeyPolicy.uniqueKeys[_].paths[_] == STRING
    input.Body.properties.resource.conflictResolutionPolicy.mode == enum_ConflictResolutionPolicyMode[_]
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionPath == STRING
    input.Body.properties.resource.conflictResolutionPolicy.conflictResolutionProcedure == STRING
    input.Body.properties.resource.clientEncryptionPolicy.includedPaths[_].path == STRING
    input.Body.properties.resource.clientEncryptionPolicy.includedPaths[_].clientEncryptionKeyId == STRING
    input.Body.properties.resource.clientEncryptionPolicy.includedPaths[_].encryptionType == STRING
    input.Body.properties.resource.clientEncryptionPolicy.includedPaths[_].encryptionAlgorithm == STRING
    input.Body.properties.resource.clientEncryptionPolicy.policyFormatVersion == INTEGER
    input.Body.properties.resource.analyticalStorageTtl == INTEGER
    input.Body.properties.resource.restoreParameters.STRING == STRING
    input.Body.properties.resource.createMode == enum_CreateMode[_]
    input.Body.properties.resource.materializedViewDefinition.sourceCollectionId == STRING
    input.Body.properties.resource.materializedViewDefinition.definition == STRING
    input.Body.properties.resource.computedProperties[_].name == STRING
    input.Body.properties.resource.computedProperties[_].query == STRING
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_CreateUpdateSqlDatabase

enum_CreateMode := [ "Default", "Restore" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.restoreParameters.STRING == STRING
    input.Body.properties.resource.restoreParameters.restoreSource == STRING
    input.Body.properties.resource.restoreParameters.restoreTimestampInUtc == STRING
    input.Body.properties.resource.restoreParameters.restoreWithTtlDisabled == BOOLEAN
    input.Body.properties.resource.createMode == enum_CreateMode[_]
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_CreateUpdateSqlRoleAssignment

valid {
    input.Body.properties.roleDefinitionId == STRING
    input.Body.properties.scope == STRING
    input.Body.properties.principalId == STRING
    input.ReqMap.roleAssignmentId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_CreateUpdateSqlRoleDefinition

enum_SqlRoleDefinitionResourceType := [ "BuiltInRole", "CustomRole" ]

valid {
    input.Body.properties.roleName == STRING
    input.Body.properties.type == enum_SqlRoleDefinitionResourceType[_]
    input.Body.properties.assignableScopes[_] == STRING
    input.Body.properties.permissions[_].dataActions[_] == STRING
    input.Body.properties.permissions[_].notDataActions[_] == STRING
    input.ReqMap.roleDefinitionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_CreateUpdateSqlStoredProcedure

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.body == STRING
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.storedProcedureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_CreateUpdateSqlTrigger

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]
enum_SqlTriggerResourceTriggerOperation := [ "All", "Create", "Update", "Delete", "Replace" ]
enum_SqlTriggerResourceTriggerType := [ "Pre", "Post" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.body == STRING
    input.Body.properties.resource.triggerType == enum_SqlTriggerResourceTriggerType[_]
    input.Body.properties.resource.triggerOperation == enum_SqlTriggerResourceTriggerOperation[_]
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_CreateUpdateSqlUserDefinedFunction

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.body == STRING
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.userDefinedFunctionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_DeleteSqlContainer

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

SqlResources_DeleteSqlDatabase

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

SqlResources_DeleteSqlRoleAssignment

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

SqlResources_DeleteSqlRoleDefinition

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

SqlResources_DeleteSqlStoredProcedure

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

SqlResources_DeleteSqlTrigger

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

SqlResources_DeleteSqlUserDefinedFunction

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

SqlResources_GetClientEncryptionKey

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

SqlResources_GetSqlContainer

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

SqlResources_GetSqlContainerThroughput

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

SqlResources_GetSqlDatabase

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

SqlResources_GetSqlDatabaseThroughput

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

SqlResources_GetSqlRoleAssignment

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

SqlResources_GetSqlRoleDefinition

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

SqlResources_GetSqlStoredProcedure

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

SqlResources_GetSqlTrigger

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

SqlResources_GetSqlUserDefinedFunction

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

SqlResources_ListClientEncryptionKeys

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

SqlResources_ListSqlContainerPartitionMerge

valid {
    input.Body.isDryRun == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_ListSqlContainers

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

SqlResources_ListSqlDatabases

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

SqlResources_ListSqlRoleAssignments

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

SqlResources_ListSqlRoleDefinitions

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

SqlResources_ListSqlStoredProcedures

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

SqlResources_ListSqlTriggers

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

SqlResources_ListSqlUserDefinedFunctions

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

SqlResources_MigrateSqlContainerToAutoscale

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

SqlResources_MigrateSqlContainerToManualThroughput

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

SqlResources_MigrateSqlDatabaseToAutoscale

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

SqlResources_MigrateSqlDatabaseToManualThroughput

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

SqlResources_RetrieveContinuousBackupInformation

valid {
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_SqlContainerRedistributeThroughput

enum_RedistributeThroughputPropertiesResourceThroughputPolicy := [ "none", "equal", "custom" ]

valid {
    input.Body.properties.resource.throughputPolicy == enum_RedistributeThroughputPropertiesResourceThroughputPolicy[_]
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_SqlContainerRetrieveThroughputDistribution

valid {
    input.Body.properties.resource.physicalPartitionIds[_].id == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_SqlDatabasePartitionMerge

valid {
    input.Body.isDryRun == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_SqlDatabaseRedistributeThroughput

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]
enum_RedistributeThroughputPropertiesResourceThroughputPolicy := [ "none", "equal", "custom" ]

valid {
    input.Body.properties.resource.throughputPolicy == enum_RedistributeThroughputPropertiesResourceThroughputPolicy[_]
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.targetPhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].id == STRING
    input.Body.properties.resource.sourcePhysicalPartitionThroughputInfo[_].throughput == NUMBER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_SqlDatabaseRetrieveThroughputDistribution

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.physicalPartitionIds[_].id == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_UpdateSqlContainerThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlResources_UpdateSqlDatabaseThroughput

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TableResources_CreateUpdateTable

enum_CreateMode := [ "Default", "Restore" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned", "None" ]

valid {
    input.Body.properties.resource.id == STRING
    input.Body.properties.resource.restoreParameters.STRING == STRING
    input.Body.properties.resource.createMode == enum_CreateMode[_]
    input.Body.properties.options.throughput == INTEGER
    input.Body.properties.options.autoscaleSettings.maxThroughput == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TableResources_DeleteTable

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

TableResources_GetTable

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

TableResources_GetTableThroughput

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

TableResources_ListTables

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

TableResources_MigrateTableToAutoscale

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

TableResources_MigrateTableToManualThroughput

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

TableResources_RetrieveContinuousBackupInformation

valid {
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TableResources_UpdateTableThroughput

valid {
    input.Body.properties.resource.throughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.maxThroughput == INTEGER
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.isEnabled == BOOLEAN
    input.Body.properties.resource.autoscaleSettings.autoUpgradePolicy.throughputPolicy.incrementPercent == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ThroughputPoolAccount_Create

valid {
    input.Body.properties.accountResourceIdentifier == STRING
    input.Body.properties.accountLocation == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.throughputPoolName == STRING
    input.ReqMap.throughputPoolAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ThroughputPoolAccount_Delete

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

ThroughputPoolAccount_Get

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

ThroughputPoolAccounts_List

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

ThroughputPool_CreateOrUpdate

valid {
    input.Body.properties.maxThroughput == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.throughputPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ThroughputPool_Delete

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

ThroughputPool_Get

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

ThroughputPool_Update

valid {
    input.Body.properties.maxThroughput == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.throughputPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ThroughputPools_List

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

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

Updated about 17 hours ago