MICROSOFT.RESOURCES

Changes_Get

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

Changes_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Decompile_Bicep

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

DeploymentOperations_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == 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
}

DeploymentOperations_GetAtManagementGroupScope

valid {
    input.ReqMap.groupId == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DeploymentOperations_GetAtScope

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DeploymentOperations_GetAtSubscriptionScope

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

DeploymentOperations_GetAtTenantScope

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

DeploymentOperations_List

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

DeploymentOperations_ListAtManagementGroupScope

valid {
    input.ReqMap.groupId == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DeploymentOperations_ListAtScope

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DeploymentOperations_ListAtSubscriptionScope

valid {
    input.ReqMap.deploymentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeploymentOperations_ListAtTenantScope

valid {
    input.ReqMap.deploymentName == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DeploymentScripts_Create

enum_DeploymentScriptKind := [ "AzurePowerShell", "AzureCLI" ]
enum_ManagedServiceIdentityType := [ "UserAssigned" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == enum_DeploymentScriptKind[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.scriptName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeploymentScripts_Delete

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

DeploymentScripts_Get

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

DeploymentScripts_GetLogs

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

DeploymentScripts_GetLogsDefault

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

DeploymentScripts_ListByResourceGroup

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
}

DeploymentScripts_ListBySubscription

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

DeploymentScripts_Update

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

DeploymentStacks_CreateOrUpdateAtManagementGroup

enum_DenySettingsMode := [ "denyDelete", "denyWriteAndDelete", "none" ]
enum_DeploymentStacksDeleteDetachEnum := [ "delete", "detach" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.actionOnUnmanage.resources == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.actionOnUnmanage.resourceGroups == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.actionOnUnmanage.managementGroups == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.deploymentScope == STRING
    input.Body.properties.description == STRING
    input.Body.properties.denySettings.mode == enum_DenySettingsMode[_]
    input.Body.properties.denySettings.excludedPrincipals[_] == STRING
    input.Body.properties.denySettings.excludedActions[_] == STRING
    input.Body.properties.denySettings.applyToChildScopes == BOOLEAN
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.deploymentStackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DeploymentStacks_CreateOrUpdateAtResourceGroup

enum_DenySettingsMode := [ "denyDelete", "denyWriteAndDelete", "none" ]
enum_DeploymentStacksDeleteDetachEnum := [ "delete", "detach" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.actionOnUnmanage.resources == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.actionOnUnmanage.resourceGroups == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.actionOnUnmanage.managementGroups == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.deploymentScope == STRING
    input.Body.properties.description == STRING
    input.Body.properties.denySettings.mode == enum_DenySettingsMode[_]
    input.Body.properties.denySettings.excludedPrincipals[_] == STRING
    input.Body.properties.denySettings.excludedActions[_] == STRING
    input.Body.properties.denySettings.applyToChildScopes == BOOLEAN
    input.Body.properties.error.error == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentStackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeploymentStacks_CreateOrUpdateAtSubscription

enum_DenySettingsMode := [ "denyDelete", "denyWriteAndDelete", "none" ]
enum_DeploymentStacksDeleteDetachEnum := [ "delete", "detach" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.actionOnUnmanage.resources == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.actionOnUnmanage.resourceGroups == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.actionOnUnmanage.managementGroups == enum_DeploymentStacksDeleteDetachEnum[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.deploymentScope == STRING
    input.Body.properties.description == STRING
    input.Body.properties.denySettings.mode == enum_DenySettingsMode[_]
    input.Body.properties.denySettings.excludedPrincipals[_] == STRING
    input.Body.properties.denySettings.excludedActions[_] == STRING
    input.Body.properties.denySettings.applyToChildScopes == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.deploymentStackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeploymentStacks_DeleteAtManagementGroup

enum_DeleteManagementGroupParameter := [ "delete", "detach" ]
enum_DeleteResourceGroupParameter := [ "delete", "detach" ]
enum_DeleteResourceParameter := [ "delete", "detach" ]

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.deploymentStackName == STRING
    input.Qs.unmanageAction.Resources == enum_DeleteResourceParameter[_]
    input.Qs.unmanageAction.ResourceGroups == enum_DeleteResourceGroupParameter[_]
    input.Qs.unmanageAction.ManagementGroups == enum_DeleteManagementGroupParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DeploymentStacks_DeleteAtResourceGroup

enum_DeleteResourceGroupParameter := [ "delete", "detach" ]
enum_DeleteResourceParameter := [ "delete", "detach" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentStackName == STRING
    input.Qs.unmanageAction.Resources == enum_DeleteResourceParameter[_]
    input.Qs.unmanageAction.ResourceGroups == enum_DeleteResourceGroupParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeploymentStacks_DeleteAtSubscription

enum_DeleteResourceGroupParameter := [ "delete", "detach" ]
enum_DeleteResourceParameter := [ "delete", "detach" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.deploymentStackName == STRING
    input.Qs.unmanageAction.Resources == enum_DeleteResourceParameter[_]
    input.Qs.unmanageAction.ResourceGroups == enum_DeleteResourceGroupParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeploymentStacks_ExportTemplateAtManagementGroup

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

DeploymentStacks_ExportTemplateAtResourceGroup

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

DeploymentStacks_ExportTemplateAtSubscription

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

DeploymentStacks_GetAtManagementGroup

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

DeploymentStacks_GetAtResourceGroup

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

DeploymentStacks_GetAtSubscription

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

DeploymentStacks_ListAtManagementGroup

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

DeploymentStacks_ListAtResourceGroup

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
}

DeploymentStacks_ListAtSubscription

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

Deployments_CalculateTemplateHash

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

Deployments_Cancel

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

Deployments_CancelAtManagementGroupScope

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

Deployments_CancelAtScope

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

Deployments_CancelAtSubscriptionScope

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

Deployments_CancelAtTenantScope

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

Deployments_CheckExistence

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

Deployments_CheckExistenceAtManagementGroupScope

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

Deployments_CheckExistenceAtScope

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

Deployments_CheckExistenceAtSubscriptionScope

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

Deployments_CheckExistenceAtTenantScope

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

Deployments_CreateOrUpdate

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_CreateOrUpdateAtManagementGroupScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.groupId == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_CreateOrUpdateAtScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_CreateOrUpdateAtSubscriptionScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Deployments_CreateOrUpdateAtTenantScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_Delete

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

Deployments_DeleteAtManagementGroupScope

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

Deployments_DeleteAtScope

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

Deployments_DeleteAtSubscriptionScope

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

Deployments_DeleteAtTenantScope

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

Deployments_ExportTemplate

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

Deployments_ExportTemplateAtManagementGroupScope

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

Deployments_ExportTemplateAtScope

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

Deployments_ExportTemplateAtSubscriptionScope

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

Deployments_ExportTemplateAtTenantScope

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

Deployments_Get

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

Deployments_GetAtManagementGroupScope

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

Deployments_GetAtScope

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

Deployments_GetAtSubscriptionScope

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

Deployments_GetAtTenantScope

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

Deployments_ListAtManagementGroupScope

valid {
    input.ReqMap.groupId == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_ListAtScope

valid {
    input.ReqMap.scope == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_ListAtSubscriptionScope

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Deployments_ListAtTenantScope

valid {
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_ListByResourceGroup

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

Deployments_Validate

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_ValidateAtManagementGroupScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.groupId == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_ValidateAtScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_ValidateAtSubscriptionScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Deployments_ValidateAtTenantScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_WhatIf

enum_DeploymentWhatIfSettingsResultFormat := [ "ResourceIdOnly", "FullResourcePayloads" ]

valid {
    input.Body.location == STRING
    input.Body.properties.whatIfSettings.resultFormat == enum_DeploymentWhatIfSettingsResultFormat[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deploymentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_WhatIfAtManagementGroupScope

enum_DeploymentWhatIfSettingsResultFormat := [ "ResourceIdOnly", "FullResourcePayloads" ]

valid {
    input.Body.location == STRING
    input.Body.properties.whatIfSettings.resultFormat == enum_DeploymentWhatIfSettingsResultFormat[_]
    input.ReqMap.groupId == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Deployments_WhatIfAtSubscriptionScope

enum_DeploymentWhatIfSettingsResultFormat := [ "ResourceIdOnly", "FullResourcePayloads" ]

valid {
    input.Body.location == STRING
    input.Body.properties.whatIfSettings.resultFormat == enum_DeploymentWhatIfSettingsResultFormat[_]
    input.ReqMap.deploymentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Deployments_WhatIfAtTenantScope

enum_DeploymentPropertiesMode := [ "Incremental", "Complete" ]
enum_DeploymentWhatIfSettingsResultFormat := [ "ResourceIdOnly", "FullResourcePayloads" ]
enum_ExpressionEvaluationOptionsScope := [ "NotSpecified", "Outer", "Inner" ]
enum_OnErrorDeploymentType := [ "LastSuccessful", "SpecificDeployment" ]

valid {
    input.Body.location == STRING
    input.Body.properties.whatIfSettings.resultFormat == enum_DeploymentWhatIfSettingsResultFormat[_]
    input.Body.properties.template.STRING == STRING
    input.Body.properties.templateLink.uri == STRING
    input.Body.properties.templateLink.id == STRING
    input.Body.properties.templateLink.relativePath == STRING
    input.Body.properties.templateLink.contentVersion == STRING
    input.Body.properties.templateLink.queryString == STRING
    input.Body.properties.parameters.STRING.value == {}
    input.Body.properties.parameters.STRING.reference.keyVault.id == STRING
    input.Body.properties.parameters.STRING.reference.secretName == STRING
    input.Body.properties.parameters.STRING.reference.secretVersion == STRING
    input.Body.properties.parametersLink.uri == STRING
    input.Body.properties.parametersLink.contentVersion == STRING
    input.Body.properties.mode == enum_DeploymentPropertiesMode[_]
    input.Body.properties.debugSetting.detailLevel == STRING
    input.Body.properties.onErrorDeployment.type == enum_OnErrorDeploymentType[_]
    input.Body.properties.onErrorDeployment.deploymentName == STRING
    input.Body.properties.expressionEvaluationOptions.scope == enum_ExpressionEvaluationOptionsScope[_]
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Operations_List

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

PolicyAssignments_ListForResource

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourcePath == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == 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
}

PolicyAssignments_ListForScope

valid {
    input.ReqMap.scope == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ProviderResourceTypes_List

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

Providers_Get

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

Providers_GetAtTenantScope

valid {
    input.ReqMap.resourceProviderNamespace == STRING
    input.Qs.$expand == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Providers_List

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

Providers_ListAtTenantScope

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

Providers_ProviderPermissions

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

Providers_Register

valid {
    input.Body.thirdPartyProviderConsent.consentToAuthorization == BOOLEAN
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Providers_RegisterAtManagementGroupScope

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

Providers_Unregister

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

ResourceGroups_CheckExistence

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
}

ResourceGroups_CreateOrUpdate

valid {
    input.Body.properties == {}
    input.Body.location == STRING
    input.Body.managedBy == STRING
    input.Body.tags.STRING == STRING
    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
}

ResourceGroups_Delete

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

ResourceGroups_ExportTemplate

valid {
    input.Body.resources[_] == STRING
    input.Body.options == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ResourceGroups_Get

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
}

ResourceGroups_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ResourceGroups_Update

valid {
    input.Body.name == STRING
    input.Body.properties == {}
    input.Body.managedBy == STRING
    input.Body.tags.STRING == STRING
    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
}

ResourceLinks_CreateOrUpdate

valid {
    input.Body.properties.targetId == STRING
    input.Body.properties.notes == STRING
    input.ReqMap.linkId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ResourceLinks_Delete

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

ResourceLinks_Get

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

ResourceLinks_ListAtSourceScope

enum_$filterParameter := [ "atScope()" ]

valid {
    input.ReqMap.scope == STRING
    input.Qs.$filter == enum_$filterParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

ResourceLinks_ListAtSubscription

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

ResourceProviderOperationDetails_List

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

Resources_CheckExistence

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

Resources_CheckExistenceById

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

Resources_CreateOrUpdate

enum_ExtendedLocationType := [ "EdgeZone" ]
enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]

valid {
    input.Body.plan.name == STRING
    input.Body.plan.publisher == STRING
    input.Body.plan.product == STRING
    input.Body.plan.promotionCode == STRING
    input.Body.plan.version == STRING
    input.Body.properties.STRING == STRING
    input.Body.kind == STRING
    input.Body.managedBy == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.model == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.extendedLocation.type == enum_ExtendedLocationType[_]
    input.Body.extendedLocation.name == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourcePath == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Resources_CreateOrUpdateById

enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]

valid {
    input.Body.plan.name == STRING
    input.Body.plan.publisher == STRING
    input.Body.plan.product == STRING
    input.Body.plan.promotionCode == STRING
    input.Body.plan.version == STRING
    input.Body.properties.STRING == STRING
    input.Body.kind == STRING
    input.Body.managedBy == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.model == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.resourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Resources_Delete

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

Resources_DeleteById

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

Resources_Get

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

Resources_GetById

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

Resources_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$filter == STRING
    input.Qs.$expand == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Resources_ListByResourceGroup

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$filter == STRING
    input.Qs.$expand == STRING
    input.Qs.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Resources_MoveResources

valid {
    input.Body.resources[_] == STRING
    input.Body.targetResourceGroup == STRING
    input.ReqMap.sourceResourceGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Resources_Update

enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]

valid {
    input.Body.plan.name == STRING
    input.Body.plan.publisher == STRING
    input.Body.plan.product == STRING
    input.Body.plan.promotionCode == STRING
    input.Body.plan.version == STRING
    input.Body.properties.STRING == STRING
    input.Body.kind == STRING
    input.Body.managedBy == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.model == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.parentResourcePath == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Resources_UpdateById

enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]

valid {
    input.Body.plan.name == STRING
    input.Body.plan.publisher == STRING
    input.Body.plan.product == STRING
    input.Body.plan.promotionCode == STRING
    input.Body.plan.version == STRING
    input.Body.properties.STRING == STRING
    input.Body.kind == STRING
    input.Body.managedBy == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.model == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.resourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Resources_ValidateMoveResources

valid {
    input.Body.resources[_] == STRING
    input.Body.targetResourceGroup == STRING
    input.ReqMap.sourceResourceGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Snapshots_Get

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

Snapshots_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceProviderNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Subscriptions_CheckZonePeers

valid {
    input.Body.location == STRING
    input.Body.subscriptionIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Subscriptions_Get

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

Subscriptions_List

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

Subscriptions_ListLocations

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

Tags_CreateOrUpdate

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

Tags_CreateOrUpdateAtScope

valid {
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Tags_CreateOrUpdateValue

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

Tags_Delete

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

Tags_DeleteAtScope

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

Tags_DeleteValue

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

Tags_GetAtScope

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

Tags_List

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

Tags_UpdateAtScope

enum_TagsPatchResourceOperation := [ "Replace", "Merge", "Delete" ]

valid {
    input.Body.operation == enum_TagsPatchResourceOperation[_]
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

TemplateSpecVersions_CreateOrUpdate

valid {
    input.Body.location == STRING
    input.Body.properties.description == STRING
    input.Body.properties.linkedTemplates[_].path == STRING
    input.Body.properties.linkedTemplates[_].template.STRING == STRING
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.mainTemplate.STRING == STRING
    input.Body.properties.uiFormDefinition.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.templateSpecName == STRING
    input.ReqMap.templateSpecVersion == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TemplateSpecVersions_Delete

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

TemplateSpecVersions_Get

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

TemplateSpecVersions_GetBuiltIn

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

TemplateSpecVersions_List

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

TemplateSpecVersions_ListBuiltIns

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

TemplateSpecVersions_Update

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

TemplateSpecs_CreateOrUpdate

valid {
    input.Body.location == STRING
    input.Body.properties.description == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.metadata.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.templateSpecName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TemplateSpecs_Delete

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

TemplateSpecs_Get

enum_TemplateSpecExpandParameter := [ "versions" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.templateSpecName == STRING
    input.Qs.$expand == enum_TemplateSpecExpandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TemplateSpecs_GetBuiltIn

enum_TemplateSpecExpandParameter := [ "versions" ]

valid {
    input.ReqMap.templateSpecName == STRING
    input.Qs.$expand == enum_TemplateSpecExpandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

TemplateSpecs_ListBuiltIns

enum_TemplateSpecExpandParameter := [ "versions" ]

valid {
    input.Qs.$expand == enum_TemplateSpecExpandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

TemplateSpecs_ListByResourceGroup

enum_TemplateSpecExpandParameter := [ "versions" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.$expand == enum_TemplateSpecExpandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TemplateSpecs_ListBySubscription

enum_TemplateSpecExpandParameter := [ "versions" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$expand == enum_TemplateSpecExpandParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

TemplateSpecs_Update

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

Tenants_List

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

checkResourceName

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