valid {
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.query == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.body == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CasePriority := [ "PRIORITY_UNSPECIFIED", "P0", "P1", "P2", "P3", "P4" ]

valid {
    input.Body.classification.displayName == STRING
    input.Body.classification.id == STRING
    input.Body.contactEmail == STRING
    input.Body.creator.displayName == STRING
    input.Body.creator.email == STRING
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.escalated == BOOLEAN
    input.Body.languageCode == STRING
    input.Body.name == STRING
    input.Body.priority == enum_CasePriority[_]
    input.Body.subscriberEmailAddresses[_] == STRING
    input.Body.testCase == BOOLEAN
    input.Body.timeZone == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_EscalationReason := [ "REASON_UNSPECIFIED", "RESOLUTION_TIME", "TECHNICAL_EXPERTISE", "BUSINESS_IMPACT" ]

valid {
    input.Body.escalation.justification == STRING
    input.Body.escalation.reason == enum_EscalationReason[_]
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CasePriority := [ "PRIORITY_UNSPECIFIED", "P0", "P1", "P2", "P3", "P4" ]

valid {
    input.Body.classification.displayName == STRING
    input.Body.classification.id == STRING
    input.Body.contactEmail == STRING
    input.Body.creator.displayName == STRING
    input.Body.creator.email == STRING
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.escalated == BOOLEAN
    input.Body.languageCode == STRING
    input.Body.name == STRING
    input.Body.priority == enum_CasePriority[_]
    input.Body.subscriberEmailAddresses[_] == STRING
    input.Body.testCase == BOOLEAN
    input.Body.timeZone == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.query == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.attachment.filename == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}