valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.Qs.appId == 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
}

enum_HttpTargetHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]
enum_QueueState := [ "STATE_UNSPECIFIED", "RUNNING", "PAUSED", "DISABLED" ]
enum_UriOverrideScheme := [ "SCHEME_UNSPECIFIED", "HTTP", "HTTPS" ]
enum_UriOverrideUriOverrideEnforceMode := [ "URI_OVERRIDE_ENFORCE_MODE_UNSPECIFIED", "IF_NOT_EXISTS", "ALWAYS" ]

valid {
    input.Body.appEngineRoutingOverride.host == STRING
    input.Body.appEngineRoutingOverride.instance == STRING
    input.Body.appEngineRoutingOverride.service == STRING
    input.Body.appEngineRoutingOverride.version == STRING
    input.Body.httpTarget.headerOverrides[_].header.key == STRING
    input.Body.httpTarget.headerOverrides[_].header.value == 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.uriOverride.host == STRING
    input.Body.httpTarget.uriOverride.pathOverride.path == STRING
    input.Body.httpTarget.uriOverride.port == STRING
    input.Body.httpTarget.uriOverride.queryOverride.queryParams == STRING
    input.Body.httpTarget.uriOverride.scheme == enum_UriOverrideScheme[_]
    input.Body.httpTarget.uriOverride.uriOverrideEnforceMode == enum_UriOverrideUriOverrideEnforceMode[_]
    input.Body.name == STRING
    input.Body.purgeTime == STRING
    input.Body.rateLimits.maxBurstSize == INTEGER
    input.Body.rateLimits.maxConcurrentDispatches == INTEGER
    input.Body.rateLimits.maxDispatchesPerSecond == NUMBER
    input.Body.retryConfig.maxAttempts == INTEGER
    input.Body.retryConfig.maxBackoff == STRING
    input.Body.retryConfig.maxDoublings == INTEGER
    input.Body.retryConfig.maxRetryDuration == STRING
    input.Body.retryConfig.minBackoff == STRING
    input.Body.stackdriverLoggingConfig.samplingRatio == NUMBER
    input.Body.state == enum_QueueState[_]
    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.Body.options.requestedPolicyVersion == INTEGER
    input.ReqMap.resource == 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_HttpTargetHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]
enum_QueueState := [ "STATE_UNSPECIFIED", "RUNNING", "PAUSED", "DISABLED" ]
enum_UriOverrideScheme := [ "SCHEME_UNSPECIFIED", "HTTP", "HTTPS" ]
enum_UriOverrideUriOverrideEnforceMode := [ "URI_OVERRIDE_ENFORCE_MODE_UNSPECIFIED", "IF_NOT_EXISTS", "ALWAYS" ]

valid {
    input.Body.appEngineRoutingOverride.host == STRING
    input.Body.appEngineRoutingOverride.instance == STRING
    input.Body.appEngineRoutingOverride.service == STRING
    input.Body.appEngineRoutingOverride.version == STRING
    input.Body.httpTarget.headerOverrides[_].header.key == STRING
    input.Body.httpTarget.headerOverrides[_].header.value == 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.uriOverride.host == STRING
    input.Body.httpTarget.uriOverride.pathOverride.path == STRING
    input.Body.httpTarget.uriOverride.port == STRING
    input.Body.httpTarget.uriOverride.queryOverride.queryParams == STRING
    input.Body.httpTarget.uriOverride.scheme == enum_UriOverrideScheme[_]
    input.Body.httpTarget.uriOverride.uriOverrideEnforceMode == enum_UriOverrideUriOverrideEnforceMode[_]
    input.Body.name == STRING
    input.Body.purgeTime == STRING
    input.Body.rateLimits.maxBurstSize == INTEGER
    input.Body.rateLimits.maxConcurrentDispatches == INTEGER
    input.Body.rateLimits.maxDispatchesPerSecond == NUMBER
    input.Body.retryConfig.maxAttempts == INTEGER
    input.Body.retryConfig.maxBackoff == STRING
    input.Body.retryConfig.maxDoublings == INTEGER
    input.Body.retryConfig.maxRetryDuration == STRING
    input.Body.retryConfig.minBackoff == STRING
    input.Body.stackdriverLoggingConfig.samplingRatio == NUMBER
    input.Body.state == enum_QueueState[_]
    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.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.body.contentType == STRING
    input.Body.body.data == STRING
    input.Body.body.extensions[_].STRING == ANY
    input.ReqMap.queue == STRING
    input.ReqMap.taskId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CancelLeaseRequestResponseView := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.Body.responseView == enum_CancelLeaseRequestResponseView[_]
    input.Body.scheduleTime == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AppEngineHttpRequestHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]
enum_CreateTaskRequestResponseView := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]
enum_HttpRequestHttpMethod := [ "HTTP_METHOD_UNSPECIFIED", "POST", "GET", "HEAD", "PUT", "DELETE", "PATCH", "OPTIONS" ]
enum_TaskView := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.Body.responseView == enum_CreateTaskRequestResponseView[_]
    input.Body.task.appEngineHttpRequest.appEngineRouting.host == STRING
    input.Body.task.appEngineHttpRequest.appEngineRouting.instance == STRING
    input.Body.task.appEngineHttpRequest.appEngineRouting.service == STRING
    input.Body.task.appEngineHttpRequest.appEngineRouting.version == STRING
    input.Body.task.appEngineHttpRequest.body == STRING
    input.Body.task.appEngineHttpRequest.headers.STRING == STRING
    input.Body.task.appEngineHttpRequest.httpMethod == enum_AppEngineHttpRequestHttpMethod[_]
    input.Body.task.appEngineHttpRequest.relativeUri == STRING
    input.Body.task.createTime == STRING
    input.Body.task.dispatchCount == INTEGER
    input.Body.task.dispatchDeadline == STRING
    input.Body.task.firstAttempt.dispatchTime == STRING
    input.Body.task.firstAttempt.responseStatus.code == INTEGER
    input.Body.task.firstAttempt.responseStatus.details[_].STRING == ANY
    input.Body.task.firstAttempt.responseStatus.message == STRING
    input.Body.task.firstAttempt.responseTime == STRING
    input.Body.task.firstAttempt.scheduleTime == STRING
    input.Body.task.httpRequest.body == STRING
    input.Body.task.httpRequest.headers.STRING == STRING
    input.Body.task.httpRequest.httpMethod == enum_HttpRequestHttpMethod[_]
    input.Body.task.httpRequest.oauthToken.scope == STRING
    input.Body.task.httpRequest.oauthToken.serviceAccountEmail == STRING
    input.Body.task.httpRequest.oidcToken.audience == STRING
    input.Body.task.httpRequest.oidcToken.serviceAccountEmail == STRING
    input.Body.task.httpRequest.url == STRING
    input.Body.task.lastAttempt.dispatchTime == STRING
    input.Body.task.lastAttempt.responseStatus.code == INTEGER
    input.Body.task.lastAttempt.responseStatus.details[_].STRING == ANY
    input.Body.task.lastAttempt.responseStatus.message == STRING
    input.Body.task.lastAttempt.responseTime == STRING
    input.Body.task.lastAttempt.scheduleTime == STRING
    input.Body.task.name == STRING
    input.Body.task.responseCount == INTEGER
    input.Body.task.scheduleTime == STRING
    input.Body.task.view == enum_TaskView[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_ResponseViewParameter := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.ReqMap.name == STRING
    input.Qs.responseView == enum_ResponseViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_LeaseTasksRequestResponseView := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.Body.filter == STRING
    input.Body.leaseDuration == STRING
    input.Body.maxTasks == INTEGER
    input.Body.responseView == enum_LeaseTasksRequestResponseView[_]
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResponseViewParameter := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.responseView == enum_ResponseViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_RenewLeaseRequestResponseView := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.Body.leaseDuration == STRING
    input.Body.responseView == enum_RenewLeaseRequestResponseView[_]
    input.Body.scheduleTime == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RunTaskRequestResponseView := [ "VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.Body.responseView == enum_RunTaskRequestResponseView[_]
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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