MICROSOFT.KUSTO

AttachedDatabaseConfigurations_CheckNameAvailability

enum_AttachedDatabaseConfigurationsCheckNameRequestType := [ "Microsoft.Kusto/clusters/attachedDatabaseConfigurations" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_AttachedDatabaseConfigurationsCheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AttachedDatabaseConfigurations_CreateOrUpdate

enum_AttachedDatabaseConfigurationPropertiesDefaultPrincipalsModificationKind := [ "Union", "Replace", "None" ]

valid {
    input.Body.location == STRING
    input.Body.properties.databaseName == STRING
    input.Body.properties.clusterResourceId == STRING
    input.Body.properties.defaultPrincipalsModificationKind == enum_AttachedDatabaseConfigurationPropertiesDefaultPrincipalsModificationKind[_]
    input.Body.properties.tableLevelSharingProperties.tablesToInclude[_] == STRING
    input.Body.properties.tableLevelSharingProperties.tablesToExclude[_] == STRING
    input.Body.properties.tableLevelSharingProperties.externalTablesToInclude[_] == STRING
    input.Body.properties.tableLevelSharingProperties.externalTablesToExclude[_] == STRING
    input.Body.properties.tableLevelSharingProperties.materializedViewsToInclude[_] == STRING
    input.Body.properties.tableLevelSharingProperties.materializedViewsToExclude[_] == STRING
    input.Body.properties.tableLevelSharingProperties.functionsToInclude[_] == STRING
    input.Body.properties.tableLevelSharingProperties.functionsToExclude[_] == STRING
    input.Body.properties.databaseNameOverride == STRING
    input.Body.properties.databaseNamePrefix == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.attachedDatabaseConfigurationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AttachedDatabaseConfigurations_Delete

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

AttachedDatabaseConfigurations_Get

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

AttachedDatabaseConfigurations_ListByCluster

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

ClusterPrincipalAssignments_CheckNameAvailability

enum_ClusterPrincipalAssignmentCheckNameRequestType := [ "Microsoft.Kusto/clusters/principalAssignments" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_ClusterPrincipalAssignmentCheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ClusterPrincipalAssignments_CreateOrUpdate

enum_ClusterPrincipalPropertiesPrincipalType := [ "App", "Group", "User" ]
enum_ClusterPrincipalPropertiesRole := [ "AllDatabasesAdmin", "AllDatabasesViewer" ]

valid {
    input.Body.properties.principalId == STRING
    input.Body.properties.role == enum_ClusterPrincipalPropertiesRole[_]
    input.Body.properties.tenantId == STRING
    input.Body.properties.principalType == enum_ClusterPrincipalPropertiesPrincipalType[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.principalAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ClusterPrincipalAssignments_Delete

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

ClusterPrincipalAssignments_Get

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

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

Clusters_AddLanguageExtensions

enum_LanguageExtensionImageName := [ "R", "Python3_6_5", "Python3_10_8", "Python3_10_8_DL", "PythonCustomImage" ]
enum_LanguageExtensionName := [ "PYTHON", "R" ]

valid {
    input.Body.value[_].languageExtensionName == enum_LanguageExtensionName[_]
    input.Body.value[_].languageExtensionImageName == enum_LanguageExtensionImageName[_]
    input.Body.value[_].languageExtensionCustomImageName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_CheckNameAvailability

enum_ClusterCheckNameRequestType := [ "Microsoft.Kusto/clusters" ]

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

Clusters_CreateOrUpdate

enum_AzureSkuName := [ "Dev(No SLA)_Standard_D11_v2", "Dev(No SLA)_Standard_E2a_v4", "Standard_D11_v2", "Standard_D12_v2", "Standard_D13_v2", "Standard_D14_v2", "Standard_D32d_v4", "Standard_D16d_v5", "Standard_D32d_v5", "Standard_DS13_v2+1TB_PS", "Standard_DS13_v2+2TB_PS", "Standard_DS14_v2+3TB_PS", "Standard_DS14_v2+4TB_PS", "Standard_L4s", "Standard_L8s", "Standard_L16s", "Standard_L8s_v2", "Standard_L16s_v2", "Standard_L8s_v3", "Standard_L16s_v3", "Standard_L32s_v3", "Standard_L8as_v3", "Standard_L16as_v3", "Standard_L32as_v3", "Standard_E64i_v3", "Standard_E80ids_v4", "Standard_E2a_v4", "Standard_E4a_v4", "Standard_E8a_v4", "Standard_E16a_v4", "Standard_E8as_v4+1TB_PS", "Standard_E8as_v4+2TB_PS", "Standard_E16as_v4+3TB_PS", "Standard_E16as_v4+4TB_PS", "Standard_E8as_v5+1TB_PS", "Standard_E8as_v5+2TB_PS", "Standard_E16as_v5+3TB_PS", "Standard_E16as_v5+4TB_PS", "Standard_E2ads_v5", "Standard_E4ads_v5", "Standard_E8ads_v5", "Standard_E16ads_v5", "Standard_EC8as_v5+1TB_PS", "Standard_EC8as_v5+2TB_PS", "Standard_EC16as_v5+3TB_PS", "Standard_EC16as_v5+4TB_PS", "Standard_EC8ads_v5", "Standard_EC16ads_v5", "Standard_E8s_v4+1TB_PS", "Standard_E8s_v4+2TB_PS", "Standard_E16s_v4+3TB_PS", "Standard_E16s_v4+4TB_PS", "Standard_E8s_v5+1TB_PS", "Standard_E8s_v5+2TB_PS", "Standard_E16s_v5+3TB_PS", "Standard_E16s_v5+4TB_PS", "Standard_E2d_v4", "Standard_E4d_v4", "Standard_E8d_v4", "Standard_E16d_v4", "Standard_E2d_v5", "Standard_E4d_v5", "Standard_E8d_v5", "Standard_E16d_v5" ]
enum_AzureSkuTier := [ "Basic", "Standard" ]
enum_ClusterPropertiesEngineType := [ "V2", "V3" ]
enum_ClusterPropertiesPublicIPType := [ "IPv4", "DualStack" ]
enum_ClusterPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ClusterPropertiesRestrictOutboundNetworkAccess := [ "Enabled", "Disabled" ]
enum_IdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_LanguageExtensionImageName := [ "R", "Python3_6_5", "Python3_10_8", "Python3_10_8_DL", "PythonCustomImage" ]
enum_LanguageExtensionName := [ "PYTHON", "R" ]
enum_VirtualNetworkConfigurationState := [ "Enabled", "Disabled" ]

valid {
    input.Body.sku.name == enum_AzureSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.sku.tier == enum_AzureSkuTier[_]
    input.Body.zones[_] == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.trustedExternalTenants[_].value == STRING
    input.Body.properties.optimizedAutoscale.version == INTEGER
    input.Body.properties.optimizedAutoscale.isEnabled == BOOLEAN
    input.Body.properties.optimizedAutoscale.minimum == INTEGER
    input.Body.properties.optimizedAutoscale.maximum == INTEGER
    input.Body.properties.enableDiskEncryption == BOOLEAN
    input.Body.properties.enableStreamingIngest == BOOLEAN
    input.Body.properties.virtualNetworkConfiguration.subnetId == STRING
    input.Body.properties.virtualNetworkConfiguration.enginePublicIpId == STRING
    input.Body.properties.virtualNetworkConfiguration.dataManagementPublicIpId == STRING
    input.Body.properties.virtualNetworkConfiguration.state == enum_VirtualNetworkConfigurationState[_]
    input.Body.properties.keyVaultProperties.keyName == STRING
    input.Body.properties.keyVaultProperties.keyVersion == STRING
    input.Body.properties.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.keyVaultProperties.userIdentity == STRING
    input.Body.properties.enablePurge == BOOLEAN
    input.Body.properties.languageExtensions.value[_].languageExtensionName == enum_LanguageExtensionName[_]
    input.Body.properties.languageExtensions.value[_].languageExtensionImageName == enum_LanguageExtensionImageName[_]
    input.Body.properties.languageExtensions.value[_].languageExtensionCustomImageName == STRING
    input.Body.properties.enableDoubleEncryption == BOOLEAN
    input.Body.properties.publicNetworkAccess == enum_ClusterPropertiesPublicNetworkAccess[_]
    input.Body.properties.allowedIpRangeList[_] == STRING
    input.Body.properties.engineType == enum_ClusterPropertiesEngineType[_]
    input.Body.properties.acceptedAudiences[_].value == STRING
    input.Body.properties.enableAutoStop == BOOLEAN
    input.Body.properties.restrictOutboundNetworkAccess == enum_ClusterPropertiesRestrictOutboundNetworkAccess[_]
    input.Body.properties.allowedFqdnList[_] == STRING
    input.Body.properties.publicIPType == enum_ClusterPropertiesPublicIPType[_]
    input.Body.properties.virtualClusterGraduationProperties == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Delete

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

Clusters_DetachFollowerDatabases

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

Clusters_DiagnoseVirtualNetwork

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

Clusters_Get

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

Clusters_List

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

Clusters_ListByResourceGroup

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

Clusters_ListFollowerDatabases

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

Clusters_ListLanguageExtensions

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

Clusters_ListOutboundNetworkDependenciesEndpoints

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

Clusters_ListSkus

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

Clusters_ListSkusByResource

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

Clusters_Migrate

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

Clusters_RemoveLanguageExtensions

enum_LanguageExtensionImageName := [ "R", "Python3_6_5", "Python3_10_8", "Python3_10_8_DL", "PythonCustomImage" ]
enum_LanguageExtensionName := [ "PYTHON", "R" ]

valid {
    input.Body.value[_].languageExtensionName == enum_LanguageExtensionName[_]
    input.Body.value[_].languageExtensionImageName == enum_LanguageExtensionImageName[_]
    input.Body.value[_].languageExtensionCustomImageName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Start

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

Clusters_Stop

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

Clusters_Update

enum_AzureSkuName := [ "Dev(No SLA)_Standard_D11_v2", "Dev(No SLA)_Standard_E2a_v4", "Standard_D11_v2", "Standard_D12_v2", "Standard_D13_v2", "Standard_D14_v2", "Standard_D32d_v4", "Standard_D16d_v5", "Standard_D32d_v5", "Standard_DS13_v2+1TB_PS", "Standard_DS13_v2+2TB_PS", "Standard_DS14_v2+3TB_PS", "Standard_DS14_v2+4TB_PS", "Standard_L4s", "Standard_L8s", "Standard_L16s", "Standard_L8s_v2", "Standard_L16s_v2", "Standard_L8s_v3", "Standard_L16s_v3", "Standard_L32s_v3", "Standard_L8as_v3", "Standard_L16as_v3", "Standard_L32as_v3", "Standard_E64i_v3", "Standard_E80ids_v4", "Standard_E2a_v4", "Standard_E4a_v4", "Standard_E8a_v4", "Standard_E16a_v4", "Standard_E8as_v4+1TB_PS", "Standard_E8as_v4+2TB_PS", "Standard_E16as_v4+3TB_PS", "Standard_E16as_v4+4TB_PS", "Standard_E8as_v5+1TB_PS", "Standard_E8as_v5+2TB_PS", "Standard_E16as_v5+3TB_PS", "Standard_E16as_v5+4TB_PS", "Standard_E2ads_v5", "Standard_E4ads_v5", "Standard_E8ads_v5", "Standard_E16ads_v5", "Standard_EC8as_v5+1TB_PS", "Standard_EC8as_v5+2TB_PS", "Standard_EC16as_v5+3TB_PS", "Standard_EC16as_v5+4TB_PS", "Standard_EC8ads_v5", "Standard_EC16ads_v5", "Standard_E8s_v4+1TB_PS", "Standard_E8s_v4+2TB_PS", "Standard_E16s_v4+3TB_PS", "Standard_E16s_v4+4TB_PS", "Standard_E8s_v5+1TB_PS", "Standard_E8s_v5+2TB_PS", "Standard_E16s_v5+3TB_PS", "Standard_E16s_v5+4TB_PS", "Standard_E2d_v4", "Standard_E4d_v4", "Standard_E8d_v4", "Standard_E16d_v4", "Standard_E2d_v5", "Standard_E4d_v5", "Standard_E8d_v5", "Standard_E16d_v5" ]
enum_AzureSkuTier := [ "Basic", "Standard" ]
enum_ClusterPropertiesEngineType := [ "V2", "V3" ]
enum_ClusterPropertiesPublicIPType := [ "IPv4", "DualStack" ]
enum_ClusterPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ClusterPropertiesRestrictOutboundNetworkAccess := [ "Enabled", "Disabled" ]
enum_IdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_LanguageExtensionImageName := [ "R", "Python3_6_5", "Python3_10_8", "Python3_10_8_DL", "PythonCustomImage" ]
enum_LanguageExtensionName := [ "PYTHON", "R" ]
enum_VirtualNetworkConfigurationState := [ "Enabled", "Disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.sku.name == enum_AzureSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.sku.tier == enum_AzureSkuTier[_]
    input.Body.zones[_] == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.trustedExternalTenants[_].value == STRING
    input.Body.properties.optimizedAutoscale.version == INTEGER
    input.Body.properties.optimizedAutoscale.isEnabled == BOOLEAN
    input.Body.properties.optimizedAutoscale.minimum == INTEGER
    input.Body.properties.optimizedAutoscale.maximum == INTEGER
    input.Body.properties.enableDiskEncryption == BOOLEAN
    input.Body.properties.enableStreamingIngest == BOOLEAN
    input.Body.properties.virtualNetworkConfiguration.subnetId == STRING
    input.Body.properties.virtualNetworkConfiguration.enginePublicIpId == STRING
    input.Body.properties.virtualNetworkConfiguration.dataManagementPublicIpId == STRING
    input.Body.properties.virtualNetworkConfiguration.state == enum_VirtualNetworkConfigurationState[_]
    input.Body.properties.keyVaultProperties.keyName == STRING
    input.Body.properties.keyVaultProperties.keyVersion == STRING
    input.Body.properties.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.keyVaultProperties.userIdentity == STRING
    input.Body.properties.enablePurge == BOOLEAN
    input.Body.properties.languageExtensions.value[_].languageExtensionName == enum_LanguageExtensionName[_]
    input.Body.properties.languageExtensions.value[_].languageExtensionImageName == enum_LanguageExtensionImageName[_]
    input.Body.properties.languageExtensions.value[_].languageExtensionCustomImageName == STRING
    input.Body.properties.enableDoubleEncryption == BOOLEAN
    input.Body.properties.publicNetworkAccess == enum_ClusterPropertiesPublicNetworkAccess[_]
    input.Body.properties.allowedIpRangeList[_] == STRING
    input.Body.properties.engineType == enum_ClusterPropertiesEngineType[_]
    input.Body.properties.acceptedAudiences[_].value == STRING
    input.Body.properties.enableAutoStop == BOOLEAN
    input.Body.properties.restrictOutboundNetworkAccess == enum_ClusterPropertiesRestrictOutboundNetworkAccess[_]
    input.Body.properties.allowedFqdnList[_] == STRING
    input.Body.properties.publicIPType == enum_ClusterPropertiesPublicIPType[_]
    input.Body.properties.virtualClusterGraduationProperties == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataConnections_CheckNameAvailability

enum_DataConnectionCheckNameRequestType := [ "Microsoft.Kusto/clusters/databases/dataConnections" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_DataConnectionCheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataConnections_CreateOrUpdate

enum_DataConnectionKind := [ "EventHub", "EventGrid", "IotHub", "CosmosDb" ]

valid {
    input.Body.location == STRING
    input.Body.kind == enum_DataConnectionKind[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.dataConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataConnections_Delete

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

DataConnections_Get

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

DataConnections_ListByDatabase

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

DataConnections_Update

enum_DataConnectionKind := [ "EventHub", "EventGrid", "IotHub", "CosmosDb" ]

valid {
    input.Body.location == STRING
    input.Body.kind == enum_DataConnectionKind[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.dataConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataConnections_dataConnectionValidation

enum_DataConnectionKind := [ "EventHub", "EventGrid", "IotHub", "CosmosDb" ]

valid {
    input.Body.dataConnectionName == STRING
    input.Body.properties.location == STRING
    input.Body.properties.kind == enum_DataConnectionKind[_]
    input.Body.properties.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabasePrincipalAssignments_CheckNameAvailability

enum_DatabasePrincipalAssignmentCheckNameRequestType := [ "Microsoft.Kusto/clusters/databases/principalAssignments" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_DatabasePrincipalAssignmentCheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabasePrincipalAssignments_CreateOrUpdate

enum_DatabasePrincipalPropertiesPrincipalType := [ "App", "Group", "User" ]
enum_DatabasePrincipalPropertiesRole := [ "Admin", "Ingestor", "Monitor", "User", "UnrestrictedViewer", "Viewer" ]

valid {
    input.Body.properties.principalId == STRING
    input.Body.properties.role == enum_DatabasePrincipalPropertiesRole[_]
    input.Body.properties.tenantId == STRING
    input.Body.properties.principalType == enum_DatabasePrincipalPropertiesPrincipalType[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.principalAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DatabasePrincipalAssignments_Delete

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

DatabasePrincipalAssignments_Get

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

DatabasePrincipalAssignments_List

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

Database_InviteFollower

valid {
    input.Body.inviteeEmail == STRING
    input.Body.tableLevelSharingProperties.tablesToInclude[_] == STRING
    input.Body.tableLevelSharingProperties.tablesToExclude[_] == STRING
    input.Body.tableLevelSharingProperties.externalTablesToInclude[_] == STRING
    input.Body.tableLevelSharingProperties.externalTablesToExclude[_] == STRING
    input.Body.tableLevelSharingProperties.materializedViewsToInclude[_] == STRING
    input.Body.tableLevelSharingProperties.materializedViewsToExclude[_] == STRING
    input.Body.tableLevelSharingProperties.functionsToInclude[_] == STRING
    input.Body.tableLevelSharingProperties.functionsToExclude[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_AddPrincipals

enum_DatabasePrincipalRole := [ "Admin", "Ingestor", "Monitor", "User", "UnrestrictedViewer", "Viewer" ]
enum_DatabasePrincipalType := [ "App", "Group", "User" ]

valid {
    input.Body.value[_].role == enum_DatabasePrincipalRole[_]
    input.Body.value[_].name == STRING
    input.Body.value[_].type == enum_DatabasePrincipalType[_]
    input.Body.value[_].fqn == STRING
    input.Body.value[_].email == STRING
    input.Body.value[_].appId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_CheckNameAvailability

enum_CheckNameRequestType := [ "Microsoft.Kusto/clusters/databases", "Microsoft.Kusto/clusters/attachedDatabaseConfigurations" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_CheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_CreateOrUpdate

enum_DatabaseKind := [ "ReadWrite", "ReadOnlyFollowing" ]
enum_callerRoleParameter := [ "Admin", "None" ]

valid {
    input.Body.location == STRING
    input.Body.kind == enum_DatabaseKind[_]
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.callerRole == enum_callerRoleParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_Delete

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

Databases_Get

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

Databases_ListByCluster

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_ListPrincipals

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

Databases_RemovePrincipals

enum_DatabasePrincipalRole := [ "Admin", "Ingestor", "Monitor", "User", "UnrestrictedViewer", "Viewer" ]
enum_DatabasePrincipalType := [ "App", "Group", "User" ]

valid {
    input.Body.value[_].role == enum_DatabasePrincipalRole[_]
    input.Body.value[_].name == STRING
    input.Body.value[_].type == enum_DatabasePrincipalType[_]
    input.Body.value[_].fqn == STRING
    input.Body.value[_].email == STRING
    input.Body.value[_].appId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Databases_Update

enum_DatabaseKind := [ "ReadWrite", "ReadOnlyFollowing" ]
enum_callerRoleParameter := [ "Admin", "None" ]

valid {
    input.Body.location == STRING
    input.Body.kind == enum_DatabaseKind[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.callerRole == enum_callerRoleParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EventHubConnections_CreateOrUpdate

enum_EventHubConnectionPropertiesDataFormat := [ "MULTIJSON", "JSON", "CSV" ]

valid {
    input.Body.location == STRING
    input.Body.properties.eventHubResourceId == STRING
    input.Body.properties.consumerGroup == STRING
    input.Body.properties.tableName == STRING
    input.Body.properties.mappingRuleName == STRING
    input.Body.properties.dataFormat == enum_EventHubConnectionPropertiesDataFormat[_]
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.eventHubConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EventHubConnections_Delete

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

EventHubConnections_Get

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

EventHubConnections_ListByDatabase

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

EventHubConnections_Update

enum_EventHubConnectionPropertiesDataFormat := [ "MULTIJSON", "JSON", "CSV" ]

valid {
    input.Body.location == STRING
    input.Body.properties.eventHubResourceId == STRING
    input.Body.properties.consumerGroup == STRING
    input.Body.properties.tableName == STRING
    input.Body.properties.mappingRuleName == STRING
    input.Body.properties.dataFormat == enum_EventHubConnectionPropertiesDataFormat[_]
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.eventHubConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EventHubConnections_eventhubConnectionValidation

enum_EventHubConnectionPropertiesDataFormat := [ "MULTIJSON", "JSON", "CSV" ]

valid {
    input.Body.eventhubConnectionName == STRING
    input.Body.properties.eventHubResourceId == STRING
    input.Body.properties.consumerGroup == STRING
    input.Body.properties.tableName == STRING
    input.Body.properties.mappingRuleName == STRING
    input.Body.properties.dataFormat == enum_EventHubConnectionPropertiesDataFormat[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedPrivateEndpoints_CheckNameAvailability

enum_ManagedPrivateEndpointsCheckNameRequestType := [ "Microsoft.Kusto/clusters/managedPrivateEndpoints" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_ManagedPrivateEndpointsCheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedPrivateEndpoints_CreateOrUpdate

valid {
    input.Body.properties.privateLinkResourceId == STRING
    input.Body.properties.privateLinkResourceRegion == STRING
    input.Body.properties.groupId == STRING
    input.Body.properties.requestMessage == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.managedPrivateEndpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedPrivateEndpoints_Delete

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

ManagedPrivateEndpoints_Get

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

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

ManagedPrivateEndpoints_Update

valid {
    input.Body.properties.privateLinkResourceId == STRING
    input.Body.properties.privateLinkResourceRegion == STRING
    input.Body.properties.groupId == STRING
    input.Body.properties.requestMessage == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.managedPrivateEndpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OperationsResultsLocation_Get

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

OperationsResults_Get

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

Operations_List

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

PrivateEndpointConnections_CreateOrUpdate

valid {
    input.Body.properties.privateLinkServiceConnectionState.status == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Delete

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

PrivateEndpointConnections_Get

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

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

PrivateLinkResources_Get

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

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

SandboxCustomImages_CheckNameAvailability

enum_SandboxCustomImagesCheckNameRequestType := [ "Microsoft.Kusto/clusters/sandboxCustomImages" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_SandboxCustomImagesCheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SandboxCustomImages_CreateOrUpdate

enum_SandboxCustomImagePropertiesLanguage := [ "Python" ]

valid {
    input.Body.properties.language == enum_SandboxCustomImagePropertiesLanguage[_]
    input.Body.properties.languageVersion == STRING
    input.Body.properties.requirementsFileContent == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.sandboxCustomImageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SandboxCustomImages_Delete

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

SandboxCustomImages_Get

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

SandboxCustomImages_ListByCluster

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

SandboxCustomImages_Update

enum_SandboxCustomImagePropertiesLanguage := [ "Python" ]

valid {
    input.Body.properties.language == enum_SandboxCustomImagePropertiesLanguage[_]
    input.Body.properties.languageVersion == STRING
    input.Body.properties.requirementsFileContent == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.sandboxCustomImageName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Scripts_CheckNameAvailability

enum_ScriptCheckNameRequestType := [ "Microsoft.Kusto/clusters/databases/scripts" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_ScriptCheckNameRequestType[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Scripts_CreateOrUpdate

valid {
    input.Body.properties.scriptUrl == STRING
    input.Body.properties.scriptUrlSasToken == STRING
    input.Body.properties.scriptContent == STRING
    input.Body.properties.forceUpdateTag == STRING
    input.Body.properties.continueOnErrors == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.scriptName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Scripts_Delete

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

Scripts_Get

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

Scripts_ListByDatabase

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

Scripts_Update

valid {
    input.Body.properties.scriptUrl == STRING
    input.Body.properties.scriptUrlSasToken == STRING
    input.Body.properties.scriptContent == STRING
    input.Body.properties.forceUpdateTag == STRING
    input.Body.properties.continueOnErrors == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.scriptName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Skus_List

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