miden_debug_engine/debug/
mod.rs1mod 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};