Struct BasicInterpreterState 

pub struct BasicInterpreterState<Regs, Env, Memory, IF> {
    pub regs: Regs,
    pub env: Env,
    pub memory: Memory,
    pub instruction_fetcher: IF,
}

Basic interpreter state.

This is a simple container, which is not required to be used, is helpful for storing the whole state related to the interpreter together.

Fields

regs: Regs

General purpose registers

env: Env

Execution environment.

Extensions might use this to place additional constraints on Env to require additional registers, handlers (like SystemInstructionHandler) or other resources. If no such extension is used, () can be used as a placeholder.

memory: Memory

Memory

instruction_fetcher: IF

Instruction fetcher

Implementations

impl<Regs, Env, Memory, IF> BasicInterpreterState<Regs, Env, Memory, IF>

pub fn execute<I>( &mut self, ) -> Result<(), ExecutionError<<<I as Instruction>::Reg as Register>::Type>>

where Regs: RegisterFile<<I as Instruction>::Reg>, I: ExecutableInstruction<Regs, Env, Memory, IF>, Memory: VirtualMemory, IF: InstructionFetcher<I, Memory> + ProgramCounter<<<I as Instruction>::Reg as Register>::Type, Memory>,

Execute the program with a given basic interpreter state.

The implementation is designed to be efficient with little left to optimize further. Though it is still possible to improve performance by applying additional constraints on the program.

Trait Implementations

impl<Regs: Debug, Env: Debug, Memory: Debug, IF: Debug> Debug for BasicInterpreterState<Regs, Env, Memory, IF>

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

Formats the value using the given formatter.