MICROSOFT.SQL
BackupShortTermRetentionPolicies_CreateOrUpdate
enum_BackupShortTermRetentionPolicyPropertiesDiffBackupIntervalInHours := [ "12", "24" ]
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.retentionDays == INTEGER
input.Body.properties.diffBackupIntervalInHours == enum_BackupShortTermRetentionPolicyPropertiesDiffBackupIntervalInHours[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}BackupShortTermRetentionPolicies_Get
enum_PolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}BackupShortTermRetentionPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}BackupShortTermRetentionPolicies_Update
enum_BackupShortTermRetentionPolicyPropertiesDiffBackupIntervalInHours := [ "12", "24" ]
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.retentionDays == INTEGER
input.Body.properties.diffBackupIntervalInHours == enum_BackupShortTermRetentionPolicyPropertiesDiffBackupIntervalInHours[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Capabilities_ListByLocation
enum_IncludeParameter := [ "supportedEditions", "supportedElasticPoolEditions", "supportedManagedInstanceVersions", "supportedInstancePoolEditions", "supportedManagedInstanceEditions", "supportedJobAgentVersions" ]
valid {
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.include == enum_IncludeParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}DataMaskingPolicies_CreateOrUpdate
enum_DataMaskingPolicyNameParameter := [ "Default" ]
enum_DataMaskingPolicyPropertiesDataMaskingState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.dataMaskingState == enum_DataMaskingPolicyPropertiesDataMaskingState[_]
input.Body.properties.exemptPrincipals == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
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 := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.ruleState == enum_DataMaskingRulePropertiesRuleState[_]
input.Body.properties.schemaName == STRING
input.Body.properties.tableName == STRING
input.Body.properties.columnName == STRING
input.Body.properties.aliasName == 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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.ReqMap.dataMaskingRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DataMaskingRules_ListByDatabase
enum_DataMaskingPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataMaskingPolicyName == enum_DataMaskingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DataWarehouseUserActivities_Get
enum_DataWarehouseUserActivityNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.dataWarehouseUserActivityName == enum_DataWarehouseUserActivityNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DataWarehouseUserActivities_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAdvancedThreatProtectionSettings_CreateOrUpdate
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
enum_AdvancedThreatProtectionPropertiesState := [ "New", "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_AdvancedThreatProtectionPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAdvancedThreatProtectionSettings_Get
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAdvancedThreatProtectionSettings_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAdvisors_CreateOrUpdate
enum_AdvisorPropertiesAutoExecuteValue := [ "Enabled", "Disabled", "Default" ]
valid {
input.Body.properties.autoExecuteValue == enum_AdvisorPropertiesAutoExecuteValue[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAdvisors_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAdvisors_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAdvisors_Update
enum_AdvisorPropertiesAutoExecuteStatus := [ "Enabled", "Disabled", "Default" ]
valid {
input.Body.properties.autoExecuteStatus == enum_AdvisorPropertiesAutoExecuteStatus[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAutomaticTuning_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseAutomaticTuning_Update
enum_AutomaticTuningOptionsDesiredState := [ "Off", "On", "Default" ]
enum_DatabaseAutomaticTuningPropertiesDesiredState := [ "Inherit", "Custom", "Auto", "Unspecified" ]
valid {
input.Body.properties.desiredState == enum_DatabaseAutomaticTuningPropertiesDesiredState[_]
input.Body.properties.options.STRING.desiredState == enum_AutomaticTuningOptionsDesiredState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_DatabaseBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.queueDelayMs == INTEGER
input.Body.properties.isManagedIdentityInUse == BOOLEAN
input.Body.properties.state == enum_DatabaseBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseBlobAuditingPolicies_Get
enum_BlobAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseBlobAuditingPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseColumns_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseColumns_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.schema == ARRAY
input.Qs.table == ARRAY
input.Qs.column == ARRAY
input.Qs.orderBy == ARRAY
input.Qs.$skiptoken == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseColumns_ListByTable
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseConnectionPolicies_CreateOrUpdate
enum_ConnectionPolicyNameParameter := [ "default" ]
valid {
input.Body.properties.securityEnabledAccess == STRING
input.Body.properties.proxyDnsName == STRING
input.Body.properties.proxyPort == STRING
input.Body.properties.visibility == STRING
input.Body.properties.useServerDefault == STRING
input.Body.properties.redirectionState == STRING
input.Body.properties.state == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.connectionPolicyName == enum_ConnectionPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseConnectionPolicies_Get
enum_ConnectionPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.connectionPolicyName == enum_ConnectionPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseEncryptionProtectors_Revalidate
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseEncryptionProtectors_Revert
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseExtensions_CreateOrUpdate
enum_DatabaseExtensionsPropertiesOperationMode := [ "PolybaseImport", "Import", "Export" ]
enum_DatabaseExtensionsPropertiesStorageKeyType := [ "SharedAccessKey", "StorageAccessKey" ]
valid {
input.Body.properties.operationMode == enum_DatabaseExtensionsPropertiesOperationMode[_]
input.Body.properties.storageKeyType == enum_DatabaseExtensionsPropertiesStorageKeyType[_]
input.Body.properties.storageKey == STRING
input.Body.properties.storageUri == STRING
input.Body.properties.administratorLogin == STRING
input.Body.properties.administratorLoginPassword == STRING
input.Body.properties.authenticationType == STRING
input.Body.properties.databaseEdition == STRING
input.Body.properties.serviceObjectiveName == STRING
input.Body.properties.maxSizeBytes == STRING
input.Body.properties.networkIsolation.storageAccountResourceId == STRING
input.Body.properties.networkIsolation.sqlServerResourceId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.extensionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseExtensions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.extensionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseExtensions_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseOperations_Cancel
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.operationId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseOperations_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseRecommendedActions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.recommendedActionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseRecommendedActions_ListByDatabaseAdvisor
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseRecommendedActions_Update
enum_RecommendedActionStateInfoCurrentValue := [ "Active", "Pending", "Executing", "Verifying", "PendingRevert", "RevertCancelled", "Reverting", "Reverted", "Ignored", "Expired", "Monitoring", "Resolved", "Success", "Error" ]
valid {
input.Body.properties.state.currentValue == enum_RecommendedActionStateInfoCurrentValue[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.recommendedActionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSchemas_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSchemas_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSecurityAlertPolicies_CreateOrUpdate
enum_SecurityAlertPolicyNameParameter := [ "default" ]
enum_SecurityAlertsPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_SecurityAlertsPolicyPropertiesState[_]
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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSecurityAlertPolicies_Get
enum_SecurityAlertPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSecurityAlertPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentBaselines_CreateOrUpdate
enum_BaselineNameParameter := [ "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.latestScan == BOOLEAN
input.Body.properties.results.STRING[_][_] == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentBaselines_Get
enum_BaselineNameParameter := [ "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentBaselines_ListBySqlVulnerabilityAssessment
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentExecuteScan_Execute
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentRuleBaselines_CreateOrUpdate
enum_BaselineNameParameter := [ "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.latestScan == BOOLEAN
input.Body.properties.results[_][_] == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentRuleBaselines_Delete
enum_BaselineNameParameter := [ "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentRuleBaselines_Get
enum_BaselineNameParameter := [ "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentRuleBaselines_ListByBaseline
enum_BaselineNameParameter := [ "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentScanResult_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.scanResultId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentScanResult_ListByScan
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentScans_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentScans_ListBySqlVulnerabilityAssessments
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentsSettings_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseSqlVulnerabilityAssessmentsSettings_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseTableAuditingPolicies_CreateOrUpdate
enum_TableAuditingPolicyNameParameter := [ "default" ]
valid {
input.Body.properties.useServerDefault == STRING
input.Body.properties.auditingState == STRING
input.Body.properties.auditLogsTableName == STRING
input.Body.properties.eventTypesToAudit == STRING
input.Body.properties.fullAuditLogsTableName == STRING
input.Body.properties.retentionDays == STRING
input.Body.properties.storageAccountKey == STRING
input.Body.properties.storageAccountName == STRING
input.Body.properties.storageAccountResourceGroupName == STRING
input.Body.properties.storageAccountSecondaryKey == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.properties.storageTableEndpoint == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.tableAuditingPolicyName == enum_TableAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseTableAuditingPolicies_Get
enum_TableAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.tableAuditingPolicyName == enum_TableAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseTableAuditingPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseTables_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseTables_ListBySchema
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseUsages_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessmentRuleBaselines_CreateOrUpdate
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.baselineResults[_].result[_] == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessmentRuleBaselines_Delete
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessmentRuleBaselines_Get
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessmentScans_Export
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessmentScans_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessmentScans_InitiateScan
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessmentScans_ListByDatabase
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessments_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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessments_Delete
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessments_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DatabaseVulnerabilityAssessments_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_CreateOrUpdate
enum_DatabaseIdentityType := [ "None", "UserAssigned" ]
enum_DatabasePropertiesAvailabilityZone := [ "NoPreference", "1", "2", "3" ]
enum_DatabasePropertiesCatalogCollation := [ "DATABASE_DEFAULT", "SQL_Latin1_General_CP1_CI_AS" ]
enum_DatabasePropertiesCreateMode := [ "Default", "Copy", "Secondary", "PointInTimeRestore", "Restore", "Recovery", "RestoreExternalBackup", "RestoreExternalBackupSecondary", "RestoreLongTermRetentionBackup", "OnlineSecondary" ]
enum_DatabasePropertiesFreeLimitExhaustionBehavior := [ "AutoPause", "BillOverUsage" ]
enum_DatabasePropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
enum_DatabasePropertiesPreferredEnclaveType := [ "Default", "VBS" ]
enum_DatabasePropertiesReadScale := [ "Enabled", "Disabled" ]
enum_DatabasePropertiesRequestedBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
enum_DatabasePropertiesSampleName := [ "AdventureWorksLT", "WideWorldImportersStd", "WideWorldImportersFull" ]
enum_DatabasePropertiesSecondaryType := [ "Geo", "Named", "Standby" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.identity.type == enum_DatabaseIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.properties.createMode == enum_DatabasePropertiesCreateMode[_]
input.Body.properties.collation == STRING
input.Body.properties.maxSizeBytes == INTEGER
input.Body.properties.sampleName == enum_DatabasePropertiesSampleName[_]
input.Body.properties.elasticPoolId == STRING
input.Body.properties.sourceDatabaseId == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.sourceDatabaseDeletionDate == STRING
input.Body.properties.recoveryServicesRecoveryPointId == STRING
input.Body.properties.longTermRetentionBackupResourceId == STRING
input.Body.properties.recoverableDatabaseId == STRING
input.Body.properties.restorableDroppedDatabaseId == STRING
input.Body.properties.catalogCollation == enum_DatabasePropertiesCatalogCollation[_]
input.Body.properties.zoneRedundant == BOOLEAN
input.Body.properties.licenseType == enum_DatabasePropertiesLicenseType[_]
input.Body.properties.readScale == enum_DatabasePropertiesReadScale[_]
input.Body.properties.highAvailabilityReplicaCount == INTEGER
input.Body.properties.secondaryType == enum_DatabasePropertiesSecondaryType[_]
input.Body.properties.autoPauseDelay == INTEGER
input.Body.properties.requestedBackupStorageRedundancy == enum_DatabasePropertiesRequestedBackupStorageRedundancy[_]
input.Body.properties.minCapacity == NUMBER
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.isLedgerOn == BOOLEAN
input.Body.properties.federatedClientId == STRING
input.Body.properties.keys.STRING == {}
input.Body.properties.encryptionProtector == STRING
input.Body.properties.preferredEnclaveType == enum_DatabasePropertiesPreferredEnclaveType[_]
input.Body.properties.useFreeLimit == BOOLEAN
input.Body.properties.freeLimitExhaustionBehavior == enum_DatabasePropertiesFreeLimitExhaustionBehavior[_]
input.Body.properties.sourceResourceId == STRING
input.Body.properties.manualCutover == BOOLEAN
input.Body.properties.performCutover == BOOLEAN
input.Body.properties.availabilityZone == enum_DatabasePropertiesAvailabilityZone[_]
input.Body.properties.encryptionProtectorAutoRotation == BOOLEAN
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Export
enum_ExportDatabaseDefinitionStorageKeyType := [ "SharedAccessKey", "StorageAccessKey" ]
valid {
input.Body.storageKeyType == enum_ExportDatabaseDefinitionStorageKeyType[_]
input.Body.storageKey == STRING
input.Body.storageUri == STRING
input.Body.administratorLogin == STRING
input.Body.administratorLoginPassword == STRING
input.Body.authenticationType == STRING
input.Body.networkIsolation.storageAccountResourceId == STRING
input.Body.networkIsolation.sqlServerResourceId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Failover
enum_ReplicaTypeParameter := [ "Primary", "ReadableSecondary" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.replicaType == enum_ReplicaTypeParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_GetByElasticPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_GetByRecommendedElasticPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.recommendedElasticPoolName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Import
enum_ImportExistingDatabaseDefinitionStorageKeyType := [ "SharedAccessKey", "StorageAccessKey" ]
valid {
input.Body.storageKeyType == enum_ImportExistingDatabaseDefinitionStorageKeyType[_]
input.Body.storageKey == STRING
input.Body.storageUri == STRING
input.Body.administratorLogin == STRING
input.Body.administratorLoginPassword == STRING
input.Body.authenticationType == STRING
input.Body.networkIsolation.storageAccountResourceId == STRING
input.Body.networkIsolation.sqlServerResourceId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_ListByElasticPool
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_ListByRecommendedElasticPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.recommendedElasticPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$skipToken == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_ListInaccessibleByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_ListMetricDefinitions
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_ListMetrics
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Pause
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Rename
valid {
input.Body.id == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Resume
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_Update
enum_DatabaseIdentityType := [ "None", "UserAssigned" ]
enum_DatabaseUpdatePropertiesCatalogCollation := [ "DATABASE_DEFAULT", "SQL_Latin1_General_CP1_CI_AS" ]
enum_DatabaseUpdatePropertiesCreateMode := [ "Default", "Copy", "Secondary", "PointInTimeRestore", "Restore", "Recovery", "RestoreExternalBackup", "RestoreExternalBackupSecondary", "RestoreLongTermRetentionBackup", "OnlineSecondary" ]
enum_DatabaseUpdatePropertiesFreeLimitExhaustionBehavior := [ "AutoPause", "BillOverUsage" ]
enum_DatabaseUpdatePropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
enum_DatabaseUpdatePropertiesPreferredEnclaveType := [ "Default", "VBS" ]
enum_DatabaseUpdatePropertiesReadScale := [ "Enabled", "Disabled" ]
enum_DatabaseUpdatePropertiesRequestedBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
enum_DatabaseUpdatePropertiesSampleName := [ "AdventureWorksLT", "WideWorldImportersStd", "WideWorldImportersFull" ]
enum_DatabaseUpdatePropertiesSecondaryType := [ "Geo", "Named", "Standby" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.identity.type == enum_DatabaseIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.properties.createMode == enum_DatabaseUpdatePropertiesCreateMode[_]
input.Body.properties.collation == STRING
input.Body.properties.maxSizeBytes == INTEGER
input.Body.properties.sampleName == enum_DatabaseUpdatePropertiesSampleName[_]
input.Body.properties.elasticPoolId == STRING
input.Body.properties.sourceDatabaseId == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.sourceDatabaseDeletionDate == STRING
input.Body.properties.recoveryServicesRecoveryPointId == STRING
input.Body.properties.longTermRetentionBackupResourceId == STRING
input.Body.properties.recoverableDatabaseId == STRING
input.Body.properties.restorableDroppedDatabaseId == STRING
input.Body.properties.catalogCollation == enum_DatabaseUpdatePropertiesCatalogCollation[_]
input.Body.properties.zoneRedundant == BOOLEAN
input.Body.properties.licenseType == enum_DatabaseUpdatePropertiesLicenseType[_]
input.Body.properties.readScale == enum_DatabaseUpdatePropertiesReadScale[_]
input.Body.properties.highAvailabilityReplicaCount == INTEGER
input.Body.properties.secondaryType == enum_DatabaseUpdatePropertiesSecondaryType[_]
input.Body.properties.autoPauseDelay == INTEGER
input.Body.properties.requestedBackupStorageRedundancy == enum_DatabaseUpdatePropertiesRequestedBackupStorageRedundancy[_]
input.Body.properties.minCapacity == NUMBER
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.isLedgerOn == BOOLEAN
input.Body.properties.federatedClientId == STRING
input.Body.properties.keys.STRING == {}
input.Body.properties.encryptionProtector == STRING
input.Body.properties.preferredEnclaveType == enum_DatabaseUpdatePropertiesPreferredEnclaveType[_]
input.Body.properties.useFreeLimit == BOOLEAN
input.Body.properties.freeLimitExhaustionBehavior == enum_DatabaseUpdatePropertiesFreeLimitExhaustionBehavior[_]
input.Body.properties.manualCutover == BOOLEAN
input.Body.properties.performCutover == BOOLEAN
input.Body.properties.encryptionProtectorAutoRotation == BOOLEAN
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Databases_UpgradeDataWarehouse
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DeletedServers_Get
valid {
input.ReqMap.locationName == STRING
input.ReqMap.deletedServerName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}DeletedServers_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}DeletedServers_ListByLocation
valid {
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}DeletedServers_Recover
valid {
input.ReqMap.locationName == STRING
input.ReqMap.deletedServerName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}DisasterRecoveryConfigurations_CreateOrUpdate
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.disasterRecoveryConfigurationName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DisasterRecoveryConfigurations_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.disasterRecoveryConfigurationName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DisasterRecoveryConfigurations_Failover
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.disasterRecoveryConfigurationName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DisasterRecoveryConfigurations_FailoverAllowDataLoss
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.disasterRecoveryConfigurationName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DisasterRecoveryConfigurations_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.disasterRecoveryConfigurationName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DisasterRecoveryConfigurations_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DistributedAvailabilityGroups_CreateOrUpdate
enum_DistributedAvailabilityGroupPropertiesFailoverMode := [ "None", "Manual" ]
enum_DistributedAvailabilityGroupPropertiesInstanceLinkRole := [ "Primary", "Secondary" ]
enum_DistributedAvailabilityGroupPropertiesReplicationMode := [ "Async", "Sync" ]
enum_DistributedAvailabilityGroupPropertiesSeedingMode := [ "Automatic", "Manual" ]
valid {
input.Body.properties.replicationMode == enum_DistributedAvailabilityGroupPropertiesReplicationMode[_]
input.Body.properties.partnerAvailabilityGroupName == STRING
input.Body.properties.partnerEndpoint == STRING
input.Body.properties.instanceLinkRole == enum_DistributedAvailabilityGroupPropertiesInstanceLinkRole[_]
input.Body.properties.instanceAvailabilityGroupName == STRING
input.Body.properties.failoverMode == enum_DistributedAvailabilityGroupPropertiesFailoverMode[_]
input.Body.properties.seedingMode == enum_DistributedAvailabilityGroupPropertiesSeedingMode[_]
input.Body.properties.databases[_].databaseName == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.distributedAvailabilityGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DistributedAvailabilityGroups_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.distributedAvailabilityGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DistributedAvailabilityGroups_Failover
enum_DistributedAvailabilityGroupsFailoverRequestFailoverType := [ "ForcedAllowDataLoss", "Planned" ]
valid {
input.Body.failoverType == enum_DistributedAvailabilityGroupsFailoverRequestFailoverType[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.distributedAvailabilityGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DistributedAvailabilityGroups_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.distributedAvailabilityGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DistributedAvailabilityGroups_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DistributedAvailabilityGroups_SetRole
enum_DistributedAvailabilityGroupSetRoleInstanceRole := [ "Primary", "Secondary" ]
enum_DistributedAvailabilityGroupSetRoleRoleChangeType := [ "Forced", "Planned" ]
valid {
input.Body.instanceRole == enum_DistributedAvailabilityGroupSetRoleInstanceRole[_]
input.Body.roleChangeType == enum_DistributedAvailabilityGroupSetRoleRoleChangeType[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.distributedAvailabilityGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}DistributedAvailabilityGroups_Update
enum_DistributedAvailabilityGroupPropertiesFailoverMode := [ "None", "Manual" ]
enum_DistributedAvailabilityGroupPropertiesInstanceLinkRole := [ "Primary", "Secondary" ]
enum_DistributedAvailabilityGroupPropertiesReplicationMode := [ "Async", "Sync" ]
enum_DistributedAvailabilityGroupPropertiesSeedingMode := [ "Automatic", "Manual" ]
valid {
input.Body.properties.replicationMode == enum_DistributedAvailabilityGroupPropertiesReplicationMode[_]
input.Body.properties.partnerAvailabilityGroupName == STRING
input.Body.properties.partnerEndpoint == STRING
input.Body.properties.instanceLinkRole == enum_DistributedAvailabilityGroupPropertiesInstanceLinkRole[_]
input.Body.properties.instanceAvailabilityGroupName == STRING
input.Body.properties.failoverMode == enum_DistributedAvailabilityGroupPropertiesFailoverMode[_]
input.Body.properties.seedingMode == enum_DistributedAvailabilityGroupPropertiesSeedingMode[_]
input.Body.properties.databases[_].databaseName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.distributedAvailabilityGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPoolActivities_ListByElasticPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPoolDatabaseActivities_ListByElasticPool
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPoolOperations_Cancel
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.operationId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPoolOperations_ListByElasticPool
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_CreateOrUpdate
enum_ElasticPoolPropertiesAvailabilityZone := [ "NoPreference", "1", "2", "3" ]
enum_ElasticPoolPropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
enum_ElasticPoolPropertiesPreferredEnclaveType := [ "Default", "VBS" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.maxSizeBytes == INTEGER
input.Body.properties.minCapacity == NUMBER
input.Body.properties.perDatabaseSettings.minCapacity == NUMBER
input.Body.properties.perDatabaseSettings.maxCapacity == NUMBER
input.Body.properties.perDatabaseSettings.autoPauseDelay == INTEGER
input.Body.properties.zoneRedundant == BOOLEAN
input.Body.properties.licenseType == enum_ElasticPoolPropertiesLicenseType[_]
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.highAvailabilityReplicaCount == INTEGER
input.Body.properties.autoPauseDelay == INTEGER
input.Body.properties.preferredEnclaveType == enum_ElasticPoolPropertiesPreferredEnclaveType[_]
input.Body.properties.availabilityZone == enum_ElasticPoolPropertiesAvailabilityZone[_]
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_Failover
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$skip == INTEGER
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_ListMetricDefinitions
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_ListMetrics
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ElasticPools_Update
enum_ElasticPoolUpdatePropertiesAvailabilityZone := [ "NoPreference", "1", "2", "3" ]
enum_ElasticPoolUpdatePropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
enum_ElasticPoolUpdatePropertiesPreferredEnclaveType := [ "Default", "VBS" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.maxSizeBytes == INTEGER
input.Body.properties.minCapacity == NUMBER
input.Body.properties.perDatabaseSettings.minCapacity == NUMBER
input.Body.properties.perDatabaseSettings.maxCapacity == NUMBER
input.Body.properties.perDatabaseSettings.autoPauseDelay == INTEGER
input.Body.properties.zoneRedundant == BOOLEAN
input.Body.properties.licenseType == enum_ElasticPoolUpdatePropertiesLicenseType[_]
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.highAvailabilityReplicaCount == INTEGER
input.Body.properties.autoPauseDelay == INTEGER
input.Body.properties.preferredEnclaveType == enum_ElasticPoolUpdatePropertiesPreferredEnclaveType[_]
input.Body.properties.availabilityZone == enum_ElasticPoolUpdatePropertiesAvailabilityZone[_]
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.elasticPoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}EncryptionProtectors_CreateOrUpdate
enum_EncryptionProtectorNameParameter := [ "current" ]
enum_EncryptionProtectorPropertiesServerKeyType := [ "ServiceManaged", "AzureKeyVault" ]
valid {
input.Body.properties.serverKeyName == STRING
input.Body.properties.serverKeyType == enum_EncryptionProtectorPropertiesServerKeyType[_]
input.Body.properties.autoRotationEnabled == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}EncryptionProtectors_Get
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}EncryptionProtectors_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}EncryptionProtectors_Revalidate
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}EndpointCertificates_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.endpointType == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}EndpointCertificates_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ExtendedDatabaseBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ExtendedDatabaseBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.predicateExpression == STRING
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.queueDelayMs == INTEGER
input.Body.properties.isManagedIdentityInUse == BOOLEAN
input.Body.properties.state == enum_ExtendedDatabaseBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ExtendedDatabaseBlobAuditingPolicies_Get
enum_BlobAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ExtendedDatabaseBlobAuditingPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ExtendedServerBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ExtendedServerBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.isDevopsAuditEnabled == BOOLEAN
input.Body.properties.predicateExpression == STRING
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.queueDelayMs == INTEGER
input.Body.properties.isManagedIdentityInUse == BOOLEAN
input.Body.properties.state == enum_ExtendedServerBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ExtendedServerBlobAuditingPolicies_Get
enum_BlobAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ExtendedServerBlobAuditingPolicies_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_CreateOrUpdate
enum_FailoverGroupPropertiesSecondaryType := [ "Geo", "Standby" ]
enum_FailoverGroupReadOnlyEndpointFailoverPolicy := [ "Disabled", "Enabled" ]
enum_FailoverGroupReadWriteEndpointFailoverPolicy := [ "Manual", "Automatic" ]
valid {
input.Body.tags.STRING == STRING
input.Body.properties.readWriteEndpoint.failoverPolicy == enum_FailoverGroupReadWriteEndpointFailoverPolicy[_]
input.Body.properties.readWriteEndpoint.failoverWithDataLossGracePeriodMinutes == INTEGER
input.Body.properties.readOnlyEndpoint.failoverPolicy == enum_FailoverGroupReadOnlyEndpointFailoverPolicy[_]
input.Body.properties.readOnlyEndpoint.targetServer == STRING
input.Body.properties.partnerServers[_].id == STRING
input.Body.properties.databases[_] == STRING
input.Body.properties.secondaryType == enum_FailoverGroupPropertiesSecondaryType[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_Failover
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_ForceFailoverAllowDataLoss
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_TryPlannedBeforeForcedFailover
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FailoverGroups_Update
enum_FailoverGroupReadOnlyEndpointFailoverPolicy := [ "Disabled", "Enabled" ]
enum_FailoverGroupReadWriteEndpointFailoverPolicy := [ "Manual", "Automatic" ]
enum_FailoverGroupUpdatePropertiesSecondaryType := [ "Geo", "Standby" ]
valid {
input.Body.properties.readWriteEndpoint.failoverPolicy == enum_FailoverGroupReadWriteEndpointFailoverPolicy[_]
input.Body.properties.readWriteEndpoint.failoverWithDataLossGracePeriodMinutes == INTEGER
input.Body.properties.readOnlyEndpoint.failoverPolicy == enum_FailoverGroupReadOnlyEndpointFailoverPolicy[_]
input.Body.properties.readOnlyEndpoint.targetServer == STRING
input.Body.properties.databases[_] == STRING
input.Body.properties.partnerServers[_].id == STRING
input.Body.properties.secondaryType == enum_FailoverGroupUpdatePropertiesSecondaryType[_]
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FirewallRules_CreateOrUpdate
valid {
input.Body.properties.startIpAddress == STRING
input.Body.properties.endIpAddress == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.firewallRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FirewallRules_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.firewallRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FirewallRules_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.firewallRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FirewallRules_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}FirewallRules_Replace
valid {
input.Body.values[_].properties.startIpAddress == STRING
input.Body.values[_].properties.endIpAddress == STRING
input.Body.values[_].STRING == STRING
input.Body.values[_].name == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}GeoBackupPolicies_CreateOrUpdate
enum_GeoBackupPolicyNameParameter := [ "Default" ]
enum_GeoBackupPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_GeoBackupPolicyPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.geoBackupPolicyName == enum_GeoBackupPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}GeoBackupPolicies_Get
enum_GeoBackupPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.geoBackupPolicyName == enum_GeoBackupPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}GeoBackupPolicies_List
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}IPv6FirewallRules_CreateOrUpdate
valid {
input.Body.properties.startIPv6Address == STRING
input.Body.properties.endIPv6Address == STRING
input.Body.STRING == STRING
input.Body.name == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.firewallRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}IPv6FirewallRules_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.firewallRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}IPv6FirewallRules_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.firewallRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}IPv6FirewallRules_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstanceFailoverGroups_CreateOrUpdate
enum_InstanceFailoverGroupPropertiesSecondaryType := [ "Geo", "Standby" ]
enum_InstanceFailoverGroupReadOnlyEndpointFailoverPolicy := [ "Disabled", "Enabled" ]
enum_InstanceFailoverGroupReadWriteEndpointFailoverPolicy := [ "Manual", "Automatic" ]
valid {
input.Body.properties.secondaryType == enum_InstanceFailoverGroupPropertiesSecondaryType[_]
input.Body.properties.readWriteEndpoint.failoverPolicy == enum_InstanceFailoverGroupReadWriteEndpointFailoverPolicy[_]
input.Body.properties.readWriteEndpoint.failoverWithDataLossGracePeriodMinutes == INTEGER
input.Body.properties.readOnlyEndpoint.failoverPolicy == enum_InstanceFailoverGroupReadOnlyEndpointFailoverPolicy[_]
input.Body.properties.partnerRegions[_].location == STRING
input.Body.properties.managedInstancePairs[_].primaryManagedInstanceId == STRING
input.Body.properties.managedInstancePairs[_].partnerManagedInstanceId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstanceFailoverGroups_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstanceFailoverGroups_Failover
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstanceFailoverGroups_ForceFailoverAllowDataLoss
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstanceFailoverGroups_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.failoverGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstanceFailoverGroups_ListByLocation
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstancePools_CreateOrUpdate
enum_InstancePoolPropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.subnetId == STRING
input.Body.properties.vCores == INTEGER
input.Body.properties.licenseType == enum_InstancePoolPropertiesLicenseType[_]
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.instancePoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstancePools_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.instancePoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstancePools_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.instancePoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstancePools_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}InstancePools_ListByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}InstancePools_Update
enum_InstancePoolPropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.subnetId == STRING
input.Body.properties.vCores == INTEGER
input.Body.properties.licenseType == enum_InstancePoolPropertiesLicenseType[_]
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.instancePoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobAgents_CreateOrUpdate
enum_JobAgentIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssignedUserAssigned" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.identity.tenantId == STRING
input.Body.identity.type == enum_JobAgentIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.properties.databaseId == STRING
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobAgents_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobAgents_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobAgents_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobAgents_Update
enum_JobAgentIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssignedUserAssigned" ]
valid {
input.Body.identity.tenantId == STRING
input.Body.identity.type == enum_JobAgentIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobCredentials_CreateOrUpdate
valid {
input.Body.properties.username == STRING
input.Body.properties.password == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.credentialName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobCredentials_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.credentialName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobCredentials_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.credentialName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobCredentials_ListByAgent
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobExecutions_Cancel
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobExecutions_Create
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobExecutions_CreateOrUpdate
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobExecutions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobExecutions_ListByAgent
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.createTimeMin == STRING
input.Qs.createTimeMax == STRING
input.Qs.endTimeMin == STRING
input.Qs.endTimeMax == STRING
input.Qs.isActive == BOOLEAN
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobExecutions_ListByJob
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.createTimeMin == STRING
input.Qs.createTimeMax == STRING
input.Qs.endTimeMin == STRING
input.Qs.endTimeMax == STRING
input.Qs.isActive == BOOLEAN
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobPrivateEndpoints_CreateOrUpdate
valid {
input.Body.properties.targetServerAzureResourceId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.privateEndpointName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobPrivateEndpoints_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.privateEndpointName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobPrivateEndpoints_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.privateEndpointName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobPrivateEndpoints_ListByAgent
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobStepExecutions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.stepName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobStepExecutions_ListByJobExecution
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.createTimeMin == STRING
input.Qs.createTimeMax == STRING
input.Qs.endTimeMin == STRING
input.Qs.endTimeMax == STRING
input.Qs.isActive == BOOLEAN
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobSteps_CreateOrUpdate
enum_JobStepActionSource := [ "Inline" ]
enum_JobStepActionType := [ "TSql" ]
enum_JobStepOutputType := [ "SqlDatabase" ]
valid {
input.Body.properties.stepId == INTEGER
input.Body.properties.targetGroup == STRING
input.Body.properties.credential == STRING
input.Body.properties.action.type == enum_JobStepActionType[_]
input.Body.properties.action.source == enum_JobStepActionSource[_]
input.Body.properties.action.value == STRING
input.Body.properties.output.type == enum_JobStepOutputType[_]
input.Body.properties.output.subscriptionId == STRING
input.Body.properties.output.resourceGroupName == STRING
input.Body.properties.output.serverName == STRING
input.Body.properties.output.databaseName == STRING
input.Body.properties.output.schemaName == STRING
input.Body.properties.output.tableName == STRING
input.Body.properties.output.credential == STRING
input.Body.properties.executionOptions.timeoutSeconds == INTEGER
input.Body.properties.executionOptions.retryAttempts == INTEGER
input.Body.properties.executionOptions.initialRetryIntervalSeconds == INTEGER
input.Body.properties.executionOptions.maximumRetryIntervalSeconds == INTEGER
input.Body.properties.executionOptions.retryIntervalBackoffMultiplier == NUMBER
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.stepName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobSteps_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.stepName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobSteps_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.stepName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobSteps_GetByVersion
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobVersion == INTEGER
input.ReqMap.stepName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobSteps_ListByJob
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobSteps_ListByVersion
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobVersion == INTEGER
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobTargetExecutions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.stepName == STRING
input.ReqMap.targetId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobTargetExecutions_ListByJobExecution
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.createTimeMin == STRING
input.Qs.createTimeMax == STRING
input.Qs.endTimeMin == STRING
input.Qs.endTimeMax == STRING
input.Qs.isActive == BOOLEAN
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobTargetExecutions_ListByStep
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobExecutionId == STRING
input.ReqMap.stepName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.createTimeMin == STRING
input.Qs.createTimeMax == STRING
input.Qs.endTimeMin == STRING
input.Qs.endTimeMax == STRING
input.Qs.isActive == BOOLEAN
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobTargetGroups_CreateOrUpdate
enum_JobTargetMembershipType := [ "Include", "Exclude" ]
enum_JobTargetType := [ "TargetGroup", "SqlDatabase", "SqlElasticPool", "SqlShardMap", "SqlServer" ]
valid {
input.Body.properties.members[_].membershipType == enum_JobTargetMembershipType[_]
input.Body.properties.members[_].type == enum_JobTargetType[_]
input.Body.properties.members[_].serverName == STRING
input.Body.properties.members[_].databaseName == STRING
input.Body.properties.members[_].elasticPoolName == STRING
input.Body.properties.members[_].shardMapName == STRING
input.Body.properties.members[_].refreshCredential == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.targetGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobTargetGroups_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.targetGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobTargetGroups_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.targetGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobTargetGroups_ListByAgent
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobVersions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.jobVersion == INTEGER
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}JobVersions_ListByJob
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Jobs_CreateOrUpdate
enum_JobScheduleType := [ "Once", "Recurring" ]
valid {
input.Body.properties.description == STRING
input.Body.properties.schedule.startTime == STRING
input.Body.properties.schedule.endTime == STRING
input.Body.properties.schedule.type == enum_JobScheduleType[_]
input.Body.properties.schedule.enabled == BOOLEAN
input.Body.properties.schedule.interval == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Jobs_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Jobs_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.jobName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Jobs_ListByAgent
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.jobAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LedgerDigestUploads_CreateOrUpdate
enum_LedgerDigestUploadsParameter := [ "current" ]
valid {
input.Body.properties.digestStorageEndpoint == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.ledgerDigestUploads == enum_LedgerDigestUploadsParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LedgerDigestUploads_Disable
enum_LedgerDigestUploadsParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.ledgerDigestUploads == enum_LedgerDigestUploadsParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LedgerDigestUploads_Get
enum_LedgerDigestUploadsParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.ledgerDigestUploads == enum_LedgerDigestUploadsParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LedgerDigestUploads_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_ChangeAccessTier
valid {
input.Body.backupStorageAccessTier == STRING
input.Body.operationMode == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_ChangeAccessTierByResourceGroup
valid {
input.Body.backupStorageAccessTier == STRING
input.Body.operationMode == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_Copy
enum_CopyLongTermRetentionBackupParametersPropertiesTargetBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
valid {
input.Body.properties.targetSubscriptionId == STRING
input.Body.properties.targetResourceGroup == STRING
input.Body.properties.targetServerResourceId == STRING
input.Body.properties.targetServerFullyQualifiedDomainName == STRING
input.Body.properties.targetDatabaseName == STRING
input.Body.properties.targetBackupStorageRedundancy == enum_CopyLongTermRetentionBackupParametersPropertiesTargetBackupStorageRedundancy[_]
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_CopyByResourceGroup
enum_CopyLongTermRetentionBackupParametersPropertiesTargetBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
valid {
input.Body.properties.targetSubscriptionId == STRING
input.Body.properties.targetResourceGroup == STRING
input.Body.properties.targetServerResourceId == STRING
input.Body.properties.targetServerFullyQualifiedDomainName == STRING
input.Body.properties.targetDatabaseName == STRING
input.Body.properties.targetBackupStorageRedundancy == enum_CopyLongTermRetentionBackupParametersPropertiesTargetBackupStorageRedundancy[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_Delete
valid {
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_DeleteByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_Get
valid {
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_GetByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_ListByDatabase
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_ListByLocation
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_ListByResourceGroupDatabase
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_ListByResourceGroupLocation
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_ListByResourceGroupServer
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionBackups_ListByServer
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_Update
enum_UpdateLongTermRetentionBackupParametersPropertiesRequestedBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
valid {
input.Body.properties.requestedBackupStorageRedundancy == enum_UpdateLongTermRetentionBackupParametersPropertiesRequestedBackupStorageRedundancy[_]
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionBackups_UpdateByResourceGroup
enum_UpdateLongTermRetentionBackupParametersPropertiesRequestedBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
valid {
input.Body.properties.requestedBackupStorageRedundancy == enum_UpdateLongTermRetentionBackupParametersPropertiesRequestedBackupStorageRedundancy[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.longTermRetentionServerName == STRING
input.ReqMap.longTermRetentionDatabaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionManagedInstanceBackups_Delete
valid {
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionManagedInstanceBackups_DeleteByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionManagedInstanceBackups_Get
valid {
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionManagedInstanceBackups_GetByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.backupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionManagedInstanceBackups_ListByDatabase
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionManagedInstanceBackups_ListByInstance
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionManagedInstanceBackups_ListByLocation
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}LongTermRetentionManagedInstanceBackups_ListByResourceGroupDatabase
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionManagedInstanceBackups_ListByResourceGroupInstance
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionManagedInstanceBackups_ListByResourceGroupLocation
enum_DatabaseStateParameter := [ "All", "Live", "Deleted" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.databaseState == enum_DatabaseStateParameter[_]
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionPolicies_CreateOrUpdate
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.weeklyRetention == STRING
input.Body.properties.monthlyRetention == STRING
input.Body.properties.yearlyRetention == STRING
input.Body.properties.weekOfYear == INTEGER
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionPolicies_Get
enum_PolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}LongTermRetentionPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}MaintenanceWindowOptions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.maintenanceWindowOptionsName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}MaintenanceWindows_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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.maintenanceWindowName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}MaintenanceWindows_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.maintenanceWindowName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedBackupShortTermRetentionPolicies_CreateOrUpdate
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.retentionDays == INTEGER
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedBackupShortTermRetentionPolicies_Get
enum_PolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedBackupShortTermRetentionPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedBackupShortTermRetentionPolicies_Update
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.retentionDays == INTEGER
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseAdvancedThreatProtectionSettings_CreateOrUpdate
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
enum_AdvancedThreatProtectionPropertiesState := [ "New", "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_AdvancedThreatProtectionPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseAdvancedThreatProtectionSettings_Get
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseAdvancedThreatProtectionSettings_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseColumns_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseColumns_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.schema == ARRAY
input.Qs.table == ARRAY
input.Qs.column == ARRAY
input.Qs.orderBy == ARRAY
input.Qs.$skiptoken == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseColumns_ListByTable
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseMoveOperations_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.operationId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseMoveOperations_ListByLocation
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.onlyLatestPerDatabase == BOOLEAN
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseQueries_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.queryId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseQueries_ListByQuery
enum_IntervalParameter := [ "PT1H", "P1D" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.queryId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.startTime == STRING
input.Qs.endTime == STRING
input.Qs.interval == enum_IntervalParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseRecommendedSensitivityLabels_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.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseRestoreDetails_Get
enum_RestoreDetailsNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.restoreDetailsName == enum_RestoreDetailsNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSchemas_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSchemas_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSecurityAlertPolicies_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.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSecurityAlertPolicies_Get
enum_SecurityAlertPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSecurityAlertPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSecurityEvents_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.Qs.$skiptoken == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_CreateOrUpdate
enum_SensitivityLabelPropertiesClientClassificationSource := [ "None", "Native", "Recommended", "MIP" ]
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.Body.properties.clientClassificationSource == enum_SensitivityLabelPropertiesClientClassificationSource[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_Delete
enum_SensitivityLabelSourceParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_DisableRecommendation
enum_SensitivityLabelSourceParameter := [ "recommended" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_EnableRecommendation
enum_SensitivityLabelSourceParameter := [ "recommended" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_Get
enum_SensitivityLabelSourceParameter := [ "current", "recommended" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_ListCurrentByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$skipToken == STRING
input.Qs.$count == BOOLEAN
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_ListRecommendedByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$skipToken == STRING
input.Qs.includeDisabledRecommendations == BOOLEAN
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseSensitivityLabels_Update
enum_SensitivityLabelPropertiesClientClassificationSource := [ "None", "Native", "Recommended", "MIP" ]
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.properties.clientClassificationSource == enum_SensitivityLabelPropertiesClientClassificationSource[_]
input.Body.operations[_].properties.sensitivityLabel.STRING == STRING
input.Body.operations[_].STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseTables_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseTables_ListBySchema
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseTransparentDataEncryption_CreateOrUpdate
enum_ManagedTransparentDataEncryptionPropertiesState := [ "Enabled", "Disabled" ]
enum_TdeNameParameter := [ "current" ]
valid {
input.Body.properties.state == enum_ManagedTransparentDataEncryptionPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.tdeName == enum_TdeNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseTransparentDataEncryption_Get
enum_TdeNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.tdeName == enum_TdeNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseTransparentDataEncryption_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessmentRuleBaselines_CreateOrUpdate
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.baselineResults[_].result[_] == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessmentRuleBaselines_Delete
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessmentRuleBaselines_Get
enum_BaselineNameParameter := [ "master", "default" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessmentScans_Export
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessmentScans_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessmentScans_InitiateScan
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessmentScans_ListByDatabase
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessments_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.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessments_Delete
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessments_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabaseVulnerabilityAssessments_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_CancelMove
valid {
input.Body.destinationManagedDatabaseId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_CompleteMove
valid {
input.Body.destinationManagedDatabaseId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_CompleteRestore
valid {
input.Body.lastBackupName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_CreateOrUpdate
enum_ManagedDatabasePropertiesCatalogCollation := [ "DATABASE_DEFAULT", "SQL_Latin1_General_CP1_CI_AS" ]
enum_ManagedDatabasePropertiesCreateMode := [ "Default", "RestoreExternalBackup", "PointInTimeRestore", "Recovery", "RestoreLongTermRetentionBackup" ]
valid {
input.Body.properties.collation == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.catalogCollation == enum_ManagedDatabasePropertiesCatalogCollation[_]
input.Body.properties.createMode == enum_ManagedDatabasePropertiesCreateMode[_]
input.Body.properties.storageContainerUri == STRING
input.Body.properties.sourceDatabaseId == STRING
input.Body.properties.crossSubscriptionSourceDatabaseId == STRING
input.Body.properties.restorableDroppedDatabaseId == STRING
input.Body.properties.crossSubscriptionRestorableDroppedDatabaseId == STRING
input.Body.properties.storageContainerIdentity == STRING
input.Body.properties.storageContainerSasToken == STRING
input.Body.properties.recoverableDatabaseId == STRING
input.Body.properties.longTermRetentionBackupResourceId == STRING
input.Body.properties.autoCompleteRestore == BOOLEAN
input.Body.properties.lastBackupName == STRING
input.Body.properties.crossSubscriptionTargetManagedInstanceId == STRING
input.Body.properties.isLedgerOn == BOOLEAN
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_ListInaccessibleByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_StartMove
enum_ManagedDatabaseStartMoveDefinitionOperationMode := [ "Move", "Copy" ]
valid {
input.Body.destinationManagedDatabaseId == STRING
input.Body.operationMode == enum_ManagedDatabaseStartMoveDefinitionOperationMode[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedDatabases_Update
enum_ManagedDatabasePropertiesCatalogCollation := [ "DATABASE_DEFAULT", "SQL_Latin1_General_CP1_CI_AS" ]
enum_ManagedDatabasePropertiesCreateMode := [ "Default", "RestoreExternalBackup", "PointInTimeRestore", "Recovery", "RestoreLongTermRetentionBackup" ]
valid {
input.Body.properties.collation == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.catalogCollation == enum_ManagedDatabasePropertiesCatalogCollation[_]
input.Body.properties.createMode == enum_ManagedDatabasePropertiesCreateMode[_]
input.Body.properties.storageContainerUri == STRING
input.Body.properties.sourceDatabaseId == STRING
input.Body.properties.crossSubscriptionSourceDatabaseId == STRING
input.Body.properties.restorableDroppedDatabaseId == STRING
input.Body.properties.crossSubscriptionRestorableDroppedDatabaseId == STRING
input.Body.properties.storageContainerIdentity == STRING
input.Body.properties.storageContainerSasToken == STRING
input.Body.properties.recoverableDatabaseId == STRING
input.Body.properties.longTermRetentionBackupResourceId == STRING
input.Body.properties.autoCompleteRestore == BOOLEAN
input.Body.properties.lastBackupName == STRING
input.Body.properties.crossSubscriptionTargetManagedInstanceId == STRING
input.Body.properties.isLedgerOn == BOOLEAN
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAdministrators_CreateOrUpdate
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
enum_ManagedInstanceAdministratorPropertiesAdministratorType := [ "ActiveDirectory" ]
valid {
input.Body.properties.administratorType == enum_ManagedInstanceAdministratorPropertiesAdministratorType[_]
input.Body.properties.login == STRING
input.Body.properties.sid == STRING
input.Body.properties.tenantId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAdministrators_Delete
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAdministrators_Get
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAdministrators_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAdvancedThreatProtectionSettings_CreateOrUpdate
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
enum_AdvancedThreatProtectionPropertiesState := [ "New", "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_AdvancedThreatProtectionPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAdvancedThreatProtectionSettings_Get
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAdvancedThreatProtectionSettings_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAzureADOnlyAuthentications_CreateOrUpdate
enum_AuthenticationNameParameter := [ "Default" ]
valid {
input.Body.properties.azureADOnlyAuthentication == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.authenticationName == enum_AuthenticationNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAzureADOnlyAuthentications_Delete
enum_AuthenticationNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.authenticationName == enum_AuthenticationNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAzureADOnlyAuthentications_Get
enum_AuthenticationNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.authenticationName == enum_AuthenticationNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceAzureADOnlyAuthentications_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceDtcs_CreateOrUpdate
enum_DtcNameParameter := [ "current" ]
valid {
input.Body.properties.dtcEnabled == BOOLEAN
input.Body.properties.securitySettings.transactionManagerCommunicationSettings.allowInboundEnabled == BOOLEAN
input.Body.properties.securitySettings.transactionManagerCommunicationSettings.allowOutboundEnabled == BOOLEAN
input.Body.properties.securitySettings.transactionManagerCommunicationSettings.authentication == STRING
input.Body.properties.securitySettings.xaTransactionsEnabled == BOOLEAN
input.Body.properties.securitySettings.snaLu6point2TransactionsEnabled == BOOLEAN
input.Body.properties.securitySettings.xaTransactionsDefaultTimeout == INTEGER
input.Body.properties.securitySettings.xaTransactionsMaximumTimeout == INTEGER
input.Body.properties.externalDnsSuffixSearchList[_] == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.dtcName == enum_DtcNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceDtcs_Get
enum_DtcNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.dtcName == enum_DtcNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceDtcs_ListByManagedInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceEncryptionProtectors_CreateOrUpdate
enum_EncryptionProtectorNameParameter := [ "current" ]
enum_ManagedInstanceEncryptionProtectorPropertiesServerKeyType := [ "ServiceManaged", "AzureKeyVault" ]
valid {
input.Body.properties.serverKeyName == STRING
input.Body.properties.serverKeyType == enum_ManagedInstanceEncryptionProtectorPropertiesServerKeyType[_]
input.Body.properties.autoRotationEnabled == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceEncryptionProtectors_Get
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceEncryptionProtectors_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceEncryptionProtectors_Revalidate
enum_EncryptionProtectorNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.encryptionProtectorName == enum_EncryptionProtectorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceKeys_CreateOrUpdate
enum_ManagedInstanceKeyPropertiesServerKeyType := [ "ServiceManaged", "AzureKeyVault" ]
valid {
input.Body.properties.serverKeyType == enum_ManagedInstanceKeyPropertiesServerKeyType[_]
input.Body.properties.uri == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.keyName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceKeys_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.keyName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceKeys_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.keyName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceKeys_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceLongTermRetentionPolicies_CreateOrUpdate
enum_ManagedInstanceLongTermRetentionPolicyPropertiesBackupStorageAccessTier := [ "Hot", "Archive" ]
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.backupStorageAccessTier == enum_ManagedInstanceLongTermRetentionPolicyPropertiesBackupStorageAccessTier[_]
input.Body.properties.weeklyRetention == STRING
input.Body.properties.monthlyRetention == STRING
input.Body.properties.yearlyRetention == STRING
input.Body.properties.weekOfYear == INTEGER
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceLongTermRetentionPolicies_Delete
enum_PolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceLongTermRetentionPolicies_Get
enum_PolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceLongTermRetentionPolicies_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceOperations_Cancel
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.operationId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceOperations_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.operationId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceOperations_ListByManagedInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstancePrivateEndpointConnections_CreateOrUpdate
valid {
input.Body.properties.privateEndpoint.id == STRING
input.Body.properties.privateLinkServiceConnectionState.status == STRING
input.Body.properties.privateLinkServiceConnectionState.description == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstancePrivateEndpointConnections_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstancePrivateEndpointConnections_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstancePrivateEndpointConnections_ListByManagedInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstancePrivateLinkResources_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.groupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstancePrivateLinkResources_ListByManagedInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceTdeCertificates_Create
valid {
input.Body.properties.privateBlob == STRING
input.Body.properties.certPassword == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceVulnerabilityAssessments_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.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceVulnerabilityAssessments_Delete
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceVulnerabilityAssessments_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstanceVulnerabilityAssessments_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_CreateOrUpdate
enum_ManagedInstanceExternalAdministratorAdministratorType := [ "ActiveDirectory" ]
enum_ManagedInstanceExternalAdministratorPrincipalType := [ "User", "Group", "Application" ]
enum_ManagedInstancePropertiesAuthenticationMetadata := [ "AzureAD", "Paired", "Windows" ]
enum_ManagedInstancePropertiesDatabaseFormat := [ "AlwaysUpToDate", "SQLServer2022" ]
enum_ManagedInstancePropertiesHybridSecondaryUsage := [ "Active", "Passive" ]
enum_ManagedInstancePropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
enum_ManagedInstancePropertiesManagedInstanceCreateMode := [ "Default", "PointInTimeRestore" ]
enum_ManagedInstancePropertiesPricingModel := [ "Regular", "Freemium" ]
enum_ManagedInstancePropertiesProxyOverride := [ "Proxy", "Redirect", "Default" ]
enum_ManagedInstancePropertiesRequestedBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_ServicePrincipalType := [ "None", "SystemAssigned" ]
valid {
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.identity.type == enum_ResourceIdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.managedInstanceCreateMode == enum_ManagedInstancePropertiesManagedInstanceCreateMode[_]
input.Body.properties.isGeneralPurposeV2 == BOOLEAN
input.Body.properties.administratorLogin == STRING
input.Body.properties.administratorLoginPassword == STRING
input.Body.properties.subnetId == STRING
input.Body.properties.licenseType == enum_ManagedInstancePropertiesLicenseType[_]
input.Body.properties.hybridSecondaryUsage == enum_ManagedInstancePropertiesHybridSecondaryUsage[_]
input.Body.properties.vCores == INTEGER
input.Body.properties.storageSizeInGB == INTEGER
input.Body.properties.storageIOps == INTEGER
input.Body.properties.storageThroughputMBps == INTEGER
input.Body.properties.totalMemoryMB == INTEGER
input.Body.properties.collation == STRING
input.Body.properties.dnsZonePartner == STRING
input.Body.properties.publicDataEndpointEnabled == BOOLEAN
input.Body.properties.sourceManagedInstanceId == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.proxyOverride == enum_ManagedInstancePropertiesProxyOverride[_]
input.Body.properties.timezoneId == STRING
input.Body.properties.instancePoolId == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.minimalTlsVersion == STRING
input.Body.properties.requestedBackupStorageRedundancy == enum_ManagedInstancePropertiesRequestedBackupStorageRedundancy[_]
input.Body.properties.zoneRedundant == BOOLEAN
input.Body.properties.primaryUserAssignedIdentityId == STRING
input.Body.properties.keyId == STRING
input.Body.properties.administrators.administratorType == enum_ManagedInstanceExternalAdministratorAdministratorType[_]
input.Body.properties.administrators.principalType == enum_ManagedInstanceExternalAdministratorPrincipalType[_]
input.Body.properties.administrators.login == STRING
input.Body.properties.administrators.sid == STRING
input.Body.properties.administrators.tenantId == STRING
input.Body.properties.administrators.azureADOnlyAuthentication == BOOLEAN
input.Body.properties.servicePrincipal.type == enum_ServicePrincipalType[_]
input.Body.properties.pricingModel == enum_ManagedInstancePropertiesPricingModel[_]
input.Body.properties.authenticationMetadata == enum_ManagedInstancePropertiesAuthenticationMetadata[_]
input.Body.properties.databaseFormat == enum_ManagedInstancePropertiesDatabaseFormat[_]
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_Failover
enum_ReplicaTypeParameter := [ "Primary", "ReadableSecondary" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.replicaType == enum_ReplicaTypeParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}ManagedInstances_ListByInstancePool
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.instancePoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_ListByManagedInstance
enum_AggregationFunctionParameter := [ "avg", "min", "max", "stdev", "sum" ]
enum_IntervalParameter := [ "PT1H", "P1D" ]
enum_ObservationMetricParameter := [ "cpu", "io", "logIo", "duration", "dtu" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.numberOfQueries == INTEGER
input.Qs.databases == STRING
input.Qs.startTime == STRING
input.Qs.endTime == STRING
input.Qs.interval == enum_IntervalParameter[_]
input.Qs.aggregationFunction == enum_AggregationFunctionParameter[_]
input.Qs.observationMetric == enum_ObservationMetricParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_ListByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_ListOutboundNetworkDependenciesByManagedInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_RefreshStatus
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_Start
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_Stop
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedInstances_Update
enum_ManagedInstanceExternalAdministratorAdministratorType := [ "ActiveDirectory" ]
enum_ManagedInstanceExternalAdministratorPrincipalType := [ "User", "Group", "Application" ]
enum_ManagedInstancePropertiesAuthenticationMetadata := [ "AzureAD", "Paired", "Windows" ]
enum_ManagedInstancePropertiesDatabaseFormat := [ "AlwaysUpToDate", "SQLServer2022" ]
enum_ManagedInstancePropertiesHybridSecondaryUsage := [ "Active", "Passive" ]
enum_ManagedInstancePropertiesLicenseType := [ "LicenseIncluded", "BasePrice" ]
enum_ManagedInstancePropertiesManagedInstanceCreateMode := [ "Default", "PointInTimeRestore" ]
enum_ManagedInstancePropertiesPricingModel := [ "Regular", "Freemium" ]
enum_ManagedInstancePropertiesProxyOverride := [ "Proxy", "Redirect", "Default" ]
enum_ManagedInstancePropertiesRequestedBackupStorageRedundancy := [ "Geo", "Local", "Zone", "GeoZone" ]
enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_ServicePrincipalType := [ "None", "SystemAssigned" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.identity.type == enum_ResourceIdentityType[_]
input.Body.properties.managedInstanceCreateMode == enum_ManagedInstancePropertiesManagedInstanceCreateMode[_]
input.Body.properties.isGeneralPurposeV2 == BOOLEAN
input.Body.properties.administratorLogin == STRING
input.Body.properties.administratorLoginPassword == STRING
input.Body.properties.subnetId == STRING
input.Body.properties.licenseType == enum_ManagedInstancePropertiesLicenseType[_]
input.Body.properties.hybridSecondaryUsage == enum_ManagedInstancePropertiesHybridSecondaryUsage[_]
input.Body.properties.vCores == INTEGER
input.Body.properties.storageSizeInGB == INTEGER
input.Body.properties.storageIOps == INTEGER
input.Body.properties.storageThroughputMBps == INTEGER
input.Body.properties.totalMemoryMB == INTEGER
input.Body.properties.collation == STRING
input.Body.properties.dnsZonePartner == STRING
input.Body.properties.publicDataEndpointEnabled == BOOLEAN
input.Body.properties.sourceManagedInstanceId == STRING
input.Body.properties.restorePointInTime == STRING
input.Body.properties.proxyOverride == enum_ManagedInstancePropertiesProxyOverride[_]
input.Body.properties.timezoneId == STRING
input.Body.properties.instancePoolId == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.minimalTlsVersion == STRING
input.Body.properties.requestedBackupStorageRedundancy == enum_ManagedInstancePropertiesRequestedBackupStorageRedundancy[_]
input.Body.properties.zoneRedundant == BOOLEAN
input.Body.properties.primaryUserAssignedIdentityId == STRING
input.Body.properties.keyId == STRING
input.Body.properties.administrators.administratorType == enum_ManagedInstanceExternalAdministratorAdministratorType[_]
input.Body.properties.administrators.principalType == enum_ManagedInstanceExternalAdministratorPrincipalType[_]
input.Body.properties.administrators.login == STRING
input.Body.properties.administrators.sid == STRING
input.Body.properties.administrators.tenantId == STRING
input.Body.properties.administrators.azureADOnlyAuthentication == BOOLEAN
input.Body.properties.servicePrincipal.type == enum_ServicePrincipalType[_]
input.Body.properties.pricingModel == enum_ManagedInstancePropertiesPricingModel[_]
input.Body.properties.authenticationMetadata == enum_ManagedInstancePropertiesAuthenticationMetadata[_]
input.Body.properties.databaseFormat == enum_ManagedInstancePropertiesDatabaseFormat[_]
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedLedgerDigestUploads_CreateOrUpdate
enum_LedgerDigestUploadsParameter := [ "current" ]
valid {
input.Body.properties.digestStorageEndpoint == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.ledgerDigestUploads == enum_LedgerDigestUploadsParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedLedgerDigestUploads_Disable
enum_LedgerDigestUploadsParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.ledgerDigestUploads == enum_LedgerDigestUploadsParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedLedgerDigestUploads_Get
enum_LedgerDigestUploadsParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.ledgerDigestUploads == enum_LedgerDigestUploadsParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedLedgerDigestUploads_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedRestorableDroppedDatabaseBackupShortTermRetentionPolicies_CreateOrUpdate
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.retentionDays == INTEGER
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.restorableDroppedDatabaseId == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedRestorableDroppedDatabaseBackupShortTermRetentionPolicies_Get
enum_PolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.restorableDroppedDatabaseId == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedRestorableDroppedDatabaseBackupShortTermRetentionPolicies_ListByRestorableDroppedDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.restorableDroppedDatabaseId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedRestorableDroppedDatabaseBackupShortTermRetentionPolicies_Update
enum_PolicyNameParameter := [ "default" ]
valid {
input.Body.properties.retentionDays == INTEGER
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.restorableDroppedDatabaseId == STRING
input.ReqMap.policyName == enum_PolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerDnsAliases_Acquire
valid {
input.Body.oldManagedServerDnsAliasResourceId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerDnsAliases_CreateOrUpdate
valid {
input.Body.createDnsRecord == BOOLEAN
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerDnsAliases_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerDnsAliases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerDnsAliases_ListByManagedInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerSecurityAlertPolicies_CreateOrUpdate
enum_SecurityAlertPolicyNameParameter := [ "Default" ]
enum_SecurityAlertsPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_SecurityAlertsPolicyPropertiesState[_]
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.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerSecurityAlertPolicies_Get
enum_SecurityAlertPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ManagedServerSecurityAlertPolicies_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}NetworkSecurityPerimeterConfigurations_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.nspConfigName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}NetworkSecurityPerimeterConfigurations_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}NetworkSecurityPerimeterConfigurations_Reconcile
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.nspConfigName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Operations_List
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}OutboundFirewallRules_CreateOrUpdate
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.outboundRuleFqdn == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}OutboundFirewallRules_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.outboundRuleFqdn == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}OutboundFirewallRules_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.outboundRuleFqdn == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}OutboundFirewallRules_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}PrivateEndpointConnections_CreateOrUpdate
enum_PrivateLinkServiceConnectionStatePropertyStatus := [ "Approved", "Pending", "Rejected", "Disconnected" ]
valid {
input.Body.properties.privateEndpoint.id == STRING
input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStatePropertyStatus[_]
input.Body.properties.privateLinkServiceConnectionState.description == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}PrivateEndpointConnections_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}PrivateEndpointConnections_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}PrivateEndpointConnections_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}PrivateLinkResources_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.groupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}PrivateLinkResources_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Queries_ListByDatabase
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}QueryStatistics_ListByQuery
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.queryId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}QueryTexts_ListByQuery
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.queryId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecommendedElasticPools_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.recommendedElasticPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecommendedElasticPools_ListByServer
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecommendedElasticPools_ListMetrics
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.recommendedElasticPoolName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecommendedSensitivityLabels_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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecoverableDatabases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecoverableDatabases_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecoverableManagedDatabases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.recoverableDatabaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RecoverableManagedDatabases_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_CreateOrUpdate
enum_ReplicationLinkPropertiesLinkType := [ "GEO", "NAMED", "STANDBY" ]
valid {
input.Body.properties.linkType == enum_ReplicationLinkPropertiesLinkType[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.linkId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.linkId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_Failover
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.linkId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_FailoverAllowDataLoss
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.linkId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.linkId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_Unlink
valid {
input.Body.forcedTermination == BOOLEAN
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.linkId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ReplicationLinks_Update
enum_ReplicationLinkUpdatePropertiesLinkType := [ "GEO", "NAMED", "STANDBY" ]
valid {
input.Body.properties.linkType == enum_ReplicationLinkUpdatePropertiesLinkType[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.linkId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorableDroppedDatabases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.restorableDroppedDatabaseId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorableDroppedDatabases_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorableDroppedManagedDatabases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.restorableDroppedDatabaseId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorableDroppedManagedDatabases_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorePoints_Create
valid {
input.Body.restorePointLabel == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorePoints_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.restorePointName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorePoints_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.restorePointName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}RestorePoints_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_CreateOrUpdate
enum_SensitivityLabelPropertiesClientClassificationSource := [ "None", "Native", "Recommended", "MIP" ]
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.Body.properties.clientClassificationSource == enum_SensitivityLabelPropertiesClientClassificationSource[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_Delete
enum_SensitivityLabelSourceParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_DisableRecommendation
enum_SensitivityLabelSourceParameter := [ "recommended" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_EnableRecommendation
enum_SensitivityLabelSourceParameter := [ "recommended" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_Get
enum_SensitivityLabelSourceParameter := [ "current", "recommended" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.schemaName == STRING
input.ReqMap.tableName == STRING
input.ReqMap.columnName == STRING
input.ReqMap.sensitivityLabelSource == enum_SensitivityLabelSourceParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_ListCurrentByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$skipToken == STRING
input.Qs.$count == BOOLEAN
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_ListRecommendedByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$skipToken == STRING
input.Qs.includeDisabledRecommendations == BOOLEAN
input.Qs.$filter == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SensitivityLabels_Update
enum_SensitivityLabelPropertiesClientClassificationSource := [ "None", "Native", "Recommended", "MIP" ]
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.properties.clientClassificationSource == enum_SensitivityLabelPropertiesClientClassificationSource[_]
input.Body.operations[_].properties.sensitivityLabel.STRING == STRING
input.Body.operations[_].STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAdvancedThreatProtectionSettings_CreateOrUpdate
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
enum_AdvancedThreatProtectionPropertiesState := [ "New", "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_AdvancedThreatProtectionPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAdvancedThreatProtectionSettings_Get
enum_AdvancedThreatProtectionNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.advancedThreatProtectionName == enum_AdvancedThreatProtectionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAdvancedThreatProtectionSettings_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAdvisors_CreateOrUpdate
enum_AdvisorPropertiesAutoExecuteValue := [ "Enabled", "Disabled", "Default" ]
valid {
input.Body.properties.autoExecuteValue == enum_AdvisorPropertiesAutoExecuteValue[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAdvisors_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAdvisors_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAdvisors_Update
enum_AdvisorPropertiesAutoExecuteStatus := [ "Enabled", "Disabled", "Default" ]
valid {
input.Body.properties.autoExecuteStatus == enum_AdvisorPropertiesAutoExecuteStatus[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.advisorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAutomaticTuning_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAutomaticTuning_Update
enum_AutomaticTuningServerOptionsDesiredState := [ "Off", "On", "Default" ]
enum_AutomaticTuningServerPropertiesDesiredState := [ "Custom", "Auto", "Unspecified" ]
valid {
input.Body.properties.desiredState == enum_AutomaticTuningServerPropertiesDesiredState[_]
input.Body.properties.options.STRING.desiredState == enum_AutomaticTuningServerOptionsDesiredState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADAdministrators_CreateOrUpdate
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
enum_AdministratorPropertiesAdministratorType := [ "ActiveDirectory" ]
valid {
input.Body.properties.administratorType == enum_AdministratorPropertiesAdministratorType[_]
input.Body.properties.login == STRING
input.Body.properties.sid == STRING
input.Body.properties.tenantId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADAdministrators_Delete
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADAdministrators_Get
enum_AdministratorNameParameter := [ "ActiveDirectory" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.administratorName == enum_AdministratorNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADAdministrators_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADOnlyAuthentications_CreateOrUpdate
enum_AuthenticationNameParameter := [ "Default" ]
valid {
input.Body.properties.azureADOnlyAuthentication == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.authenticationName == enum_AuthenticationNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADOnlyAuthentications_Delete
enum_AuthenticationNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.authenticationName == enum_AuthenticationNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADOnlyAuthentications_Get
enum_AuthenticationNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.authenticationName == enum_AuthenticationNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerAzureADOnlyAuthentications_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerBlobAuditingPolicies_CreateOrUpdate
enum_BlobAuditingPolicyNameParameter := [ "default" ]
enum_ServerBlobAuditingPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.isDevopsAuditEnabled == BOOLEAN
input.Body.properties.retentionDays == INTEGER
input.Body.properties.auditActionsAndGroups[_] == STRING
input.Body.properties.isStorageSecondaryKeyInUse == BOOLEAN
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.queueDelayMs == INTEGER
input.Body.properties.isManagedIdentityInUse == BOOLEAN
input.Body.properties.state == enum_ServerBlobAuditingPolicyPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerBlobAuditingPolicies_Get
enum_BlobAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.blobAuditingPolicyName == enum_BlobAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerBlobAuditingPolicies_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerCommunicationLinks_CreateOrUpdate
valid {
input.Body.properties.partnerServer == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.communicationLinkName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerCommunicationLinks_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.communicationLinkName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerCommunicationLinks_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.communicationLinkName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerCommunicationLinks_ListByServer
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerConfigurationOptions_CreateOrUpdate
enum_ServerConfigurationOptionNameParameter := [ "allowPolybaseExport" ]
valid {
input.Body.properties.serverConfigurationOptionValue == INTEGER
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.serverConfigurationOptionName == enum_ServerConfigurationOptionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerConfigurationOptions_Get
enum_ServerConfigurationOptionNameParameter := [ "allowPolybaseExport" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.serverConfigurationOptionName == enum_ServerConfigurationOptionNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerConfigurationOptions_ListByManagedInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerConnectionPolicies_CreateOrUpdate
enum_ConnectionPolicyNameParameter := [ "default" ]
enum_ServerConnectionPolicyPropertiesConnectionType := [ "Default", "Redirect", "Proxy" ]
valid {
input.Body.properties.connectionType == enum_ServerConnectionPolicyPropertiesConnectionType[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.connectionPolicyName == enum_ConnectionPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerConnectionPolicies_Get
enum_ConnectionPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.connectionPolicyName == enum_ConnectionPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerConnectionPolicies_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDevOpsAuditSettings_CreateOrUpdate
enum_DevOpsAuditingSettingsNameParameter := [ "Default" ]
enum_ServerDevOpsAuditSettingsPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.isAzureMonitorTargetEnabled == BOOLEAN
input.Body.properties.isManagedIdentityInUse == BOOLEAN
input.Body.properties.state == enum_ServerDevOpsAuditSettingsPropertiesState[_]
input.Body.properties.storageEndpoint == STRING
input.Body.properties.storageAccountAccessKey == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.devOpsAuditingSettingsName == enum_DevOpsAuditingSettingsNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDevOpsAuditSettings_Get
enum_DevOpsAuditingSettingsNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.devOpsAuditingSettingsName == enum_DevOpsAuditingSettingsNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDevOpsAuditSettings_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDnsAliases_Acquire
valid {
input.Body.oldServerDnsAliasId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDnsAliases_CreateOrUpdate
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDnsAliases_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDnsAliases_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.dnsAliasName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerDnsAliases_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerKeys_CreateOrUpdate
enum_ServerKeyPropertiesServerKeyType := [ "ServiceManaged", "AzureKeyVault" ]
valid {
input.Body.properties.serverKeyType == enum_ServerKeyPropertiesServerKeyType[_]
input.Body.properties.uri == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.keyName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerKeys_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.keyName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerKeys_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.keyName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerKeys_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerOperations_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerSecurityAlertPolicies_CreateOrUpdate
enum_SecurityAlertPolicyNameParameter := [ "Default" ]
enum_SecurityAlertsPolicyPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_SecurityAlertsPolicyPropertiesState[_]
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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerSecurityAlertPolicies_Get
enum_SecurityAlertPolicyNameParameter := [ "Default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerSecurityAlertPolicies_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTableAuditingPolicies_CreateOrUpdate
enum_TableAuditingPolicyNameParameter := [ "default" ]
valid {
input.Body.properties.auditingState == STRING
input.Body.properties.auditLogsTableName == STRING
input.Body.properties.eventTypesToAudit == STRING
input.Body.properties.fullAuditLogsTableName == STRING
input.Body.properties.retentionDays == STRING
input.Body.properties.storageAccountKey == STRING
input.Body.properties.storageAccountName == STRING
input.Body.properties.storageAccountResourceGroupName == STRING
input.Body.properties.storageAccountSecondaryKey == STRING
input.Body.properties.storageAccountSubscriptionId == STRING
input.Body.properties.storageTableEndpoint == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.tableAuditingPolicyName == enum_TableAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTableAuditingPolicies_Get
enum_TableAuditingPolicyNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.tableAuditingPolicyName == enum_TableAuditingPolicyNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTableAuditingPolicies_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustCertificates_CreateOrUpdate
valid {
input.Body.properties.publicBlob == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.certificateName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustCertificates_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.certificateName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustCertificates_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.certificateName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustCertificates_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustGroups_CreateOrUpdate
enum_ServerTrustGroupPropertiesTrustScopes := [ "GlobalTransactions", "ServiceBroker" ]
valid {
input.Body.properties.groupMembers[_].serverId == STRING
input.Body.properties.trustScopes[_] == enum_ServerTrustGroupPropertiesTrustScopes[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.serverTrustGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustGroups_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.serverTrustGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustGroups_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.serverTrustGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustGroups_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerTrustGroups_ListByLocation
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerUsages_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerVulnerabilityAssessments_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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerVulnerabilityAssessments_Delete
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerVulnerabilityAssessments_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServerVulnerabilityAssessments_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Servers_CheckNameAvailability
enum_CheckNameAvailabilityRequestType := [ "Microsoft.Sql/servers" ]
valid {
input.Body.name == STRING
input.Body.type == enum_CheckNameAvailabilityRequestType[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}Servers_CreateOrUpdate
enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_ServerExternalAdministratorAdministratorType := [ "ActiveDirectory" ]
enum_ServerExternalAdministratorPrincipalType := [ "User", "Group", "Application" ]
enum_ServerPropertiesIsIPv6Enabled := [ "Enabled", "Disabled" ]
enum_ServerPropertiesMinimalTlsVersion := [ "None", "1.0", "1.1", "1.2", "1.3" ]
enum_ServerPropertiesPublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]
enum_ServerPropertiesRestrictOutboundNetworkAccess := [ "Enabled", "Disabled" ]
valid {
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.identity.type == enum_ResourceIdentityType[_]
input.Body.properties.administratorLogin == STRING
input.Body.properties.administratorLoginPassword == STRING
input.Body.properties.version == STRING
input.Body.properties.minimalTlsVersion == enum_ServerPropertiesMinimalTlsVersion[_]
input.Body.properties.publicNetworkAccess == enum_ServerPropertiesPublicNetworkAccess[_]
input.Body.properties.primaryUserAssignedIdentityId == STRING
input.Body.properties.federatedClientId == STRING
input.Body.properties.keyId == STRING
input.Body.properties.administrators.administratorType == enum_ServerExternalAdministratorAdministratorType[_]
input.Body.properties.administrators.principalType == enum_ServerExternalAdministratorPrincipalType[_]
input.Body.properties.administrators.login == STRING
input.Body.properties.administrators.sid == STRING
input.Body.properties.administrators.tenantId == STRING
input.Body.properties.administrators.azureADOnlyAuthentication == BOOLEAN
input.Body.properties.restrictOutboundNetworkAccess == enum_ServerPropertiesRestrictOutboundNetworkAccess[_]
input.Body.properties.isIPv6Enabled == enum_ServerPropertiesIsIPv6Enabled[_]
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Servers_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Servers_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Servers_ImportDatabase
enum_ImportNewDatabaseDefinitionStorageKeyType := [ "SharedAccessKey", "StorageAccessKey" ]
valid {
input.Body.databaseName == STRING
input.Body.edition == STRING
input.Body.serviceObjectiveName == STRING
input.Body.maxSizeBytes == STRING
input.Body.storageKeyType == enum_ImportNewDatabaseDefinitionStorageKeyType[_]
input.Body.storageKey == STRING
input.Body.storageUri == STRING
input.Body.administratorLogin == STRING
input.Body.administratorLoginPassword == STRING
input.Body.authenticationType == STRING
input.Body.networkIsolation.storageAccountResourceId == STRING
input.Body.networkIsolation.sqlServerResourceId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Servers_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}Servers_ListByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.$expand == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Servers_RefreshStatus
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Servers_Update
enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_ServerExternalAdministratorAdministratorType := [ "ActiveDirectory" ]
enum_ServerExternalAdministratorPrincipalType := [ "User", "Group", "Application" ]
enum_ServerPropertiesIsIPv6Enabled := [ "Enabled", "Disabled" ]
enum_ServerPropertiesMinimalTlsVersion := [ "None", "1.0", "1.1", "1.2", "1.3" ]
enum_ServerPropertiesPublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]
enum_ServerPropertiesRestrictOutboundNetworkAccess := [ "Enabled", "Disabled" ]
valid {
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.identity.type == enum_ResourceIdentityType[_]
input.Body.properties.administratorLogin == STRING
input.Body.properties.administratorLoginPassword == STRING
input.Body.properties.version == STRING
input.Body.properties.minimalTlsVersion == enum_ServerPropertiesMinimalTlsVersion[_]
input.Body.properties.publicNetworkAccess == enum_ServerPropertiesPublicNetworkAccess[_]
input.Body.properties.primaryUserAssignedIdentityId == STRING
input.Body.properties.federatedClientId == STRING
input.Body.properties.keyId == STRING
input.Body.properties.administrators.administratorType == enum_ServerExternalAdministratorAdministratorType[_]
input.Body.properties.administrators.principalType == enum_ServerExternalAdministratorPrincipalType[_]
input.Body.properties.administrators.login == STRING
input.Body.properties.administrators.sid == STRING
input.Body.properties.administrators.tenantId == STRING
input.Body.properties.administrators.azureADOnlyAuthentication == BOOLEAN
input.Body.properties.restrictOutboundNetworkAccess == enum_ServerPropertiesRestrictOutboundNetworkAccess[_]
input.Body.properties.isIPv6Enabled == enum_ServerPropertiesIsIPv6Enabled[_]
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServiceObjectives_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.serviceObjectiveName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServiceObjectives_ListByServer
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServiceTierAdvisors_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.serviceTierAdvisorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}ServiceTierAdvisors_ListByDatabase
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlAgent_CreateOrUpdate
enum_SqlAgentConfigurationPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_SqlAgentConfigurationPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlAgent_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentBaseline_Get
enum_BaselineNameParameter := [ "default" ]
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentBaseline_ListBySqlVulnerabilityAssessment
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentBaselines_CreateOrUpdate
enum_BaselineNameParameter := [ "default" ]
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.latestScan == BOOLEAN
input.Body.properties.results.STRING[_][_] == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentExecuteScan_Execute
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentRuleBaseline_CreateOrUpdate
enum_BaselineNameParameter := [ "default" ]
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.latestScan == BOOLEAN
input.Body.properties.results[_][_] == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentRuleBaseline_Get
enum_BaselineNameParameter := [ "default" ]
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentRuleBaseline_ListByBaseline
enum_BaselineNameParameter := [ "default" ]
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentRuleBaselines_Delete
enum_BaselineNameParameter := [ "default" ]
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.baselineName == enum_BaselineNameParameter[_]
input.ReqMap.ruleId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentScanResult_Get
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.scanResultId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentScanResult_ListByScan
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentScans_Get
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.scanId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentScans_ListBySqlVulnerabilityAssessments
enum_SystemDatabaseNameParameter := [ "master" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.systemDatabaseName == enum_SystemDatabaseNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentsSettings_CreateOrUpdate
enum_SqlVulnerabilityAssessmentPolicyPropertiesState := [ "Enabled", "Disabled" ]
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.Body.properties.state == enum_SqlVulnerabilityAssessmentPolicyPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentsSettings_Get
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessmentsSettings_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SqlVulnerabilityAssessments_Delete
enum_VulnerabilityAssessmentNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.vulnerabilityAssessmentName == enum_VulnerabilityAssessmentNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}StartStopManagedInstanceSchedules_CreateOrUpdate
enum_ScheduleItemStartDay := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]
enum_ScheduleItemStopDay := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]
enum_StartStopScheduleNameParameter := [ "default" ]
valid {
input.Body.properties.description == STRING
input.Body.properties.timeZoneId == STRING
input.Body.properties.scheduleList[_].startDay == enum_ScheduleItemStartDay[_]
input.Body.properties.scheduleList[_].startTime == STRING
input.Body.properties.scheduleList[_].stopDay == enum_ScheduleItemStopDay[_]
input.Body.properties.scheduleList[_].stopTime == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.startStopScheduleName == enum_StartStopScheduleNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}StartStopManagedInstanceSchedules_Delete
enum_StartStopScheduleNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.startStopScheduleName == enum_StartStopScheduleNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}StartStopManagedInstanceSchedules_Get
enum_StartStopScheduleNameParameter := [ "default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.startStopScheduleName == enum_StartStopScheduleNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}StartStopManagedInstanceSchedules_ListByInstance
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.managedInstanceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SubscriptionUsages_Get
valid {
input.ReqMap.locationName == STRING
input.ReqMap.usageName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}SubscriptionUsages_ListByLocation
valid {
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}SynapseLinkWorkspaces_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncAgents_CreateOrUpdate
valid {
input.Body.properties.syncDatabaseId == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.syncAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncAgents_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.syncAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncAgents_GenerateKey
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.syncAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncAgents_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.syncAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncAgents_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncAgents_ListLinkedDatabases
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.syncAgentName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_CancelSync
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_CreateOrUpdate
enum_SyncGroupPropertiesConflictResolutionPolicy := [ "HubWin", "MemberWin" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.interval == INTEGER
input.Body.properties.conflictResolutionPolicy == enum_SyncGroupPropertiesConflictResolutionPolicy[_]
input.Body.properties.syncDatabaseId == STRING
input.Body.properties.hubDatabaseUserName == STRING
input.Body.properties.hubDatabasePassword == STRING
input.Body.properties.schema.tables[_].columns[_].quotedName == STRING
input.Body.properties.schema.tables[_].columns[_].dataSize == STRING
input.Body.properties.schema.tables[_].columns[_].dataType == STRING
input.Body.properties.schema.tables[_].quotedName == STRING
input.Body.properties.schema.masterSyncMemberName == STRING
input.Body.properties.enableConflictLogging == BOOLEAN
input.Body.properties.conflictLoggingRetentionInDays == INTEGER
input.Body.properties.usePrivateLinkConnection == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_ListHubSchemas
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_ListLogs
enum_TypeParameter := [ "All", "Error", "Warning", "Success" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.startTime == STRING
input.Qs.endTime == STRING
input.Qs.type == enum_TypeParameter[_]
input.Qs.continuationToken == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_ListSyncDatabaseIds
valid {
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}SyncGroups_RefreshHubSchema
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_TriggerSync
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncGroups_Update
enum_SyncGroupPropertiesConflictResolutionPolicy := [ "HubWin", "MemberWin" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == STRING
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.properties.interval == INTEGER
input.Body.properties.conflictResolutionPolicy == enum_SyncGroupPropertiesConflictResolutionPolicy[_]
input.Body.properties.syncDatabaseId == STRING
input.Body.properties.hubDatabaseUserName == STRING
input.Body.properties.hubDatabasePassword == STRING
input.Body.properties.schema.tables[_].columns[_].quotedName == STRING
input.Body.properties.schema.tables[_].columns[_].dataSize == STRING
input.Body.properties.schema.tables[_].columns[_].dataType == STRING
input.Body.properties.schema.tables[_].quotedName == STRING
input.Body.properties.schema.masterSyncMemberName == STRING
input.Body.properties.enableConflictLogging == BOOLEAN
input.Body.properties.conflictLoggingRetentionInDays == INTEGER
input.Body.properties.usePrivateLinkConnection == BOOLEAN
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncMembers_CreateOrUpdate
enum_SyncMemberPropertiesDatabaseType := [ "AzureSqlDatabase", "SqlServerDatabase" ]
enum_SyncMemberPropertiesSyncDirection := [ "Bidirectional", "OneWayMemberToHub", "OneWayHubToMember" ]
valid {
input.Body.properties.databaseType == enum_SyncMemberPropertiesDatabaseType[_]
input.Body.properties.syncAgentId == STRING
input.Body.properties.sqlServerDatabaseId == STRING
input.Body.properties.syncMemberAzureDatabaseResourceId == STRING
input.Body.properties.usePrivateLinkConnection == BOOLEAN
input.Body.properties.serverName == STRING
input.Body.properties.databaseName == STRING
input.Body.properties.userName == STRING
input.Body.properties.password == STRING
input.Body.properties.syncDirection == enum_SyncMemberPropertiesSyncDirection[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.syncMemberName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncMembers_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.syncMemberName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncMembers_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.syncMemberName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncMembers_ListBySyncGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncMembers_ListMemberSchemas
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.syncMemberName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncMembers_RefreshMemberSchema
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.syncMemberName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}SyncMembers_Update
enum_SyncMemberPropertiesDatabaseType := [ "AzureSqlDatabase", "SqlServerDatabase" ]
enum_SyncMemberPropertiesSyncDirection := [ "Bidirectional", "OneWayMemberToHub", "OneWayHubToMember" ]
valid {
input.Body.properties.databaseType == enum_SyncMemberPropertiesDatabaseType[_]
input.Body.properties.syncAgentId == STRING
input.Body.properties.sqlServerDatabaseId == STRING
input.Body.properties.syncMemberAzureDatabaseResourceId == STRING
input.Body.properties.usePrivateLinkConnection == BOOLEAN
input.Body.properties.serverName == STRING
input.Body.properties.databaseName == STRING
input.Body.properties.userName == STRING
input.Body.properties.password == STRING
input.Body.properties.syncDirection == enum_SyncMemberPropertiesSyncDirection[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.syncGroupName == STRING
input.ReqMap.syncMemberName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}TdeCertificates_Create
valid {
input.Body.properties.privateBlob == STRING
input.Body.properties.certPassword == STRING
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}TimeZones_Get
valid {
input.ReqMap.locationName == STRING
input.ReqMap.timeZoneId == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}TimeZones_ListByLocation
valid {
input.ReqMap.locationName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}TransparentDataEncryptionActivities_ListByConfiguration
enum_TransparentDataEncryptionNameParameter := [ "current" ]
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.transparentDataEncryptionName == enum_TransparentDataEncryptionNameParameter[_]
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}TransparentDataEncryptions_CreateOrUpdate
enum_TdeNameParameter := [ "current" ]
enum_TransparentDataEncryptionPropertiesState := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.state == enum_TransparentDataEncryptionPropertiesState[_]
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.tdeName == enum_TdeNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}TransparentDataEncryptions_Get
enum_TdeNameParameter := [ "current" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.tdeName == enum_TdeNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}TransparentDataEncryptions_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Usages_ListByInstancePool
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.instancePoolName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.expandChildren == BOOLEAN
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualClusters_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.virtualClusterName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualClusters_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.virtualClusterName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualClusters_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}VirtualClusters_ListByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualClusters_Update
valid {
input.Body.properties.version == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.virtualClusterName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualClusters_UpdateDnsServers
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.virtualClusterName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualNetworkRules_CreateOrUpdate
valid {
input.Body.properties.virtualNetworkSubnetId == STRING
input.Body.properties.ignoreMissingVnetServiceEndpoint == BOOLEAN
input.Body.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.virtualNetworkRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualNetworkRules_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.virtualNetworkRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualNetworkRules_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.virtualNetworkRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}VirtualNetworkRules_ListByServer
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadClassifiers_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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.workloadClassifierName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadClassifiers_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.workloadClassifierName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadClassifiers_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.workloadClassifierName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadClassifiers_ListByWorkloadGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadGroups_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.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadGroups_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadGroups_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.workloadGroupName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}WorkloadGroups_ListByDatabase
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.serverName == STRING
input.ReqMap.databaseName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}Updated about 2 months ago