Enum DebugVarLocation 

pub enum DebugVarLocation {
    Stack(u8),
    Memory(u32),
    Const(Felt),
    Local(i16),
    Unavailable,
    ResolvedFrameBase {
        base: DebugFrameBase,
        byte_offset: i64,
    },
    Expression(DebugLocationExpression),
}

Describes where a variable’s value can be found during execution.

This enum models the different ways a variable’s value might be stored during program execution, ranging from simple stack positions to complex expressions.

Variants

Stack(u8)

Variable is at stack position N (0 = top of stack)

Memory(u32)

Variable is in memory at the given element address

Const(Felt)

Variable is a constant field element

Local(i16)

Variable is in local memory at a signed offset from FMP.

The actual memory address is computed as: FMP + offset where offset is typically negative (locals are below FMP). For example, with 3 locals: local[0] has offset -3, local[2] has offset -1.

Unavailable

The variable has no representable location at this program point.

ResolvedFrameBase

Variable is in Wasm linear memory at value_of(base) + byte_offset.

The base is expressed entirely in Miden execution coordinates. Its runtime value and the offset are byte addresses; the debugger converts the resulting address to a Miden memory element address before reading the variable.

Fields

base: DebugFrameBase

Resolved location containing the frame-base byte address.

byte_offset: i64

Byte offset from the base (may be positive or negative).

Expression(DebugLocationExpression)

A compound location expressed entirely in Miden runtime coordinates.

Trait Implementations

impl Clone for DebugVarLocation

fn clone(&self) -> DebugVarLocation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DebugVarLocation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deserializable for DebugVarLocation

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Display for DebugVarLocation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for DebugVarLocation

impl PartialEq for DebugVarLocation

fn eq(&self, other: &DebugVarLocation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serializable for DebugVarLocation

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for DebugVarLocation