Enum cairo_lang_lowering::objects::Statement

pub enum Statement {
    Literal(StatementLiteral),
    Call(StatementCall),
    StructConstruct(StatementStructConstruct),
    StructDestructure(StatementStructDestructure),
    EnumConstruct(StatementEnumConstruct),
    Snapshot(StatementSnapshot),
    Desnap(StatementDesnap),
}

Lowered statement.

Variants

Literal(StatementLiteral)

Call(StatementCall)

StructConstruct(StatementStructConstruct)

StructDestructure(StatementStructDestructure)

EnumConstruct(StatementEnumConstruct)

Snapshot(StatementSnapshot)

Desnap(StatementDesnap)

Implementations

impl Statement

pub fn inputs(&self) -> Vec<VarUsage>

pub fn outputs(&self) -> Vec<VariableId>

pub fn location(&self) -> Option<LocationId>

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl DebugWithDb<LoweredFormatter<'_>> for Statement

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 Statement

fn eq(&self, other: &Statement) -> 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 Eq for Statement

impl StructuralPartialEq for Statement