Module debug

Structs§

Breakpoint
CallFrame
CallFrameRecord: A single call, with the calls it made nested underneath.
CallStack
CallTrace: The hierarchy of calls made during an execution.
CurrentFrame
DebugVarSnapshot: A snapshot of a debug variable at a specific clock cycle.
DebugVarTracker: Tracks debug variable snapshots, mapping variable names to their most recent location info.
InlineCallFrame
InvocationId: Session-local identity of a recovered invocation, independent of stack position.
LogicalStackFrame
NativePtr: This represents a descriptor for a pointer translated from the IR into a form suitable for referencing data in Miden’s linear memory.
ReadMemoryExpr
RecoveredCallStack: Session-owned source-frame recovery, independent of the event stack used for execution control.
ResolvedDebugVariable: A variable resolved in its owning invocation’s retained execution context.
ResolvedLocation
ReturnTarget: An invocation to finish, captured before execution resumes.
StackTrace
StepInfo
TracedArg: A single argument of a traced call.
TypedProcedure: Typed ABI metadata for a package entrypoint.

format_value: Resolves and decodes the package debug type represented by ty.
inline_frames_for_operation: Resolves the inline frames active for an operation.
is_internal_source_uri: Returns true for source paths emitted by compiler/runtime internals rather than user code.
resolve_location_from_filesystem: Resolve a source location directly from the filesystem, returning the resolved path and line.
resolve_source_file_for_location: Resolve a source file for location.
resolve_source_path: Resolve a source URI to an existing local filesystem path.
resolve_typed_variable_values: Resolve a typed debug variable into the canonical ABI felts consumed by the typed decoder.
resolve_variable_value: Resolve a debug variable’s value given its location and the current VM state.
resolve_variable_values: Resolve one or more consecutive felts for a debug variable.
snapshot_transient_debug_values: Snapshot transient debug locations at the decorator point.