Struct cairo_vm::types::program::Program

pub struct Program {
    pub builtins: Vec<String>,
    pub prime: String,
    pub data: Vec<MaybeRelocatable>,
    pub constants: HashMap<String, Felt>,
    pub main: Option<usize>,
    pub start: Option<usize>,
    pub end: Option<usize>,
    pub hints: HashMap<usize, Vec<HintParams>>,
    pub reference_manager: ReferenceManager,
    pub identifiers: HashMap<String, Identifier>,
    pub error_message_attributes: Vec<Attribute>,
    pub instruction_locations: Option<HashMap<usize, InstructionLocation>>,
}

Fields

builtins: Vec<String>

prime: String

data: Vec<MaybeRelocatable>

constants: HashMap<String, Felt>

main: Option<usize>

start: Option<usize>

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

Implementations

impl Program

pub fn new(
    builtins: Vec<String>,
    prime: String,
    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 from_file(
    path: &Path,
    entrypoint: Option<&str>
) -> Result<Program, ProgramError>

pub fn from_reader(
    reader: impl Read,
    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<'de> Deserialize<'de> for Program

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<Program> for Program

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Program

impl StructuralEq for Program

impl StructuralPartialEq for Program