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 7 months ago