Enum Statement 

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

Lowered statement.

Variants

Const(StatementConst<'db>)

Call(StatementCall<'db>)

StructConstruct(StatementStructConstruct<'db>)

StructDestructure(StatementStructDestructure<'db>)

EnumConstruct(StatementEnumConstruct<'db>)

Snapshot(StatementSnapshot<'db>)

Desnap(StatementDesnap<'db>)

Implementations

impl<'db> Statement<'db>

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

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

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

pub fn outputs_mut(&mut self) -> &mut [VariableId]

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

pub fn location_mut(&mut self) -> Option<&mut LocationId<'db>>

Trait Implementations

impl<'db> Clone for Statement<'db>

fn clone(&self) -> Statement<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for Statement<'db>

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

Formats the value using the given formatter.

impl<'db> DebugWithDb<'db> for Statement<'db>

type Db = LoweredFormatter<'db>

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

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

where Self: Sized + 'me,

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

where Self: Sized + 'me,

impl<'db> PartialEq for Statement<'db>

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

impl<'db> StructuralPartialEq for Statement<'db>