Enum move_ir_types::ast::Statement

pub enum Statement {
    CommandStatement(Cmd),
    IfElseStatement(IfElse),
    WhileStatement(While),
    LoopStatement(Loop),
    EmptyStatement,
}

Variants

CommandStatement(Cmd)

c;

IfElseStatement(IfElse)

if (e) { s_1 } else { s_2 }

WhileStatement(While)

while (e) { s }

LoopStatement(Loop)

loop { s }

EmptyStatement

no-op that eases parsing in some places

Implementations

impl Statement

pub fn cmd(c: Cmd) -> Self

Lifts a command into a statement

pub fn if_block(cond: Exp, if_block: Block) -> Self

Creates an Statement::IfElseStatement variant with no else branch

pub fn if_else(cond: Exp, if_block: Block, else_block: Block) -> Self

Creates an Statement::IfElseStatement variant with an else branch

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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Statement