Struct cairo_lang_lowering::objects::FlatBlock

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

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

Fields

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.

end: FlatBlockEnd

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

Implementations

impl FlatBlock

pub fn is_set(&self) -> bool

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

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

impl Default for FlatBlock

fn default() -> Self

Returns the “default value” for a type.

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

impl StructuralEq for FlatBlock

impl StructuralPartialEq for FlatBlock