Struct cairo_lang_lowering::objects::StructuredBlock

pub struct StructuredBlock {
    pub initial_refs: Vec<VariableId>,
    pub inputs: Vec<VariableId>,
    pub statements: Vec<StructuredStatement>,
    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

initial_refs: Vec<VariableId>

The variable ids bound to the ref variables (including implicits) at the beginning of the block.

inputs: Vec<VariableId>

Input variables to the block, including implicits.

statements: Vec<StructuredStatement>

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.

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: Sized + 'me,

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

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