Enum RawStatement

pub enum RawStatement {
    Assign(Place, Rvalue),
    FakeRead(Place),
    SetDiscriminant(Place, VariantId),
    Drop(Place),
    Assert(Assert),
    Call(Call),
    Abort(AbortKind),
    Return,
    Break(usize),
    Continue(usize),
    Nop,
    Switch(Switch),
    Loop(Block),
    Error(String),
}

A raw statement: a statement without meta data.

Variants

Assign(Place, Rvalue)

Assigns an Rvalue to a Place. e.g. let y = x; could become y := move x which is represented as Assign(y, Rvalue::Use(Operand::Move(x))).

FakeRead(Place)

Only used for borrow-checking

SetDiscriminant(Place, VariantId)

Not used today because we take MIR built.

Drop(Place)

Assert(Assert)

Call(Call)

Abort(AbortKind)

Panic also handles “unreachable”. We keep the name of the panicking function that was called.

Return

Break(usize)

Break to outer loops. The usize gives the index of the outer loop to break to:

• 0: break to first outer loop (the current loop)
• 1: break to second outer loop
• …

Continue(usize)

Continue to outer loops. The usize gives the index of the outer loop to continue to:

• 0: continue to first outer loop (the current loop)
• 1: continue to second outer loop
• …

Nop

No-op.

Switch(Switch)

Loop(Block)

Error(String)

Implementations

impl RawStatement

pub fn is_assign(&self) -> bool

pub fn is_fake_read(&self) -> bool

pub fn is_set_discriminant(&self) -> bool

pub fn is_drop(&self) -> bool

pub fn is_assert(&self) -> bool

pub fn is_call(&self) -> bool

pub fn is_abort(&self) -> bool

pub fn is_return(&self) -> bool

pub fn is_break(&self) -> bool

pub fn is_continue(&self) -> bool

pub fn is_nop(&self) -> bool

pub fn is_switch(&self) -> bool

pub fn is_loop(&self) -> bool

pub fn is_error(&self) -> bool

impl RawStatement

pub fn to_assign(self) -> Option<(Place, Rvalue)>

pub fn to_fake_read(self) -> Option<Place>

pub fn to_set_discriminant(self) -> Option<(Place, VariantId)>

pub fn to_drop(self) -> Option<Place>

pub fn to_assert(self) -> Option<Assert>

pub fn to_call(self) -> Option<Call>

pub fn to_abort(self) -> Option<AbortKind>

pub fn to_return(self) -> Option<()>

pub fn to_break(self) -> Option<usize>

pub fn to_continue(self) -> Option<usize>

pub fn to_nop(self) -> Option<()>

pub fn to_switch(self) -> Option<Switch>

pub fn to_loop(self) -> Option<Block>

pub fn to_error(self) -> Option<String>

impl RawStatement

pub fn as_assign(&self) -> Option<(&Place, &Rvalue)>

pub fn as_fake_read(&self) -> Option<&Place>

pub fn as_set_discriminant(&self) -> Option<(&Place, &VariantId)>

pub fn as_drop(&self) -> Option<&Place>

pub fn as_assert(&self) -> Option<&Assert>

pub fn as_call(&self) -> Option<&Call>

pub fn as_abort(&self) -> Option<&AbortKind>

pub fn as_return(&self) -> Option<()>

pub fn as_break(&self) -> Option<&usize>

pub fn as_continue(&self) -> Option<&usize>

pub fn as_nop(&self) -> Option<()>

pub fn as_switch(&self) -> Option<&Switch>

pub fn as_loop(&self) -> Option<&Block>

pub fn as_error(&self) -> Option<&String>

impl RawStatement

pub fn as_assign_mut(&mut self) -> Option<(&mut Place, &mut Rvalue)>

pub fn as_fake_read_mut(&mut self) -> Option<&mut Place>

pub fn as_set_discriminant_mut( &mut self, ) -> Option<(&mut Place, &mut VariantId)>

pub fn as_drop_mut(&mut self) -> Option<&mut Place>

pub fn as_assert_mut(&mut self) -> Option<&mut Assert>

pub fn as_call_mut(&mut self) -> Option<&mut Call>

pub fn as_abort_mut(&mut self) -> Option<&mut AbortKind>

pub fn as_return_mut(&mut self) -> Option<()>

pub fn as_break_mut(&mut self) -> Option<&mut usize>

pub fn as_continue_mut(&mut self) -> Option<&mut usize>

pub fn as_nop_mut(&mut self) -> Option<()>

pub fn as_switch_mut(&mut self) -> Option<&mut Switch>

pub fn as_loop_mut(&mut self) -> Option<&mut Block>

pub fn as_error_mut(&mut self) -> Option<&mut String>

Trait Implementations

impl Clone for RawStatement

fn clone(&self) -> RawStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RawStatement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RawStatement

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for RawStatement

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for RawStatement

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl Serialize for RawStatement

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.