Struct cairo_lang_lowering::objects::VarUsage

pub struct VarUsage {
    pub var_id: VariableId,
    pub location: LocationId,
}

Represents a usage of a variable.

For example if we have:

fn foo(a: u32) { 1 + a }

Then the right hand side of the tail expression 1 + a is a VarUsage object with the variable id of the variable a and the location: 1 + a ^ Note that the location associated with the variable that was assigned to ‘a’ is fn foo(a: u32) ^ and it is different from the location in the VarUsage.

The tail expression 1 + a is also going to be assigned a variable and a VarUsage. in that case, the location of both the variable and the usage will be the same.

Fields

var_id: VariableId

location: LocationId

Trait Implementations

impl Clone for VarUsage

fn clone(&self) -> VarUsage

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VarUsage

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

Formats the value using the given formatter.

impl DebugWithDb<LoweredFormatter<'_>> for VarUsage

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

impl PartialEq for VarUsage

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for VarUsage

impl Eq for VarUsage

impl StructuralEq for VarUsage

impl StructuralPartialEq for VarUsage