Enum move_ir_types::ast::Statement_

pub enum Statement_ {
    Abort(Option<Box<Exp>>),
    Assert(Box<Exp>, Box<Exp>),
    Return(Box<Exp>),
    Assign(Vec<LValue>, Exp),
    Exp(Box<Exp>),
    Jump(BlockLabel),
    JumpIf(Box<Exp>, BlockLabel),
    JumpIfFalse(Box<Exp>, BlockLabel),
    Unpack(StructName, Vec<Type>, Fields<Var>, Box<Exp>),
}

A Block_ is composed of zero or more “statements,” which can be translated into one or more bytecode instructions.

Variants

Abort(Option<Box<Exp>>)

abort e.

Assert(Box<Exp>, Box<Exp>)

assert(e_1, e_2)

Return(Box<Exp>)

return e_1, ... , e_j

Assign(Vec<LValue>, Exp)

l_1, ..., l_n = e

Exp(Box<Exp>)

A statement representing an expression e.

Jump(BlockLabel)

jump lbl

JumpIf(Box<Exp>, BlockLabel)

jump_if (e) lbl

JumpIfFalse(Box<Exp>, BlockLabel)

jump_if_false (e) lbl

Unpack(StructName, Vec<Type>, Fields<Var>, Box<Exp>)

n { f_1: x_1, ... , f_j: x_j } = e

Implementations

impl Statement_

pub fn return_empty() -> Self

Creates a statement that returns no values.

pub fn return_(op: Exp) -> Self

Creates a statement that returns a single value.

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 Display for Statement_

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

Formats the value using the given formatter.

impl PartialEq<Statement_> 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: &Statement_) -> bool

This method tests for !=.

impl StructuralPartialEq for Statement_