Enum cairo_lang_lowering::objects::StructuredBlockEnd

pub enum StructuredBlockEnd {
    Callsite(Vec<VariableId>),
    Return {
        refs: Vec<VariableId>,
        returns: Vec<VariableId>,
    },
    Panic {
        refs: Vec<VariableId>,
        data: VariableId,
    },
    Unreachable,
}

Describes what happens to the program flow at the end of a StructuredBlock.

Variants

Callsite(Vec<VariableId>)

This block returns to the call-site, outputting variables to the call-site.

Return

Fields

refs: Vec<VariableId>

returns: Vec<VariableId>

This block ends with a return statement, exiting the function.

Panic

Fields

refs: Vec<VariableId>

data: VariableId

This block ends with a panic statement, exiting the function.

Unreachable

The last statement ended the flow (e.g., match will all arms ending in return), and the end of this block is unreachable.

Trait Implementations

impl Clone for StructuredBlockEnd

fn clone(&self) -> StructuredBlockEnd

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StructuredBlockEnd

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

Formats the value using the given formatter.

impl DebugWithDb<LoweredFormatter<'_>> for StructuredBlockEnd

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>where
    Self: 'me + Sized,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>where
    Self: 'me + Sized,

impl PartialEq<StructuredBlockEnd> for StructuredBlockEnd

fn eq(&self, other: &StructuredBlockEnd) -> 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 TryFrom<StructuredBlockEnd> for FlatBlockEnd

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: StructuredBlockEnd) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for StructuredBlockEnd

impl StructuralEq for StructuredBlockEnd

impl StructuralPartialEq for StructuredBlockEnd