Enum Statement

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

Lowered statement.

Variants

Const(StatementConst)

Call(StatementCall)

StructConstruct(StatementStructConstruct)

StructDestructure(StatementStructDestructure)

EnumConstruct(StatementEnumConstruct)

Snapshot(StatementSnapshot)

Desnap(StatementDesnap)

Implementations

impl Statement

pub fn inputs(&self) -> &[VarUsage]

pub fn inputs_mut(&mut self) -> &mut [VarUsage]

pub fn outputs(&self) -> &[VariableId]

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

pub fn location_mut(&mut self) -> Option<&mut 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

Tests for self and other values to be equal, and is used by ==.

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

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