Struct State 

pub struct State {
    pub source_manager: Arc<dyn SourceManager>,
    pub config: Box<DebuggerConfig>,
    pub input_mode: InputMode,
    pub breakpoints: Vec<Breakpoint>,
    pub breakpoints_hit: Vec<Breakpoint>,
    pub next_breakpoint_id: u8,
    pub stopped: bool,
    pub debug_mode: DebugMode,
    /* private fields */
}

Fields

source_manager: Arc<dyn SourceManager>

config: Box<DebuggerConfig>

input_mode: InputMode

breakpoints: Vec<Breakpoint>

breakpoints_hit: Vec<Breakpoint>

next_breakpoint_id: u8

stopped: bool

debug_mode: DebugMode

Implementations

impl State

pub fn new(config: Box<DebuggerConfig>) -> Result<Self, Report>

pub fn from_masm_source(source: &str, args: Vec<Felt>) -> Result<Self, Report>

Create a debugger state directly from inline Miden Assembly source.

This is used by the scripting API for tests and small programmatic debugging harnesses, where there is no compiled package to load.

pub fn new_for_transaction( package: Arc<Package>, stack_inputs: StackInputs, advice_inputs: AdviceInputs, options: ExecutionOptions, source_manager: Arc<dyn SourceManager>, mast_forests: Vec<LoadedMastForest>, event_replay: Vec<Vec<AdviceMutation>>, ) -> Result<Self, Report>

Create a new debugger state for transaction debugging.

This uses pre-recorded event mutations to replay host events during step-by-step debugging, since the debugger’s host doesn’t have access to the real transaction host.

pub fn reload(&mut self) -> Result<(), Report>

pub fn run_until_stopped(&mut self)

Resume local execution until the VM terminates, errors, or a breakpoint is hit.

pub fn create_breakpoint(&mut self, ty: BreakpointType)

pub fn executor(&self) -> &DebugExecutor

pub fn executor_mut(&mut self) -> &mut DebugExecutor

pub fn current_procedure(&self) -> Option<Arc<str>>

pub fn current_location(&self) -> Option<ResolvedLocation>

pub fn current_display_location(&self) -> Option<ResolvedLocation>

pub fn is_next_source_line( start_proc: Option<&str>, start_loc: Option<&ResolvedLocation>, current_proc: Option<&str>, current_loc: Option<&ResolvedLocation>, source_path_prefixes: &[String], minimum_source_line: Option<u32>, ) -> bool

pub fn should_defer_called_breakpoint( &self, proc: &str, current_loc: Option<&ResolvedLocation>, ) -> bool

pub fn deferred_called_breakpoint_is_ready( &self, current_loc: Option<&ResolvedLocation>, ) -> bool

pub fn execution_failed(&self) -> Option<&ExecutionError>

pub fn set_execution_failed(&mut self, error: ExecutionError)

impl State

pub fn read_memory(&mut self, expr: &ReadMemoryExpr) -> Result<String, String>

pub fn current_variables(&self, show_all: bool) -> Vec<DebugVariableValue>

Collect the current debug variables as structured records.

When show_all is false, compiler-generated locals (named local0, local1, etc.) are hidden. Use show_all = true (:vars all) to include them.

pub fn format_variables(&self, show_all: bool) -> String

Format the current debug variables as a string for display.

When show_all is false, compiler-generated locals (named local0, local1, etc.) are hidden. Use show_all = true (:vars all) to include them.

impl State

pub fn new_for_dap(addr: &str) -> Result<Self, Report>

Create a new debugger state for remote DAP debugging.

Connects to a DAP server, performs the handshake, and queries the initial state to populate the executor fields that the TUI panes read.

pub fn step_remote(&mut self) -> Result<DapStopReason, Report>