Skip to main content

miden_debug_engine/debug/
mod.rs

1mod abi_types;
2mod breakpoint;
3mod calltrace;
4mod memory;
5mod native_ptr;
6mod stacktrace;
7mod variables;
8
9#[cfg(feature = "dap")]
10pub(crate) use self::breakpoint::{procedure_matches, procedure_pattern};
11#[cfg(feature = "std")]
12pub use self::stacktrace::{resolve_location_from_filesystem, resolve_source_path};
13pub use self::{
14    abi_types::{TypedProcedure, format_value},
15    breakpoint::{Breakpoint, BreakpointType, OperationMatcher},
16    calltrace::{CallFrameRecord, CallTrace, TracedArg},
17    memory::{FormatType, MemoryMode, ReadMemoryExpr},
18    native_ptr::NativePtr,
19    stacktrace::{
20        CallFrame, CallStack, ControlFlowOp, CurrentFrame, FrameTransition, InlineCallFrame,
21        InvocationId, LogicalFrameKind, LogicalStackFrame, OpDetail, RecoveredCallStack,
22        ResolvedLocation, ReturnTarget, StackTrace, StepInfo, inline_frames_for_operation,
23        is_internal_source_uri, resolve_source_file_for_location,
24    },
25    variables::{
26        DebugVarSnapshot, DebugVarTracker, ResolvedDebugVariable, resolve_typed_variable_values,
27        resolve_variable_value, resolve_variable_values, snapshot_transient_debug_values,
28    },
29};
30pub(crate) use self::{
31    abi_types::{return_felt_count, value_felt_count},
32    calltrace::CallTraceRecorder,
33};