Trait Interpreter

pub trait Interpreter<H> {
    type State;
    type Trap;

    // Required methods
    fn deconstruct(self) -> (Self::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>;
}

An interpreter.

Required Associated Types

type State

Interpreter state.

type Trap

Interpreter trap.

Required Methods

fn deconstruct(self) -> (Self::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.

Implementors

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

type State = S

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