Struct Program 

pub struct Program<F> {
    pub instructions_and_debug_infos: Vec<Option<(Instruction<F>, Option<DebugInfo>)>>,
    pub pc_base: u32,
}

Fields

instructions_and_debug_infos: Vec<Option<(Instruction<F>, Option<DebugInfo>)>>

A map from program counter to instruction. Sometimes the instructions are enumerated as 0, 4, 8, etc. Maybe at some point we will replace this with a struct that would have a Vec under the hood and divide the incoming pc by whatever given.

pc_base: u32

Implementations

impl<F: Field> Program<F>

pub fn new_empty(pc_base: u32) -> Self

pub fn new_without_debug_infos( instructions: &[Instruction<F>], pc_base: u32, ) -> Self

pub fn new_without_debug_infos_with_option( instructions: &[Option<Instruction<F>>], pc_base: u32, ) -> Self

pub fn from_instructions_and_debug_infos( instructions: &[Instruction<F>], debug_infos: &[Option<DebugInfo>], ) -> Self

We assume that pc_start = pc_base = 0 everywhere except the RISC-V programs, until we need otherwise We use DEFAULT_PC_STEP for consistency with RISC-V

pub fn strip_debug_infos(self) -> Self

pub fn from_instructions(instructions: &[Instruction<F>]) -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn defined_instructions(&self) -> Vec<Instruction<F>>

pub fn num_defined_instructions(&self) -> usize

pub fn enumerate_by_pc(&self) -> Vec<(u32, Instruction<F>, Option<DebugInfo>)>

pub fn get_instruction_and_debug_info( &self, index: usize, ) -> Option<&(Instruction<F>, Option<DebugInfo>)>

pub fn push_instruction_and_debug_info( &mut self, instruction: Instruction<F>, debug_info: Option<DebugInfo>, )

pub fn push_instruction(&mut self, instruction: Instruction<F>)

pub fn append(&mut self, other: Program<F>)

impl<F> Program<F>

pub fn debug_infos(&self) -> ProgramDebugInfo

Trait Implementations

impl<F: Clone> Clone for Program<F>

fn clone(&self) -> Program<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Program<F>

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

Formats the value using the given formatter.

impl<F: Default> Default for Program<F>

fn default() -> Program<F>

Returns the “default value” for a type.

impl<'de, F> Deserialize<'de> for Program<F>

where F: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: Field> Display for Program<F>

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

Formats the value using the given formatter.

impl<F: Field> From<Program<F>> for VmExe<F>

fn from(program: Program<F>) -> Self

Converts to this type from the input type.

impl<F> Serialize for Program<F>

where F: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.