Trait EvalContextExt 

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

Provided Methods

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

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

fn write_to_host( &mut self, file: impl Write, len: usize, ptr: Pointer, ) -> InterpResult<'tcx, Result<usize, 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>