Struct CairoProgram 

pub struct CairoProgram {
    pub instructions: Vec<Instruction>,
    pub debug_info: CairoProgramDebugInfo,
    pub consts_info: ConstsInfo,
}

The CASM program representation.

Fields

instructions: Vec<Instruction>

debug_info: CairoProgramDebugInfo

consts_info: ConstsInfo

Implementations

impl CairoProgram

pub fn assemble(&self) -> AssembledCairoProgram

Creates an assembled representation of the program.

pub fn assemble_ex<'a>( &'a self, header: impl IntoIterator<Item = &'a Instruction>, footer: &[Instruction], ) -> AssembledCairoProgram

Creates an assembled representation of the program preceded by header and followed by footer.

pub fn sierra_statement_index_by_pc(&self, pc: usize) -> StatementIdx

Returns the Sierra statement corresponding to the given PC.

Trait Implementations

impl Clone for CairoProgram

fn clone(&self) -> CairoProgram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CairoProgram

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

Formats the value using the given formatter.

impl Display for CairoProgram

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

Formats the value using the given formatter.

impl PartialEq for CairoProgram

fn eq(&self, other: &CairoProgram) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CairoProgram

impl StructuralPartialEq for CairoProgram