def TraceParentV00.is_random

bend-trace-context@0.2.0.0 · trace_context.bend:498

import Base
import bend-trace-context@0.2.0.0/src/hex.bend as Hex
import bend-trace-context@0.2.0.0/src/digits.bend as Digits

498# Whether the random-trace-id flag, bit 1, is set (W3C 3.2.2.5.2). It records
499# the sender's assertion; it does not prove how the trace ID was generated.
500def TraceParentV00.is_random(context: TraceParentV00) -> Bool:
501  match context:
502    case TraceParentV00{trace_id, parent_id,
503      Digits.DCon{high, Digits.DCon{low, Digits.DNil{}}}}:
504      Hex.Digit.has_bit1(low)