Struct cairo_lang_lowering::objects::FlatBlock

pub struct FlatBlock {
    pub inputs: Vec<VariableId>,
    pub statements: Vec<Statement>,
    pub drops: Vec<VariableId>,
    pub end: FlatBlockEnd,
}

A block of statements. Unlike StructuredBlock, this has no reference information, and no panic ending.

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: FlatBlockEnd

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

Trait Implementations

impl Clone for FlatBlock

fn clone(&self) -> FlatBlock

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FlatBlock

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

Formats the value using the given formatter.

impl DebugWithDb<LoweredFormatter<'_>> for FlatBlock

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

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

impl StructuralEq for FlatBlock

impl StructuralPartialEq for FlatBlock