Trait EvalContextPrivExt 

trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn read_from_fd(
        &mut self,
        fd: FileDescriptionRef<dyn FileDescription>,
        ptr: Pointer,
        len: u64,
        offset: Option<i128>,
        finish: DynMachineCallback<'tcx, Result<u64, IoError>>,
    ) -> InterpResult<'tcx> { ... }
    fn write_to_fd(
        &mut self,
        fd: FileDescriptionRef<dyn FileDescription>,
        ptr: Pointer,
        len: u64,
        offset: Option<i128>,
        finish: DynMachineCallback<'tcx, Result<u64, IoError>>,
    ) -> InterpResult<'tcx> { ... }
    fn setfl_ignored_flags(&self) -> i32 { ... }
    fn read_iovec_array(
        &mut self,
        iov: &MPlaceTy<'tcx>,
        iovcnt: u64,
    ) -> InterpResult<'tcx, Option<(Vec<(Pointer, u64)>, u64)>> { ... }
}

Provided Methods

fn read_from_fd( &mut self, fd: FileDescriptionRef<dyn FileDescription>, ptr: Pointer, len: u64, offset: Option<i128>, finish: DynMachineCallback<'tcx, Result<u64, IoError>>, ) -> InterpResult<'tcx>

Read len bytes from the fd file description at offset into the buffer pointed to by ptr. If offset is Some, the read occurs at the given absolute position rather than the current file position (read_at semantics rather than read). finish will be invoked when the read is done (which might be way after this function returns as the read may block).

fn write_to_fd( &mut self, fd: FileDescriptionRef<dyn FileDescription>, ptr: Pointer, len: u64, offset: Option<i128>, finish: DynMachineCallback<'tcx, Result<u64, IoError>>, ) -> InterpResult<'tcx>

Write len bytes at offset from the buffer pointed to by ptr into the fd file description. If offset is Some, the write occurs at the given absolute position rather than the current file position (write_at semantics rather than write). finish will be invoked when the write is done (which might be way after this function returns as the write may block).

fn setfl_ignored_flags(&self) -> i32

Flags that never get stored by SETFL.

fn read_iovec_array( &mut self, iov: &MPlaceTy<'tcx>, iovcnt: u64, ) -> InterpResult<'tcx, Option<(Vec<(Pointer, u64)>, u64)>>

Read the first iovcnt entries of the iovec array iov. Returns the (iov_base, iov_len) pair of every entry together with the sum of all iov_len values, after checking that every buffer is valid memory. If that sum does not fit in the target’s ssize_t, None is returned instead, and the caller should fail with EINVAL.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<'tcx> EvalContextPrivExt<'tcx> for MiriInterpCx<'tcx>