enum_TraceSpanKind := [ "SPAN_KIND_UNSPECIFIED", "RPC_SERVER", "RPC_CLIENT" ]

valid {
    input.Body.traces[_].projectId == STRING
    input.Body.traces[_].spans[_].endTime == STRING
    input.Body.traces[_].spans[_].kind == enum_TraceSpanKind[_]
    input.Body.traces[_].spans[_].labels.STRING == STRING
    input.Body.traces[_].spans[_].name == STRING
    input.Body.traces[_].spans[_].parentSpanId == STRING
    input.Body.traces[_].spans[_].spanId == STRING
    input.Body.traces[_].spans[_].startTime == STRING
    input.Body.traces[_].traceId == STRING
    input.ReqMap.ProjectID == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.Body.name == STRING
    input.Body.outputConfig.destination == STRING
    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.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_LinkType := [ "TYPE_UNSPECIFIED", "CHILD_LINKED_SPAN", "PARENT_LINKED_SPAN" ]
enum_MessageEventType := [ "TYPE_UNSPECIFIED", "SENT", "RECEIVED" ]
enum_SpanSpanKind := [ "SPAN_KIND_UNSPECIFIED", "INTERNAL", "SERVER", "CLIENT", "PRODUCER", "CONSUMER" ]

valid {
    input.Body.spans[_].attributes.attributeMap.STRING.boolValue == BOOLEAN
    input.Body.spans[_].attributes.attributeMap.STRING.intValue == STRING
    input.Body.spans[_].attributes.attributeMap.STRING.stringValue.truncatedByteCount == INTEGER
    input.Body.spans[_].attributes.attributeMap.STRING.stringValue.value == STRING
    input.Body.spans[_].attributes.droppedAttributesCount == INTEGER
    input.Body.spans[_].childSpanCount == INTEGER
    input.Body.spans[_].displayName.truncatedByteCount == INTEGER
    input.Body.spans[_].displayName.value == STRING
    input.Body.spans[_].endTime == STRING
    input.Body.spans[_].links.droppedLinksCount == INTEGER
    input.Body.spans[_].links.link[_].attributes.attributeMap.STRING.boolValue == BOOLEAN
    input.Body.spans[_].links.link[_].attributes.attributeMap.STRING.intValue == STRING
    input.Body.spans[_].links.link[_].attributes.attributeMap.STRING.stringValue.truncatedByteCount == INTEGER
    input.Body.spans[_].links.link[_].attributes.attributeMap.STRING.stringValue.value == STRING
    input.Body.spans[_].links.link[_].attributes.droppedAttributesCount == INTEGER
    input.Body.spans[_].links.link[_].spanId == STRING
    input.Body.spans[_].links.link[_].traceId == STRING
    input.Body.spans[_].links.link[_].type == enum_LinkType[_]
    input.Body.spans[_].name == STRING
    input.Body.spans[_].parentSpanId == STRING
    input.Body.spans[_].sameProcessAsParentSpan == BOOLEAN
    input.Body.spans[_].spanId == STRING
    input.Body.spans[_].spanKind == enum_SpanSpanKind[_]
    input.Body.spans[_].stackTrace.stackFrames.droppedFramesCount == INTEGER
    input.Body.spans[_].stackTrace.stackFrames.frame[_].columnNumber == STRING
    input.Body.spans[_].stackTrace.stackFrames.frame[_].fileName.truncatedByteCount == INTEGER
    input.Body.spans[_].stackTrace.stackFrames.frame[_].fileName.value == STRING
    input.Body.spans[_].stackTrace.stackFrames.frame[_].functionName.truncatedByteCount == INTEGER
    input.Body.spans[_].stackTrace.stackFrames.frame[_].functionName.value == STRING
    input.Body.spans[_].stackTrace.stackFrames.frame[_].lineNumber == STRING
    input.Body.spans[_].stackTrace.stackFrames.frame[_].loadModule.buildId.truncatedByteCount == INTEGER
    input.Body.spans[_].stackTrace.stackFrames.frame[_].loadModule.buildId.value == STRING
    input.Body.spans[_].stackTrace.stackFrames.frame[_].loadModule.module.truncatedByteCount == INTEGER
    input.Body.spans[_].stackTrace.stackFrames.frame[_].loadModule.module.value == STRING
    input.Body.spans[_].stackTrace.stackFrames.frame[_].originalFunctionName.truncatedByteCount == INTEGER
    input.Body.spans[_].stackTrace.stackFrames.frame[_].originalFunctionName.value == STRING
    input.Body.spans[_].stackTrace.stackFrames.frame[_].sourceVersion.truncatedByteCount == INTEGER
    input.Body.spans[_].stackTrace.stackFrames.frame[_].sourceVersion.value == STRING
    input.Body.spans[_].stackTrace.stackTraceHashId == STRING
    input.Body.spans[_].startTime == STRING
    input.Body.spans[_].status.code == INTEGER
    input.Body.spans[_].status.details[_].STRING == ANY
    input.Body.spans[_].status.message == STRING
    input.Body.spans[_].timeEvents.droppedAnnotationsCount == INTEGER
    input.Body.spans[_].timeEvents.droppedMessageEventsCount == INTEGER
    input.Body.spans[_].timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.boolValue == BOOLEAN
    input.Body.spans[_].timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.intValue == STRING
    input.Body.spans[_].timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.stringValue.truncatedByteCount == INTEGER
    input.Body.spans[_].timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.stringValue.value == STRING
    input.Body.spans[_].timeEvents.timeEvent[_].annotation.attributes.droppedAttributesCount == INTEGER
    input.Body.spans[_].timeEvents.timeEvent[_].annotation.description.truncatedByteCount == INTEGER
    input.Body.spans[_].timeEvents.timeEvent[_].annotation.description.value == STRING
    input.Body.spans[_].timeEvents.timeEvent[_].messageEvent.compressedSizeBytes == STRING
    input.Body.spans[_].timeEvents.timeEvent[_].messageEvent.id == STRING
    input.Body.spans[_].timeEvents.timeEvent[_].messageEvent.type == enum_MessageEventType[_]
    input.Body.spans[_].timeEvents.timeEvent[_].messageEvent.uncompressedSizeBytes == STRING
    input.Body.spans[_].timeEvents.timeEvent[_].time == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.traceId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

enum_ViewParameter := [ "VIEW_TYPE_UNSPECIFIED", "MINIMAL", "ROOTSPAN", "COMPLETE" ]

valid {
    input.ReqMap.ProjectID == STRING
    input.Qs.endTime == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.startTime == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

enum_LinkType := [ "TYPE_UNSPECIFIED", "CHILD_LINKED_SPAN", "PARENT_LINKED_SPAN" ]
enum_MessageEventType := [ "TYPE_UNSPECIFIED", "SENT", "RECEIVED" ]
enum_SpanSpanKind := [ "SPAN_KIND_UNSPECIFIED", "INTERNAL", "SERVER", "CLIENT", "PRODUCER", "CONSUMER" ]

valid {
    input.Body.attributes.attributeMap.STRING.boolValue == BOOLEAN
    input.Body.attributes.attributeMap.STRING.intValue == STRING
    input.Body.attributes.attributeMap.STRING.stringValue.truncatedByteCount == INTEGER
    input.Body.attributes.attributeMap.STRING.stringValue.value == STRING
    input.Body.attributes.droppedAttributesCount == INTEGER
    input.Body.childSpanCount == INTEGER
    input.Body.displayName.truncatedByteCount == INTEGER
    input.Body.displayName.value == STRING
    input.Body.endTime == STRING
    input.Body.links.droppedLinksCount == INTEGER
    input.Body.links.link[_].attributes.attributeMap.STRING.boolValue == BOOLEAN
    input.Body.links.link[_].attributes.attributeMap.STRING.intValue == STRING
    input.Body.links.link[_].attributes.attributeMap.STRING.stringValue.truncatedByteCount == INTEGER
    input.Body.links.link[_].attributes.attributeMap.STRING.stringValue.value == STRING
    input.Body.links.link[_].attributes.droppedAttributesCount == INTEGER
    input.Body.links.link[_].spanId == STRING
    input.Body.links.link[_].traceId == STRING
    input.Body.links.link[_].type == enum_LinkType[_]
    input.Body.name == STRING
    input.Body.parentSpanId == STRING
    input.Body.sameProcessAsParentSpan == BOOLEAN
    input.Body.spanId == STRING
    input.Body.spanKind == enum_SpanSpanKind[_]
    input.Body.stackTrace.stackFrames.droppedFramesCount == INTEGER
    input.Body.stackTrace.stackFrames.frame[_].columnNumber == STRING
    input.Body.stackTrace.stackFrames.frame[_].fileName.truncatedByteCount == INTEGER
    input.Body.stackTrace.stackFrames.frame[_].fileName.value == STRING
    input.Body.stackTrace.stackFrames.frame[_].functionName.truncatedByteCount == INTEGER
    input.Body.stackTrace.stackFrames.frame[_].functionName.value == STRING
    input.Body.stackTrace.stackFrames.frame[_].lineNumber == STRING
    input.Body.stackTrace.stackFrames.frame[_].loadModule.buildId.truncatedByteCount == INTEGER
    input.Body.stackTrace.stackFrames.frame[_].loadModule.buildId.value == STRING
    input.Body.stackTrace.stackFrames.frame[_].loadModule.module.truncatedByteCount == INTEGER
    input.Body.stackTrace.stackFrames.frame[_].loadModule.module.value == STRING
    input.Body.stackTrace.stackFrames.frame[_].originalFunctionName.truncatedByteCount == INTEGER
    input.Body.stackTrace.stackFrames.frame[_].originalFunctionName.value == STRING
    input.Body.stackTrace.stackFrames.frame[_].sourceVersion.truncatedByteCount == INTEGER
    input.Body.stackTrace.stackFrames.frame[_].sourceVersion.value == STRING
    input.Body.stackTrace.stackTraceHashId == STRING
    input.Body.startTime == STRING
    input.Body.status.code == INTEGER
    input.Body.status.details[_].STRING == ANY
    input.Body.status.message == STRING
    input.Body.timeEvents.droppedAnnotationsCount == INTEGER
    input.Body.timeEvents.droppedMessageEventsCount == INTEGER
    input.Body.timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.boolValue == BOOLEAN
    input.Body.timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.intValue == STRING
    input.Body.timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.stringValue.truncatedByteCount == INTEGER
    input.Body.timeEvents.timeEvent[_].annotation.attributes.attributeMap.STRING.stringValue.value == STRING
    input.Body.timeEvents.timeEvent[_].annotation.attributes.droppedAttributesCount == INTEGER
    input.Body.timeEvents.timeEvent[_].annotation.description.truncatedByteCount == INTEGER
    input.Body.timeEvents.timeEvent[_].annotation.description.value == STRING
    input.Body.timeEvents.timeEvent[_].messageEvent.compressedSizeBytes == STRING
    input.Body.timeEvents.timeEvent[_].messageEvent.id == STRING
    input.Body.timeEvents.timeEvent[_].messageEvent.type == enum_MessageEventType[_]
    input.Body.timeEvents.timeEvent[_].messageEvent.uncompressedSizeBytes == STRING
    input.Body.timeEvents.timeEvent[_].time == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}