Enum Term 

pub enum Term {
    Fallthrough,
    Goto,
    Cond {
        cond: Expr,
    },
    Switch {
        selector: Expr,
        targets: SwitchTargets,
        default: Option<u32>,
    },
    Return(Option<Expr>),
    Throw(Expr),
    Jsr,
    Ret,
}

How a basic block ends.

Variants

Fallthrough

Goto

Cond

Jumps to succ[1] when cond is true; falls through to succ[0].

Fields

cond: Expr

Switch

A multi-way branch. default is the machine offset of the default arm when the front-end can identify it (JVM: the switch payload’s default; DEX: the packed-switch/sparse-switch payload’s default); None means “unknown / not recorded”.

Fields

selector: Expr

targets: SwitchTargets

default: Option<u32>

Return(Option<Expr>)

Throw(Expr)

Jsr

Legacy jsr (JVM only; kept so legacy class files can be modelled).

Ret

Legacy ret (JVM only).

Trait Implementations

impl Clone for Term

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.