MICROSOFT.SYNAPSE

AzureADOnlyAuthentications_Create

enum_azureADOnlyAuthenticationNameParameter := [ "default" ]

valid {
    input.Body.properties.azureADOnlyAuthentication == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.azureADOnlyAuthenticationName == enum_azureADOnlyAuthenticationNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AzureADOnlyAuthentications_Get

enum_azureADOnlyAuthenticationNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.azureADOnlyAuthenticationName == enum_azureADOnlyAuthenticationNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AzureADOnlyAuthentications_List

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

BigDataPools_CreateOrUpdate

enum_BigDataPoolResourcePropertiesNodeSize := [ "None", "Small", "Medium", "Large", "XLarge", "XXLarge", "XXXLarge" ]
enum_BigDataPoolResourcePropertiesNodeSizeFamily := [ "None", "MemoryOptimized", "HardwareAcceleratedFPGA", "HardwareAcceleratedGPU" ]
enum_SparkConfigPropertiesConfigurationType := [ "File", "Artifact" ]

valid {
    input.Body.properties.provisioningState == STRING
    input.Body.properties.autoScale.minNodeCount == INTEGER
    input.Body.properties.autoScale.enabled == BOOLEAN
    input.Body.properties.autoScale.maxNodeCount == INTEGER
    input.Body.properties.autoPause.delayInMinutes == INTEGER
    input.Body.properties.autoPause.enabled == BOOLEAN
    input.Body.properties.isComputeIsolationEnabled == BOOLEAN
    input.Body.properties.isAutotuneEnabled == BOOLEAN
    input.Body.properties.sessionLevelPackagesEnabled == BOOLEAN
    input.Body.properties.cacheSize == INTEGER
    input.Body.properties.dynamicExecutorAllocation.enabled == BOOLEAN
    input.Body.properties.dynamicExecutorAllocation.minExecutors == INTEGER
    input.Body.properties.dynamicExecutorAllocation.maxExecutors == INTEGER
    input.Body.properties.sparkEventsFolder == STRING
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.libraryRequirements.content == STRING
    input.Body.properties.libraryRequirements.filename == STRING
    input.Body.properties.customLibraries[_].name == STRING
    input.Body.properties.customLibraries[_].path == STRING
    input.Body.properties.customLibraries[_].containerName == STRING
    input.Body.properties.customLibraries[_].type == STRING
    input.Body.properties.sparkConfigProperties.content == STRING
    input.Body.properties.sparkConfigProperties.filename == STRING
    input.Body.properties.sparkConfigProperties.configurationType == enum_SparkConfigPropertiesConfigurationType[_]
    input.Body.properties.sparkVersion == STRING
    input.Body.properties.defaultSparkLogFolder == STRING
    input.Body.properties.nodeSize == enum_BigDataPoolResourcePropertiesNodeSize[_]
    input.Body.properties.nodeSizeFamily == enum_BigDataPoolResourcePropertiesNodeSizeFamily[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.bigDataPoolName == STRING
    input.Qs.api-version == STRING
    input.Qs.force == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BigDataPools_Delete

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

BigDataPools_Get

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

BigDataPools_ListByWorkspace

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

BigDataPools_Update

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

DataMaskingPolicies_CreateOrUpdate

enum_DataMaskingPolicyNameParameter := [ "Default" ]
enum_DataMaskingPolicyPropertiesDataMaskingState := [ "Disabled", "Enabled" ]

valid {
    input.Body.properties.dataMaskingState == enum_DataMaskingPolicyPropertiesDataMaskingState[_]
    input.Body.properties.exemptPrincipals == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataMaskingPolicies_Get

enum_DataMaskingPolicyNameParameter := [ "Default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataMaskingRules_CreateOrUpdate

enum_DataMaskingPolicyNameParameter := [ "Default" ]
enum_DataMaskingRulePropertiesMaskingFunction := [ "Default", "CCN", "Email", "Number", "SSN", "Text" ]
enum_DataMaskingRulePropertiesRuleState := [ "Disabled", "Enabled" ]

valid {
    input.Body.properties.aliasName == STRING
    input.Body.properties.ruleState == enum_DataMaskingRulePropertiesRuleState[_]
    input.Body.properties.schemaName == STRING
    input.Body.properties.tableName == STRING
    input.Body.properties.columnName == STRING
    input.Body.properties.maskingFunction == enum_DataMaskingRulePropertiesMaskingFunction[_]
    input.Body.properties.numberFrom == STRING
    input.Body.properties.numberTo == STRING
    input.Body.properties.prefixSize == STRING
    input.Body.properties.suffixSize == STRING
    input.Body.properties.replacementString == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
    input.ReqMap.dataMaskingRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataMaskingRules_Get

enum_DataMaskingPolicyNameParameter := [ "Default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
    input.ReqMap.dataMaskingRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataMaskingRules_ListBySqlPool

enum_DataMaskingPolicyNameParameter := [ "Default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExtendedSqlPoolBlobAuditingPolicies_CreateOrUpdate

enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ExtendedSqlPoolBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.predicateExpression == STRING
    input.Body.properties.state == enum_ExtendedSqlPoolBlobAuditingPolicyPropertiesState[_]
    input.Body.properties.storageEndpoint == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.retentionDays == INTEGER
    input.Body.properties.auditActionsAndGroups[_] == STRING
    input.Body.properties.storageAccountSubscriptionId == STRING
    input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
    input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
    input.Body.properties.queueDelayMs == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExtendedSqlPoolBlobAuditingPolicies_Get

enum_BlobAuditingPolicyNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExtendedSqlPoolBlobAuditingPolicies_ListBySqlPool

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

Get_IntegrationRuntimeEnableInteractivequery

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

Get_IntegrationRuntimeStart

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

Get_IntegrationRuntimeStop

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

IntegrationRuntimeAuthKeys_List

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

IntegrationRuntimeAuthKeys_Regenerate

enum_IntegrationRuntimeRegenerateKeyParametersKeyName := [ "authKey1", "authKey2" ]

valid {
    input.Body.keyName == enum_IntegrationRuntimeRegenerateKeyParametersKeyName[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.integrationRuntimeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IntegrationRuntimeConnectionInfos_Get

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

IntegrationRuntimeCredentials_Sync

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

IntegrationRuntimeMonitoringData_List

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

IntegrationRuntimeNodeIpAddress_Get

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

IntegrationRuntimeNodes_Delete

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

IntegrationRuntimeNodes_Get

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

IntegrationRuntimeNodes_Update

valid {
    input.Body.concurrentJobsLimit == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.integrationRuntimeName == STRING
    input.ReqMap.nodeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IntegrationRuntimeObjectMetadata_List

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

IntegrationRuntimeObjectMetadata_Refresh

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

IntegrationRuntimeStatus_Get

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

IntegrationRuntimes_Create

enum_IntegrationRuntimeType := [ "Managed", "SelfHosted" ]

valid {
    input.Body.properties.type == enum_IntegrationRuntimeType[_]
    input.Body.properties.description == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.integrationRuntimeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IntegrationRuntimes_Delete

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

IntegrationRuntimes_DisableInteractiveQuery

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

IntegrationRuntimes_EnableInteractiveQuery

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

IntegrationRuntimes_Get

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

IntegrationRuntimes_ListByWorkspace

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

IntegrationRuntimes_ListOutboundNetworkDependenciesEndpoints

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

IntegrationRuntimes_Start

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

IntegrationRuntimes_Stop

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

IntegrationRuntimes_Update

enum_IntegrationRuntimeAutoUpdate := [ "On", "Off" ]

valid {
    input.Body.autoUpdate == enum_IntegrationRuntimeAutoUpdate[_]
    input.Body.updateDelayOffset == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.integrationRuntimeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IntegrationRuntimes_Upgrade

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

IpFirewallRules_CreateOrUpdate

valid {
    input.Body.properties.endIpAddress == STRING
    input.Body.properties.startIpAddress == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.ruleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IpFirewallRules_Delete

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

IpFirewallRules_Get

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

IpFirewallRules_ListByWorkspace

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

IpFirewallRules_ReplaceAll

valid {
    input.Body.ipFirewallRules.STRING.endIpAddress == STRING
    input.Body.ipFirewallRules.STRING.startIpAddress == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Keys_CreateOrUpdate

valid {
    input.Body.properties.isActiveCMK == BOOLEAN
    input.Body.properties.keyVaultUrl == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.keyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Keys_Delete

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

Keys_Get

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

Keys_ListByWorkspace

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

KustoOperations_List

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

KustoPoolAttachedDatabaseConfigurations_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.STRING == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.kustoPoolName == STRING
    input.ReqMap.attachedDatabaseConfigurationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KustoPoolAttachedDatabaseConfigurations_Delete

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

KustoPoolAttachedDatabaseConfigurations_Get

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

KustoPoolAttachedDatabaseConfigurations_ListByKustoPool

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

KustoPoolChildResource_CheckNameAvailability

enum_DatabaseCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/databases", "Microsoft.Synapse/workspaces/kustoPools/attachedDatabaseConfigurations" ]

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

KustoPoolDataConnections_CheckNameAvailability

enum_DataConnectionCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/databases/dataConnections" ]

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

KustoPoolDataConnections_CreateOrUpdate

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

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

KustoPoolDataConnections_Delete

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

KustoPoolDataConnections_Get

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

KustoPoolDataConnections_ListByDatabase

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

KustoPoolDataConnections_Update

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

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

KustoPoolDataConnections_dataConnectionValidation

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

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

KustoPoolDatabasePrincipalAssignments_CheckNameAvailability

enum_DatabasePrincipalAssignmentCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/databases/principalAssignments" ]

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

KustoPoolDatabasePrincipalAssignments_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.workspaceName == STRING
    input.ReqMap.kustoPoolName == STRING
    input.ReqMap.databaseName == STRING
    input.ReqMap.principalAssignmentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KustoPoolDatabasePrincipalAssignments_Delete

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

KustoPoolDatabasePrincipalAssignments_Get

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

KustoPoolDatabasePrincipalAssignments_List

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

KustoPoolDatabases_CreateOrUpdate

enum_DatabaseKind := [ "ReadWrite", "ReadOnlyFollowing" ]

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

KustoPoolDatabases_Delete

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

KustoPoolDatabases_Get

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

KustoPoolDatabases_ListByKustoPool

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

KustoPoolDatabases_Update

enum_DatabaseKind := [ "ReadWrite", "ReadOnlyFollowing" ]

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

KustoPoolPrincipalAssignments_CheckNameAvailability

enum_ClusterPrincipalAssignmentCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/principalAssignments" ]

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

KustoPoolPrincipalAssignments_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.workspaceName == STRING
    input.ReqMap.kustoPoolName == STRING
    input.ReqMap.principalAssignmentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KustoPoolPrincipalAssignments_Delete

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

KustoPoolPrincipalAssignments_Get

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

KustoPoolPrincipalAssignments_List

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

KustoPoolPrivateLinkResources_List

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

KustoPools_AddLanguageExtensions

enum_LanguageExtensionName := [ "PYTHON", "R" ]

valid {
    input.Body.value[_].languageExtensionName == enum_LanguageExtensionName[_]
    input.ReqMap.workspaceName == STRING
    input.ReqMap.kustoPoolName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KustoPools_CheckNameAvailability

enum_KustoPoolCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools" ]

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

KustoPools_CreateOrUpdate

enum_AzureSkuName := [ "Compute optimized", "Storage optimized" ]
enum_AzureSkuSize := [ "Extra small", "Small", "Medium", "Large" ]

valid {
    input.Body.sku.name == enum_AzureSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.sku.size == enum_AzureSkuSize[_]
    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.enableStreamingIngest == BOOLEAN
    input.Body.properties.enablePurge == BOOLEAN
    input.Body.properties.workspaceUID == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.kustoPoolName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KustoPools_Delete

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

KustoPools_DetachFollowerDatabases

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

KustoPools_Get

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

KustoPools_ListByWorkspace

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

KustoPools_ListFollowerDatabases

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

KustoPools_ListLanguageExtensions

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

KustoPools_ListSkus

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

KustoPools_ListSkusByResource

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

KustoPools_RemoveLanguageExtensions

enum_LanguageExtensionName := [ "PYTHON", "R" ]

valid {
    input.Body.value[_].languageExtensionName == enum_LanguageExtensionName[_]
    input.ReqMap.workspaceName == STRING
    input.ReqMap.kustoPoolName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KustoPools_Start

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

KustoPools_Stop

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

KustoPools_Update

enum_AzureSkuName := [ "Compute optimized", "Storage optimized" ]
enum_AzureSkuSize := [ "Extra small", "Small", "Medium", "Large" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.sku.name == enum_AzureSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.sku.size == enum_AzureSkuSize[_]
    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.enableStreamingIngest == BOOLEAN
    input.Body.properties.enablePurge == BOOLEAN
    input.Body.properties.workspaceUID == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.kustoPoolName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Libraries_ListByWorkspace

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

Library_Get

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

Operations_CheckNameAvailability

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

Operations_GetAzureAsyncHeaderResult

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

Operations_GetLocationHeaderResult

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

Operations_List

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateEndpointConnectionsPrivateLinkHub_Get

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateEndpointConnectionsPrivateLinkHub_List

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateEndpointConnections_Create

valid {
    input.Body.properties.privateEndpoint == {}
    input.Body.properties.privateLinkServiceConnectionState.status == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.STRING == STRING
    input.ProviderMetadata.Region == STRING
}

PrivateEndpointConnections_Delete

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateEndpointConnections_Get

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateEndpointConnections_List

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

PrivateLinkHubPrivateLinkResources_Get

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

PrivateLinkHubPrivateLinkResources_List

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

PrivateLinkHubs_CreateOrUpdate

valid {
    input.Body.properties.provisioningState == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ProviderMetadata.Region == STRING
}

PrivateLinkHubs_Delete

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateLinkHubs_Get

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateLinkHubs_List

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

PrivateLinkHubs_ListByResourceGroup

valid {
    input.ProviderMetadata.Region == STRING
}

PrivateLinkHubs_Update

valid {
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Region == STRING
}

PrivateLinkResources_Get

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

RestorableDroppedSqlPools_Get

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

RestorableDroppedSqlPools_ListByWorkspace

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

ScopePoolsListByWorkspace_Get

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

SparkConfiguration_Get

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

SparkConfigurations_ListByWorkspace

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

SqlDatabases_CreateOrUpdate

enum_SqlDatabasePropertiesStorageRedundancy := [ "Local", "Geo", "Zone", "GeoZone" ]

valid {
    input.Body.properties.collation == STRING
    input.Body.properties.storageRedundancy == enum_SqlDatabasePropertiesStorageRedundancy[_]
    input.Body.properties.dataRetention.retentionPeriod == STRING
    input.Body.properties.dataRetention.dropRetentionPeriod == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlDatabaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlDatabases_Delete

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

SqlDatabases_Get

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

SqlDatabases_ListByWorkspace

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

SqlDatabases_Update

enum_SqlDatabasePropertiesStorageRedundancy := [ "Local", "Geo", "Zone", "GeoZone" ]

valid {
    input.Body.properties.collation == STRING
    input.Body.properties.storageRedundancy == enum_SqlDatabasePropertiesStorageRedundancy[_]
    input.Body.properties.dataRetention.retentionPeriod == STRING
    input.Body.properties.dataRetention.dropRetentionPeriod == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlDatabaseName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolBlobAuditingPolicies_CreateOrUpdate

enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_SqlPoolBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.state == enum_SqlPoolBlobAuditingPolicyPropertiesState[_]
    input.Body.properties.storageEndpoint == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.retentionDays == INTEGER
    input.Body.properties.auditActionsAndGroups[_] == STRING
    input.Body.properties.storageAccountSubscriptionId == STRING
    input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
    input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolBlobAuditingPolicies_Get

enum_BlobAuditingPolicyNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolBlobAuditingPolicies_ListBySqlPool

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

SqlPoolColumns_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.tableName == STRING
    input.ReqMap.columnName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolConnectionPolicies_Get

enum_ConnectionPolicyNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.connectionPolicyName == enum_ConnectionPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolDataWarehouseUserActivities_Get

enum_DataWarehouseUserActivityNameParameter := [ "current" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.dataWarehouseUserActivityName == enum_DataWarehouseUserActivityNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolGeoBackupPolicies_CreateOrUpdate

enum_GeoBackupPolicyNameParameter := [ "Default" ]
enum_GeoBackupPolicyPropertiesState := [ "Disabled", "Enabled" ]

valid {
    input.Body.properties.state == enum_GeoBackupPolicyPropertiesState[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.geoBackupPolicyName == enum_GeoBackupPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolGeoBackupPolicies_Get

enum_GeoBackupPolicyNameParameter := [ "Default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.geoBackupPolicyName == enum_GeoBackupPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolGeoBackupPolicies_List

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

SqlPoolMaintenanceWindowOptions_Get

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

SqlPoolMaintenanceWindows_CreateOrUpdate

enum_MaintenanceWindowTimeRangeDayOfWeek := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]

valid {
    input.Body.properties.timeRanges[_].dayOfWeek == enum_MaintenanceWindowTimeRangeDayOfWeek[_]
    input.Body.properties.timeRanges[_].startTime == STRING
    input.Body.properties.timeRanges[_].duration == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.Qs.api-version == STRING
    input.Qs.maintenanceWindowName == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolMaintenanceWindows_Get

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

SqlPoolMetadataSyncConfigs_Create

valid {
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.syncIntervalInMinutes == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolMetadataSyncConfigs_Get

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

SqlPoolOperationResults_GetLocationHeaderResult

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

SqlPoolOperations_List

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

SqlPoolRecommendedSensitivityLabels_Update

enum_RecommendedSensitivityLabelUpdatePropertiesOp := [ "enable", "disable" ]

valid {
    input.Body.operations[_].properties.op == enum_RecommendedSensitivityLabelUpdatePropertiesOp[_]
    input.Body.operations[_].properties.schema == STRING
    input.Body.operations[_].properties.table == STRING
    input.Body.operations[_].properties.column == STRING
    input.Body.operations[_].STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolReplicationLinks_GetByName

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

SqlPoolReplicationLinks_List

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

SqlPoolRestorePoints_Create

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

SqlPoolRestorePoints_Delete

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

SqlPoolRestorePoints_Get

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

SqlPoolRestorePoints_List

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

SqlPoolSchemas_Get

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

SqlPoolSchemas_List

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

SqlPoolSecurityAlertPolicies_CreateOrUpdate

enum_SecurityAlertPolicyNameParameter := [ "default" ]
enum_SecurityAlertPolicyPropertiesState := [ "New", "Enabled", "Disabled" ]

valid {
    input.Body.properties.state == enum_SecurityAlertPolicyPropertiesState[_]
    input.Body.properties.disabledAlerts[_] == STRING
    input.Body.properties.emailAddresses[_] == STRING
    input.Body.properties.emailAccountAdmins == BOOLEAN
    input.Body.properties.storageEndpoint == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.retentionDays == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSecurityAlertPolicies_Get

enum_SecurityAlertPolicyNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSecurityAlertPolicies_List

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

SqlPoolSensitivityLabels_CreateOrUpdate

enum_SensitivityLabelPropertiesRank := [ "None", "Low", "Medium", "High", "Critical" ]
enum_SensitivityLabelSourceParameter := [ "current" ]

valid {
    input.Body.properties.labelName == STRING
    input.Body.properties.labelId == STRING
    input.Body.properties.informationType == STRING
    input.Body.properties.informationTypeId == STRING
    input.Body.properties.rank == enum_SensitivityLabelPropertiesRank[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.tableName == STRING
    input.ReqMap.columnName == STRING
    input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSensitivityLabels_Delete

enum_SensitivityLabelSourceParameter := [ "current" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.tableName == STRING
    input.ReqMap.columnName == STRING
    input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSensitivityLabels_DisableRecommendation

enum_SensitivityLabelSourceParameter := [ "recommended" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.tableName == STRING
    input.ReqMap.columnName == STRING
    input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSensitivityLabels_EnableRecommendation

enum_SensitivityLabelSourceParameter := [ "recommended" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.tableName == STRING
    input.ReqMap.columnName == STRING
    input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSensitivityLabels_Get

enum_SensitivityLabelSourceParameter := [ "current", "recommended" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.tableName == STRING
    input.ReqMap.columnName == STRING
    input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSensitivityLabels_ListCurrent

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

SqlPoolSensitivityLabels_ListRecommended

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.Qs.api-version == STRING
    input.Qs.includeDisabledRecommendations == BOOLEAN
    input.Qs.$skipToken == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolSensitivityLabels_Update

enum_SensitivityLabelPropertiesRank := [ "None", "Low", "Medium", "High", "Critical" ]
enum_SensitivityLabelUpdatePropertiesOp := [ "set", "remove" ]

valid {
    input.Body.operations[_].properties.op == enum_SensitivityLabelUpdatePropertiesOp[_]
    input.Body.operations[_].properties.schema == STRING
    input.Body.operations[_].properties.table == STRING
    input.Body.operations[_].properties.column == STRING
    input.Body.operations[_].properties.sensitivityLabel.properties.labelName == STRING
    input.Body.operations[_].properties.sensitivityLabel.properties.labelId == STRING
    input.Body.operations[_].properties.sensitivityLabel.properties.informationType == STRING
    input.Body.operations[_].properties.sensitivityLabel.properties.informationTypeId == STRING
    input.Body.operations[_].properties.sensitivityLabel.properties.rank == enum_SensitivityLabelPropertiesRank[_]
    input.Body.operations[_].properties.sensitivityLabel.STRING == STRING
    input.Body.operations[_].STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolTableColumns_ListByTableName

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolTables_Get

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

SqlPoolTables_ListBySchema

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

SqlPoolTransparentDataEncryptions_CreateOrUpdate

enum_TransparentDataEncryptionNameParameter := [ "current" ]
enum_TransparentDataEncryptionPropertiesStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.status == enum_TransparentDataEncryptionPropertiesStatus[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.transparentDataEncryptionName == enum_TransparentDataEncryptionNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolTransparentDataEncryptions_Get

enum_TransparentDataEncryptionNameParameter := [ "current" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.transparentDataEncryptionName == enum_TransparentDataEncryptionNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolTransparentDataEncryptions_List

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

SqlPoolUsages_List

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

SqlPoolVulnerabilityAssessmentRuleBaselines_CreateOrUpdate

enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.Body.properties.baselineResults[_].result[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.ReqMap.ruleId == STRING
    input.ReqMap.baselineName == enum_BaselineNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessmentRuleBaselines_Delete

enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.ReqMap.ruleId == STRING
    input.ReqMap.baselineName == enum_BaselineNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessmentRuleBaselines_Get

enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.ReqMap.ruleId == STRING
    input.ReqMap.baselineName == enum_BaselineNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessmentScans_Export

enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.ReqMap.scanId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessmentScans_Get

enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.ReqMap.scanId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessmentScans_InitiateScan

enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.ReqMap.scanId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessmentScans_List

enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessments_CreateOrUpdate

enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.Body.properties.storageContainerPath == STRING
    input.Body.properties.storageContainerSasKey == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.recurringScans.isEnabled == BOOLEAN
    input.Body.properties.recurringScans.emailSubscriptionAdmins == BOOLEAN
    input.Body.properties.recurringScans.emails[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessments_Delete

enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessments_Get

enum_VulnerabilityAssessmentNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolVulnerabilityAssessments_List

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

SqlPoolWorkloadClassifier_CreateOrUpdate

valid {
    input.Body.properties.memberName == STRING
    input.Body.properties.label == STRING
    input.Body.properties.context == STRING
    input.Body.properties.startTime == STRING
    input.Body.properties.endTime == STRING
    input.Body.properties.importance == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.workloadGroupName == STRING
    input.ReqMap.workloadClassifierName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolWorkloadClassifier_Delete

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

SqlPoolWorkloadClassifier_Get

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

SqlPoolWorkloadClassifier_List

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

SqlPoolWorkloadGroup_CreateOrUpdate

valid {
    input.Body.properties.minResourcePercent == INTEGER
    input.Body.properties.maxResourcePercent == INTEGER
    input.Body.properties.minResourcePercentPerRequest == NUMBER
    input.Body.properties.maxResourcePercentPerRequest == NUMBER
    input.Body.properties.importance == STRING
    input.Body.properties.queryExecutionTimeout == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.ReqMap.workloadGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPoolWorkloadGroup_Delete

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

SqlPoolWorkloadGroup_Get

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

SqlPoolWorkloadGroup_List

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

SqlPoolsDatawareHouseQueriesSteps_List

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

SqlPoolsDatawareHouseQueries_Get

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

SqlPools_Create

enum_SqlPoolResourcePropertiesCreateMode := [ "Default", "PointInTimeRestore", "Recovery", "Restore" ]
enum_SqlPoolResourcePropertiesStorageAccountType := [ "GRS", "LRS" ]

valid {
    input.Body.sku.tier == STRING
    input.Body.sku.name == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.properties.maxSizeBytes == INTEGER
    input.Body.properties.collation == STRING
    input.Body.properties.sourceDatabaseId == STRING
    input.Body.properties.recoverableDatabaseId == STRING
    input.Body.properties.provisioningState == STRING
    input.Body.properties.restorePointInTime == STRING
    input.Body.properties.createMode == enum_SqlPoolResourcePropertiesCreateMode[_]
    input.Body.properties.storageAccountType == enum_SqlPoolResourcePropertiesStorageAccountType[_]
    input.Body.properties.sourceDatabaseDeletionDate == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlPools_Delete

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

SqlPools_Get

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

SqlPools_ListByWorkspace

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

SqlPools_Pause

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

SqlPools_Resume

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

SqlPools_Update

enum_SqlPoolResourcePropertiesCreateMode := [ "Default", "PointInTimeRestore", "Recovery", "Restore" ]
enum_SqlPoolResourcePropertiesStorageAccountType := [ "GRS", "LRS" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.name == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.properties.maxSizeBytes == INTEGER
    input.Body.properties.collation == STRING
    input.Body.properties.sourceDatabaseId == STRING
    input.Body.properties.recoverableDatabaseId == STRING
    input.Body.properties.provisioningState == STRING
    input.Body.properties.restorePointInTime == STRING
    input.Body.properties.createMode == enum_SqlPoolResourcePropertiesCreateMode[_]
    input.Body.properties.storageAccountType == enum_SqlPoolResourcePropertiesStorageAccountType[_]
    input.Body.properties.sourceDatabaseDeletionDate == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.sqlPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceAadAdmins_CreateOrUpdate

valid {
    input.Body.properties.tenantId == STRING
    input.Body.properties.login == STRING
    input.Body.properties.administratorType == STRING
    input.Body.properties.sid == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceAadAdmins_Delete

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

WorkspaceAadAdmins_Get

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

WorkspaceCheckDefaultStorageAccountStatus_Create

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

WorkspaceManagedIdentitySqlControlSettings_CreateOrUpdate

enum_ManagedIdentitySqlControlSettingsModelPropertiesGrantSqlControlToManagedIdentityDesiredState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.grantSqlControlToManagedIdentity.desiredState == enum_ManagedIdentitySqlControlSettingsModelPropertiesGrantSqlControlToManagedIdentityDesiredState[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceManagedIdentitySqlControlSettings_Get

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

WorkspaceManagedSqlServerBlobAuditingPolicies_CreateOrUpdate

enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ServerBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.state == enum_ServerBlobAuditingPolicyPropertiesState[_]
    input.Body.properties.storageEndpoint == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.retentionDays == INTEGER
    input.Body.properties.auditActionsAndGroups[_] == STRING
    input.Body.properties.storageAccountSubscriptionId == STRING
    input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
    input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
    input.Body.properties.queueDelayMs == INTEGER
    input.Body.properties.isDevopsAuditEnabled == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceManagedSqlServerBlobAuditingPolicies_Get

enum_BlobAuditingPolicyNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceManagedSqlServerBlobAuditingPolicies_ListByWorkspace

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

WorkspaceManagedSqlServerDedicatedSQLMinimalTlsSettings_Get

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

WorkspaceManagedSqlServerDedicatedSQLMinimalTlsSettings_List

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

WorkspaceManagedSqlServerDedicatedSQLMinimalTlsSettings_Update

enum_DedicatedSQLminimalTlsSettingsNameParameter := [ "default" ]

valid {
    input.Body.properties.minimalTlsVersion == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.dedicatedSQLminimalTlsSettingsName == enum_DedicatedSQLminimalTlsSettingsNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceManagedSqlServerEncryptionProtector_CreateOrUpdate

enum_EncryptionProtectorNameParameter := [ "current" ]
enum_EncryptionProtectorPropertiesServerKeyType := [ "ServiceManaged", "AzureKeyVault" ]

valid {
    input.Body.properties.serverKeyName == STRING
    input.Body.properties.serverKeyType == enum_EncryptionProtectorPropertiesServerKeyType[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceManagedSqlServerEncryptionProtector_Get

enum_EncryptionProtectorNameParameter := [ "current" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceManagedSqlServerEncryptionProtector_List

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

WorkspaceManagedSqlServerEncryptionProtector_Revalidate

enum_EncryptionProtectorNameParameter := [ "current" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceManagedSqlServerExtendedBlobAuditingPolicies_CreateOrUpdate

enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ExtendedServerBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.predicateExpression == STRING
    input.Body.properties.state == enum_ExtendedServerBlobAuditingPolicyPropertiesState[_]
    input.Body.properties.storageEndpoint == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.retentionDays == INTEGER
    input.Body.properties.auditActionsAndGroups[_] == STRING
    input.Body.properties.storageAccountSubscriptionId == STRING
    input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
    input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
    input.Body.properties.queueDelayMs == INTEGER
    input.Body.properties.isDevopsAuditEnabled == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.blobAuditingPolicyName == e