valid {
    input.Body.alertId[_] == STRING
    input.Body.customerId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.alertId[_] == STRING
    input.Body.customerId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.alertId == STRING
    input.Qs.customerId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AlertFeedbackType := [ "ALERT_FEEDBACK_TYPE_UNSPECIFIED", "NOT_USEFUL", "SOMEWHAT_USEFUL", "VERY_USEFUL" ]

valid {
    input.Body.alertId == STRING
    input.Body.createTime == STRING
    input.Body.customerId == STRING
    input.Body.email == STRING
    input.Body.feedbackId == STRING
    input.Body.type == enum_AlertFeedbackType[_]
    input.ReqMap.alertId == STRING
    input.Qs.customerId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.alertId == STRING
    input.Qs.customerId == STRING
    input.Qs.filter == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.alertId == STRING
    input.Qs.customerId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.alertId == STRING
    input.Qs.customerId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.customerId == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.customerId == STRING
    input.ReqMap.alertId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.customerId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CloudPubsubTopicPayloadFormat := [ "PAYLOAD_FORMAT_UNSPECIFIED", "JSON" ]

valid {
    input.Body.notifications[_].cloudPubsubTopic.payloadFormat == enum_CloudPubsubTopicPayloadFormat[_]
    input.Body.notifications[_].cloudPubsubTopic.topicName == STRING
    input.Qs.customerId == STRING
    input.ProviderMetadata.Region == STRING
}