Struct EtableInterpreter

pub struct EtableInterpreter<'etable, S, ES> { /* private fields */ }

Interpreter that uses Etable.

Implementations

impl<'etable, S, ES> EtableInterpreter<'etable, S, ES>

pub const fn position(&self) -> usize

Return a reference of the program counter.

pub fn new(machine: Machine<S>, etable: &'etable ES) -> Self

Create a new interpreter from the machine state and etable.

pub fn deconstruct(self) -> Machine<S>

Deconstruct the interpreter to get the underlying machine state.

pub fn exit(&mut self)

Explicit exit of the machine. Further step will return error.

pub fn inspect(&self) -> Option<(Opcode, &Stack)>

Inspect the machine’s next opcode and current stack.

pub fn perform<R, F: FnOnce(&mut Self) -> Result<R, ExitError>>( &mut self, f: F, ) -> Result<R, ExitError>

Perform any operation. If the operation fails, then set the machine status to already exited.

pub fn peek_opcode(&self) -> Option<Opcode>

Pick the next opcode.

pub fn advance(&mut self)

Advance the PC by one.

Methods from Deref<Target = Machine<S>>

pub fn code(&self) -> &[u8]

Machine code.

pub fn is_empty(&self) -> bool

Whether the machine has empty code.

Trait Implementations

impl<'etable, S, ES> AsMut<Machine<S>> for EtableInterpreter<'etable, S, ES>

fn as_mut(&mut self) -> &mut Machine<S>

Converts this type into a mutable reference of the (usually inferred) input type.

impl<'etable, S, ES> AsRef<Machine<S>> for EtableInterpreter<'etable, S, ES>

fn as_ref(&self) -> &Machine<S>

Converts this type into a shared reference of the (usually inferred) input type.

impl<'etable, S, ES> Deref for EtableInterpreter<'etable, S, ES>

type Target = Machine<S>

The resulting type after dereferencing.

fn deref(&self) -> &Machine<S>

Dereferences the value.

impl<'etable, S, ES> DerefMut for EtableInterpreter<'etable, S, ES>

fn deref_mut(&mut self) -> &mut Machine<S>

Mutably dereferences the value.

impl<'etable, S, H, ES: Etable<H, State = S>> FeedbackInterpreter<H, CallFeedback> for EtableInterpreter<'etable, S, ES>

where S: AsRef<RuntimeState> + AsMut<RuntimeState>,

fn feedback( &mut self, feedback: CallFeedback, _handler: &mut H, ) -> Result<(), ExitError>

Feedback to the interpreter.

impl<'etable, S, H, ES: Etable<H, State = S>> FeedbackInterpreter<H, CreateFeedback> for EtableInterpreter<'etable, S, ES>

where S: AsRef<RuntimeState> + AsMut<RuntimeState>,

fn feedback( &mut self, feedback: CreateFeedback, _handler: &mut H, ) -> Result<(), ExitError>

Feedback to the interpreter.

impl<'etable, S, H, ES: Etable<H, State = S>> Interpreter<H> for EtableInterpreter<'etable, S, ES>

type State = S

Interpreter state.

type Trap = <ES as Etable<H>>::Trap

Interpreter trap.

fn deconstruct(self) -> (ES::State, Vec<u8>)

Deconstruct the interpreter.

fn state(&self) -> &Self::State

Get a reference to the internal state.

fn state_mut(&mut self) -> &mut Self::State

Get a mutable reference to the internal state.

fn run(&mut self, handle: &mut H) -> Capture<ExitResult, Self::Trap>

Run the interpreter.

impl<'etable, S, H, ES: Etable<H, State = S>> StepInterpreter<H> for EtableInterpreter<'etable, S, ES>

fn step(&mut self, handle: &mut H) -> Result<(), Capture<ExitResult, ES::Trap>>

Step the interpreter.