MICROSOFT.SYNAPSE
AzureADOnlyAuthentications_Create
enum_azureADOnlyAuthenticationNameParameter := [ "default" ]
valid {
input.Body.properties.azureADOnlyAuthentication == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.azureADOnlyAuthenticationName == enum_azureADOnlyAuthenticationNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
AzureADOnlyAuthentications_Get
enum_azureADOnlyAuthenticationNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.azureADOnlyAuthenticationName == enum_azureADOnlyAuthenticationNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
AzureADOnlyAuthentications_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
BigDataPools_CreateOrUpdate
enum_BigDataPoolResourcePropertiesNodeSize := [ "None", "Small", "Medium", "Large", "XLarge", "XXLarge", "XXXLarge" ]
enum_BigDataPoolResourcePropertiesNodeSizeFamily := [ "None", "MemoryOptimized", "HardwareAcceleratedFPGA", "HardwareAcceleratedGPU" ]
enum_SparkConfigPropertiesConfigurationType := [ "File", "Artifact" ]
valid {
input.Body.properties.provisioningState == STRING
input.Body.properties.autoScale.minNodeCount == INTEGER
input.Body.properties.autoScale.enabled == BOOLEAN
input.Body.properties.autoScale.maxNodeCount == INTEGER
input.Body.properties.autoPause.delayInMinutes == INTEGER
input.Body.properties.autoPause.enabled == BOOLEAN
input.Body.properties.isComputeIsolationEnabled == BOOLEAN
input.Body.properties.isAutotuneEnabled == BOOLEAN
input.Body.properties.sessionLevelPackagesEnabled == BOOLEAN
input.Body.properties.cacheSize == INTEGER
input.Body.properties.dynamicExecutorAllocation.enabled == BOOLEAN
input.Body.properties.dynamicExecutorAllocation.minExecutors == INTEGER
input.Body.properties.dynamicExecutorAllocation.maxExecutors == INTEGER
input.Body.properties.sparkEventsFolder == STRING
input.Body.properties.nodeCount == INTEGER
input.Body.properties.libraryRequirements.content == STRING
input.Body.properties.libraryRequirements.filename == STRING
input.Body.properties.customLibraries[_].name == STRING
input.Body.properties.customLibraries[_].path == STRING
input.Body.properties.customLibraries[_].containerName == STRING
input.Body.properties.customLibraries[_].type == STRING
input.Body.properties.sparkConfigProperties.content == STRING
input.Body.properties.sparkConfigProperties.filename == STRING
input.Body.properties.sparkConfigProperties.configurationType == enum_SparkConfigPropertiesConfigurationType[_]
input.Body.properties.sparkVersion == STRING
input.Body.properties.defaultSparkLogFolder == STRING
input.Body.properties.nodeSize == enum_BigDataPoolResourcePropertiesNodeSize[_]
input.Body.properties.nodeSizeFamily == enum_BigDataPoolResourcePropertiesNodeSizeFamily[_]
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.bigDataPoolName == STRING
input.Qs.api-version == STRING
input.Qs.force == BOOLEAN
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
BigDataPools_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.bigDataPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
BigDataPools_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.bigDataPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
BigDataPools_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
BigDataPools_Update
valid {
input.Body.tags.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.bigDataPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DataMaskingPolicies_CreateOrUpdate
enum_DataMaskingPolicyNameParameter := [ "Default" ]
enum_DataMaskingPolicyPropertiesDataMaskingState := [ "Disabled", "Enabled" ]
valid {
input.Body.properties.dataMaskingState == enum_DataMaskingPolicyPropertiesDataMaskingState[_]
input.Body.properties.exemptPrincipals == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DataMaskingPolicies_Get
enum_DataMaskingPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DataMaskingRules_CreateOrUpdate
enum_DataMaskingPolicyNameParameter := [ "Default" ]
enum_DataMaskingRulePropertiesMaskingFunction := [ "Default", "CCN", "Email", "Number", "SSN", "Text" ]
enum_DataMaskingRulePropertiesRuleState := [ "Disabled", "Enabled" ]
valid {
input.Body.properties.aliasName == STRING
input.Body.properties.ruleState == enum_DataMaskingRulePropertiesRuleState[_]
input.Body.properties.schemaName == STRING
input.Body.properties.tableName == STRING
input.Body.properties.columnName == STRING
input.Body.properties.maskingFunction == enum_DataMaskingRulePropertiesMaskingFunction[_]
input.Body.properties.numberFrom == STRING
input.Body.properties.numberTo == STRING
input.Body.properties.prefixSize == STRING
input.Body.properties.suffixSize == STRING
input.Body.properties.replacementString == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.ReqMap.dataMaskingRuleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DataMaskingRules_Get
enum_DataMaskingPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.ReqMap.dataMaskingRuleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DataMaskingRules_ListBySqlPool
enum_DataMaskingPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
ExtendedSqlPoolBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ExtendedSqlPoolBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.predicateExpression == STRING
input.Body.properties.state == enum_ExtendedSqlPoolBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.queueDelayMs == INTEGER
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
ExtendedSqlPoolBlobAuditingPolicies_Get
enum_BlobAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
ExtendedSqlPoolBlobAuditingPolicies_ListBySqlPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Get_IntegrationRuntimeEnableInteractivequery
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.ReqMap.integrationRuntimeOperationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Get_IntegrationRuntimeStart
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.ReqMap.integrationRuntimeOperationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Get_IntegrationRuntimeStop
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.ReqMap.integrationRuntimeOperationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeAuthKeys_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeAuthKeys_Regenerate
enum_IntegrationRuntimeRegenerateKeyParametersKeyName := [ "authKey1", "authKey2" ]
valid {
input.Body.keyName == enum_IntegrationRuntimeRegenerateKeyParametersKeyName[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeConnectionInfos_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeCredentials_Sync
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeMonitoringData_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeNodeIpAddress_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.ReqMap.nodeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeNodes_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.ReqMap.nodeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeNodes_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.ReqMap.nodeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeNodes_Update
valid {
input.Body.concurrentJobsLimit == INTEGER
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.ReqMap.nodeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeObjectMetadata_List
valid {
input.Body.metadataPath == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeObjectMetadata_Refresh
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimeStatus_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_Create
enum_IntegrationRuntimeType := [ "Managed", "SelfHosted" ]
valid {
input.Body.properties.type == enum_IntegrationRuntimeType[_]
input.Body.properties.description == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_DisableInteractiveQuery
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_EnableInteractiveQuery
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_ListOutboundNetworkDependenciesEndpoints
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_Start
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_Stop
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_Update
enum_IntegrationRuntimeAutoUpdate := [ "On", "Off" ]
valid {
input.Body.autoUpdate == enum_IntegrationRuntimeAutoUpdate[_]
input.Body.updateDelayOffset == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IntegrationRuntimes_Upgrade
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.integrationRuntimeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IpFirewallRules_CreateOrUpdate
valid {
input.Body.properties.endIpAddress == STRING
input.Body.properties.startIpAddress == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.ruleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IpFirewallRules_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.ruleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IpFirewallRules_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.ruleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IpFirewallRules_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
IpFirewallRules_ReplaceAll
valid {
input.Body.ipFirewallRules.STRING.endIpAddress == STRING
input.Body.ipFirewallRules.STRING.startIpAddress == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Keys_CreateOrUpdate
valid {
input.Body.properties.isActiveCMK == BOOLEAN
input.Body.properties.keyVaultUrl == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.keyName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Keys_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.keyName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Keys_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.keyName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Keys_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoOperations_List
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
KustoPoolAttachedDatabaseConfigurations_CreateOrUpdate
enum_AttachedDatabaseConfigurationPropertiesDefaultPrincipalsModificationKind := [ "Union", "Replace", "None" ]
valid {
input.Body.location == STRING
input.Body.properties.databaseName == STRING
input.Body.properties.clusterResourceId == STRING
input.Body.properties.defaultPrincipalsModificationKind == enum_AttachedDatabaseConfigurationPropertiesDefaultPrincipalsModificationKind[_]
input.Body.properties.tableLevelSharingProperties.tablesToInclude[_] == STRING
input.Body.properties.tableLevelSharingProperties.tablesToExclude[_] == STRING
input.Body.properties.tableLevelSharingProperties.externalTablesToInclude[_] == STRING
input.Body.properties.tableLevelSharingProperties.externalTablesToExclude[_] == STRING
input.Body.properties.tableLevelSharingProperties.materializedViewsToInclude[_] == STRING
input.Body.properties.tableLevelSharingProperties.materializedViewsToExclude[_] == STRING
input.Body.STRING == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.attachedDatabaseConfigurationName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolAttachedDatabaseConfigurations_Delete
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.attachedDatabaseConfigurationName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolAttachedDatabaseConfigurations_Get
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.attachedDatabaseConfigurationName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolAttachedDatabaseConfigurations_ListByKustoPool
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolChildResource_CheckNameAvailability
enum_DatabaseCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/databases", "Microsoft.Synapse/workspaces/kustoPools/attachedDatabaseConfigurations" ]
valid {
input.Body.name == STRING
input.Body.type == enum_DatabaseCheckNameRequestType[_]
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDataConnections_CheckNameAvailability
enum_DataConnectionCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/databases/dataConnections" ]
valid {
input.Body.name == STRING
input.Body.type == enum_DataConnectionCheckNameRequestType[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDataConnections_CreateOrUpdate
enum_DataConnectionKind := [ "EventHub", "EventGrid", "IotHub" ]
valid {
input.Body.location == STRING
input.Body.kind == enum_DataConnectionKind[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataConnectionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDataConnections_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataConnectionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDataConnections_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataConnectionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDataConnections_ListByDatabase
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDataConnections_Update
enum_DataConnectionKind := [ "EventHub", "EventGrid", "IotHub" ]
valid {
input.Body.location == STRING
input.Body.kind == enum_DataConnectionKind[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataConnectionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDataConnections_dataConnectionValidation
enum_DataConnectionKind := [ "EventHub", "EventGrid", "IotHub" ]
valid {
input.Body.dataConnectionName == STRING
input.Body.properties.location == STRING
input.Body.properties.kind == enum_DataConnectionKind[_]
input.Body.properties.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabasePrincipalAssignments_CheckNameAvailability
enum_DatabasePrincipalAssignmentCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/databases/principalAssignments" ]
valid {
input.Body.name == STRING
input.Body.type == enum_DatabasePrincipalAssignmentCheckNameRequestType[_]
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabasePrincipalAssignments_CreateOrUpdate
enum_DatabasePrincipalPropertiesPrincipalType := [ "App", "Group", "User" ]
enum_DatabasePrincipalPropertiesRole := [ "Admin", "Ingestor", "Monitor", "User", "UnrestrictedViewer", "Viewer" ]
valid {
input.Body.properties.principalId == STRING
input.Body.properties.role == enum_DatabasePrincipalPropertiesRole[_]
input.Body.properties.tenantId == STRING
input.Body.properties.principalType == enum_DatabasePrincipalPropertiesPrincipalType[_]
input.Body.STRING == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.principalAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabasePrincipalAssignments_Delete
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.principalAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabasePrincipalAssignments_Get
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.principalAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabasePrincipalAssignments_List
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabases_CreateOrUpdate
enum_DatabaseKind := [ "ReadWrite", "ReadOnlyFollowing" ]
valid {
input.Body.location == STRING
input.Body.kind == enum_DatabaseKind[_]
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabases_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabases_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabases_ListByKustoPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolDatabases_Update
enum_DatabaseKind := [ "ReadWrite", "ReadOnlyFollowing" ]
valid {
input.Body.location == STRING
input.Body.kind == enum_DatabaseKind[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolPrincipalAssignments_CheckNameAvailability
enum_ClusterPrincipalAssignmentCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools/principalAssignments" ]
valid {
input.Body.name == STRING
input.Body.type == enum_ClusterPrincipalAssignmentCheckNameRequestType[_]
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolPrincipalAssignments_CreateOrUpdate
enum_ClusterPrincipalPropertiesPrincipalType := [ "App", "Group", "User" ]
enum_ClusterPrincipalPropertiesRole := [ "AllDatabasesAdmin", "AllDatabasesViewer" ]
valid {
input.Body.properties.principalId == STRING
input.Body.properties.role == enum_ClusterPrincipalPropertiesRole[_]
input.Body.properties.tenantId == STRING
input.Body.properties.principalType == enum_ClusterPrincipalPropertiesPrincipalType[_]
input.Body.STRING == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.principalAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolPrincipalAssignments_Delete
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.principalAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolPrincipalAssignments_Get
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.principalAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolPrincipalAssignments_List
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPoolPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_AddLanguageExtensions
enum_LanguageExtensionName := [ "PYTHON", "R" ]
valid {
input.Body.value[_].languageExtensionName == enum_LanguageExtensionName[_]
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_CheckNameAvailability
enum_KustoPoolCheckNameRequestType := [ "Microsoft.Synapse/workspaces/kustoPools" ]
valid {
input.Body.name == STRING
input.Body.type == enum_KustoPoolCheckNameRequestType[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
KustoPools_CreateOrUpdate
enum_AzureSkuName := [ "Compute optimized", "Storage optimized" ]
enum_AzureSkuSize := [ "Extra small", "Small", "Medium", "Large" ]
valid {
input.Body.sku.name == enum_AzureSkuName[_]
input.Body.sku.capacity == INTEGER
input.Body.sku.size == enum_AzureSkuSize[_]
input.Body.properties.optimizedAutoscale.version == INTEGER
input.Body.properties.optimizedAutoscale.isEnabled == BOOLEAN
input.Body.properties.optimizedAutoscale.minimum == INTEGER
input.Body.properties.optimizedAutoscale.maximum == INTEGER
input.Body.properties.enableStreamingIngest == BOOLEAN
input.Body.properties.enablePurge == BOOLEAN
input.Body.properties.workspaceUID == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_Delete
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_DetachFollowerDatabases
valid {
input.Body.clusterResourceId == STRING
input.Body.attachedDatabaseConfigurationName == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_Get
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_ListByWorkspace
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_ListFollowerDatabases
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_ListLanguageExtensions
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_ListSkus
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
KustoPools_ListSkusByResource
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_RemoveLanguageExtensions
enum_LanguageExtensionName := [ "PYTHON", "R" ]
valid {
input.Body.value[_].languageExtensionName == enum_LanguageExtensionName[_]
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_Start
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_Stop
valid {
input.ReqMap.workspaceName == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
KustoPools_Update
enum_AzureSkuName := [ "Compute optimized", "Storage optimized" ]
enum_AzureSkuSize := [ "Extra small", "Small", "Medium", "Large" ]
valid {
input.Body.tags.STRING == STRING
input.Body.sku.name == enum_AzureSkuName[_]
input.Body.sku.capacity == INTEGER
input.Body.sku.size == enum_AzureSkuSize[_]
input.Body.properties.optimizedAutoscale.version == INTEGER
input.Body.properties.optimizedAutoscale.isEnabled == BOOLEAN
input.Body.properties.optimizedAutoscale.minimum == INTEGER
input.Body.properties.optimizedAutoscale.maximum == INTEGER
input.Body.properties.enableStreamingIngest == BOOLEAN
input.Body.properties.enablePurge == BOOLEAN
input.Body.properties.workspaceUID == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.kustoPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Libraries_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Library_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.libraryName == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Operations_CheckNameAvailability
valid {
input.Body.name == STRING
input.Body.type == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
Operations_GetAzureAsyncHeaderResult
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.operationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Operations_GetLocationHeaderResult
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.operationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Operations_List
valid {
input.ProviderMetadata.Region == STRING
}
PrivateEndpointConnectionsPrivateLinkHub_Get
valid {
input.ProviderMetadata.Region == STRING
}
PrivateEndpointConnectionsPrivateLinkHub_List
valid {
input.ProviderMetadata.Region == STRING
}
PrivateEndpointConnections_Create
valid {
input.Body.properties.privateEndpoint == {}
input.Body.properties.privateLinkServiceConnectionState.status == STRING
input.Body.properties.privateLinkServiceConnectionState.description == STRING
input.Body.STRING == STRING
input.ProviderMetadata.Region == STRING
}
PrivateEndpointConnections_Delete
valid {
input.ProviderMetadata.Region == STRING
}
PrivateEndpointConnections_Get
valid {
input.ProviderMetadata.Region == STRING
}
PrivateEndpointConnections_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateLinkHubPrivateLinkResources_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.privateLinkHubName == STRING
input.ReqMap.privateLinkResourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateLinkHubPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.privateLinkHubName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateLinkHubs_CreateOrUpdate
valid {
input.Body.properties.provisioningState == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ProviderMetadata.Region == STRING
}
PrivateLinkHubs_Delete
valid {
input.ProviderMetadata.Region == STRING
}
PrivateLinkHubs_Get
valid {
input.ProviderMetadata.Region == STRING
}
PrivateLinkHubs_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
PrivateLinkHubs_ListByResourceGroup
valid {
input.ProviderMetadata.Region == STRING
}
PrivateLinkHubs_Update
valid {
input.Body.tags.STRING == STRING
input.ProviderMetadata.Region == STRING
}
PrivateLinkResources_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.privateLinkResourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
RestorableDroppedSqlPools_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.restorableDroppedSqlPoolId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
RestorableDroppedSqlPools_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
ScopePoolsListByWorkspace_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SparkConfiguration_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.sparkConfigurationName == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SparkConfigurations_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlDatabases_CreateOrUpdate
enum_SqlDatabasePropertiesStorageRedundancy := [ "Local", "Geo", "Zone", "GeoZone" ]
valid {
input.Body.properties.collation == STRING
input.Body.properties.storageRedundancy == enum_SqlDatabasePropertiesStorageRedundancy[_]
input.Body.properties.dataRetention.retentionPeriod == STRING
input.Body.properties.dataRetention.dropRetentionPeriod == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlDatabaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlDatabases_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlDatabaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlDatabases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlDatabaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlDatabases_ListByWorkspace
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlDatabases_Update
enum_SqlDatabasePropertiesStorageRedundancy := [ "Local", "Geo", "Zone", "GeoZone" ]
valid {
input.Body.properties.collation == STRING
input.Body.properties.storageRedundancy == enum_SqlDatabasePropertiesStorageRedundancy[_]
input.Body.properties.dataRetention.retentionPeriod == STRING
input.Body.properties.dataRetention.dropRetentionPeriod == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlDatabaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_SqlPoolBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_SqlPoolBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolBlobAuditingPolicies_Get
enum_BlobAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolBlobAuditingPolicies_ListBySqlPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolColumns_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolConnectionPolicies_Get
enum_ConnectionPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.connectionPolicyName == enum_ConnectionPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolDataWarehouseUserActivities_Get
enum_DataWarehouseUserActivityNameParameter := [ "current" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.dataWarehouseUserActivityName == enum_DataWarehouseUserActivityNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolGeoBackupPolicies_CreateOrUpdate
enum_GeoBackupPolicyNameParameter := [ "Default" ]
enum_GeoBackupPolicyPropertiesState := [ "Disabled", "Enabled" ]
valid {
input.Body.properties.state == enum_GeoBackupPolicyPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.geoBackupPolicyName == enum_GeoBackupPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolGeoBackupPolicies_Get
enum_GeoBackupPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.geoBackupPolicyName == enum_GeoBackupPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolGeoBackupPolicies_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolMaintenanceWindowOptions_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.Qs.maintenanceWindowOptionsName == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolMaintenanceWindows_CreateOrUpdate
enum_MaintenanceWindowTimeRangeDayOfWeek := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]
valid {
input.Body.properties.timeRanges[_].dayOfWeek == enum_MaintenanceWindowTimeRangeDayOfWeek[_]
input.Body.properties.timeRanges[_].startTime == STRING
input.Body.properties.timeRanges[_].duration == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.Qs.maintenanceWindowName == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolMaintenanceWindows_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.Qs.maintenanceWindowName == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolMetadataSyncConfigs_Create
valid {
input.Body.properties.enabled == BOOLEAN
input.Body.properties.syncIntervalInMinutes == INTEGER
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolMetadataSyncConfigs_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolOperationResults_GetLocationHeaderResult
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.operationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolOperations_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolRecommendedSensitivityLabels_Update
enum_RecommendedSensitivityLabelUpdatePropertiesOp := [ "enable", "disable" ]
valid {
input.Body.operations[_].properties.op == enum_RecommendedSensitivityLabelUpdatePropertiesOp[_]
input.Body.operations[_].properties.schema == STRING
input.Body.operations[_].properties.table == STRING
input.Body.operations[_].properties.column == STRING
input.Body.operations[_].STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolReplicationLinks_GetByName
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.linkId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolReplicationLinks_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolRestorePoints_Create
valid {
input.Body.restorePointLabel == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolRestorePoints_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.restorePointName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolRestorePoints_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.restorePointName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolRestorePoints_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSchemas_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSchemas_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSecurityAlertPolicies_CreateOrUpdate
enum_SecurityAlertPolicyNameParameter := [ "default" ]
enum_SecurityAlertPolicyPropertiesState := [ "New", "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_SecurityAlertPolicyPropertiesState[_]
input.Body.properties.disabledAlerts[_] == STRING
input.Body.properties.emailAddresses[_] == STRING
input.Body.properties.emailAccountAdmins == BOOLEAN
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.retentionDays == INTEGER
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSecurityAlertPolicies_Get
enum_SecurityAlertPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSecurityAlertPolicies_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_CreateOrUpdate
enum_SensitivityLabelPropertiesRank := [ "None", "Low", "Medium", "High", "Critical" ]
enum_SensitivityLabelSourceParameter := [ "current" ]
valid {
input.Body.properties.labelName == STRING
input.Body.properties.labelId == STRING
input.Body.properties.informationType == STRING
input.Body.properties.informationTypeId == STRING
input.Body.properties.rank == enum_SensitivityLabelPropertiesRank[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_Delete
enum_SensitivityLabelSourceParameter := [ "current" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_DisableRecommendation
enum_SensitivityLabelSourceParameter := [ "recommended" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_EnableRecommendation
enum_SensitivityLabelSourceParameter := [ "recommended" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_Get
enum_SensitivityLabelSourceParameter := [ "current", "recommended" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_ListCurrent
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_ListRecommended
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.Qs.includeDisabledRecommendations == BOOLEAN
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolSensitivityLabels_Update
enum_SensitivityLabelPropertiesRank := [ "None", "Low", "Medium", "High", "Critical" ]
enum_SensitivityLabelUpdatePropertiesOp := [ "set", "remove" ]
valid {
input.Body.operations[_].properties.op == enum_SensitivityLabelUpdatePropertiesOp[_]
input.Body.operations[_].properties.schema == STRING
input.Body.operations[_].properties.table == STRING
input.Body.operations[_].properties.column == STRING
input.Body.operations[_].properties.sensitivityLabel.properties.labelName == STRING
input.Body.operations[_].properties.sensitivityLabel.properties.labelId == STRING
input.Body.operations[_].properties.sensitivityLabel.properties.informationType == STRING
input.Body.operations[_].properties.sensitivityLabel.properties.informationTypeId == STRING
input.Body.operations[_].properties.sensitivityLabel.properties.rank == enum_SensitivityLabelPropertiesRank[_]
input.Body.operations[_].properties.sensitivityLabel.STRING == STRING
input.Body.operations[_].STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolTableColumns_ListByTableName
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolTables_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolTables_ListBySchema
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.schemaName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolTransparentDataEncryptions_CreateOrUpdate
enum_TransparentDataEncryptionNameParameter := [ "current" ]
enum_TransparentDataEncryptionPropertiesStatus := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.status == enum_TransparentDataEncryptionPropertiesStatus[_]
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.transparentDataEncryptionName == enum_TransparentDataEncryptionNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolTransparentDataEncryptions_Get
enum_TransparentDataEncryptionNameParameter := [ "current" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.transparentDataEncryptionName == enum_TransparentDataEncryptionNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolTransparentDataEncryptions_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolUsages_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessmentRuleBaselines_CreateOrUpdate
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.baselineResults[_].result[_] == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessmentRuleBaselines_Delete
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessmentRuleBaselines_Get
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessmentScans_Export
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessmentScans_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessmentScans_InitiateScan
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessmentScans_List
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessments_CreateOrUpdate
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.storageContainerPath == STRING
input.Body.properties.storageContainerSasKey == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.recurringScans.isEnabled == BOOLEAN
input.Body.properties.recurringScans.emailSubscriptionAdmins == BOOLEAN
input.Body.properties.recurringScans.emails[_] == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessments_Delete
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessments_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolVulnerabilityAssessments_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadClassifier_CreateOrUpdate
valid {
input.Body.properties.memberName == STRING
input.Body.properties.label == STRING
input.Body.properties.context == STRING
input.Body.properties.startTime == STRING
input.Body.properties.endTime == STRING
input.Body.properties.importance == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.workloadClassifierName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadClassifier_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.workloadClassifierName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadClassifier_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.workloadClassifierName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadClassifier_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.workloadGroupName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadGroup_CreateOrUpdate
valid {
input.Body.properties.minResourcePercent == INTEGER
input.Body.properties.maxResourcePercent == INTEGER
input.Body.properties.minResourcePercentPerRequest == NUMBER
input.Body.properties.maxResourcePercentPerRequest == NUMBER
input.Body.properties.importance == STRING
input.Body.properties.queryExecutionTimeout == INTEGER
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.workloadGroupName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadGroup_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.workloadGroupName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadGroup_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.workloadGroupName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolWorkloadGroup_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolsDatawareHouseQueriesSteps_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.ReqMap.dataWarehouseQueriesId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPoolsDatawareHouseQueries_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPools_Create
enum_SqlPoolResourcePropertiesCreateMode := [ "Default", "PointInTimeRestore", "Recovery", "Restore" ]
enum_SqlPoolResourcePropertiesStorageAccountType := [ "GRS", "LRS" ]
valid {
input.Body.sku.tier == STRING
input.Body.sku.name == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.maxSizeBytes == INTEGER
input.Body.properties.collation == STRING
input.Body.properties.sourceDatabaseId == STRING
input.Body.properties.recoverableDatabaseId == STRING
input.Body.properties.provisioningState == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.createMode == enum_SqlPoolResourcePropertiesCreateMode[_]
input.Body.properties.storageAccountType == enum_SqlPoolResourcePropertiesStorageAccountType[_]
input.Body.properties.sourceDatabaseDeletionDate == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPools_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPools_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPools_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPools_Pause
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPools_Resume
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SqlPools_Update
enum_SqlPoolResourcePropertiesCreateMode := [ "Default", "PointInTimeRestore", "Recovery", "Restore" ]
enum_SqlPoolResourcePropertiesStorageAccountType := [ "GRS", "LRS" ]
valid {
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.Body.sku.tier == STRING
input.Body.sku.name == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.maxSizeBytes == INTEGER
input.Body.properties.collation == STRING
input.Body.properties.sourceDatabaseId == STRING
input.Body.properties.recoverableDatabaseId == STRING
input.Body.properties.provisioningState == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.createMode == enum_SqlPoolResourcePropertiesCreateMode[_]
input.Body.properties.storageAccountType == enum_SqlPoolResourcePropertiesStorageAccountType[_]
input.Body.properties.sourceDatabaseDeletionDate == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.sqlPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceAadAdmins_CreateOrUpdate
valid {
input.Body.properties.tenantId == STRING
input.Body.properties.login == STRING
input.Body.properties.administratorType == STRING
input.Body.properties.sid == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceAadAdmins_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceAadAdmins_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceCheckDefaultStorageAccountStatus_Create
valid {
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedIdentitySqlControlSettings_CreateOrUpdate
enum_ManagedIdentitySqlControlSettingsModelPropertiesGrantSqlControlToManagedIdentityDesiredState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.grantSqlControlToManagedIdentity.desiredState == enum_ManagedIdentitySqlControlSettingsModelPropertiesGrantSqlControlToManagedIdentityDesiredState[_]
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedIdentitySqlControlSettings_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ServerBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_ServerBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.queueDelayMs == INTEGER
input.Body.properties.isDevopsAuditEnabled == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerBlobAuditingPolicies_Get
enum_BlobAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerBlobAuditingPolicies_ListByWorkspace
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerDedicatedSQLMinimalTlsSettings_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.dedicatedSQLminimalTlsSettingsName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerDedicatedSQLMinimalTlsSettings_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerDedicatedSQLMinimalTlsSettings_Update
enum_DedicatedSQLminimalTlsSettingsNameParameter := [ "default" ]
valid {
input.Body.properties.minimalTlsVersion == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.dedicatedSQLminimalTlsSettingsName == enum_DedicatedSQLminimalTlsSettingsNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerEncryptionProtector_CreateOrUpdate
enum_EncryptionProtectorNameParameter := [ "current" ]
enum_EncryptionProtectorPropertiesServerKeyType := [ "ServiceManaged", "AzureKeyVault" ]
valid {
input.Body.properties.serverKeyName == STRING
input.Body.properties.serverKeyType == enum_EncryptionProtectorPropertiesServerKeyType[_]
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerEncryptionProtector_Get
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerEncryptionProtector_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerEncryptionProtector_Revalidate
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WorkspaceManagedSqlServerExtendedBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ExtendedServerBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.predicateExpression == STRING
input.Body.properties.state == enum_ExtendedServerBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.queueDelayMs == INTEGER
input.Body.properties.isDevopsAuditEnabled == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.workspaceName == STRING
input.ReqMap.blobAuditingPolicyName == e