Struct cairo_lang_sierra_to_casm::references::ReferenceValue

pub struct ReferenceValue {
    pub expression: ReferenceExpression,
    pub ty: ConcreteTypeId,
    pub stack_idx: Option<usize>,
    pub introduction_point: IntroductionPoint,
}

A Sierra reference to a value. Corresponds to an argument or return value of a Sierra statement.

Fields

expression: ReferenceExpression

ty: ConcreteTypeId

stack_idx: Option<usize>

The index of the variable on the continuous-stack. 0 represents the oldest element on the stack.

introduction_point: IntroductionPoint

The location the value was introduced.

Implementations

impl ReferenceValue

pub fn validate(&self, type_sizes: &TypeSizeMap)

Should never actually fail - since this was built by the type system. This is just a sanity check, and therefore it panics instead of returning an error.

Trait Implementations

impl Clone for ReferenceValue

fn clone(&self) -> ReferenceValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ReferenceValue

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

Formats the value using the given formatter.