Skip to main content

KernelMachine

telltale_vm::kernel

Trait KernelMachine 

Source 
pub trait KernelMachine {
    // Required method
    fn kernel_step_round(
        &mut self,
        handler: &dyn EffectHandler,
        n: usize,
    ) -> Result<StepResult, VMError>;
}
Expand description

Runtime machine that can execute one kernel scheduler round.

Required Methods§

Source

fn kernel_step_round( &mut self, handler: &dyn EffectHandler, n: usize, ) -> Result<StepResult, VMError>

Execute one scheduler round in the machine’s native state.

§Errors

Returns a VMError if a coroutine faults.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§