Struct cairo_lang_lowering::objects::StructuredBlock

pub struct StructuredBlock {
    pub inputs: Vec<VariableId>,
    pub statements: Vec<Statement>,
    pub drops: Vec<VariableId>,
    pub end: StructuredBlockEnd,
}

A block of statements. Each block gets inputs and outputs, and is composed of a linear sequence of statements.

A block may end with a return, which exits the current function.

A block contains the list of variables to be dropped at its end. Other than these variables and the output variables, it is guaranteed that no other variable is alive.

Fields

inputs: Vec<VariableId>

Input variables to the block, including implicits.

statements: Vec<Statement>

Statements sequence running one after the other in the block, in a linear flow. Note: Inner blocks might end with a return, which will exit the function in the middle. Note: Match is a possible statement, which means it has control flow logic inside, but after its execution is completed, the flow returns to the following statement of the block.

drops: Vec<VariableId>

Which variables are needed to be dropped at the end of this block. Note that these are not explicitly dropped by statements.

end: StructuredBlockEnd

Describes how this block ends: returns to the caller or exits the function.

Trait Implementations

impl Clone for StructuredBlock

fn clone(&self) -> StructuredBlock

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StructuredBlock

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

Formats the value using the given formatter.

impl DebugWithDb<LoweredFormatter<'_>> for StructuredBlock

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<StructuredBlock> for StructuredBlock

fn eq(&self, other: &StructuredBlock) -> 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<StructuredBlock> for FlatBlock

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Eq for StructuredBlock

impl StructuralEq for StructuredBlock

impl StructuralPartialEq for StructuredBlock