---
updatedAt: 2025-11-12T01:14:23.000Z
agentTools:
  projectIndex: https://public.docs.kivera.io/llms.txt
---

# MICROSOFT.INSIGHTS

<Embed url="https://docs.microsoft.com/en-us/rest/api/azure/" title="Azure documentation" provider="docs.microsoft.com" href="https://docs.microsoft.com/en-us/rest/api/azure/" />

# APIKeys\_Create

```erlang
valid {
    input.Body.name == STRING
    input.Body.linkedReadProperties[_] == STRING
    input.Body.linkedWriteProperties[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# APIKeys\_Delete

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

# APIKeys\_Get

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

# APIKeys\_List

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

# ActionGroups\_CreateNotificationsAtActionGroupResourceLevel

```erlang
valid {
    input.Body.alertType == STRING
    input.Body.emailReceivers[_].name == STRING
    input.Body.emailReceivers[_].emailAddress == STRING
    input.Body.emailReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.smsReceivers[_].name == STRING
    input.Body.smsReceivers[_].countryCode == STRING
    input.Body.smsReceivers[_].phoneNumber == STRING
    input.Body.webhookReceivers[_].name == STRING
    input.Body.webhookReceivers[_].serviceUri == STRING
    input.Body.webhookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.webhookReceivers[_].useAadAuth == BOOLEAN
    input.Body.webhookReceivers[_].objectId == STRING
    input.Body.webhookReceivers[_].identifierUri == STRING
    input.Body.webhookReceivers[_].tenantId == STRING
    input.Body.itsmReceivers[_].name == STRING
    input.Body.itsmReceivers[_].workspaceId == STRING
    input.Body.itsmReceivers[_].connectionId == STRING
    input.Body.itsmReceivers[_].ticketConfiguration == STRING
    input.Body.itsmReceivers[_].region == STRING
    input.Body.azureAppPushReceivers[_].name == STRING
    input.Body.azureAppPushReceivers[_].emailAddress == STRING
    input.Body.automationRunbookReceivers[_].automationAccountId == STRING
    input.Body.automationRunbookReceivers[_].runbookName == STRING
    input.Body.automationRunbookReceivers[_].webhookResourceId == STRING
    input.Body.automationRunbookReceivers[_].isGlobalRunbook == BOOLEAN
    input.Body.automationRunbookReceivers[_].name == STRING
    input.Body.automationRunbookReceivers[_].serviceUri == STRING
    input.Body.automationRunbookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.voiceReceivers[_].name == STRING
    input.Body.voiceReceivers[_].countryCode == STRING
    input.Body.voiceReceivers[_].phoneNumber == STRING
    input.Body.logicAppReceivers[_].name == STRING
    input.Body.logicAppReceivers[_].resourceId == STRING
    input.Body.logicAppReceivers[_].callbackUrl == STRING
    input.Body.logicAppReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.azureFunctionReceivers[_].name == STRING
    input.Body.azureFunctionReceivers[_].functionAppResourceId == STRING
    input.Body.azureFunctionReceivers[_].functionName == STRING
    input.Body.azureFunctionReceivers[_].httpTriggerUrl == STRING
    input.Body.azureFunctionReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.armRoleReceivers[_].name == STRING
    input.Body.armRoleReceivers[_].roleId == STRING
    input.Body.armRoleReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.eventHubReceivers[_].name == STRING
    input.Body.eventHubReceivers[_].eventHubNameSpace == STRING
    input.Body.eventHubReceivers[_].eventHubName == STRING
    input.Body.eventHubReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.eventHubReceivers[_].tenantId == STRING
    input.Body.eventHubReceivers[_].subscriptionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.actionGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ActionGroups\_CreateNotificationsAtResourceGroupLevel

```erlang
valid {
    input.Body.alertType == STRING
    input.Body.emailReceivers[_].name == STRING
    input.Body.emailReceivers[_].emailAddress == STRING
    input.Body.emailReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.smsReceivers[_].name == STRING
    input.Body.smsReceivers[_].countryCode == STRING
    input.Body.smsReceivers[_].phoneNumber == STRING
    input.Body.webhookReceivers[_].name == STRING
    input.Body.webhookReceivers[_].serviceUri == STRING
    input.Body.webhookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.webhookReceivers[_].useAadAuth == BOOLEAN
    input.Body.webhookReceivers[_].objectId == STRING
    input.Body.webhookReceivers[_].identifierUri == STRING
    input.Body.webhookReceivers[_].tenantId == STRING
    input.Body.itsmReceivers[_].name == STRING
    input.Body.itsmReceivers[_].workspaceId == STRING
    input.Body.itsmReceivers[_].connectionId == STRING
    input.Body.itsmReceivers[_].ticketConfiguration == STRING
    input.Body.itsmReceivers[_].region == STRING
    input.Body.azureAppPushReceivers[_].name == STRING
    input.Body.azureAppPushReceivers[_].emailAddress == STRING
    input.Body.automationRunbookReceivers[_].automationAccountId == STRING
    input.Body.automationRunbookReceivers[_].runbookName == STRING
    input.Body.automationRunbookReceivers[_].webhookResourceId == STRING
    input.Body.automationRunbookReceivers[_].isGlobalRunbook == BOOLEAN
    input.Body.automationRunbookReceivers[_].name == STRING
    input.Body.automationRunbookReceivers[_].serviceUri == STRING
    input.Body.automationRunbookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.voiceReceivers[_].name == STRING
    input.Body.voiceReceivers[_].countryCode == STRING
    input.Body.voiceReceivers[_].phoneNumber == STRING
    input.Body.logicAppReceivers[_].name == STRING
    input.Body.logicAppReceivers[_].resourceId == STRING
    input.Body.logicAppReceivers[_].callbackUrl == STRING
    input.Body.logicAppReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.azureFunctionReceivers[_].name == STRING
    input.Body.azureFunctionReceivers[_].functionAppResourceId == STRING
    input.Body.azureFunctionReceivers[_].functionName == STRING
    input.Body.azureFunctionReceivers[_].httpTriggerUrl == STRING
    input.Body.azureFunctionReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.armRoleReceivers[_].name == STRING
    input.Body.armRoleReceivers[_].roleId == STRING
    input.Body.armRoleReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.eventHubReceivers[_].name == STRING
    input.Body.eventHubReceivers[_].eventHubNameSpace == STRING
    input.Body.eventHubReceivers[_].eventHubName == STRING
    input.Body.eventHubReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.eventHubReceivers[_].tenantId == STRING
    input.Body.eventHubReceivers[_].subscriptionId == 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
}
```

# ActionGroups\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.groupShortName == STRING
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.emailReceivers[_].name == STRING
    input.Body.properties.emailReceivers[_].emailAddress == STRING
    input.Body.properties.emailReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.smsReceivers[_].name == STRING
    input.Body.properties.smsReceivers[_].countryCode == STRING
    input.Body.properties.smsReceivers[_].phoneNumber == STRING
    input.Body.properties.webhookReceivers[_].name == STRING
    input.Body.properties.webhookReceivers[_].serviceUri == STRING
    input.Body.properties.webhookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.webhookReceivers[_].useAadAuth == BOOLEAN
    input.Body.properties.webhookReceivers[_].objectId == STRING
    input.Body.properties.webhookReceivers[_].identifierUri == STRING
    input.Body.properties.webhookReceivers[_].tenantId == STRING
    input.Body.properties.itsmReceivers[_].name == STRING
    input.Body.properties.itsmReceivers[_].workspaceId == STRING
    input.Body.properties.itsmReceivers[_].connectionId == STRING
    input.Body.properties.itsmReceivers[_].ticketConfiguration == STRING
    input.Body.properties.itsmReceivers[_].region == STRING
    input.Body.properties.azureAppPushReceivers[_].name == STRING
    input.Body.properties.azureAppPushReceivers[_].emailAddress == STRING
    input.Body.properties.automationRunbookReceivers[_].automationAccountId == STRING
    input.Body.properties.automationRunbookReceivers[_].runbookName == STRING
    input.Body.properties.automationRunbookReceivers[_].webhookResourceId == STRING
    input.Body.properties.automationRunbookReceivers[_].isGlobalRunbook == BOOLEAN
    input.Body.properties.automationRunbookReceivers[_].name == STRING
    input.Body.properties.automationRunbookReceivers[_].serviceUri == STRING
    input.Body.properties.automationRunbookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.voiceReceivers[_].name == STRING
    input.Body.properties.voiceReceivers[_].countryCode == STRING
    input.Body.properties.voiceReceivers[_].phoneNumber == STRING
    input.Body.properties.logicAppReceivers[_].name == STRING
    input.Body.properties.logicAppReceivers[_].resourceId == STRING
    input.Body.properties.logicAppReceivers[_].callbackUrl == STRING
    input.Body.properties.logicAppReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.azureFunctionReceivers[_].name == STRING
    input.Body.properties.azureFunctionReceivers[_].functionAppResourceId == STRING
    input.Body.properties.azureFunctionReceivers[_].functionName == STRING
    input.Body.properties.azureFunctionReceivers[_].httpTriggerUrl == STRING
    input.Body.properties.azureFunctionReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.armRoleReceivers[_].name == STRING
    input.Body.properties.armRoleReceivers[_].roleId == STRING
    input.Body.properties.armRoleReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.eventHubReceivers[_].name == STRING
    input.Body.properties.eventHubReceivers[_].eventHubNameSpace == STRING
    input.Body.properties.eventHubReceivers[_].eventHubName == STRING
    input.Body.properties.eventHubReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.eventHubReceivers[_].tenantId == STRING
    input.Body.properties.eventHubReceivers[_].subscriptionId == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.actionGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ActionGroups\_Delete

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

# ActionGroups\_EnableReceiver

```erlang
valid {
    input.Body.receiverName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.actionGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ActionGroups\_Get

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

# ActionGroups\_GetTestNotifications

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

# ActionGroups\_GetTestNotificationsAtActionGroupResourceLevel

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

# ActionGroups\_GetTestNotificationsAtResourceGroupLevel

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

# ActionGroups\_ListByResourceGroup

```erlang
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
}
```

# ActionGroups\_ListBySubscriptionId

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

# ActionGroups\_PostTestNotifications

```erlang
valid {
    input.Body.alertType == STRING
    input.Body.emailReceivers[_].name == STRING
    input.Body.emailReceivers[_].emailAddress == STRING
    input.Body.emailReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.smsReceivers[_].name == STRING
    input.Body.smsReceivers[_].countryCode == STRING
    input.Body.smsReceivers[_].phoneNumber == STRING
    input.Body.webhookReceivers[_].name == STRING
    input.Body.webhookReceivers[_].serviceUri == STRING
    input.Body.webhookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.webhookReceivers[_].useAadAuth == BOOLEAN
    input.Body.webhookReceivers[_].objectId == STRING
    input.Body.webhookReceivers[_].identifierUri == STRING
    input.Body.webhookReceivers[_].tenantId == STRING
    input.Body.itsmReceivers[_].name == STRING
    input.Body.itsmReceivers[_].workspaceId == STRING
    input.Body.itsmReceivers[_].connectionId == STRING
    input.Body.itsmReceivers[_].ticketConfiguration == STRING
    input.Body.itsmReceivers[_].region == STRING
    input.Body.azureAppPushReceivers[_].name == STRING
    input.Body.azureAppPushReceivers[_].emailAddress == STRING
    input.Body.automationRunbookReceivers[_].automationAccountId == STRING
    input.Body.automationRunbookReceivers[_].runbookName == STRING
    input.Body.automationRunbookReceivers[_].webhookResourceId == STRING
    input.Body.automationRunbookReceivers[_].isGlobalRunbook == BOOLEAN
    input.Body.automationRunbookReceivers[_].name == STRING
    input.Body.automationRunbookReceivers[_].serviceUri == STRING
    input.Body.automationRunbookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.voiceReceivers[_].name == STRING
    input.Body.voiceReceivers[_].countryCode == STRING
    input.Body.voiceReceivers[_].phoneNumber == STRING
    input.Body.logicAppReceivers[_].name == STRING
    input.Body.logicAppReceivers[_].resourceId == STRING
    input.Body.logicAppReceivers[_].callbackUrl == STRING
    input.Body.logicAppReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.azureFunctionReceivers[_].name == STRING
    input.Body.azureFunctionReceivers[_].functionAppResourceId == STRING
    input.Body.azureFunctionReceivers[_].functionName == STRING
    input.Body.azureFunctionReceivers[_].httpTriggerUrl == STRING
    input.Body.azureFunctionReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.armRoleReceivers[_].name == STRING
    input.Body.armRoleReceivers[_].roleId == STRING
    input.Body.armRoleReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.eventHubReceivers[_].name == STRING
    input.Body.eventHubReceivers[_].eventHubNameSpace == STRING
    input.Body.eventHubReceivers[_].eventHubName == STRING
    input.Body.eventHubReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.eventHubReceivers[_].tenantId == STRING
    input.Body.eventHubReceivers[_].subscriptionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# ActionGroups\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.enabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.actionGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ActivityLogAlerts\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.tenantScope == STRING
    input.Body.properties.scopes[_] == STRING
    input.Body.properties.condition.allOf[_].anyOf[_].field == STRING
    input.Body.properties.condition.allOf[_].anyOf[_].equals == STRING
    input.Body.properties.condition.allOf[_].anyOf[_].containsAny[_] == STRING
    input.Body.properties.condition.allOf[_].field == STRING
    input.Body.properties.condition.allOf[_].equals == STRING
    input.Body.properties.condition.allOf[_].containsAny[_] == STRING
    input.Body.properties.actions.actionGroups[_].actionGroupId == STRING
    input.Body.properties.actions.actionGroups[_].webhookProperties.STRING == STRING
    input.Body.properties.actions.actionGroups[_].actionProperties.STRING == STRING
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.description == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activityLogAlertName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ActivityLogAlerts\_Delete

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

# ActivityLogAlerts\_Get

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

# ActivityLogAlerts\_ListByResourceGroup

```erlang
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
}
```

# ActivityLogAlerts\_ListBySubscriptionId

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

# ActivityLogAlerts\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.enabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activityLogAlertName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ActivityLogs\_List

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

# AlertRuleIncidents\_Get

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

# AlertRuleIncidents\_ListByAlertRule

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

# AlertRules\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.provisioningState == STRING
    input.Body.properties.isEnabled == BOOLEAN
    input.Body.properties.condition.odata.type == STRING
    input.Body.properties.condition.dataSource.odata.type == STRING
    input.Body.properties.condition.dataSource.resourceUri == STRING
    input.Body.properties.condition.dataSource.legacyResourceId == STRING
    input.Body.properties.condition.dataSource.resourceLocation == STRING
    input.Body.properties.condition.dataSource.metricNamespace == STRING
    input.Body.properties.action.odata.type == STRING
    input.Body.properties.actions[_].odata.type == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ruleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AlertRules\_Delete

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

# AlertRules\_Get

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

# AlertRules\_ListByResourceGroup

```erlang
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
}
```

# AlertRules\_ListBySubscription

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

# AlertRules\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.provisioningState == STRING
    input.Body.properties.isEnabled == BOOLEAN
    input.Body.properties.condition.odata.type == STRING
    input.Body.properties.condition.dataSource.odata.type == STRING
    input.Body.properties.condition.dataSource.resourceUri == STRING
    input.Body.properties.condition.dataSource.legacyResourceId == STRING
    input.Body.properties.condition.dataSource.resourceLocation == STRING
    input.Body.properties.condition.dataSource.metricNamespace == STRING
    input.Body.properties.action.odata.type == STRING
    input.Body.properties.actions[_].odata.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ruleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AnalyticsItems\_Delete

```erlang
enum_ItemScopePathParameter := [ "analyticsItems", "myanalyticsItems" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.scopePath == enum_ItemScopePathParameter[_]
    input.Qs.api-version == STRING
    input.Qs.id == STRING
    input.Qs.name == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AnalyticsItems\_Get

```erlang
enum_ItemScopePathParameter := [ "analyticsItems", "myanalyticsItems" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.scopePath == enum_ItemScopePathParameter[_]
    input.Qs.api-version == STRING
    input.Qs.id == STRING
    input.Qs.name == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AnalyticsItems\_List

```erlang
enum_ItemScopeParameter := [ "shared", "user" ]
enum_ItemScopePathParameter := [ "analyticsItems", "myanalyticsItems" ]
enum_ItemTypeParameter := [ "none", "query", "function", "folder", "recent" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.scopePath == enum_ItemScopePathParameter[_]
    input.Qs.api-version == STRING
    input.Qs.scope == enum_ItemScopeParameter[_]
    input.Qs.type == enum_ItemTypeParameter[_]
    input.Qs.includeContent == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AnalyticsItems\_Put

```erlang
enum_ApplicationInsightsComponentAnalyticsItemScope := [ "shared", "user" ]
enum_ApplicationInsightsComponentAnalyticsItemType := [ "none", "query", "recent", "function" ]
enum_ItemScopePathParameter := [ "analyticsItems", "myanalyticsItems" ]

valid {
    input.Body.Id == STRING
    input.Body.Name == STRING
    input.Body.Content == STRING
    input.Body.Scope == enum_ApplicationInsightsComponentAnalyticsItemScope[_]
    input.Body.Type == enum_ApplicationInsightsComponentAnalyticsItemType[_]
    input.Body.Properties.functionAlias == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.scopePath == enum_ItemScopePathParameter[_]
    input.Qs.api-version == STRING
    input.Qs.overrideItem == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Annotations\_Create

```erlang
valid {
    input.Body.AnnotationName == STRING
    input.Body.Category == STRING
    input.Body.EventTime == STRING
    input.Body.Id == STRING
    input.Body.Properties == STRING
    input.Body.RelatedAnnotation == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Annotations\_Delete

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

# Annotations\_Get

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

# Annotations\_List

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.start == STRING
    input.Qs.end == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AutoscaleSettings\_CreateOrUpdate

```erlang
enum_AutoscaleNotificationOperation := [ "Scale" ]
enum_MetricTriggerOperator := [ "Equals", "NotEquals", "GreaterThan", "GreaterThanOrEqual", "LessThan", "LessThanOrEqual" ]
enum_MetricTriggerStatistic := [ "Average", "Min", "Max", "Sum", "Count" ]
enum_MetricTriggerTimeAggregation := [ "Average", "Minimum", "Maximum", "Total", "Count", "Last" ]
enum_PredictiveAutoscalePolicyScaleMode := [ "Disabled", "ForecastOnly", "Enabled" ]
enum_RecurrenceFrequency := [ "None", "Second", "Minute", "Hour", "Day", "Week", "Month", "Year" ]
enum_ScaleActionDirection := [ "None", "Increase", "Decrease" ]
enum_ScaleActionType := [ "ChangeCount", "PercentChangeCount", "ExactCount", "ServiceAllowedNextValue" ]
enum_ScaleRuleMetricDimensionOperator := [ "Equals", "NotEquals" ]

valid {
    input.Body.properties.profiles[_].name == STRING
    input.Body.properties.profiles[_].capacity.minimum == STRING
    input.Body.properties.profiles[_].capacity.maximum == STRING
    input.Body.properties.profiles[_].capacity.default == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricName == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricNamespace == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricResourceUri == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricResourceLocation == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.timeGrain == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.statistic == enum_MetricTriggerStatistic[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.timeWindow == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.timeAggregation == enum_MetricTriggerTimeAggregation[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.operator == enum_MetricTriggerOperator[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.threshold == NUMBER
    input.Body.properties.profiles[_].rules[_].metricTrigger.dimensions[_].DimensionName == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.dimensions[_].Operator == enum_ScaleRuleMetricDimensionOperator[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.dimensions[_].Values[_] == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.dividePerInstance == BOOLEAN
    input.Body.properties.profiles[_].rules[_].scaleAction.direction == enum_ScaleActionDirection[_]
    input.Body.properties.profiles[_].rules[_].scaleAction.type == enum_ScaleActionType[_]
    input.Body.properties.profiles[_].rules[_].scaleAction.value == STRING
    input.Body.properties.profiles[_].rules[_].scaleAction.cooldown == STRING
    input.Body.properties.profiles[_].fixedDate.timeZone == STRING
    input.Body.properties.profiles[_].fixedDate.start == STRING
    input.Body.properties.profiles[_].fixedDate.end == STRING
    input.Body.properties.profiles[_].recurrence.frequency == enum_RecurrenceFrequency[_]
    input.Body.properties.profiles[_].recurrence.schedule.timeZone == STRING
    input.Body.properties.profiles[_].recurrence.schedule.days[_] == STRING
    input.Body.properties.profiles[_].recurrence.schedule.hours[_] == INTEGER
    input.Body.properties.profiles[_].recurrence.schedule.minutes[_] == INTEGER
    input.Body.properties.notifications[_].operation == enum_AutoscaleNotificationOperation[_]
    input.Body.properties.notifications[_].email.sendToSubscriptionAdministrator == BOOLEAN
    input.Body.properties.notifications[_].email.sendToSubscriptionCoAdministrators == BOOLEAN
    input.Body.properties.notifications[_].email.customEmails[_] == STRING
    input.Body.properties.notifications[_].webhooks[_].serviceUri == STRING
    input.Body.properties.notifications[_].webhooks[_].properties.STRING == STRING
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.predictiveAutoscalePolicy.scaleMode == enum_PredictiveAutoscalePolicyScaleMode[_]
    input.Body.properties.predictiveAutoscalePolicy.scaleLookAheadTime == STRING
    input.Body.properties.name == STRING
    input.Body.properties.targetResourceUri == STRING
    input.Body.properties.targetResourceLocation == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.autoscaleSettingName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# AutoscaleSettings\_Delete

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

# AutoscaleSettings\_Get

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

# AutoscaleSettings\_ListByResourceGroup

```erlang
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
}
```

# AutoscaleSettings\_ListBySubscription

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

# AutoscaleSettings\_Update

```erlang
enum_AutoscaleNotificationOperation := [ "Scale" ]
enum_MetricTriggerOperator := [ "Equals", "NotEquals", "GreaterThan", "GreaterThanOrEqual", "LessThan", "LessThanOrEqual" ]
enum_MetricTriggerStatistic := [ "Average", "Min", "Max", "Sum", "Count" ]
enum_MetricTriggerTimeAggregation := [ "Average", "Minimum", "Maximum", "Total", "Count", "Last" ]
enum_PredictiveAutoscalePolicyScaleMode := [ "Disabled", "ForecastOnly", "Enabled" ]
enum_RecurrenceFrequency := [ "None", "Second", "Minute", "Hour", "Day", "Week", "Month", "Year" ]
enum_ScaleActionDirection := [ "None", "Increase", "Decrease" ]
enum_ScaleActionType := [ "ChangeCount", "PercentChangeCount", "ExactCount", "ServiceAllowedNextValue" ]
enum_ScaleRuleMetricDimensionOperator := [ "Equals", "NotEquals" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.profiles[_].name == STRING
    input.Body.properties.profiles[_].capacity.minimum == STRING
    input.Body.properties.profiles[_].capacity.maximum == STRING
    input.Body.properties.profiles[_].capacity.default == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricName == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricNamespace == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricResourceUri == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.metricResourceLocation == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.timeGrain == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.statistic == enum_MetricTriggerStatistic[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.timeWindow == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.timeAggregation == enum_MetricTriggerTimeAggregation[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.operator == enum_MetricTriggerOperator[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.threshold == NUMBER
    input.Body.properties.profiles[_].rules[_].metricTrigger.dimensions[_].DimensionName == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.dimensions[_].Operator == enum_ScaleRuleMetricDimensionOperator[_]
    input.Body.properties.profiles[_].rules[_].metricTrigger.dimensions[_].Values[_] == STRING
    input.Body.properties.profiles[_].rules[_].metricTrigger.dividePerInstance == BOOLEAN
    input.Body.properties.profiles[_].rules[_].scaleAction.direction == enum_ScaleActionDirection[_]
    input.Body.properties.profiles[_].rules[_].scaleAction.type == enum_ScaleActionType[_]
    input.Body.properties.profiles[_].rules[_].scaleAction.value == STRING
    input.Body.properties.profiles[_].rules[_].scaleAction.cooldown == STRING
    input.Body.properties.profiles[_].fixedDate.timeZone == STRING
    input.Body.properties.profiles[_].fixedDate.start == STRING
    input.Body.properties.profiles[_].fixedDate.end == STRING
    input.Body.properties.profiles[_].recurrence.frequency == enum_RecurrenceFrequency[_]
    input.Body.properties.profiles[_].recurrence.schedule.timeZone == STRING
    input.Body.properties.profiles[_].recurrence.schedule.days[_] == STRING
    input.Body.properties.profiles[_].recurrence.schedule.hours[_] == INTEGER
    input.Body.properties.profiles[_].recurrence.schedule.minutes[_] == INTEGER
    input.Body.properties.notifications[_].operation == enum_AutoscaleNotificationOperation[_]
    input.Body.properties.notifications[_].email.sendToSubscriptionAdministrator == BOOLEAN
    input.Body.properties.notifications[_].email.sendToSubscriptionCoAdministrators == BOOLEAN
    input.Body.properties.notifications[_].email.customEmails[_] == STRING
    input.Body.properties.notifications[_].webhooks[_].serviceUri == STRING
    input.Body.properties.notifications[_].webhooks[_].properties.STRING == STRING
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.predictiveAutoscalePolicy.scaleMode == enum_PredictiveAutoscalePolicyScaleMode[_]
    input.Body.properties.predictiveAutoscalePolicy.scaleLookAheadTime == STRING
    input.Body.properties.name == STRING
    input.Body.properties.targetResourceUri == STRING
    input.Body.properties.targetResourceLocation == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.autoscaleSettingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Baselines\_List

```erlang
enum_BaselineResultTypeParameter := [ "Data", "Metadata" ]

valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.metricnames == STRING
    input.Qs.metricnamespace == STRING
    input.Qs.timespan == STRING
    input.Qs.interval == STRING
    input.Qs.aggregation == STRING
    input.Qs.sensitivities == STRING
    input.Qs.$filter == STRING
    input.Qs.resultType == enum_BaselineResultTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ComponentAvailableFeatures\_Get

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

# ComponentCurrentBillingFeatures\_Get

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

# ComponentCurrentBillingFeatures\_Update

```erlang
valid {
    input.Body.DataVolumeCap.Cap == NUMBER
    input.Body.DataVolumeCap.WarningThreshold == INTEGER
    input.Body.DataVolumeCap.StopSendNotificationWhenHitThreshold == BOOLEAN
    input.Body.DataVolumeCap.StopSendNotificationWhenHitCap == BOOLEAN
    input.Body.CurrentBillingFeatures[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ComponentCurrentPricingPlan\_CreateAndUpdate

```erlang
valid {
    input.Body.properties.planType == STRING
    input.Body.properties.cap == NUMBER
    input.Body.properties.warningThreshold == INTEGER
    input.Body.properties.stopSendNotificationWhenHitThreshold == BOOLEAN
    input.Body.properties.stopSendNotificationWhenHitCap == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ComponentCurrentPricingPlan\_Get

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

# ComponentCurrentPricingPlan\_Update

```erlang
valid {
    input.Body.properties.planType == STRING
    input.Body.properties.cap == NUMBER
    input.Body.properties.warningThreshold == INTEGER
    input.Body.properties.stopSendNotificationWhenHitThreshold == BOOLEAN
    input.Body.properties.stopSendNotificationWhenHitCap == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ComponentFeatureCapabilities\_Get

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

# ComponentLinkedStorageAccounts\_CreateAndUpdate

```erlang
enum_StorageTypeParameter := [ "ServiceProfiler" ]

valid {
    input.Body.properties.linkedStorageAccount == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.storageType == enum_StorageTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ComponentLinkedStorageAccounts\_Delete

```erlang
enum_StorageTypeParameter := [ "ServiceProfiler" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.storageType == enum_StorageTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ComponentLinkedStorageAccounts\_Get

```erlang
enum_StorageTypeParameter := [ "ServiceProfiler" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.storageType == enum_StorageTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ComponentLinkedStorageAccounts\_Update

```erlang
enum_StorageTypeParameter := [ "ServiceProfiler" ]

valid {
    input.Body.properties.linkedStorageAccount == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.storageType == enum_StorageTypeParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ComponentQuotaStatus\_Get

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

# Components\_CreateOrUpdate

```erlang
enum_ApplicationInsightsComponentPropertiesApplication_Type := [ "web", "other" ]
enum_ApplicationInsightsComponentPropertiesFlow_Type := [ "Bluefield" ]
enum_ApplicationInsightsComponentPropertiesIngestionMode := [ "ApplicationInsights", "ApplicationInsightsWithDiagnosticSettings", "LogAnalytics" ]
enum_ApplicationInsightsComponentPropertiesRequest_Source := [ "rest" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]

valid {
    input.Body.kind == STRING
    input.Body.etag == STRING
    input.Body.properties.Application_Type == enum_ApplicationInsightsComponentPropertiesApplication_Type[_]
    input.Body.properties.Flow_Type == enum_ApplicationInsightsComponentPropertiesFlow_Type[_]
    input.Body.properties.Request_Source == enum_ApplicationInsightsComponentPropertiesRequest_Source[_]
    input.Body.properties.HockeyAppId == STRING
    input.Body.properties.SamplingPercentage == NUMBER
    input.Body.properties.RetentionInDays == INTEGER
    input.Body.properties.DisableIpMasking == BOOLEAN
    input.Body.properties.ImmediatePurgeDataOn30Days == BOOLEAN
    input.Body.properties.WorkspaceResourceId == STRING
    input.Body.properties.publicNetworkAccessForIngestion == enum_PublicNetworkAccessType[_]
    input.Body.properties.publicNetworkAccessForQuery == enum_PublicNetworkAccessType[_]
    input.Body.properties.IngestionMode == enum_ApplicationInsightsComponentPropertiesIngestionMode[_]
    input.Body.properties.DisableLocalAuth == BOOLEAN
    input.Body.properties.ForceCustomerStorageForProfiler == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Components\_Delete

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

# Components\_Get

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

# Components\_GetPurgeStatus

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

# Components\_List

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

# Components\_ListByResourceGroup

```erlang
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
}
```

# Components\_Purge

```erlang
valid {
    input.Body.table == STRING
    input.Body.filters[_].column == STRING
    input.Body.filters[_].operator == STRING
    input.Body.filters[_].value == {}
    input.Body.filters[_].key == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Components\_UpdateTags

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

# CreateNotificationsAtTenantActionGroupResourceLevel

```erlang
valid {
    input.Body.alertType == STRING
    input.Body.emailReceivers[_].name == STRING
    input.Body.emailReceivers[_].emailAddress == STRING
    input.Body.emailReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.smsReceivers[_].name == STRING
    input.Body.smsReceivers[_].countryCode == STRING
    input.Body.smsReceivers[_].phoneNumber == STRING
    input.Body.webhookReceivers[_].name == STRING
    input.Body.webhookReceivers[_].serviceUri == STRING
    input.Body.webhookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.webhookReceivers[_].useAadAuth == BOOLEAN
    input.Body.webhookReceivers[_].objectId == STRING
    input.Body.webhookReceivers[_].identifierUri == STRING
    input.Body.webhookReceivers[_].tenantId == STRING
    input.Body.azureAppPushReceivers[_].name == STRING
    input.Body.azureAppPushReceivers[_].emailAddress == STRING
    input.Body.voiceReceivers[_].name == STRING
    input.Body.voiceReceivers[_].countryCode == STRING
    input.Body.voiceReceivers[_].phoneNumber == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.tenantActionGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DataCollectionEndpoints\_Create

```erlang
enum_DataCollectionEndpointResourceKind := [ "Linux", "Windows" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_NetworkRuleSetPublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.immutableId == STRING
    input.Body.properties.configurationAccess == {}
    input.Body.properties.logsIngestion == {}
    input.Body.properties.metricsIngestion == {}
    input.Body.properties.networkAcls.publicNetworkAccess == enum_NetworkRuleSetPublicNetworkAccess[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == enum_DataCollectionEndpointResourceKind[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataCollectionEndpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# DataCollectionEndpoints\_Delete

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

# DataCollectionEndpoints\_Get

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

# DataCollectionEndpoints\_ListByResourceGroup

```erlang
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
}
```

# DataCollectionEndpoints\_ListBySubscription

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

# DataCollectionEndpoints\_Update

```erlang
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

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

# DataCollectionRuleAssociations\_Create

```erlang
valid {
    input.Body.properties.description == STRING
    input.Body.properties.dataCollectionRuleId == STRING
    input.Body.properties.dataCollectionEndpointId == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.associationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DataCollectionRuleAssociations\_Delete

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.ReqMap.associationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DataCollectionRuleAssociations\_Get

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.ReqMap.associationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DataCollectionRuleAssociations\_ListByDataCollectionEndpoint

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

# DataCollectionRuleAssociations\_ListByResource

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DataCollectionRuleAssociations\_ListByRule

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

# DataCollectionRules\_Create

```erlang
enum_AgentSettingName := [ "MaxDiskQuotaInMB", "UseTimeReceivedForForwardedEvents" ]
enum_ColumnDefinitionType := [ "string", "int", "long", "real", "boolean", "datetime", "dynamic" ]
enum_DataCollectionRuleResourceKind := [ "Linux", "Windows" ]
enum_DataFlowStreams := [ "Microsoft-Event", "Microsoft-InsightsMetrics", "Microsoft-Perf", "Microsoft-Syslog", "Microsoft-WindowsEvent" ]
enum_ExtensionDataSourceStreams := [ "Microsoft-Event", "Microsoft-InsightsMetrics", "Microsoft-Perf", "Microsoft-Syslog", "Microsoft-WindowsEvent" ]
enum_LogFileTextSettingsRecordStartTimestampFormat := [ "ISO 8601", "YYYY-MM-DD HH:MM:SS", "M/D/YYYY HH:MM:SS AM/PM", "Mon DD, YYYY HH:MM:SS", "yyMMdd HH:mm:ss", "ddMMyy HH:mm:ss", "MMM d hh:mm:ss", "dd/MMM/yyyy:HH:mm:ss zzz", "yyyy-MM-ddTHH:mm:ssK" ]
enum_LogFilesDataSourceFormat := [ "json", "text" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_PerfCounterDataSourceStreams := [ "Microsoft-Perf", "Microsoft-InsightsMetrics" ]
enum_PrometheusForwarderDataSourceStreams := [ "Microsoft-PrometheusMetrics" ]
enum_StorageBlobLookupType := [ "String", "Cidr" ]
enum_SyslogDataSourceFacilityNames := [ "*", "alert", "audit", "auth", "authpriv", "clock", "cron", "daemon", "ftp", "kern", "local0", "local1", "local2", "local3", "local4", "local5", "local6", "local7", "lpr", "mail", "mark", "news", "nopri", "ntp", "syslog", "user", "uucp" ]
enum_SyslogDataSourceLogLevels := [ "Debug", "Info", "Notice", "Warning", "Error", "Critical", "Alert", "Emergency", "*" ]
enum_SyslogDataSourceStreams := [ "Microsoft-Syslog" ]
enum_WindowsEventLogDataSourceStreams := [ "Microsoft-WindowsEvent", "Microsoft-Event" ]
enum_WindowsFirewallLogsDataSourceProfileFilter := [ "Domain", "Private", "Public" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.dataCollectionEndpointId == STRING
    input.Body.properties.references.enrichmentData.storageBlobs[_].resourceId == STRING
    input.Body.properties.references.enrichmentData.storageBlobs[_].blobUrl == STRING
    input.Body.properties.references.enrichmentData.storageBlobs[_].lookupType == enum_StorageBlobLookupType[_]
    input.Body.properties.references.enrichmentData.storageBlobs[_].name == STRING
    input.Body.properties.agentSettings.logs[_].name == enum_AgentSettingName[_]
    input.Body.properties.agentSettings.logs[_].value == STRING
    input.Body.properties.streamDeclarations.STRING.columns[_].name == STRING
    input.Body.properties.streamDeclarations.STRING.columns[_].type == enum_ColumnDefinitionType[_]
    input.Body.properties.dataSources.performanceCounters[_].streams[_] == enum_PerfCounterDataSourceStreams[_]
    input.Body.properties.dataSources.performanceCounters[_].samplingFrequencyInSeconds == INTEGER
    input.Body.properties.dataSources.performanceCounters[_].counterSpecifiers[_] == STRING
    input.Body.properties.dataSources.performanceCounters[_].transformKql == STRING
    input.Body.properties.dataSources.performanceCounters[_].name == STRING
    input.Body.properties.dataSources.windowsEventLogs[_].streams[_] == enum_WindowsEventLogDataSourceStreams[_]
    input.Body.properties.dataSources.windowsEventLogs[_].xPathQueries[_] == STRING
    input.Body.properties.dataSources.windowsEventLogs[_].transformKql == STRING
    input.Body.properties.dataSources.windowsEventLogs[_].name == STRING
    input.Body.properties.dataSources.syslog[_].streams[_] == enum_SyslogDataSourceStreams[_]
    input.Body.properties.dataSources.syslog[_].facilityNames[_] == enum_SyslogDataSourceFacilityNames[_]
    input.Body.properties.dataSources.syslog[_].logLevels[_] == enum_SyslogDataSourceLogLevels[_]
    input.Body.properties.dataSources.syslog[_].transformKql == STRING
    input.Body.properties.dataSources.syslog[_].name == STRING
    input.Body.properties.dataSources.extensions[_].streams[_] == enum_ExtensionDataSourceStreams[_]
    input.Body.properties.dataSources.extensions[_].extensionName == STRING
    input.Body.properties.dataSources.extensions[_].extensionSettings.STRING == STRING
    input.Body.properties.dataSources.extensions[_].inputDataSources[_] == STRING
    input.Body.properties.dataSources.extensions[_].name == STRING
    input.Body.properties.dataSources.logFiles[_].streams[_] == STRING
    input.Body.properties.dataSources.logFiles[_].filePatterns[_] == STRING
    input.Body.properties.dataSources.logFiles[_].format == enum_LogFilesDataSourceFormat[_]
    input.Body.properties.dataSources.logFiles[_].settings.text.recordStartTimestampFormat == enum_LogFileTextSettingsRecordStartTimestampFormat[_]
    input.Body.properties.dataSources.logFiles[_].transformKql == STRING
    input.Body.properties.dataSources.logFiles[_].name == STRING
    input.Body.properties.dataSources.iisLogs[_].streams[_] == STRING
    input.Body.properties.dataSources.iisLogs[_].logDirectories[_] == STRING
    input.Body.properties.dataSources.iisLogs[_].transformKql == STRING
    input.Body.properties.dataSources.iisLogs[_].name == STRING
    input.Body.properties.dataSources.windowsFirewallLogs[_].streams[_] == STRING
    input.Body.properties.dataSources.windowsFirewallLogs[_].profileFilter[_] == enum_WindowsFirewallLogsDataSourceProfileFilter[_]
    input.Body.properties.dataSources.windowsFirewallLogs[_].name == STRING
    input.Body.properties.dataSources.prometheusForwarder[_].streams[_] == enum_PrometheusForwarderDataSourceStreams[_]
    input.Body.properties.dataSources.prometheusForwarder[_].labelIncludeFilter.STRING == STRING
    input.Body.properties.dataSources.prometheusForwarder[_].name == STRING
    input.Body.properties.dataSources.platformTelemetry[_].streams[_] == STRING
    input.Body.properties.dataSources.platformTelemetry[_].name == STRING
    input.Body.properties.dataSources.dataImports.eventHub.name == STRING
    input.Body.properties.dataSources.dataImports.eventHub.consumerGroup == STRING
    input.Body.properties.dataSources.dataImports.eventHub.stream == STRING
    input.Body.properties.destinations.logAnalytics[_].workspaceResourceId == STRING
    input.Body.properties.destinations.logAnalytics[_].name == STRING
    input.Body.properties.destinations.monitoringAccounts[_].accountResourceId == STRING
    input.Body.properties.destinations.monitoringAccounts[_].name == STRING
    input.Body.properties.destinations.azureMonitorMetrics.name == STRING
    input.Body.properties.destinations.eventHubs[_].eventHubResourceId == STRING
    input.Body.properties.destinations.eventHubs[_].name == STRING
    input.Body.properties.destinations.eventHubsDirect[_].eventHubResourceId == STRING
    input.Body.properties.destinations.eventHubsDirect[_].name == STRING
    input.Body.properties.destinations.storageBlobsDirect[_].containerName == STRING
    input.Body.properties.destinations.storageBlobsDirect[_].storageAccountResourceId == STRING
    input.Body.properties.destinations.storageBlobsDirect[_].name == STRING
    input.Body.properties.destinations.storageTablesDirect[_].tableName == STRING
    input.Body.properties.destinations.storageTablesDirect[_].storageAccountResourceId == STRING
    input.Body.properties.destinations.storageTablesDirect[_].name == STRING
    input.Body.properties.destinations.storageAccounts[_].containerName == STRING
    input.Body.properties.destinations.storageAccounts[_].storageAccountResourceId == STRING
    input.Body.properties.destinations.storageAccounts[_].name == STRING
    input.Body.properties.destinations.microsoftFabric[_].tenantId == STRING
    input.Body.properties.destinations.microsoftFabric[_].artifactId == STRING
    input.Body.properties.destinations.microsoftFabric[_].databaseName == STRING
    input.Body.properties.destinations.microsoftFabric[_].ingestionUri == STRING
    input.Body.properties.destinations.microsoftFabric[_].name == STRING
    input.Body.properties.destinations.azureDataExplorer[_].resourceId == STRING
    input.Body.properties.destinations.azureDataExplorer[_].databaseName == STRING
    input.Body.properties.destinations.azureDataExplorer[_].name == STRING
    input.Body.properties.dataFlows[_].streams[_] == enum_DataFlowStreams[_]
    input.Body.properties.dataFlows[_].destinations[_] == STRING
    input.Body.properties.dataFlows[_].transformKql == STRING
    input.Body.properties.dataFlows[_].outputStream == STRING
    input.Body.properties.dataFlows[_].builtInTransform == STRING
    input.Body.properties.dataFlows[_].captureOverflow == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.kind == enum_DataCollectionRuleResourceKind[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataCollectionRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# DataCollectionRules\_Delete

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataCollectionRuleName == STRING
    input.Qs.deleteAssociations == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# DataCollectionRules\_Get

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

# DataCollectionRules\_ListByResourceGroup

```erlang
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
}
```

# DataCollectionRules\_ListBySubscription

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

# DataCollectionRules\_Update

```erlang
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

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

# DiagnosticServiceToken\_GetReadOnly

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DiagnosticServiceToken\_GetReadWrite

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DiagnosticSettingsCategory\_Get

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DiagnosticSettingsCategory\_List

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DiagnosticSettings\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.serviceBusRuleId == STRING
    input.Body.properties.eventHubAuthorizationRuleId == STRING
    input.Body.properties.eventHubName == STRING
    input.Body.properties.metrics[_].timeGrain == STRING
    input.Body.properties.metrics[_].category == STRING
    input.Body.properties.metrics[_].enabled == BOOLEAN
    input.Body.properties.metrics[_].retentionPolicy.enabled == BOOLEAN
    input.Body.properties.metrics[_].retentionPolicy.days == INTEGER
    input.Body.properties.logs[_].category == STRING
    input.Body.properties.logs[_].categoryGroup == STRING
    input.Body.properties.logs[_].enabled == BOOLEAN
    input.Body.properties.logs[_].retentionPolicy.enabled == BOOLEAN
    input.Body.properties.logs[_].retentionPolicy.days == INTEGER
    input.Body.properties.workspaceId == STRING
    input.Body.properties.marketplacePartnerId == STRING
    input.Body.properties.logAnalyticsDestinationType == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DiagnosticSettings\_Delete

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DiagnosticSettings\_Get

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DiagnosticSettings\_List

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# EASubscriptionListMigrationDate\_Post

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

# EASubscriptionMigrateToNewPricingModel\_Post

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

# EASubscriptionRollbackToLegacyPricingModel\_Post

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

# EventCategories\_List

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

# ExportConfigurations\_Create

```erlang
valid {
    input.Body.RecordTypes == STRING
    input.Body.DestinationType == STRING
    input.Body.DestinationAddress == STRING
    input.Body.IsEnabled == STRING
    input.Body.NotificationQueueEnabled == STRING
    input.Body.NotificationQueueUri == STRING
    input.Body.DestinationStorageSubscriptionId == STRING
    input.Body.DestinationStorageLocationId == STRING
    input.Body.DestinationAccountId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ExportConfigurations\_Delete

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

# ExportConfigurations\_Get

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

# ExportConfigurations\_List

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

# ExportConfigurations\_Update

```erlang
valid {
    input.Body.RecordTypes == STRING
    input.Body.DestinationType == STRING
    input.Body.DestinationAddress == STRING
    input.Body.IsEnabled == STRING
    input.Body.NotificationQueueEnabled == STRING
    input.Body.NotificationQueueUri == STRING
    input.Body.DestinationStorageSubscriptionId == STRING
    input.Body.DestinationStorageLocationId == STRING
    input.Body.DestinationAccountId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.exportId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Favorites\_Add

```erlang
enum_ApplicationInsightsComponentFavoriteFavoriteType := [ "shared", "user" ]

valid {
    input.Body.Name == STRING
    input.Body.Config == STRING
    input.Body.Version == STRING
    input.Body.FavoriteType == enum_ApplicationInsightsComponentFavoriteFavoriteType[_]
    input.Body.SourceType == STRING
    input.Body.Tags[_] == STRING
    input.Body.Category == STRING
    input.Body.IsGeneratedFromTemplate == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.favoriteId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Favorites\_Delete

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

# Favorites\_Get

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

# Favorites\_List

```erlang
enum_FavoriteTypeParameter := [ "shared", "user" ]
enum_SourceTypeParameter := [ "retention", "notebook", "sessions", "events", "userflows", "funnel", "impact", "segmentation" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.favoriteType == enum_FavoriteTypeParameter[_]
    input.Qs.sourceType == enum_SourceTypeParameter[_]
    input.Qs.canFetchContent == BOOLEAN
    input.Qs.tags == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Favorites\_Update

```erlang
enum_ApplicationInsightsComponentFavoriteFavoriteType := [ "shared", "user" ]

valid {
    input.Body.Name == STRING
    input.Body.Config == STRING
    input.Body.Version == STRING
    input.Body.FavoriteType == enum_ApplicationInsightsComponentFavoriteFavoriteType[_]
    input.Body.SourceType == STRING
    input.Body.Tags[_] == STRING
    input.Body.Category == STRING
    input.Body.IsGeneratedFromTemplate == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.favoriteId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# GetTestNotificationsAtTenantActionGroupResourceLevel

```erlang
valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.tenantActionGroupName == STRING
    input.ReqMap.notificationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GuestDiagnosticsSettingsAssociation\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.guestDiagnosticSettingsName == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.associationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GuestDiagnosticsSettingsAssociation\_Delete

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.ReqMap.associationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GuestDiagnosticsSettingsAssociation\_Get

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.ReqMap.associationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GuestDiagnosticsSettingsAssociation\_List

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

# GuestDiagnosticsSettingsAssociation\_ListByResourceGroup

```erlang
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
}
```

# GuestDiagnosticsSettingsAssociation\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.guestDiagnosticSettingsName == STRING
    input.ReqMap.resourceUri == STRING
    input.ReqMap.associationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# LiveToken\_Get

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# LogProfiles\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.serviceBusRuleId == STRING
    input.Body.properties.locations[_] == STRING
    input.Body.properties.categories[_] == STRING
    input.Body.properties.retentionPolicy.enabled == BOOLEAN
    input.Body.properties.retentionPolicy.days == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.logProfileName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# LogProfiles\_Delete

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

# LogProfiles\_Get

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

# LogProfiles\_List

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

# LogProfiles\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.serviceBusRuleId == STRING
    input.Body.properties.locations[_] == STRING
    input.Body.properties.categories[_] == STRING
    input.Body.properties.retentionPolicy.enabled == BOOLEAN
    input.Body.properties.retentionPolicy.days == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.logProfileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# ManagementGroupDiagnosticSettings\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.serviceBusRuleId == STRING
    input.Body.properties.eventHubAuthorizationRuleId == STRING
    input.Body.properties.eventHubName == STRING
    input.Body.properties.logs[_].category == STRING
    input.Body.properties.logs[_].categoryGroup == STRING
    input.Body.properties.logs[_].enabled == BOOLEAN
    input.Body.properties.workspaceId == STRING
    input.Body.properties.marketplacePartnerId == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ManagementGroupDiagnosticSettings\_Delete

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

# ManagementGroupDiagnosticSettings\_Get

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

# ManagementGroupDiagnosticSettings\_List

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

# MetricAlertsStatus\_List

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

# MetricAlertsStatus\_ListByName

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

# MetricAlerts\_CreateOrUpdate

```erlang
enum_MetricAlertCriteriaOdata.type := [ "Microsoft.Azure.Monitor.SingleResourceMultipleMetricCriteria", "Microsoft.Azure.Monitor.MultipleResourceMultipleMetricCriteria", "Microsoft.Azure.Monitor.WebtestLocationAvailabilityCriteria" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.severity == INTEGER
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.scopes[_] == STRING
    input.Body.properties.evaluationFrequency == STRING
    input.Body.properties.windowSize == STRING
    input.Body.properties.targetResourceType == STRING
    input.Body.properties.targetResourceRegion == STRING
    input.Body.properties.criteria.odata.type == enum_MetricAlertCriteriaOdata.type[_]
    input.Body.properties.autoMitigate == BOOLEAN
    input.Body.properties.actions[_].actionGroupId == STRING
    input.Body.properties.actions[_].webHookProperties.STRING == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ruleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# MetricAlerts\_Delete

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

# MetricAlerts\_Get

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

# MetricAlerts\_ListByResourceGroup

```erlang
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
}
```

# MetricAlerts\_ListBySubscription

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

# MetricAlerts\_Update

```erlang
enum_MetricAlertCriteriaOdata.type := [ "Microsoft.Azure.Monitor.SingleResourceMultipleMetricCriteria", "Microsoft.Azure.Monitor.MultipleResourceMultipleMetricCriteria", "Microsoft.Azure.Monitor.WebtestLocationAvailabilityCriteria" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.description == STRING
    input.Body.properties.severity == INTEGER
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.scopes[_] == STRING
    input.Body.properties.evaluationFrequency == STRING
    input.Body.properties.windowSize == STRING
    input.Body.properties.targetResourceType == STRING
    input.Body.properties.targetResourceRegion == STRING
    input.Body.properties.criteria.odata.type == enum_MetricAlertCriteriaOdata.type[_]
    input.Body.properties.autoMitigate == BOOLEAN
    input.Body.properties.actions[_].actionGroupId == STRING
    input.Body.properties.actions[_].webHookProperties.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ruleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# MetricDefinitions\_List

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.Qs.metricnamespace == STRING
    input.ProviderMetadata.Region == STRING
}
```

# MetricDefinitions\_ListAtSubscriptionScope

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.region == STRING
    input.Qs.metricnamespace == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# MetricNamespaces\_List

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.ProviderMetadata.Region == STRING
}
```

# Metrics\_List

```erlang
enum_ResultTypeParameter := [ "Data", "Metadata" ]

valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.timespan == STRING
    input.Qs.interval == STRING
    input.Qs.metricnames == STRING
    input.Qs.aggregation == STRING
    input.Qs.top == INTEGER
    input.Qs.orderby == STRING
    input.Qs.$filter == STRING
    input.Qs.resultType == enum_ResultTypeParameter[_]
    input.Qs.api-version == STRING
    input.Qs.metricnamespace == STRING
    input.Qs.AutoAdjustTimegrain == BOOLEAN
    input.Qs.ValidateDimensions == BOOLEAN
    input.Qs.rollupby == STRING
    input.ProviderMetadata.Region == STRING
}
```

# Metrics\_ListAtSubscriptionScope

```erlang
enum_SubscriptionScopeResultTypeParameter := [ "Data", "Metadata" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.region == STRING
    input.Qs.timespan == STRING
    input.Qs.interval == STRING
    input.Qs.metricnames == STRING
    input.Qs.aggregation == STRING
    input.Qs.top == INTEGER
    input.Qs.orderby == STRING
    input.Qs.$filter == STRING
    input.Qs.resultType == enum_SubscriptionScopeResultTypeParameter[_]
    input.Qs.metricnamespace == STRING
    input.Qs.AutoAdjustTimegrain == BOOLEAN
    input.Qs.ValidateDimensions == BOOLEAN
    input.Qs.rollupby == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# Metrics\_ListAtSubscriptionScopePost

```erlang
enum_SubscriptionScopeMetricsRequestBodyParametersResultType := [ "Data", "Metadata" ]
enum_SubscriptionScopeResultTypeParameter := [ "Data", "Metadata" ]

valid {
    input.Body.timespan == STRING
    input.Body.interval == STRING
    input.Body.metricNames == STRING
    input.Body.aggregation == STRING
    input.Body.filter == STRING
    input.Body.top == INTEGER
    input.Body.orderBy == STRING
    input.Body.rollUpBy == STRING
    input.Body.resultType == enum_SubscriptionScopeMetricsRequestBodyParametersResultType[_]
    input.Body.metricNamespace == STRING
    input.Body.autoAdjustTimegrain == BOOLEAN
    input.Body.validateDimensions == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.region == STRING
    input.Qs.timespan == STRING
    input.Qs.interval == STRING
    input.Qs.metricnames == STRING
    input.Qs.aggregation == STRING
    input.Qs.top == INTEGER
    input.Qs.orderby == STRING
    input.Qs.$filter == STRING
    input.Qs.resultType == enum_SubscriptionScopeResultTypeParameter[_]
    input.Qs.metricnamespace == STRING
    input.Qs.AutoAdjustTimegrain == BOOLEAN
    input.Qs.ValidateDimensions == BOOLEAN
    input.Qs.rollupby == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# MyWorkbooks\_CreateOrUpdate

```erlang
enum_MyWorkbookKind := [ "user", "shared" ]
enum_MyWorkbookManagedIdentityType := [ "UserAssigned", "None" ]

valid {
    input.Body.kind == enum_MyWorkbookKind[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.serializedData == STRING
    input.Body.properties.version == STRING
    input.Body.properties.category == STRING
    input.Body.properties.tags[_] == STRING
    input.Body.properties.sourceId == STRING
    input.Body.properties.storageUri == STRING
    input.Body.identity.userAssignedIdentities == {}
    input.Body.identity.type == enum_MyWorkbookManagedIdentityType[_]
    input.Body.id == STRING
    input.Body.name == STRING
    input.Body.type == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.etag.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.sourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# MyWorkbooks\_Delete

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

# MyWorkbooks\_Get

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

# MyWorkbooks\_ListByResourceGroup

```erlang
enum_CategoryParameter := [ "workbook", "TSG", "performance", "retention" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.category == enum_CategoryParameter[_]
    input.Qs.tags == ARRAY
    input.Qs.sourceId == STRING
    input.Qs.canFetchContent == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# MyWorkbooks\_ListBySubscription

```erlang
enum_CategoryParameter := [ "workbook", "TSG", "performance", "retention" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.category == enum_CategoryParameter[_]
    input.Qs.tags == ARRAY
    input.Qs.canFetchContent == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# MyWorkbooks\_Update

```erlang
enum_MyWorkbookKind := [ "user", "shared" ]

valid {
    input.Body.kind == enum_MyWorkbookKind[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.serializedData == STRING
    input.Body.properties.version == STRING
    input.Body.properties.category == STRING
    input.Body.properties.tags[_] == STRING
    input.Body.properties.sourceId == STRING
    input.Body.properties.storageUri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.sourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Operations\_List

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

# PredictiveMetric\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.autoscaleSettingName == STRING
    input.Qs.timespan == STRING
    input.Qs.interval == STRING
    input.Qs.metricNamespace == STRING
    input.Qs.metricName == STRING
    input.Qs.aggregation == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateEndpointConnections\_CreateOrUpdate

```erlang
enum_PrivateEndpointServiceConnectionStatus := [ "Pending", "Approved", "Rejected" ]

valid {
    input.Body.properties.privateEndpoint == {}
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateEndpointServiceConnectionStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.scopeName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateEndpointConnections\_Delete

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

# PrivateEndpointConnections\_Get

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

# PrivateEndpointConnections\_ListByPrivateLinkScope

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

# PrivateLinkResources\_Get

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

# PrivateLinkResources\_ListByPrivateLinkScope

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

# PrivateLinkScopeOperationStatus\_Get

```erlang
valid {
    input.ReqMap.asyncOperationId == 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
}
```

# PrivateLinkScopedResources\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.linkedResourceId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.scopeName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateLinkScopedResources\_Delete

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

# PrivateLinkScopedResources\_Get

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

# PrivateLinkScopedResources\_ListByPrivateLinkScope

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

# PrivateLinkScopes\_CreateOrUpdate

```erlang
enum_AccessMode := [ "Open", "PrivateOnly" ]

valid {
    input.Body.properties.accessModeSettings.queryAccessMode == enum_AccessMode[_]
    input.Body.properties.accessModeSettings.ingestionAccessMode == enum_AccessMode[_]
    input.Body.properties.accessModeSettings.exclusions[_].privateEndpointConnectionName == STRING
    input.Body.properties.accessModeSettings.exclusions[_].queryAccessMode == enum_AccessMode[_]
    input.Body.properties.accessModeSettings.exclusions[_].ingestionAccessMode == enum_AccessMode[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.scopeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateLinkScopes\_Delete

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

# PrivateLinkScopes\_Get

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

# PrivateLinkScopes\_List

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

# PrivateLinkScopes\_ListByResourceGroup

```erlang
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
}
```

# PrivateLinkScopes\_UpdateTags

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

# ProactiveDetectionConfigurations\_Get

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

# ProactiveDetectionConfigurations\_List

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

# ProactiveDetectionConfigurations\_Update

```erlang
valid {
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.properties.Enabled == BOOLEAN
    input.Body.properties.SendEmailsToSubscriptionOwners == BOOLEAN
    input.Body.properties.CustomEmails[_] == STRING
    input.Body.properties.RuleDefinitions.Name == STRING
    input.Body.properties.RuleDefinitions.DisplayName == STRING
    input.Body.properties.RuleDefinitions.Description == STRING
    input.Body.properties.RuleDefinitions.HelpUrl == STRING
    input.Body.properties.RuleDefinitions.IsHidden == BOOLEAN
    input.Body.properties.RuleDefinitions.IsEnabledByDefault == BOOLEAN
    input.Body.properties.RuleDefinitions.IsInPreview == BOOLEAN
    input.Body.properties.RuleDefinitions.SupportsEmailNotifications == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ConfigurationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ScheduledQueryRules\_CreateOrUpdate

```erlang
enum_ConditionOperator := [ "Equals", "GreaterThan", "GreaterThanOrEqual", "LessThan", "LessThanOrEqual" ]
enum_ConditionTimeAggregation := [ "Count", "Average", "Minimum", "Maximum", "Total" ]
enum_DimensionOperator := [ "Include", "Exclude" ]
enum_IdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_ScheduledQueryRulePropertiesSeverity := [ 0, 1, 2, 3, 4 ]
enum_ScheduledQueryRuleResourceKind := [ "LogAlert", "LogToMetric" ]

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.kind == enum_ScheduledQueryRuleResourceKind[_]
    input.Body.properties.description == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.severity == enum_ScheduledQueryRulePropertiesSeverity[_]
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.scopes[_] == STRING
    input.Body.properties.evaluationFrequency == STRING
    input.Body.properties.windowSize == STRING
    input.Body.properties.overrideQueryTimeRange == STRING
    input.Body.properties.targetResourceTypes[_] == STRING
    input.Body.properties.criteria.allOf[_].query == STRING
    input.Body.properties.criteria.allOf[_].timeAggregation == enum_ConditionTimeAggregation[_]
    input.Body.properties.criteria.allOf[_].metricMeasureColumn == STRING
    input.Body.properties.criteria.allOf[_].resourceIdColumn == STRING
    input.Body.properties.criteria.allOf[_].dimensions[_].name == STRING
    input.Body.properties.criteria.allOf[_].dimensions[_].operator == enum_DimensionOperator[_]
    input.Body.properties.criteria.allOf[_].dimensions[_].values[_] == STRING
    input.Body.properties.criteria.allOf[_].operator == enum_ConditionOperator[_]
    input.Body.properties.criteria.allOf[_].threshold == NUMBER
    input.Body.properties.criteria.allOf[_].failingPeriods.numberOfEvaluationPeriods == INTEGER
    input.Body.properties.criteria.allOf[_].failingPeriods.minFailingPeriodsToAlert == INTEGER
    input.Body.properties.criteria.allOf[_].metricName == STRING
    input.Body.properties.muteActionsDuration == STRING
    input.Body.properties.actions.actionGroups[_] == STRING
    input.Body.properties.actions.customProperties.STRING == STRING
    input.Body.properties.actions.actionProperties.STRING == STRING
    input.Body.properties.checkWorkspaceAlertsStorageConfigured == BOOLEAN
    input.Body.properties.skipQueryValidation == BOOLEAN
    input.Body.properties.autoMitigate == BOOLEAN
    input.Body.properties.ruleResolveConfiguration.autoResolved == BOOLEAN
    input.Body.properties.ruleResolveConfiguration.timeToResolve == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ruleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ScheduledQueryRules\_Delete

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

# ScheduledQueryRules\_Get

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

# ScheduledQueryRules\_ListByResourceGroup

```erlang
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
}
```

# ScheduledQueryRules\_ListBySubscription

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

# ScheduledQueryRules\_Update

```erlang
enum_ConditionOperator := [ "Equals", "GreaterThan", "GreaterThanOrEqual", "LessThan", "LessThanOrEqual" ]
enum_ConditionTimeAggregation := [ "Count", "Average", "Minimum", "Maximum", "Total" ]
enum_DimensionOperator := [ "Include", "Exclude" ]
enum_IdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_ScheduledQueryRulePropertiesSeverity := [ 0, 1, 2, 3, 4 ]

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.properties.description == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.severity == enum_ScheduledQueryRulePropertiesSeverity[_]
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.scopes[_] == STRING
    input.Body.properties.evaluationFrequency == STRING
    input.Body.properties.windowSize == STRING
    input.Body.properties.overrideQueryTimeRange == STRING
    input.Body.properties.targetResourceTypes[_] == STRING
    input.Body.properties.criteria.allOf[_].query == STRING
    input.Body.properties.criteria.allOf[_].timeAggregation == enum_ConditionTimeAggregation[_]
    input.Body.properties.criteria.allOf[_].metricMeasureColumn == STRING
    input.Body.properties.criteria.allOf[_].resourceIdColumn == STRING
    input.Body.properties.criteria.allOf[_].dimensions[_].name == STRING
    input.Body.properties.criteria.allOf[_].dimensions[_].operator == enum_DimensionOperator[_]
    input.Body.properties.criteria.allOf[_].dimensions[_].values[_] == STRING
    input.Body.properties.criteria.allOf[_].operator == enum_ConditionOperator[_]
    input.Body.properties.criteria.allOf[_].threshold == NUMBER
    input.Body.properties.criteria.allOf[_].failingPeriods.numberOfEvaluationPeriods == INTEGER
    input.Body.properties.criteria.allOf[_].failingPeriods.minFailingPeriodsToAlert == INTEGER
    input.Body.properties.criteria.allOf[_].metricName == STRING
    input.Body.properties.muteActionsDuration == STRING
    input.Body.properties.actions.actionGroups[_] == STRING
    input.Body.properties.actions.customProperties.STRING == STRING
    input.Body.properties.actions.actionProperties.STRING == STRING
    input.Body.properties.checkWorkspaceAlertsStorageConfigured == BOOLEAN
    input.Body.properties.skipQueryValidation == BOOLEAN
    input.Body.properties.autoMitigate == BOOLEAN
    input.Body.properties.ruleResolveConfiguration.autoResolved == BOOLEAN
    input.Body.properties.ruleResolveConfiguration.timeToResolve == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ruleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServiceDiagnosticSettings\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.serviceBusRuleId == STRING
    input.Body.properties.eventHubAuthorizationRuleId == STRING
    input.Body.properties.metrics[_].timeGrain == STRING
    input.Body.properties.metrics[_].enabled == BOOLEAN
    input.Body.properties.metrics[_].retentionPolicy.enabled == BOOLEAN
    input.Body.properties.metrics[_].retentionPolicy.days == INTEGER
    input.Body.properties.logs[_].category == STRING
    input.Body.properties.logs[_].enabled == BOOLEAN
    input.Body.properties.logs[_].retentionPolicy.enabled == BOOLEAN
    input.Body.properties.logs[_].retentionPolicy.days == INTEGER
    input.Body.properties.workspaceId == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ServiceDiagnosticSettings\_Get

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ServiceDiagnosticSettings\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.serviceBusRuleId == STRING
    input.Body.properties.eventHubAuthorizationRuleId == STRING
    input.Body.properties.metrics[_].timeGrain == STRING
    input.Body.properties.metrics[_].enabled == BOOLEAN
    input.Body.properties.metrics[_].retentionPolicy.enabled == BOOLEAN
    input.Body.properties.metrics[_].retentionPolicy.days == INTEGER
    input.Body.properties.logs[_].category == STRING
    input.Body.properties.logs[_].enabled == BOOLEAN
    input.Body.properties.logs[_].retentionPolicy.enabled == BOOLEAN
    input.Body.properties.logs[_].retentionPolicy.days == INTEGER
    input.Body.properties.workspaceId == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# SubscriptionDiagnosticSettings\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.storageAccountId == STRING
    input.Body.properties.serviceBusRuleId == STRING
    input.Body.properties.eventHubAuthorizationRuleId == STRING
    input.Body.properties.eventHubName == STRING
    input.Body.properties.logs[_].category == STRING
    input.Body.properties.logs[_].categoryGroup == STRING
    input.Body.properties.logs[_].enabled == BOOLEAN
    input.Body.properties.workspaceId == STRING
    input.Body.properties.marketplacePartnerId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# SubscriptionDiagnosticSettings\_Delete

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

# SubscriptionDiagnosticSettings\_Get

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

# SubscriptionDiagnosticSettings\_List

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

# TenantActionGroups\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.groupShortName == STRING
    input.Body.properties.enabled == BOOLEAN
    input.Body.properties.emailReceivers[_].name == STRING
    input.Body.properties.emailReceivers[_].emailAddress == STRING
    input.Body.properties.emailReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.smsReceivers[_].name == STRING
    input.Body.properties.smsReceivers[_].countryCode == STRING
    input.Body.properties.smsReceivers[_].phoneNumber == STRING
    input.Body.properties.webhookReceivers[_].name == STRING
    input.Body.properties.webhookReceivers[_].serviceUri == STRING
    input.Body.properties.webhookReceivers[_].useCommonAlertSchema == BOOLEAN
    input.Body.properties.webhookReceivers[_].useAadAuth == BOOLEAN
    input.Body.properties.webhookReceivers[_].objectId == STRING
    input.Body.properties.webhookReceivers[_].identifierUri == STRING
    input.Body.properties.webhookReceivers[_].tenantId == STRING
    input.Body.properties.azureAppPushReceivers[_].name == STRING
    input.Body.properties.azureAppPushReceivers[_].emailAddress == STRING
    input.Body.properties.voiceReceivers[_].name == STRING
    input.Body.properties.voiceReceivers[_].countryCode == STRING
    input.Body.properties.voiceReceivers[_].phoneNumber == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.tenantActionGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# TenantActionGroups\_Delete

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

# TenantActionGroups\_Get

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

# TenantActionGroups\_ListByManagementGroupId

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

# TenantActionGroups\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.enabled == BOOLEAN
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.tenantActionGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# TenantActivityLogs\_List

```erlang
valid {
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$select == STRING
    input.ProviderMetadata.Region == STRING
}
```

# VMInsights\_GetOnboardingStatus

```erlang
valid {
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# WebTests\_CreateOrUpdate

```erlang
enum_WebTestKind := [ "ping", "multistep", "standard" ]
enum_WebTestPropertiesKind := [ "ping", "multistep", "standard" ]

valid {
    input.Body.kind == enum_WebTestKind[_]
    input.Body.properties.SyntheticMonitorId == STRING
    input.Body.properties.Name == STRING
    input.Body.properties.Description == STRING
    input.Body.properties.Enabled == BOOLEAN
    input.Body.properties.Frequency == INTEGER
    input.Body.properties.Timeout == INTEGER
    input.Body.properties.Kind == enum_WebTestPropertiesKind[_]
    input.Body.properties.RetryEnabled == BOOLEAN
    input.Body.properties.Locations[_].Id == STRING
    input.Body.properties.Configuration.WebTest == STRING
    input.Body.properties.Request.RequestUrl == STRING
    input.Body.properties.Request.Headers[_].key == STRING
    input.Body.properties.Request.Headers[_].value == STRING
    input.Body.properties.Request.HttpVerb == STRING
    input.Body.properties.Request.RequestBody == STRING
    input.Body.properties.Request.ParseDependentRequests == BOOLEAN
    input.Body.properties.Request.FollowRedirects == BOOLEAN
    input.Body.properties.ValidationRules.ContentValidation.ContentMatch == STRING
    input.Body.properties.ValidationRules.ContentValidation.IgnoreCase == BOOLEAN
    input.Body.properties.ValidationRules.ContentValidation.PassIfTextFound == BOOLEAN
    input.Body.properties.ValidationRules.SSLCheck == BOOLEAN
    input.Body.properties.ValidationRules.SSLCertRemainingLifetimeCheck == INTEGER
    input.Body.properties.ValidationRules.ExpectedHttpStatusCode == INTEGER
    input.Body.properties.ValidationRules.IgnoreHttpStatusCode == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.webTestName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WebTests\_Delete

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

# WebTests\_Get

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

# WebTests\_List

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

# WebTests\_ListByComponent

```erlang
valid {
    input.ReqMap.componentName == 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
}
```

# WebTests\_ListByResourceGroup

```erlang
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
}
```

# WebTests\_UpdateTags

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

# WorkItemConfigurations\_Create

```erlang
valid {
    input.Body.ConnectorId == STRING
    input.Body.ConnectorDataConfiguration == STRING
    input.Body.ValidateOnly == BOOLEAN
    input.Body.WorkItemProperties.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WorkItemConfigurations\_Delete

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

# WorkItemConfigurations\_GetDefault

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

# WorkItemConfigurations\_GetItem

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

# WorkItemConfigurations\_List

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

# WorkItemConfigurations\_UpdateItem

```erlang
valid {
    input.Body.ConnectorId == STRING
    input.Body.ConnectorDataConfiguration == STRING
    input.Body.ValidateOnly == BOOLEAN
    input.Body.WorkItemProperties.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.workItemConfigId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WorkbookTemplates\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.priority == INTEGER
    input.Body.properties.author == STRING
    input.Body.properties.templateData.STRING == STRING
    input.Body.properties.galleries[_].name == STRING
    input.Body.properties.galleries[_].category == STRING
    input.Body.properties.galleries[_].type == STRING
    input.Body.properties.galleries[_].order == INTEGER
    input.Body.properties.galleries[_].resourceType == STRING
    input.Body.properties.localized.STRING[_].templateData.STRING == STRING
    input.Body.properties.localized.STRING[_].galleries[_].name == STRING
    input.Body.properties.localized.STRING[_].galleries[_].category == STRING
    input.Body.properties.localized.STRING[_].galleries[_].type == STRING
    input.Body.properties.localized.STRING[_].galleries[_].order == INTEGER
    input.Body.properties.localized.STRING[_].galleries[_].resourceType == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WorkbookTemplates\_Delete

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

# WorkbookTemplates\_Get

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

# WorkbookTemplates\_ListByResourceGroup

```erlang
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
}
```

# WorkbookTemplates\_Update

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.priority == INTEGER
    input.Body.properties.author == STRING
    input.Body.properties.templateData.STRING == STRING
    input.Body.properties.galleries[_].name == STRING
    input.Body.properties.galleries[_].category == STRING
    input.Body.properties.galleries[_].type == STRING
    input.Body.properties.galleries[_].order == INTEGER
    input.Body.properties.galleries[_].resourceType == STRING
    input.Body.properties.localized.STRING[_].templateData.STRING == STRING
    input.Body.properties.localized.STRING[_].galleries[_].name == STRING
    input.Body.properties.localized.STRING[_].galleries[_].category == STRING
    input.Body.properties.localized.STRING[_].galleries[_].type == STRING
    input.Body.properties.localized.STRING[_].galleries[_].order == INTEGER
    input.Body.properties.localized.STRING[_].galleries[_].resourceType == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Workbooks\_CreateOrUpdate

```erlang
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_WorkbookResourceKind := [ "shared" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.serializedData == STRING
    input.Body.properties.version == STRING
    input.Body.properties.category == STRING
    input.Body.properties.tags[_] == STRING
    input.Body.properties.sourceId == STRING
    input.Body.properties.storageUri == STRING
    input.Body.properties.description == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == enum_WorkbookResourceKind[_]
    input.Body.etag == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.sourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Workbooks\_Delete

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

# Workbooks\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.canFetchContent == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Workbooks\_ListByResourceGroup

```erlang
enum_CategoryParameter := [ "workbook", "TSG", "performance", "retention" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.category == enum_CategoryParameter[_]
    input.Qs.tags == ARRAY
    input.Qs.sourceId == STRING
    input.Qs.canFetchContent == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Workbooks\_ListBySubscription

```erlang
enum_CategoryParameter := [ "workbook", "TSG", "performance", "retention" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.category == enum_CategoryParameter[_]
    input.Qs.tags == ARRAY
    input.Qs.canFetchContent == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# Workbooks\_RevisionGet

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

# Workbooks\_RevisionsList

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

# Workbooks\_Update

```erlang
enum_WorkbookUpdateParametersKind := [ "shared" ]

valid {
    input.Body.kind == enum_WorkbookUpdateParametersKind[_]
    input.Body.tags.STRING == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.serializedData == STRING
    input.Body.properties.category == STRING
    input.Body.properties.tags[_] == STRING
    input.Body.properties.description == STRING
    input.Body.properties.revision == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.sourceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# getTestResultFile

```erlang
enum_DownloadAsParameter := [ "WebTestResult", "Json" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.webTestName == STRING
    input.Qs.api-version == STRING
    input.Qs.geoLocationId == STRING
    input.Qs.timeStamp == INTEGER
    input.Qs.downloadAs == enum_DownloadAsParameter[_]
    input.Qs.testSuccessfulCriteria == BOOLEAN
    input.Qs.continuationToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# guestDiagnosticsSettings\_CreateOrUpdate

```erlang
enum_DataSourceKind := [ "PerformanceCounter", "ETWProviders", "WindowsEventLogs" ]
enum_GuestDiagnosticSettingsOsType := [ "Windows", "Linux" ]
enum_SinkConfigurationKind := [ "EventHub", "ApplicationInsights", "LogAnalytics" ]

valid {
    input.Body.properties.osType == enum_GuestDiagnosticSettingsOsType[_]
    input.Body.properties.dataSources[_].kind == enum_DataSourceKind[_]
    input.Body.properties.dataSources[_].configuration.providers[_].id == STRING
    input.Body.properties.dataSources[_].configuration.providers[_].events[_].name == STRING
    input.Body.properties.dataSources[_].configuration.providers[_].events[_].id == INTEGER
    input.Body.properties.dataSources[_].configuration.providers[_].events[_].filter == STRING
    input.Body.properties.dataSources[_].configuration.perfCounters[_].name == STRING
    input.Body.properties.dataSources[_].configuration.perfCounters[_].samplingPeriod == STRING
    input.Body.properties.dataSources[_].configuration.perfCounters[_].instance == STRING
    input.Body.properties.dataSources[_].configuration.eventLogs[_].logName == STRING
    input.Body.properties.dataSources[_].configuration.eventLogs[_].filter == STRING
    input.Body.properties.dataSources[_].sinks[_].kind == enum_SinkConfigurationKind[_]
    input.Body.properties.proxySetting == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diagnosticSettingsName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# guestDiagnosticsSettings\_Delete

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

# guestDiagnosticsSettings\_Get

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

# guestDiagnosticsSettings\_List

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

# guestDiagnosticsSettings\_ListByResourceGroup

```erlang
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
}
```

# guestDiagnosticsSettings\_Update

```erlang
enum_DataSourceKind := [ "PerformanceCounter", "ETWProviders", "WindowsEventLogs" ]
enum_GuestDiagnosticSettingsOsType := [ "Windows", "Linux" ]
enum_SinkConfigurationKind := [ "EventHub", "ApplicationInsights", "LogAnalytics" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.osType == enum_GuestDiagnosticSettingsOsType[_]
    input.Body.properties.dataSources[_].kind == enum_DataSourceKind[_]
    input.Body.properties.dataSources[_].configuration.providers[_].id == STRING
    input.Body.properties.dataSources[_].configuration.providers[_].events[_].name == STRING
    input.Body.properties.dataSources[_].configuration.providers[_].events[_].id == INTEGER
    input.Body.properties.dataSources[_].configuration.providers[_].events[_].filter == STRING
    input.Body.properties.dataSources[_].configuration.perfCounters[_].name == STRING
    input.Body.properties.dataSources[_].configuration.perfCounters[_].samplingPeriod == STRING
    input.Body.properties.dataSources[_].configuration.perfCounters[_].instance == STRING
    input.Body.properties.dataSources[_].configuration.eventLogs[_].logName == STRING
    input.Body.properties.dataSources[_].configuration.eventLogs[_].filter == STRING
    input.Body.properties.dataSources[_].sinks[_].kind == enum_SinkConfigurationKind[_]
    input.Body.properties.proxySetting == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.diagnosticSettingsName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# webTestLocations\_List

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