Trait StepInterpreter

pub trait StepInterpreter<H>: Interpreter<H> {
    // Required method
    fn step(
        &mut self,
        handle: &mut H,
    ) -> Result<(), Capture<ExitResult, Self::Trap>>;
}

Required Methods

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

Implementors

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