Trait EvalContextPrivExt 

trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn readiness_to_epoll_bitflag(&self, readiness: &Readiness) -> u32 { ... }
    fn epoll_bitflag_to_readiness(&self, bitflag: u32) -> Readiness { ... }
    fn return_ready_list(
        &mut self,
        epfd: &FileDescriptionRef<Epoll>,
        dest: &MPlaceTy<'tcx>,
        events: &MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx, i32> { ... }
}

Provided Methods

fn readiness_to_epoll_bitflag(&self, readiness: &Readiness) -> u32

Convert a Readiness instance into the corresponding epoll readiness bitflag.

fn epoll_bitflag_to_readiness(&self, bitflag: u32) -> Readiness

Convert an epoll readiness bitflag into the corresponding Readiness instance.

fn return_ready_list( &mut self, epfd: &FileDescriptionRef<Epoll>, dest: &MPlaceTy<'tcx>, events: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx, i32>

Stores the ready list of the epfd epoll instance into events (which must be an array), and the number of returned events into dest.

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>