Struct TraceContext 

pub struct TraceContext<'a> { /* private fields */ }

Everything checks need, precomputed once per trace.

Implementations

impl<'a> TraceContext<'a>

pub fn exchanges(&self) -> impl Iterator<Item = Exchange<'a>> + '_

Iterates completed request/response exchanges, in response order.

pub fn exchanges_for( &self, method: &'a str, ) -> impl Iterator<Item = Exchange<'a>> + '_

Completed exchanges for one request method — the shape feature-area checks want: “every tools/list result MUST …”.

impl<'a> TraceContext<'a>

pub fn new(events: &'a [TraceEvent]) -> Self

Builds the context in one pass over the events.

Panics

When seq is not strictly increasing across events. The trace schema requires it, reader::parse_trace rejects documents that violate it, and several checks compare seq values across events on the premise that no two events share one — a hand-built slice that breaks the premise would otherwise be judged silently wrong, not loudly invalid.

pub const fn events(&self) -> &'a [TraceEvent]

The underlying events.

pub fn messages( &self, ) -> impl Iterator<Item = (&'a TraceEvent, &MessageKind<'a>, Phase)> + '_

Iterates (event, classification, phase-before-event) triples for message events only — the shape almost every check wants.

pub const fn initialize(&self) -> &InitializeExchange<'a>

The observed initialize exchange.

pub fn server_capabilities(&self) -> Option<&'a Value>

The server’s declared capabilities, from the initialize result.

pub fn client_capabilities(&self) -> Option<&'a Value>

The client’s declared capabilities, from the initialize request params.

pub const fn final_phase(&self) -> Phase

The lifecycle phase after the entire trace has been processed.

Trait Implementations

impl<'a> Debug for TraceContext<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.