Trait BackendState

pub trait BackendState {
    // Required method
    fn set_termination_reason(&mut self, reason: UndefinedTerminationReason);

    // Provided methods
    fn process_fallible_func_result<T: Sized>(
        &mut self,
        res: Result<T, RunFallibleError>,
    ) -> Result<Result<T, u32>, UndefinedTerminationReason> { ... }
    fn process_alloc_func_result<T: Sized, ExtAllocError: BackendAllocSyscallError>(
        &mut self,
        res: Result<T, ExtAllocError>,
    ) -> Result<Result<T, ExtAllocError>, UndefinedTerminationReason> { ... }
}

Required Methods

fn set_termination_reason(&mut self, reason: UndefinedTerminationReason)

Set termination reason

Provided Methods

fn process_fallible_func_result<T: Sized>( &mut self, res: Result<T, RunFallibleError>, ) -> Result<Result<T, u32>, UndefinedTerminationReason>

Process fallible syscall function result

fn process_alloc_func_result<T: Sized, ExtAllocError: BackendAllocSyscallError>( &mut self, res: Result<T, ExtAllocError>, ) -> Result<Result<T, ExtAllocError>, UndefinedTerminationReason>

Process alloc function result

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Ext, Mem> BackendState for State<Ext, Mem>