MICROSOFT.DATAPROTECTION

BackupInstancesExtensionRouting_List

valid {
    input.ReqMap.resourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

BackupInstances_AdhocBackup

valid {
    input.Body.backupRuleOptions.ruleName == STRING
    input.Body.backupRuleOptions.triggerOption.retentionTagOverride == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_CreateOrUpdate

enum_BackupInstanceValidationType := [ "ShallowValidation", "DeepValidation" ]
enum_BaseResourcePropertiesObjectType := [ "DefaultResourceProperties" ]
enum_DataStoreParametersDataStoreType := [ "OperationalStore", "VaultStore", "ArchiveStore" ]

valid {
    input.Body.properties.friendlyName == STRING
    input.Body.properties.dataSourceInfo.datasourceType == STRING
    input.Body.properties.dataSourceInfo.objectType == STRING
    input.Body.properties.dataSourceInfo.resourceID == STRING
    input.Body.properties.dataSourceInfo.resourceLocation == STRING
    input.Body.properties.dataSourceInfo.resourceName == STRING
    input.Body.properties.dataSourceInfo.resourceType == STRING
    input.Body.properties.dataSourceInfo.resourceUri == STRING
    input.Body.properties.dataSourceInfo.resourceProperties.objectType == enum_BaseResourcePropertiesObjectType[_]
    input.Body.properties.dataSourceSetInfo.datasourceType == STRING
    input.Body.properties.dataSourceSetInfo.objectType == STRING
    input.Body.properties.dataSourceSetInfo.resourceID == STRING
    input.Body.properties.dataSourceSetInfo.resourceLocation == STRING
    input.Body.properties.dataSourceSetInfo.resourceName == STRING
    input.Body.properties.dataSourceSetInfo.resourceType == STRING
    input.Body.properties.dataSourceSetInfo.resourceUri == STRING
    input.Body.properties.dataSourceSetInfo.resourceProperties.objectType == enum_BaseResourcePropertiesObjectType[_]
    input.Body.properties.policyInfo.policyId == STRING
    input.Body.properties.policyInfo.policyParameters.dataStoreParametersList[_].objectType == STRING
    input.Body.properties.policyInfo.policyParameters.dataStoreParametersList[_].dataStoreType == enum_DataStoreParametersDataStoreType[_]
    input.Body.properties.policyInfo.policyParameters.backupDatasourceParametersList[_].objectType == STRING
    input.Body.properties.datasourceAuthCredentials.objectType == STRING
    input.Body.properties.validationType == enum_BackupInstanceValidationType[_]
    input.Body.properties.identityDetails.useSystemAssignedIdentity == BOOLEAN
    input.Body.properties.identityDetails.userAssignedIdentityArmUrl == STRING
    input.Body.properties.objectType == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_Delete

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

BackupInstances_Get

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

BackupInstances_GetBackupInstanceOperationResult

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_List

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

BackupInstances_ResumeBackups

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

BackupInstances_ResumeProtection

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

BackupInstances_StopProtection

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

BackupInstances_SuspendBackups

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

BackupInstances_SyncBackupInstance

enum_SyncBackupInstanceRequestSyncType := [ "Default", "ForceResync" ]

valid {
    input.Body.syncType == enum_SyncBackupInstanceRequestSyncType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_TriggerCrossRegionRestore

enum_AzureBackupRestoreRequestSourceDataStoreType := [ "ArchiveStore", "SnapshotStore", "OperationalStore", "VaultStore" ]
enum_RestoreTargetInfoBaseRecoveryOption := [ "FailIfExists" ]

valid {
    input.Body.restoreRequestObject.objectType == STRING
    input.Body.restoreRequestObject.restoreTargetInfo.objectType == STRING
    input.Body.restoreRequestObject.restoreTargetInfo.recoveryOption == enum_RestoreTargetInfoBaseRecoveryOption[_]
    input.Body.restoreRequestObject.restoreTargetInfo.restoreLocation == STRING
    input.Body.restoreRequestObject.sourceDataStoreType == enum_AzureBackupRestoreRequestSourceDataStoreType[_]
    input.Body.restoreRequestObject.sourceResourceId == STRING
    input.Body.restoreRequestObject.identityDetails.useSystemAssignedIdentity == BOOLEAN
    input.Body.restoreRequestObject.identityDetails.userAssignedIdentityArmUrl == STRING
    input.Body.crossRegionRestoreDetails.sourceRegion == STRING
    input.Body.crossRegionRestoreDetails.sourceBackupInstanceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_TriggerRehydrate

enum_RehydrationPriority := [ "Invalid", "High", "Standard" ]

valid {
    input.Body.recoveryPointId == STRING
    input.Body.rehydrationPriority == enum_RehydrationPriority[_]
    input.Body.rehydrationRetentionDuration == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_TriggerRestore

enum_AzureBackupRestoreRequestSourceDataStoreType := [ "ArchiveStore", "SnapshotStore", "OperationalStore", "VaultStore" ]
enum_RestoreTargetInfoBaseRecoveryOption := [ "FailIfExists" ]

valid {
    input.Body.objectType == STRING
    input.Body.restoreTargetInfo.objectType == STRING
    input.Body.restoreTargetInfo.recoveryOption == enum_RestoreTargetInfoBaseRecoveryOption[_]
    input.Body.restoreTargetInfo.restoreLocation == STRING
    input.Body.sourceDataStoreType == enum_AzureBackupRestoreRequestSourceDataStoreType[_]
    input.Body.sourceResourceId == STRING
    input.Body.identityDetails.useSystemAssignedIdentity == BOOLEAN
    input.Body.identityDetails.userAssignedIdentityArmUrl == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_ValidateCrossRegionRestore

enum_AzureBackupRestoreRequestSourceDataStoreType := [ "ArchiveStore", "SnapshotStore", "OperationalStore", "VaultStore" ]
enum_RestoreTargetInfoBaseRecoveryOption := [ "FailIfExists" ]

valid {
    input.Body.restoreRequestObject.objectType == STRING
    input.Body.restoreRequestObject.restoreTargetInfo.objectType == STRING
    input.Body.restoreRequestObject.restoreTargetInfo.recoveryOption == enum_RestoreTargetInfoBaseRecoveryOption[_]
    input.Body.restoreRequestObject.restoreTargetInfo.restoreLocation == STRING
    input.Body.restoreRequestObject.sourceDataStoreType == enum_AzureBackupRestoreRequestSourceDataStoreType[_]
    input.Body.restoreRequestObject.sourceResourceId == STRING
    input.Body.restoreRequestObject.identityDetails.useSystemAssignedIdentity == BOOLEAN
    input.Body.restoreRequestObject.identityDetails.userAssignedIdentityArmUrl == STRING
    input.Body.crossRegionRestoreDetails.sourceRegion == STRING
    input.Body.crossRegionRestoreDetails.sourceBackupInstanceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_ValidateForBackup

enum_BackupInstanceValidationType := [ "ShallowValidation", "DeepValidation" ]
enum_BaseResourcePropertiesObjectType := [ "DefaultResourceProperties" ]
enum_DataStoreParametersDataStoreType := [ "OperationalStore", "VaultStore", "ArchiveStore" ]

valid {
    input.Body.backupInstance.friendlyName == STRING
    input.Body.backupInstance.dataSourceInfo.datasourceType == STRING
    input.Body.backupInstance.dataSourceInfo.objectType == STRING
    input.Body.backupInstance.dataSourceInfo.resourceID == STRING
    input.Body.backupInstance.dataSourceInfo.resourceLocation == STRING
    input.Body.backupInstance.dataSourceInfo.resourceName == STRING
    input.Body.backupInstance.dataSourceInfo.resourceType == STRING
    input.Body.backupInstance.dataSourceInfo.resourceUri == STRING
    input.Body.backupInstance.dataSourceInfo.resourceProperties.objectType == enum_BaseResourcePropertiesObjectType[_]
    input.Body.backupInstance.dataSourceSetInfo.datasourceType == STRING
    input.Body.backupInstance.dataSourceSetInfo.objectType == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceID == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceLocation == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceName == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceType == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceUri == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceProperties.objectType == enum_BaseResourcePropertiesObjectType[_]
    input.Body.backupInstance.policyInfo.policyId == STRING
    input.Body.backupInstance.policyInfo.policyParameters.dataStoreParametersList[_].objectType == STRING
    input.Body.backupInstance.policyInfo.policyParameters.dataStoreParametersList[_].dataStoreType == enum_DataStoreParametersDataStoreType[_]
    input.Body.backupInstance.policyInfo.policyParameters.backupDatasourceParametersList[_].objectType == STRING
    input.Body.backupInstance.datasourceAuthCredentials.objectType == STRING
    input.Body.backupInstance.validationType == enum_BackupInstanceValidationType[_]
    input.Body.backupInstance.identityDetails.useSystemAssignedIdentity == BOOLEAN
    input.Body.backupInstance.identityDetails.userAssignedIdentityArmUrl == STRING
    input.Body.backupInstance.objectType == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_ValidateForModifyBackup

enum_BackupInstanceValidationType := [ "ShallowValidation", "DeepValidation" ]
enum_BaseResourcePropertiesObjectType := [ "DefaultResourceProperties" ]
enum_DataStoreParametersDataStoreType := [ "OperationalStore", "VaultStore", "ArchiveStore" ]

valid {
    input.Body.backupInstance.friendlyName == STRING
    input.Body.backupInstance.dataSourceInfo.datasourceType == STRING
    input.Body.backupInstance.dataSourceInfo.objectType == STRING
    input.Body.backupInstance.dataSourceInfo.resourceID == STRING
    input.Body.backupInstance.dataSourceInfo.resourceLocation == STRING
    input.Body.backupInstance.dataSourceInfo.resourceName == STRING
    input.Body.backupInstance.dataSourceInfo.resourceType == STRING
    input.Body.backupInstance.dataSourceInfo.resourceUri == STRING
    input.Body.backupInstance.dataSourceInfo.resourceProperties.objectType == enum_BaseResourcePropertiesObjectType[_]
    input.Body.backupInstance.dataSourceSetInfo.datasourceType == STRING
    input.Body.backupInstance.dataSourceSetInfo.objectType == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceID == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceLocation == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceName == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceType == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceUri == STRING
    input.Body.backupInstance.dataSourceSetInfo.resourceProperties.objectType == enum_BaseResourcePropertiesObjectType[_]
    input.Body.backupInstance.policyInfo.policyId == STRING
    input.Body.backupInstance.policyInfo.policyParameters.dataStoreParametersList[_].objectType == STRING
    input.Body.backupInstance.policyInfo.policyParameters.dataStoreParametersList[_].dataStoreType == enum_DataStoreParametersDataStoreType[_]
    input.Body.backupInstance.policyInfo.policyParameters.backupDatasourceParametersList[_].objectType == STRING
    input.Body.backupInstance.datasourceAuthCredentials.objectType == STRING
    input.Body.backupInstance.validationType == enum_BackupInstanceValidationType[_]
    input.Body.backupInstance.identityDetails.useSystemAssignedIdentity == BOOLEAN
    input.Body.backupInstance.identityDetails.userAssignedIdentityArmUrl == STRING
    input.Body.backupInstance.objectType == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupInstances_ValidateForRestore

enum_AzureBackupRestoreRequestSourceDataStoreType := [ "ArchiveStore", "SnapshotStore", "OperationalStore", "VaultStore" ]
enum_RestoreTargetInfoBaseRecoveryOption := [ "FailIfExists" ]

valid {
    input.Body.restoreRequestObject.objectType == STRING
    input.Body.restoreRequestObject.restoreTargetInfo.objectType == STRING
    input.Body.restoreRequestObject.restoreTargetInfo.recoveryOption == enum_RestoreTargetInfoBaseRecoveryOption[_]
    input.Body.restoreRequestObject.restoreTargetInfo.restoreLocation == STRING
    input.Body.restoreRequestObject.sourceDataStoreType == enum_AzureBackupRestoreRequestSourceDataStoreType[_]
    input.Body.restoreRequestObject.sourceResourceId == STRING
    input.Body.restoreRequestObject.identityDetails.useSystemAssignedIdentity == BOOLEAN
    input.Body.restoreRequestObject.identityDetails.userAssignedIdentityArmUrl == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_CreateOrUpdate

valid {
    input.Body.properties.datasourceTypes[_] == STRING
    input.Body.properties.objectType == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_Delete

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

BackupPolicies_Get

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

BackupPolicies_List

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

BackupVaultOperationResults_Get

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

BackupVaults_CheckNameAvailability

valid {
    input.Body.name == STRING
    input.Body.type == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupVaults_CreateOrUpdate

enum_AzureMonitorAlertSettingsAlertsForAllJobFailures := [ "Enabled", "Disabled" ]
enum_CrossRegionRestoreSettingsState := [ "Disabled", "Enabled" ]
enum_CrossSubscriptionRestoreSettingsState := [ "Disabled", "PermanentlyDisabled", "Enabled" ]
enum_ImmutabilitySettingsState := [ "Disabled", "Unlocked", "Locked" ]
enum_SoftDeleteSettingsState := [ "Off", "On", "AlwaysOn" ]
enum_StorageSettingDatastoreType := [ "ArchiveStore", "OperationalStore", "VaultStore" ]
enum_StorageSettingType := [ "GeoRedundant", "LocallyRedundant", "ZoneRedundant" ]

valid {
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllJobFailures == enum_AzureMonitorAlertSettingsAlertsForAllJobFailures[_]
    input.Body.properties.securitySettings.softDeleteSettings.state == enum_SoftDeleteSettingsState[_]
    input.Body.properties.securitySettings.softDeleteSettings.retentionDurationInDays == NUMBER
    input.Body.properties.securitySettings.immutabilitySettings.state == enum_ImmutabilitySettingsState[_]
    input.Body.properties.storageSettings[_].datastoreType == enum_StorageSettingDatastoreType[_]
    input.Body.properties.storageSettings[_].type == enum_StorageSettingType[_]
    input.Body.properties.featureSettings.crossSubscriptionRestoreSettings.state == enum_CrossSubscriptionRestoreSettingsState[_]
    input.Body.properties.featureSettings.crossRegionRestoreSettings.state == enum_CrossRegionRestoreSettingsState[_]
    input.Body.properties.replicatedRegions[_] == STRING
    input.Body.identity.type == STRING
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupVaults_Delete

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

BackupVaults_Get

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

BackupVaults_GetInResourceGroup

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
}

BackupVaults_GetInSubscription

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

BackupVaults_Update

enum_AzureMonitorAlertSettingsAlertsForAllJobFailures := [ "Enabled", "Disabled" ]
enum_CrossRegionRestoreSettingsState := [ "Disabled", "Enabled" ]
enum_CrossSubscriptionRestoreSettingsState := [ "Disabled", "PermanentlyDisabled", "Enabled" ]
enum_ImmutabilitySettingsState := [ "Disabled", "Unlocked", "Locked" ]
enum_SoftDeleteSettingsState := [ "Off", "On", "AlwaysOn" ]

valid {
    input.Body.identity.type == STRING
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllJobFailures == enum_AzureMonitorAlertSettingsAlertsForAllJobFailures[_]
    input.Body.properties.securitySettings.softDeleteSettings.state == enum_SoftDeleteSettingsState[_]
    input.Body.properties.securitySettings.softDeleteSettings.retentionDurationInDays == NUMBER
    input.Body.properties.securitySettings.immutabilitySettings.state == enum_ImmutabilitySettingsState[_]
    input.Body.properties.featureSettings.crossSubscriptionRestoreSettings.state == enum_CrossSubscriptionRestoreSettingsState[_]
    input.Body.properties.featureSettings.crossRegionRestoreSettings.state == enum_CrossRegionRestoreSettingsState[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataProtectionOperations_List

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

DataProtection_CheckFeatureSupport

valid {
    input.Body.objectType == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeletedBackupInstances_Get

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

DeletedBackupInstances_List

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

DeletedBackupInstances_Undelete

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

DppResourceGuardProxy_CreateOrUpdate

valid {
    input.Body.properties.resourceGuardResourceId == STRING
    input.Body.properties.resourceGuardOperationDetails[_].vaultCriticalOperation == STRING
    input.Body.properties.resourceGuardOperationDetails[_].defaultResourceRequest == STRING
    input.Body.properties.lastUpdatedTime == STRING
    input.Body.properties.description == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.resourceGuardProxyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DppResourceGuardProxy_Delete

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

DppResourceGuardProxy_Get

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

DppResourceGuardProxy_List

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

DppResourceGuardProxy_UnlockDelete

valid {
    input.Body.resourceGuardOperationRequests[_] == STRING
    input.Body.resourceToBeDeleted == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.resourceGuardProxyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExportJobsOperationResult_Get

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

ExportJobs_Trigger

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

FetchCrossRegionRestoreJob_Get

valid {
    input.Body.sourceRegion == STRING
    input.Body.sourceBackupVaultId == STRING
    input.Body.jobId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FetchCrossRegionRestoreJobs_List

valid {
    input.Body.sourceRegion == STRING
    input.Body.sourceBackupVaultId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FetchSecondaryRecoveryPoints_List

valid {
    input.Body.sourceRegion == STRING
    input.Body.sourceBackupInstanceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Jobs_GenerateProgressUrl

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

Jobs_Get

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

Jobs_List

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

Jobs_TriggerCancel

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

OperationResult_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.operationId == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

OperationStatusBackupVaultContext_Get

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

OperationStatusResourceGroupContext_Get

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

OperationStatus_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RecoveryPoints_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.ReqMap.recoveryPointId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RecoveryPoints_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ResourceGuards_Delete

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

ResourceGuards_Get

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

ResourceGuards_GetBackupSecurityPINRequestsObjects

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

ResourceGuards_GetDefaultBackupSecurityPINRequestsObject

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

ResourceGuards_GetDefaultDeleteProtectedItemRequestsObject

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

ResourceGuards_GetDefaultDeleteResourceGuardProxyRequestsObject

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

ResourceGuards_GetDefaultDisableSoftDeleteRequestsObject

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

ResourceGuards_GetDefaultUpdateProtectedItemRequestsObject

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

ResourceGuards_GetDefaultUpdateProtectionPolicyRequestsObject

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

ResourceGuards_GetDeleteProtectedItemRequestsObjects

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

ResourceGuards_GetDeleteResourceGuardProxyRequestsObjects

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

ResourceGuards_GetDisableSoftDeleteRequestsObjects

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

ResourceGuards_GetResourcesInResourceGroup

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

ResourceGuards_GetResourcesInSubscription

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

ResourceGuards_GetUpdateProtectedItemRequestsObjects

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

ResourceGuards_GetUpdateProtectionPolicyRequestsObjects

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

ResourceGuards_Patch

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceGuardsName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ResourceGuards_Put

valid {
    input.Body.properties.vaultCriticalOperationExclusionList[_] == STRING
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceGuardsName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RestorableTimeRanges_Find

enum_AzureBackupFindRestorableTimeRangesRequestSourceDataStoreType := [ "OperationalStore", "VaultStore", "ArchiveStore" ]

valid {
    input.Body.sourceDataStoreType == enum_AzureBackupFindRestorableTimeRangesRequestSourceDataStoreType[_]
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.backupInstanceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}