---
updatedAt: 2025-11-12T01:19:40.000Z
agentTools:
  projectIndex: https://public.docs.kivera.io/llms.txt
---

# MICROSOFT.SYNAPSE

<Embed url="https://docs.microsoft.com/en-us/rest/api/azure/" title="Azure documentation" provider="docs.microsoft.com" href="https://docs.microsoft.com/en-us/rest/api/azure/" />

# AzureADOnlyAuthentications\_Create

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

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

# KustoPoolAttachedDatabaseConfigurations\_CreateOrUpdate

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

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

# KustoPools\_ListSkusByResource

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateEndpointConnectionsPrivateLinkHub\_Get

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateEndpointConnectionsPrivateLinkHub\_List

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateEndpointConnections\_Create

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateEndpointConnections\_Get

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateEndpointConnections\_List

```erlang
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

```erlang
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

```erlang
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

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

# PrivateLinkHubs\_Delete

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateLinkHubs\_Get

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateLinkHubs\_List

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

# PrivateLinkHubs\_ListByResourceGroup

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# PrivateLinkHubs\_Update

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

# PrivateLinkResources\_Get

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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 == enum_BlobAuditingPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WorkspaceManagedSqlServerExtendedBlobAuditingPolicies\_Get

```erlang
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
}
```

# WorkspaceManagedSqlServerExtendedBlobAuditingPolicies\_ListByWorkspace

```erlang
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
}
```

# WorkspaceManagedSqlServerRecoverableSqlPools\_Get

```erlang
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
}
```

# WorkspaceManagedSqlServerRecoverableSqlPools\_List

```erlang
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
}
```

# WorkspaceManagedSqlServerRecoverableSqlpools\_List

```erlang
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
}
```

# WorkspaceManagedSqlServerSecurityAlertPolicy\_CreateOrUpdate

```erlang
enum_SecurityAlertPolicyNameParameter := [ "Default" ]
enum_ServerSecurityAlertPolicyPropertiesState := [ "New", "Enabled", "Disabled" ]

valid {
    input.Body.properties.state == enum_ServerSecurityAlertPolicyPropertiesState[_]
    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.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WorkspaceManagedSqlServerSecurityAlertPolicy\_Get

```erlang
enum_SecurityAlertPolicyNameParameter := [ "Default" ]

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

# WorkspaceManagedSqlServerSecurityAlertPolicy\_List

```erlang
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
}
```

# WorkspaceManagedSqlServerUsages\_List

```erlang
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
}
```

# WorkspaceManagedSqlServerVulnerabilityAssessments\_CreateOrUpdate

```erlang
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.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WorkspaceManagedSqlServerVulnerabilityAssessments\_Delete

```erlang
enum_VulnerabilityAssessmentNameParameter := [ "default" ]

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

# WorkspaceManagedSqlServerVulnerabilityAssessments\_Get

```erlang
enum_VulnerabilityAssessmentNameParameter := [ "default" ]

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

# WorkspaceManagedSqlServerVulnerabilityAssessments\_List

```erlang
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
}
```

# WorkspaceSqlAadAdmins\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.tenantId == STRING
    input.Body.properties.login == STRING
    input.Body.properties.administratorType == STRING
    input.Body.properties.sid == 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
}
```

# WorkspaceSqlAadAdmins\_Delete

```erlang
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
}
```

# WorkspaceSqlAadAdmins\_Get

```erlang
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
}
```

# WorkspaceTrustedServiceByPassConfiguration\_CreateOrUpdate

```erlang
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
}
```

# Workspaces\_CreateOrUpdate

```erlang
enum_ManagedIdentityType := [ "None", "SystemAssigned", "SystemAssigned,UserAssigned" ]
enum_WorkspacePropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.defaultDataLakeStorage.accountUrl == STRING
    input.Body.properties.defaultDataLakeStorage.filesystem == STRING
    input.Body.properties.defaultDataLakeStorage.resourceId == STRING
    input.Body.properties.defaultDataLakeStorage.createManagedPrivateEndpoint == BOOLEAN
    input.Body.properties.sqlAdministratorLoginPassword == STRING
    input.Body.properties.managedResourceGroupName == STRING
    input.Body.properties.sqlAdministratorLogin == STRING
    input.Body.properties.virtualNetworkProfile.computeSubnetId == STRING
    input.Body.properties.managedVirtualNetwork == STRING
    input.Body.properties.privateEndpointConnections[_].properties.privateEndpoint == {}
    input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.status == STRING
    input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateEndpointConnections[_].STRING == STRING
    input.Body.properties.encryption.cmk.key.name == STRING
    input.Body.properties.encryption.cmk.key.keyVaultUrl == STRING
    input.Body.properties.encryption.cmk.kekIdentity.userAssignedIdentity == STRING
    input.Body.properties.encryption.cmk.kekIdentity.useSystemAssignedIdentity == {}
    input.Body.properties.managedVirtualNetworkSettings.preventDataExfiltration == BOOLEAN
    input.Body.properties.managedVirtualNetworkSettings.linkedAccessCheckOnTargetResource == BOOLEAN
    input.Body.properties.managedVirtualNetworkSettings.allowedAadTenantIdsForLinking[_] == STRING
    input.Body.properties.workspaceRepositoryConfiguration.type == STRING
    input.Body.properties.workspaceRepositoryConfiguration.hostName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.accountName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.projectName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.repositoryName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.collaborationBranch == STRING
    input.Body.properties.workspaceRepositoryConfiguration.rootFolder == STRING
    input.Body.properties.workspaceRepositoryConfiguration.lastCommitId == STRING
    input.Body.properties.workspaceRepositoryConfiguration.tenantId == STRING
    input.Body.properties.purviewConfiguration.purviewResourceId == STRING
    input.Body.properties.publicNetworkAccess == enum_WorkspacePropertiesPublicNetworkAccess[_]
    input.Body.properties.cspWorkspaceAdminProperties.initialWorkspaceAdminObjectId == STRING
    input.Body.properties.azureADOnlyAuthentication == BOOLEAN
    input.Body.properties.trustedServiceBypassEnabled == BOOLEAN
    input.Body.identity.type == enum_ManagedIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == 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
}
```

# Workspaces\_Delete

```erlang
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
}
```

# Workspaces\_Get

```erlang
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
}
```

# Workspaces\_List

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

# Workspaces\_ListByResourceGroup

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

# Workspaces\_Update

```erlang
enum_ManagedIdentityType := [ "None", "SystemAssigned", "SystemAssigned,UserAssigned" ]
enum_WorkspacePatchPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.sqlAdministratorLoginPassword == STRING
    input.Body.properties.managedVirtualNetworkSettings.preventDataExfiltration == BOOLEAN
    input.Body.properties.managedVirtualNetworkSettings.linkedAccessCheckOnTargetResource == BOOLEAN
    input.Body.properties.managedVirtualNetworkSettings.allowedAadTenantIdsForLinking[_] == STRING
    input.Body.properties.workspaceRepositoryConfiguration.type == STRING
    input.Body.properties.workspaceRepositoryConfiguration.hostName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.accountName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.projectName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.repositoryName == STRING
    input.Body.properties.workspaceRepositoryConfiguration.collaborationBranch == STRING
    input.Body.properties.workspaceRepositoryConfiguration.rootFolder == STRING
    input.Body.properties.workspaceRepositoryConfiguration.lastCommitId == STRING
    input.Body.properties.workspaceRepositoryConfiguration.tenantId == STRING
    input.Body.properties.purviewConfiguration.purviewResourceId == STRING
    input.Body.properties.encryption.cmk.key.name == STRING
    input.Body.properties.encryption.cmk.key.keyVaultUrl == STRING
    input.Body.properties.encryption.cmk.kekIdentity.userAssignedIdentity == STRING
    input.Body.properties.encryption.cmk.kekIdentity.useSystemAssignedIdentity == {}
    input.Body.properties.publicNetworkAccess == enum_WorkspacePatchPropertiesPublicNetworkAccess[_]
    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
}
```