Struct EtableInterpreter

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

Implementations

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

where ES: EtableSet,

pub const fn position(&self) -> usize

Return a reference of the program counter.

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

pub fn deconstruct(self) -> Machine<ES::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)

Methods from Deref<Target = Machine<ES::State>>

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

Machine code.

pub fn is_empty(&self) -> bool

Whether the machine has empty code.

Trait Implementations

impl<'etable, ES: EtableSet> AsMachine for EtableInterpreter<'etable, ES>

type State = <ES as EtableSet>::State

fn as_machine(&self) -> &Machine<Self::State>

impl<'etable, ES: EtableSet> AsMachineMut for EtableInterpreter<'etable, ES>

fn as_machine_mut(&mut self) -> &mut Machine<Self::State>

impl<'etable, ES: EtableSet> Deref for EtableInterpreter<'etable, ES>

type Target = Machine<<ES as EtableSet>::State>

The resulting type after dereferencing.

fn deref(&self) -> &Machine<ES::State>

Dereferences the value.

impl<'etable, ES: EtableSet> DerefMut for EtableInterpreter<'etable, ES>

fn deref_mut(&mut self) -> &mut Machine<ES::State>

Mutably dereferences the value.

impl<'etable, H, ES: EtableSet<Handle = H>> FeedbackInterpreter<H, CallFeedback> for EtableInterpreter<'etable, ES>

where ES::State: AsRef<RuntimeState> + AsMut<RuntimeState>,

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

impl<'etable, H, ES: EtableSet<Handle = H>> FeedbackInterpreter<H, CreateFeedback> for EtableInterpreter<'etable, ES>

where ES::State: AsRef<RuntimeState> + AsMut<RuntimeState>,

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

impl<'etable, H, ES: EtableSet<Handle = H>> Interpreter<H> for EtableInterpreter<'etable, ES>

type State = <ES as EtableSet>::State

type Trap = <ES as EtableSet>::Trap

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

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

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

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

impl<'etable, H, ES: EtableSet<Handle = H>> StepInterpreter<H> for EtableInterpreter<'etable, ES>

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