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

valid {
    input.ReqMap.name == 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.approvalName == STRING
    input.Body.reason == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Body.pendingPlanName == STRING
    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_EntitlementState := [ "ENTITLEMENT_STATE_UNSPECIFIED", "ENTITLEMENT_ACTIVATION_REQUESTED", "ENTITLEMENT_ACTIVE", "ENTITLEMENT_PENDING_CANCELLATION", "ENTITLEMENT_CANCELLED", "ENTITLEMENT_PENDING_PLAN_CHANGE", "ENTITLEMENT_PENDING_PLAN_CHANGE_APPROVAL", "ENTITLEMENT_SUSPENDED" ]

valid {
    input.Body.account == STRING
    input.Body.consumers[_].project == STRING
    input.Body.createTime == STRING
    input.Body.inputProperties.STRING == ANY
    input.Body.messageToUser == STRING
    input.Body.name == STRING
    input.Body.newPendingPlan == STRING
    input.Body.plan == STRING
    input.Body.product == STRING
    input.Body.provider == STRING
    input.Body.state == enum_EntitlementState[_]
    input.Body.updateTime == STRING
    input.Body.usageReportingId == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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