Enum move_lang::hlir::ast::Command_

pub enum Command_ {
    Assign(Vec<LValue>, Box<Exp>),
    Mutate(Box<Exp>, Box<Exp>),
    Abort(Exp),
    Return {
        from_user: bool,
        exp: Exp,
    },
    Break,
    Continue,
    IgnoreAndPop {
        pop_num: usize,
        exp: Exp,
    },
    Jump {
        from_user: bool,
        target: Label,
    },
    JumpIf {
        cond: Exp,
        if_true: Label,
        if_false: Label,
    },
}

Variants

Assign(Vec<LValue>, Box<Exp>)

Mutate(Box<Exp>, Box<Exp>)

Abort(Exp)

Return

Fields

from_user: bool

exp: Exp

Break

Continue

IgnoreAndPop

Fields

pop_num: usize

exp: Exp

Jump

Fields

from_user: bool

target: Label

JumpIf

Fields

cond: Exp

if_true: Label

if_false: Label

Implementations

impl Command_

pub fn is_terminal(&self) -> bool

pub fn is_exit(&self) -> bool

pub fn is_unit(&self) -> bool

pub fn successors(&self) -> BTreeSet<Label>

Trait Implementations

impl AstDebug for Command_

fn ast_debug(&self, w: &mut AstWriter)

impl Clone for Command_

fn clone(&self) -> Command_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Command_

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

Formats the value using the given formatter.

impl PartialEq<Command_> for Command_

fn eq(&self, other: &Command_) -> 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 Command_