MICROSOFT.DOCUMENTDB

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