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

enum_CollectionParameter := [ "user" ]

valid {
    input.ReqMap.collection == enum_CollectionParameter[_]
    input.ReqMap.userId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.userId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.userId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_SortOrderParameter := [ "ascending", "descending" ]

valid {
    input.ReqMap.activityId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.sortOrder == enum_SortOrderParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_CollectionParameter := [ "cloud" ]

valid {
    input.Body.author.displayName == STRING
    input.Body.author.id == STRING
    input.Body.author.image.url == STRING
    input.Body.author.url == STRING
    input.Body.displayName == STRING
    input.Body.etag == STRING
    input.Body.exif.time == STRING
    input.Body.height == INTEGER
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.mediaCreatedTime == STRING
    input.Body.mediaUrl == STRING
    input.Body.published == STRING
    input.Body.sizeBytes == STRING
    input.Body.streams[_].height == INTEGER
    input.Body.streams[_].type == STRING
    input.Body.streams[_].url == STRING
    input.Body.streams[_].width == INTEGER
    input.Body.summary == STRING
    input.Body.updated == STRING
    input.Body.url == STRING
    input.Body.videoDuration == STRING
    input.Body.videoStatus == STRING
    input.Body.width == INTEGER
    input.ReqMap.collection == enum_CollectionParameter[_]
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_CollectionParameter := [ "circled" ]
enum_OrderByParameter := [ "alphabetical", "best" ]

valid {
    input.ReqMap.collection == enum_CollectionParameter[_]
    input.ReqMap.userId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.orderBy == enum_OrderByParameter[_]
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CollectionParameter := [ "plusoners", "resharers", "sharedto" ]

valid {
    input.ReqMap.activityId == STRING
    input.ReqMap.collection == enum_CollectionParameter[_]
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}