Struct Replay 

pub struct Replay { /* private fields */ }

A trace replayed on demand, with one working context.

Forward seeks apply only the intervening steps. A backward seek starts again from the initial context. Memory use does not grow with the number of steps visited. Like Trace::contexts, this trusts its trace; call Trace::validate first when reading an externally supplied trace.

Implementations

impl Replay

pub fn new(trace: Trace) -> Self

Takes ownership of a trace and starts at its initial context.

pub fn trace(&self) -> &Trace

The trace being replayed.

pub fn context_at(&mut self, step: Option<usize>) -> Option<&Context>

The context after step, or the initial context for None. Returns None for a step outside the trace, leaving the cursor unchanged.

pub fn mapping_context_at( &mut self, step: usize, mapping: usize, ) -> Option<Context>

The context after one mapping of step, before its trailing engine writes. Returns None for a missing step or mapping, or malformed mapping boundaries. Only the requested mapping’s context is copied.

Trait Implementations

impl Debug for Replay

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

Formats the value using the given formatter.