Enum Terminator 

pub enum Terminator {
    Jump(BlockId, Vec<Value>),
    Branch {
        condition: Value,
        then_block: BlockId,
        then_args: Vec<Value>,
        else_block: BlockId,
        else_args: Vec<Value>,
    },
    Switch {
        value: Value,
        default: BlockId,
        cases: Vec<(Value, BlockId)>,
    },
    Return(Option<Value>),
    Revert(String),
    Panic(String),
    Invalid,
}

Variants

Jump(BlockId, Vec<Value>)

Branch

Fields

condition: Value

then_block: BlockId

then_args: Vec<Value>

else_block: BlockId

else_args: Vec<Value>

Switch

Fields

value: Value

default: BlockId

cases: Vec<(Value, BlockId)>

Return(Option<Value>)

Revert(String)

Panic(String)

Invalid

Implementations

impl Terminator

pub fn successors(&self) -> Vec<BlockId>

pub fn is_return(&self) -> bool

pub fn is_revert(&self) -> bool

Trait Implementations

impl Clone for Terminator

fn clone(&self) -> Terminator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Terminator

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Terminator

fn deserialize<__D>( __deserializer: __D, ) -> Result<Terminator, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Terminator

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.