Enum DebugVarLocation 

pub enum DebugVarLocation {
    Stack(u8),
    Memory(u32),
    Const(Felt),
    Local(i16),
    FrameBase {
        global_index: u32,
        byte_offset: i64,
    },
    Expression(Vec<u8>),
}

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.

FrameBase

Variable is in WASM linear memory at an address computed from a global base plus a byte offset: value_of(global[global_index]) + byte_offset.

This corresponds to DWARF’s DW_OP_fbreg where the frame base is a WASM global (typically __stack_pointer). The byte offset is divided by the element size (4 for i32) to get the Miden memory element address.

Fields

global_index: u32

WASM global index whose runtime value provides the base address.

byte_offset: i64

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

Expression(Vec<u8>)

Complex location described by expression bytes. This is used for variables that require computation to locate, such as struct fields or array elements.

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<(), Error>

Formats the value using the given formatter.

impl Deserializable for DebugVarLocation

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

where R: ByteReader,

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<'de> Deserialize<'de> for DebugVarLocation

fn deserialize<__D>( __deserializer: __D, ) -> Result<DebugVarLocation, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DebugVarLocation

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

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>(&self, target: &mut W)

where W: ByteWriter,

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 Serialize for DebugVarLocation

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DebugVarLocation