Enum cairo_lang_sierra_generator::pre_sierra::Statement

pub enum Statement {
    Sierra(GenStatement<LabelId>),
    Label(Label),
    PushValues(Vec<PushValue>),
}

Represents a pre-sierra statement - a statement before label-resolution.

Variants

Sierra(GenStatement<LabelId>)

A compiled Sierra statement (before label resolution).

Label(Label)

A label.

PushValues(Vec<PushValue>)

An instruction to push variables onto the stack. For example, used before calling functions and returning.

Note that push values does not guarantee that new copies of the values will be pushed. If a prefix of the values is already on the stack, they will not be re-pushed.

Implementations

impl Statement

pub fn into_statement_without_location(self) -> StatementWithLocation

pub fn to_string(&self, db: &dyn SierraGenGroup) -> String

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl PartialEq for Statement

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

impl StructuralPartialEq for Statement