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>;
}

Required Associated Types

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>

Implementors

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