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

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

valid {
    input.Body.annotations.STRING == STRING
    input.Body.displayName == STRING
    input.Body.restrictions.androidKeyRestrictions.allowedApplications[_].packageName == STRING
    input.Body.restrictions.androidKeyRestrictions.allowedApplications[_].sha1Fingerprint == STRING
    input.Body.restrictions.apiTargets[_].methods[_] == STRING
    input.Body.restrictions.apiTargets[_].service == STRING
    input.Body.restrictions.browserKeyRestrictions.allowedReferrers[_] == STRING
    input.Body.restrictions.iosKeyRestrictions.allowedBundleIds[_] == STRING
    input.Body.restrictions.serverKeyRestrictions.allowedIps[_] == STRING
    input.Body.serviceAccountEmail == STRING
    input.ReqMap.parent == STRING
    input.Qs.keyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    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.Qs.showDeleted == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.annotations.STRING == STRING
    input.Body.displayName == STRING
    input.Body.restrictions.androidKeyRestrictions.allowedApplications[_].packageName == STRING
    input.Body.restrictions.androidKeyRestrictions.allowedApplications[_].sha1Fingerprint == STRING
    input.Body.restrictions.apiTargets[_].methods[_] == STRING
    input.Body.restrictions.apiTargets[_].service == STRING
    input.Body.restrictions.browserKeyRestrictions.allowedReferrers[_] == STRING
    input.Body.restrictions.iosKeyRestrictions.allowedBundleIds[_] == STRING
    input.Body.restrictions.serverKeyRestrictions.allowedIps[_] == STRING
    input.Body.serviceAccountEmail == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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