Enum Exit 

pub enum Exit<T = Expr> {
    Terminate,
    FallThrough(usize),
    Unconditional(T),
    Branch {
        condition: T,
        when_true: T,
        when_false: usize,
    },
}

Possible ways for an AnnotatedBlock to exit.

Variants

Terminate

Unconditional program halt.

Includes stop (0x00), return (0xF3), revert (0xfd), etc.

FallThrough(usize)

Unconditionally continue to the subsequent block, which has the given offset.

Commonly occurs when the next block begins with a jumpdest (0x5b).

Unconditional(T)

Unconditionally jump to the given offset.

Branch

Conditionally jump to one of the given offsets.

Fields

condition: T

Expression that determines whether to fall through to the next block or jump.

when_true: T

Offset to jump to if condition is truthy.

when_false: usize

Offset of block to fall through to if condition is not truthy.

Implementations

impl<T> Exit<T>

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

Get the offset of the fall through block, or None if this block can never fall through.

Both Exit::FallThrough and Exit::Branch have fall through offsets.

pub fn is_fall_through(&self) -> bool

Return true if this block is an Exit::FallThrough, or false otherwise.

pub fn is_terminate(&self) -> bool

Return true if this block is an Exit::Terminate, or false otherwise.

pub fn is_unconditional(&self) -> bool

Return true if this block is an Exit::Unconditional, or false otherwise.

pub fn is_branch(&self) -> bool

Return true if this block is an Exit::Branch, or false otherwise.

Trait Implementations

impl<T: Clone> Clone for Exit<T>

fn clone(&self) -> Exit<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Exit<T>

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

Formats the value using the given formatter.