valid {
    input.Body.STRING == STRING
    input.ReqMap.name == 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.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_AppEngineHttpTargetHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]
enum_HttpTargetHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]

valid {
    input.Body.appEngineHttpTarget.appEngineRouting.host == STRING
    input.Body.appEngineHttpTarget.appEngineRouting.instance == STRING
    input.Body.appEngineHttpTarget.appEngineRouting.service == STRING
    input.Body.appEngineHttpTarget.appEngineRouting.version == STRING
    input.Body.appEngineHttpTarget.body == STRING
    input.Body.appEngineHttpTarget.headers.STRING == STRING
    input.Body.appEngineHttpTarget.httpMethod == enum_AppEngineHttpTargetHttpMethod[_]
    input.Body.appEngineHttpTarget.relativeUri == STRING
    input.Body.attemptDeadline == STRING
    input.Body.description == STRING
    input.Body.httpTarget.body == STRING
    input.Body.httpTarget.headers.STRING == STRING
    input.Body.httpTarget.httpMethod == enum_HttpTargetHttpMethod[_]
    input.Body.httpTarget.oauthToken.scope == STRING
    input.Body.httpTarget.oauthToken.serviceAccountEmail == STRING
    input.Body.httpTarget.oidcToken.audience == STRING
    input.Body.httpTarget.oidcToken.serviceAccountEmail == STRING
    input.Body.httpTarget.uri == STRING
    input.Body.name == STRING
    input.Body.pubsubTarget.attributes.STRING == STRING
    input.Body.pubsubTarget.data == STRING
    input.Body.pubsubTarget.topicName == STRING
    input.Body.retryConfig.maxBackoffDuration == STRING
    input.Body.retryConfig.maxDoublings == INTEGER
    input.Body.retryConfig.maxRetryDuration == STRING
    input.Body.retryConfig.minBackoffDuration == STRING
    input.Body.retryConfig.retryCount == INTEGER
    input.Body.schedule == STRING
    input.Body.timeZone == STRING
    input.ReqMap.parent == 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.ProviderMetadata.Region == STRING
}

enum_AppEngineHttpTargetHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]
enum_HttpTargetHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]

valid {
    input.Body.appEngineHttpTarget.appEngineRouting.host == STRING
    input.Body.appEngineHttpTarget.appEngineRouting.instance == STRING
    input.Body.appEngineHttpTarget.appEngineRouting.service == STRING
    input.Body.appEngineHttpTarget.appEngineRouting.version == STRING
    input.Body.appEngineHttpTarget.body == STRING
    input.Body.appEngineHttpTarget.headers.STRING == STRING
    input.Body.appEngineHttpTarget.httpMethod == enum_AppEngineHttpTargetHttpMethod[_]
    input.Body.appEngineHttpTarget.relativeUri == STRING
    input.Body.attemptDeadline == STRING
    input.Body.description == STRING
    input.Body.httpTarget.body == STRING
    input.Body.httpTarget.headers.STRING == STRING
    input.Body.httpTarget.httpMethod == enum_HttpTargetHttpMethod[_]
    input.Body.httpTarget.oauthToken.scope == STRING
    input.Body.httpTarget.oauthToken.serviceAccountEmail == STRING
    input.Body.httpTarget.oidcToken.audience == STRING
    input.Body.httpTarget.oidcToken.serviceAccountEmail == STRING
    input.Body.httpTarget.uri == STRING
    input.Body.name == STRING
    input.Body.pubsubTarget.attributes.STRING == STRING
    input.Body.pubsubTarget.data == STRING
    input.Body.pubsubTarget.topicName == STRING
    input.Body.retryConfig.maxBackoffDuration == STRING
    input.Body.retryConfig.maxDoublings == INTEGER
    input.Body.retryConfig.maxRetryDuration == STRING
    input.Body.retryConfig.minBackoffDuration == STRING
    input.Body.retryConfig.retryCount == INTEGER
    input.Body.schedule == STRING
    input.Body.timeZone == 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
}

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

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

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