Notification_Get

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

Notification_GetOperations

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

Notifications_List

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