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

valid {
    input.Body.name == STRING
    input.Body.throughputCapacity == STRING
    input.ReqMap.parent == STRING
    input.Qs.reservationId == 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
}

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

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

enum_DeliveryConfigDeliveryRequirement := [ "DELIVERY_REQUIREMENT_UNSPECIFIED", "DELIVER_IMMEDIATELY", "DELIVER_AFTER_STORED" ]
enum_ExportConfigDesiredState := [ "STATE_UNSPECIFIED", "ACTIVE", "PAUSED", "PERMISSION_DENIED", "NOT_FOUND" ]

valid {
    input.Body.deliveryConfig.deliveryRequirement == enum_DeliveryConfigDeliveryRequirement[_]
    input.Body.exportConfig.deadLetterTopic == STRING
    input.Body.exportConfig.desiredState == enum_ExportConfigDesiredState[_]
    input.Body.exportConfig.pubsubConfig.topic == STRING
    input.Body.name == STRING
    input.Body.topic == STRING
    input.ReqMap.parent == STRING
    input.Qs.skipBacklog == BOOLEAN
    input.Qs.subscriptionId == 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_DeliveryConfigDeliveryRequirement := [ "DELIVERY_REQUIREMENT_UNSPECIFIED", "DELIVER_IMMEDIATELY", "DELIVER_AFTER_STORED" ]
enum_ExportConfigDesiredState := [ "STATE_UNSPECIFIED", "ACTIVE", "PAUSED", "PERMISSION_DENIED", "NOT_FOUND" ]

valid {
    input.Body.deliveryConfig.deliveryRequirement == enum_DeliveryConfigDeliveryRequirement[_]
    input.Body.exportConfig.deadLetterTopic == STRING
    input.Body.exportConfig.desiredState == enum_ExportConfigDesiredState[_]
    input.Body.exportConfig.pubsubConfig.topic == STRING
    input.Body.name == STRING
    input.Body.topic == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SeekSubscriptionRequestNamedTarget := [ "NAMED_TARGET_UNSPECIFIED", "TAIL", "HEAD" ]

valid {
    input.Body.namedTarget == enum_SeekSubscriptionRequestNamedTarget[_]
    input.Body.timeTarget.eventTime == STRING
    input.Body.timeTarget.publishTime == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.name == STRING
    input.Body.partitionConfig.capacity.publishMibPerSec == INTEGER
    input.Body.partitionConfig.capacity.subscribeMibPerSec == INTEGER
    input.Body.partitionConfig.count == STRING
    input.Body.partitionConfig.scale == INTEGER
    input.Body.reservationConfig.throughputReservation == STRING
    input.Body.retentionConfig.perPartitionBytes == STRING
    input.Body.retentionConfig.period == STRING
    input.ReqMap.parent == STRING
    input.Qs.topicId == 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.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.name == STRING
    input.Body.partitionConfig.capacity.publishMibPerSec == INTEGER
    input.Body.partitionConfig.capacity.subscribeMibPerSec == INTEGER
    input.Body.partitionConfig.count == STRING
    input.Body.partitionConfig.scale == INTEGER
    input.Body.reservationConfig.throughputReservation == STRING
    input.Body.retentionConfig.perPartitionBytes == STRING
    input.Body.retentionConfig.period == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.cursor.offset == STRING
    input.Body.partition == STRING
    input.ReqMap.subscription == 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.partition == STRING
    input.ReqMap.topic == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.endCursor.offset == STRING
    input.Body.partition == STRING
    input.Body.startCursor.offset == STRING
    input.ReqMap.topic == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.partition == STRING
    input.Body.target.eventTime == STRING
    input.Body.target.publishTime == STRING
    input.ReqMap.topic == STRING
    input.ProviderMetadata.Region == STRING
}