Struct DebugSession 

pub struct DebugSession { /* private fields */ }

A debug session: owns a Debugger and answers DAP-shaped queries against it.

Implementations

impl DebugSession

pub fn launch(src: &str) -> Result<DebugSession, String>

launch — compile the program and stop before the first op.

pub fn threads(&self) -> Vec<DapThread>

threads — the single main thread.

pub fn stack_trace(&self) -> Vec<DapFrame>

stackTrace — the call frames, innermost-first (DAP order).

pub fn variables(&self, frame_id: i64) -> Vec<DapVariable>

variables for a frame (addressed by its stackTrace id) — every register in that frame, named when the compiler’s debug-info pass knew the source name (else R{index}).

pub fn next(&mut self)

next — step over the current op.

pub fn step_in(&mut self)

stepIn — execute exactly one op.

pub fn step_out(&mut self)

stepOut — run to the caller.

pub fn continue_(&mut self)

continue — run to the next breakpoint or the end.

pub fn step_back(&mut self)

stepBack — the time-travel headline (supportsStepBack: true).

pub fn reverse_continue(&mut self)

reverseContinue — run backwards to the previous breakpoint or the start.

pub fn set_breakpoint(&mut self, pc: usize)

setBreakpoints — arm one op-address breakpoint.

pub fn clear_breakpoint(&mut self, pc: usize)

Clear one op-address breakpoint.

pub fn step(&self) -> usize

The time-travel cursor (ops executed so far).

pub fn pc(&self) -> usize

The pc the session is stopped at (the op about to execute).

pub fn is_running(&self) -> bool

Whether the program is still running (not finished, not errored).

pub fn output(&self) -> Vec<String>

The program output emitted so far (the Show lines).

pub fn evaluate(&self, expr: &str) -> Result<String, String>

evaluate — evaluate a LOGOS expression against the current (innermost) frame’s named variables, through the Wave-10 frame evaluator (the tree-walker oracle). Scalar bindings round-trip through LOGOS source; complex values fail exactly as the tree-walker would.