Trait Interpreter

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

    // Required methods
    fn deconstruct(self) -> (Self::State, Vec<u8>);
    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 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