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

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

enum_LoggingConfigLogActionStates := [ "LOGGABLE_ACTION_STATE_UNSPECIFIED", "SUCCEEDED", "FAILED" ]
enum_LoggingConfigLogActions := [ "LOGGABLE_ACTION_UNSPECIFIED", "TRANSFORM" ]
enum_PutObjectHoldEventBasedHold := [ "HOLD_STATUS_UNSPECIFIED", "SET", "UNSET" ]
enum_PutObjectHoldTemporaryHold := [ "HOLD_STATUS_UNSPECIFIED", "SET", "UNSET" ]

valid {
    input.Body.bucketList.buckets[_].bucket == STRING
    input.Body.bucketList.buckets[_].manifest.manifestLocation == STRING
    input.Body.bucketList.buckets[_].prefixList.includedObjectPrefixes[_] == STRING
    input.Body.deleteObject.permanentObjectDeletionEnabled == BOOLEAN
    input.Body.description == STRING
    input.Body.loggingConfig.logActionStates[_] == enum_LoggingConfigLogActionStates[_]
    input.Body.loggingConfig.logActions[_] == enum_LoggingConfigLogActions[_]
    input.Body.name == STRING
    input.Body.putMetadata.cacheControl == STRING
    input.Body.putMetadata.contentDisposition == STRING
    input.Body.putMetadata.contentEncoding == STRING
    input.Body.putMetadata.contentLanguage == STRING
    input.Body.putMetadata.contentType == STRING
    input.Body.putMetadata.customMetadata.STRING == STRING
    input.Body.putMetadata.customTime == STRING
    input.Body.putObjectHold.eventBasedHold == enum_PutObjectHoldEventBasedHold[_]
    input.Body.putObjectHold.temporaryHold == enum_PutObjectHoldTemporaryHold[_]
    input.Body.rewriteObject.kmsKey == STRING
    input.ReqMap.parent == STRING
    input.Qs.jobId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.Qs.extraLocationTypes == STRING
    input.Qs.filter == 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.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
}