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

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

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

enum_ChangeDetailsMode := [ "None", "Include", "Exclude" ]
enum_NotificationsState := [ "None", "Enabled", "Disabled" ]
enum_ResourceIdentityType := [ "None", "SystemAssigned" ]

valid {
    input.Body.identity.type == enum_ResourceIdentityType[_]
    input.Body.properties.notifications.azureMonitorWorkspaceProperties.workspaceId == STRING
    input.Body.properties.notifications.azureMonitorWorkspaceProperties.workspaceResourceId == STRING
    input.Body.properties.notifications.azureMonitorWorkspaceProperties.includeChangeDetails == enum_ChangeDetailsMode[_]
    input.Body.properties.notifications.activationState == enum_NotificationsState[_]
    input.Body.location == STRING
    input.Body.systemData == {}
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.profileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

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

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

enum_ChangeDetailsMode := [ "None", "Include", "Exclude" ]
enum_NotificationsState := [ "None", "Enabled", "Disabled" ]
enum_ResourceIdentityType := [ "None", "SystemAssigned" ]

valid {
    input.Body.identity.type == enum_ResourceIdentityType[_]
    input.Body.properties.notifications.azureMonitorWorkspaceProperties.workspaceId == STRING
    input.Body.properties.notifications.azureMonitorWorkspaceProperties.workspaceResourceId == STRING
    input.Body.properties.notifications.azureMonitorWorkspaceProperties.includeChangeDetails == enum_ChangeDetailsMode[_]
    input.Body.properties.notifications.activationState == enum_NotificationsState[_]
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.profileName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

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

valid {
    input.ReqMap.resourceId == STRING
    input.Qs.api-version == STRING
    input.Qs.$startTime == STRING
    input.Qs.$endTime == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
}