Struct DefaultTracker 

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

Tracks Simplicity execution events and forwards them to configurable sinks.

This tracker is designed to be embedded in higher-level runners. It avoids printing or panicking on parse errors. Consumers can opt-in to receive structured debug events and jet traces via builder methods.

Implementations

impl<'a> DefaultTracker<'a>

pub fn new(debug_symbols: &'a DebugSymbols) -> Self

Create a new tracker bound to the provided debug symbol table.

pub fn with_debug_sink<F>(self, sink: F) -> Self

where F: FnMut(&str, &dyn Display) + 'a,

Enable forwarding of debug!() calls to the provided sink.

pub fn with_default_debug_sink(self) -> Self

Enable the default debug!() sink that prints to stdout.

pub fn with_jet_trace_sink<F>(self, sink: F) -> Self

where F: FnMut(&Elements, &[Value], &Value) + 'a,

Enable forwarding of jet call traces to the provided sink.

pub fn with_default_jet_trace_sink(self) -> Self

Enable the default jet trace sink that prints to stdout.

Trait Implementations

impl<'a> ExecTracker<Elements> for DefaultTracker<'a>

fn track_left(&mut self, _: Ihr)

Track the execution of the left branch of the case node with the given ihr.

fn track_right(&mut self, _: Ihr)

Track the execution of the right branch of the case node with the given ihr.

fn track_jet_call( &mut self, jet: &Elements, input_buffer: &[UWORD], output_buffer: &[UWORD], _: bool, )

Track the execution of a jet call with the given input_buffer, output_buffer, and call result success.

fn track_dbg_call(&mut self, cmr: &Cmr, value: Value)

Track the potential execution of a dbg! call with the given cmr and value.

fn is_track_debug_enabled(&self) -> bool

Check if tracking debug calls is enabled.