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