Struct Exit 

pub struct Exit {
    pub targets: Vec<BlockId>,
    pub state: Option<u32>,
}

Where control arrives when it runs off the end of a shape, or when it breaks or continues a labelled one.

More than one target means an irreducible region’s dispatch: which of them is entered is the value written to Exit::state on the way.

Fields

targets: Vec<BlockId>

The blocks control can arrive at.

state: Option<u32>

The state variable that says which, when there is more than one.

Implementations

impl Exit

pub fn nowhere() -> Self

Nothing follows: control cannot leave this way.

pub fn to(target: BlockId) -> Self

One block follows, with no dispatch in between.

pub fn index_of(&self, target: BlockId) -> Option<usize>

Which entry target is, if this exit reaches it.

Trait Implementations

impl Clone for Exit

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 Exit

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

Formats the value using the given formatter.

impl Default for Exit

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Exit

impl PartialEq for Exit

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Exit