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

enum_TimeRange.periodParameter := [ "PERIOD_UNSPECIFIED", "PERIOD_1_HOUR", "PERIOD_6_HOURS", "PERIOD_1_DAY", "PERIOD_1_WEEK", "PERIOD_30_DAYS" ]

valid {
    input.ReqMap.projectName == STRING
    input.Qs.groupId == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.serviceFilter.resourceType == STRING
    input.Qs.serviceFilter.service == STRING
    input.Qs.serviceFilter.version == STRING
    input.Qs.timeRange.period == enum_TimeRange.periodParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.context.httpRequest.method == STRING
    input.Body.context.httpRequest.referrer == STRING
    input.Body.context.httpRequest.remoteIp == STRING
    input.Body.context.httpRequest.responseStatusCode == INTEGER
    input.Body.context.httpRequest.url == STRING
    input.Body.context.httpRequest.userAgent == STRING
    input.Body.context.reportLocation.filePath == STRING
    input.Body.context.reportLocation.functionName == STRING
    input.Body.context.reportLocation.lineNumber == INTEGER
    input.Body.context.sourceReferences[_].repository == STRING
    input.Body.context.sourceReferences[_].revisionId == STRING
    input.Body.context.user == STRING
    input.Body.eventTime == STRING
    input.Body.message == STRING
    input.Body.serviceContext.resourceType == STRING
    input.Body.serviceContext.service == STRING
    input.Body.serviceContext.version == STRING
    input.ReqMap.projectName == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AlignmentParameter := [ "ERROR_COUNT_ALIGNMENT_UNSPECIFIED", "ALIGNMENT_EQUAL_ROUNDED", "ALIGNMENT_EQUAL_AT_END" ]
enum_OrderParameter := [ "GROUP_ORDER_UNSPECIFIED", "COUNT_DESC", "LAST_SEEN_DESC", "CREATED_DESC", "AFFECTED_USERS_DESC" ]
enum_TimeRange.periodParameter := [ "PERIOD_UNSPECIFIED", "PERIOD_1_HOUR", "PERIOD_6_HOURS", "PERIOD_1_DAY", "PERIOD_1_WEEK", "PERIOD_30_DAYS" ]

valid {
    input.ReqMap.projectName == STRING
    input.Qs.alignment == enum_AlignmentParameter[_]
    input.Qs.alignmentTime == STRING
    input.Qs.groupId == STRING
    input.Qs.order == enum_OrderParameter[_]
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.serviceFilter.resourceType == STRING
    input.Qs.serviceFilter.service == STRING
    input.Qs.serviceFilter.version == STRING
    input.Qs.timeRange.period == enum_TimeRange.periodParameter[_]
    input.Qs.timedCountDuration == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_ErrorGroupResolutionStatus := [ "RESOLUTION_STATUS_UNSPECIFIED", "OPEN", "ACKNOWLEDGED", "RESOLVED", "MUTED" ]

valid {
    input.Body.groupId == STRING
    input.Body.name == STRING
    input.Body.resolutionStatus == enum_ErrorGroupResolutionStatus[_]
    input.Body.trackingIssues[_].url == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}