Struct DebuggerHost 

pub struct DebuggerHost<S: SourceManager> { /* private fields */ }

This is an implementation of BaseHost which is essentially miden_processor::DefaultHost, but extended with additional functionality for debugging, in particular it manages trace events that record the entry or exit of a procedure call frame.

Implementations

impl<S> DebuggerHost<S>

where S: SourceManager,

pub fn new(_adv_provider: AdviceProvider, source_manager: S) -> Self

Construct a new instance of DebuggerHost with the given advice provider.

pub fn register_trace_handler<F>(&mut self, event: TraceEvent, callback: F)

where F: FnMut(RowIndex, TraceEvent) + 'static,

Register a trace handler for event

pub fn register_assert_failed_tracer<F>(&mut self, callback: F)

where F: FnMut(RowIndex, TraceEvent) + 'static,

Register a handler to be called when an assertion in the VM fails

pub fn load_mast_forest(&mut self, forest: Arc<MastForest>)

Load forest into the MAST store for this host

Trait Implementations

impl<S> BaseHost for DebuggerHost<S>

where S: SourceManager,

fn get_label_and_source_file( &self, location: &Location, ) -> (SourceSpan, Option<Arc<SourceFile>>)

Returns the SourceSpan and optional SourceFile for the provided location.

fn on_trace( &mut self, process: &mut ProcessState<'_>, trace_id: u32, ) -> Result<(), ExecutionError>

Handles the trace emitted from the VM.

fn on_assert_failed(&mut self, process: &ProcessState<'_>, err_code: Felt)

Handles the failure of the assertion instruction.

fn on_debug( &mut self, process: &mut ProcessState<'_>, options: &DebugOptions, ) -> Result<(), ExecutionError>

Handles the debug request from the VM.

fn resolve_event(&self, _event_id: EventId) -> Option<&EventName>

Returns the EventName registered for the provided EventId, if any.

impl<S: Default + SourceManager> Default for DebuggerHost<S>

fn default() -> DebuggerHost<S>

Returns the “default value” for a type.

impl<S> SyncHost for DebuggerHost<S>

where S: SourceManager,

fn get_mast_forest(&self, node_digest: &Word) -> Option<Arc<MastForest>>

Returns MAST forest corresponding to the specified digest, or None if the MAST forest for this digest could not be found in this host.

fn on_event( &mut self, _process: &ProcessState<'_>, ) -> Result<Vec<AdviceMutation>, EventError>

Invoked when the VM encounters an EMIT operation.