Struct cairo_vm::types::program::Program

pub struct Program { /* private fields */ }

Implementations

impl Program

pub fn new( builtins: Vec<BuiltinName>, data: Vec<MaybeRelocatable>, main: Option<usize>, hints: HashMap<usize, Vec<HintParams>>, reference_manager: ReferenceManager, identifiers: HashMap<String, Identifier>, error_message_attributes: Vec<Attribute>, instruction_locations: Option<HashMap<usize, InstructionLocation>>, ) -> Result<Program, ProgramError>

pub fn new_for_proof( builtins: Vec<BuiltinName>, data: Vec<MaybeRelocatable>, start: usize, end: usize, hints: HashMap<usize, Vec<HintParams>>, reference_manager: ReferenceManager, identifiers: HashMap<String, Identifier>, error_message_attributes: Vec<Attribute>, instruction_locations: Option<HashMap<usize, InstructionLocation>>, ) -> Result<Program, ProgramError>

pub fn from_file( path: &Path, entrypoint: Option<&str>, ) -> Result<Program, ProgramError>

pub fn from_bytes( bytes: &[u8], entrypoint: Option<&str>, ) -> Result<Program, ProgramError>

pub fn prime(&self) -> &str

pub fn iter_builtins(&self) -> impl Iterator<Item = &BuiltinName>

pub fn iter_data(&self) -> impl Iterator<Item = &MaybeRelocatable>

pub fn data_len(&self) -> usize

pub fn builtins_len(&self) -> usize

pub fn get_identifier(&self, id: &str) -> Option<&Identifier>

pub fn get_relocated_instruction_locations( &self, relocation_table: &[usize], ) -> Option<HashMap<usize, InstructionLocation>>

pub fn iter_identifiers(&self) -> impl Iterator<Item = (&str, &Identifier)>

pub fn get_stripped_program(&self) -> Result<StrippedProgram, ProgramError>

pub fn from_stripped_program(stripped: &StrippedProgram) -> Program

pub fn serialize(&self) -> Result<Vec<u8>, ProgramError>

pub fn deserialize( program_serializer_bytes: &[u8], entrypoint: Option<&str>, ) -> Result<Program, ProgramError>

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Program

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

Formats the value using the given formatter.

impl Default for Program

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Program

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

impl StructuralPartialEq for Program