Struct DebugVarTracker 

pub struct DebugVarTracker { /* private fields */ }

Tracks debug variable snapshots, mapping variable names to their most recent location info.

Implementations

impl DebugVarTracker

pub fn new(events: Rc<RefCell<BTreeMap<RowIndex, Vec<DebugVarInfo>>>>) -> Self

Create a new tracker using the given shared event store.

pub fn current_invocation(&self) -> Option<InvocationId>

pub fn has_invocation(&self, invocation: InvocationId) -> bool

pub fn variables_for( &self, invocation: InvocationId, ) -> impl Iterator<Item = &DebugVarSnapshot>

pub fn observe_execution( &mut self, live_ids: impl IntoIterator<Item = InvocationId>, current: Option<InvocationId>, processor: &FastProcessor, clk: RowIndex, infos: Vec<DebugVarInfo>, )

Observe the operation’s owner and declarations before executing it. Only observed active invocations acquire variable state; recovered ancestors do not inherit a callee’s locals.

pub fn resolve( &self, invocation: InvocationId, name: &str, processor: &FastProcessor, ) -> Option<ResolvedDebugVariable>

Read live storage using the selected invocation’s context and retained frame bases.

pub fn record_events(&self, clk: RowIndex, infos: Vec<DebugVarInfo>)

Record debug variable events at the given clock cycle.

pub fn record_events_with_stack( &self, clk: RowIndex, infos: Vec<DebugVarInfo>, stack: &[Felt], )

Record debug variable events after freezing transient stack-backed values.

pub fn update_to_cycle(&mut self, clk: RowIndex)

Process all events up to and including clk, updating current variable state.

pub fn reset(&mut self)

Reset the tracker to the beginning of execution.

pub fn current_variables(&self) -> impl Iterator<Item = &DebugVarSnapshot>

Get all currently visible variables.

pub fn get_variable(&self, name: &str) -> Option<&DebugVarSnapshot>

Get a specific variable by name.

pub fn captured_values(&self, name: &str) -> Option<&[Felt]>

Returns canonical values captured at the variable’s latest debug decorator.

pub fn variable_count(&self) -> usize

Get the number of tracked variables.

pub fn has_variables(&self) -> bool

Check if there are any tracked variables.