Trait EvalContextExt 

pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn read_from_host(
        &mut self,
        ptr: Pointer,
        len: u64,
        read_cb: impl FnOnce(&mut [u8]) -> Result<usize>,
    ) -> InterpResult<'tcx, Result<u64, IoError>> { ... }
    fn write_to_host(
        &self,
        ptr: Pointer,
        len: u64,
        write_cb: impl FnOnce(&[u8]) -> Result<usize>,
    ) -> InterpResult<'tcx, Result<u64, IoError>> { ... }
}

Provided Methods

fn read_from_host( &mut self, ptr: Pointer, len: u64, read_cb: impl FnOnce(&mut [u8]) -> Result<usize>, ) -> InterpResult<'tcx, Result<u64, IoError>>

Read data from a host Read type, store the result into machine memory, and return whether that worked.

fn write_to_host( &self, ptr: Pointer, len: u64, write_cb: impl FnOnce(&[u8]) -> Result<usize>, ) -> InterpResult<'tcx, Result<u64, IoError>>

Write data to a host Write type, with the bytes taken from machine memory.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<'tcx> EvalContextExt<'tcx> for MiriInterpCx<'tcx>