MICROSOFT.WORKLOADMONITOR

ComponentsSummary_List

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$select == STRING
    input.Qs.$filter == STRING
    input.Qs.$apply == STRING
    input.Qs.$orderby == STRING
    input.Qs.$expand == STRING
    input.Qs.$top == STRING
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Components_Get

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.componentId == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$select == STRING
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Components_ListByResource

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$select == STRING
    input.Qs.$filter == STRING
    input.Qs.$apply == STRING
    input.Qs.$orderby == STRING
    input.Qs.$expand == STRING
    input.Qs.$top == STRING
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HealthMonitors_Get

enum_api-version := [ "2020-01-13-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceCollectionName == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.monitorId == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HealthMonitors_GetStateChange

enum_api-version := [ "2020-01-13-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceCollectionName == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.monitorId == STRING
    input.ReqMap.timestampUnix == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HealthMonitors_List

enum_api-version := [ "2020-01-13-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceCollectionName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$filter == STRING
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HealthMonitors_ListStateChanges

enum_api-version := [ "2020-01-13-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceCollectionName == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.monitorId == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$filter == STRING
    input.Qs.$expand == STRING
    input.Qs.startTimestampUtc == STRING
    input.Qs.endTimestampUtc == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MonitorInstancesSummary_List

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$select == STRING
    input.Qs.$filter == STRING
    input.Qs.$apply == STRING
    input.Qs.$orderby == STRING
    input.Qs.$expand == STRING
    input.Qs.$top == STRING
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

MonitorInstances_Get

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.monitorInstanceId == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$select == STRING
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MonitorInstances_ListByResource

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$select == STRING
    input.Qs.$filter == STRING
    input.Qs.$apply == STRING
    input.Qs.$orderby == STRING
    input.Qs.$expand == STRING
    input.Qs.$top == STRING
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Monitors_Get

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.monitorId == STRING
    input.Qs.api-version == enum_api-version[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Monitors_ListByResource

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$filter == STRING
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Monitors_Update

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.monitorId == STRING
    input.Qs.api-version == enum_api-version[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotificationSettings_Get

enum_api-version := [ "2018-08-31-preview" ]
enum_notificationSettingName := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.notificationSettingName == enum_notificationSettingName[_]
    input.Qs.api-version == enum_api-version[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotificationSettings_ListByResource

enum_api-version := [ "2018-08-31-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == enum_api-version[_]
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NotificationSettings_Update

enum_api-version := [ "2018-08-31-preview" ]
enum_notificationSettingName := [ "default" ]

valid {
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceNamespace == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.notificationSettingName == enum_notificationSettingName[_]
    input.Qs.api-version == enum_api-version[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

enum_api-version := [ "2020-01-13-preview" ]

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