Trait EvalContextPrivExt 

trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn write_ready_events(
        &mut self,
        watcher: Rc<ReadinessWatcher>,
        interests: BTreeMap<i32, PollInterest<'tcx>>,
    ) -> InterpResult<'tcx, u32> { ... }
    fn readiness_to_poll_bitflag(&self, readiness: &Readiness) -> u16 { ... }
    fn poll_bitflag_to_readiness(
        &self,
        bitflag: u16,
    ) -> InterpResult<'tcx, Readiness> { ... }
}

Provided Methods

fn write_ready_events( &mut self, watcher: Rc<ReadinessWatcher>, interests: BTreeMap<i32, PollInterest<'tcx>>, ) -> InterpResult<'tcx, u32>

For all ready interests on the watcher, write the appropriate readiness into the revents field of the associated poll interest.

fn readiness_to_poll_bitflag(&self, readiness: &Readiness) -> u16

Convert a Readiness instance into the corresponding poll readiness bitflag.

fn poll_bitflag_to_readiness( &self, bitflag: u16, ) -> InterpResult<'tcx, Readiness>

Convert a poll readiness bitflag into the corresponding Readiness instance.

This always sets the write_closed and error readiness since they are implicitly registered for any interest with poll.

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>