Struct TraceMachine 

pub struct TraceMachine<Inner: SupportMachine> {
    pub machine: DefaultMachine<Inner>,
    /* private fields */
}

Fields

machine: DefaultMachine<Inner>

Implementations

impl<Inner: SupportMachine> TraceMachine<Inner>

pub fn load_program( &mut self, program: &Bytes, args: impl ExactSizeIterator<Item = Result<Bytes, Error>>, ) -> Result<u64, Error>

pub fn load_program_with_metadata( &mut self, program: &Bytes, metadata: &ProgramMetadata, args: impl ExactSizeIterator<Item = Result<Bytes, Error>>, ) -> Result<u64, Error>

pub fn set_max_cycles(&mut self, cycles: u64)

Trait Implementations

impl<Inner: SupportMachine> CoreMachine for TraceMachine<Inner>

type REG = <Inner as CoreMachine>::REG

type MEM = <Inner as CoreMachine>::MEM

fn pc(&self) -> &Self::REG

fn update_pc(&mut self, pc: Self::REG)

fn commit_pc(&mut self)

fn memory(&self) -> &Self::MEM

fn memory_mut(&mut self) -> &mut Self::MEM

fn registers(&self) -> &[Self::REG]

fn set_register(&mut self, idx: usize, value: Self::REG)

fn isa(&self) -> u8

fn version(&self) -> u32

impl<Inner: SupportMachine> DefaultMachineRunner for TraceMachine<Inner>

type Inner = Inner

fn new(machine: DefaultMachine<Inner>) -> Self

Creates a new runner

fn machine(&self) -> &DefaultMachine<Inner>

Fetches DefaultMachine

fn machine_mut(&mut self) -> &mut DefaultMachine<Inner>

Fetches mutable DefaultMachine

fn run(&mut self) -> Result<i8, Error>

Runs the VM till paused

fn inner_mut(&mut self) -> &mut Self::Inner

Fetches the inner SupportMachine for more processing

fn load_program( &mut self, program: &Bytes, args: impl ExactSizeIterator<Item = Result<Bytes, Error>>, ) -> Result<u64, Error>

Loads program

fn load_program_with_metadata( &mut self, program: &Bytes, metadata: &ProgramMetadata, args: impl ExactSizeIterator<Item = Result<Bytes, Error>>, ) -> Result<u64, Error>

Loads program with lazy loading metadata

impl<Inner: SupportMachine> Machine for TraceMachine<Inner>

fn ecall(&mut self) -> Result<(), Error>

fn ebreak(&mut self) -> Result<(), Error>