Skip to main content

EvalContextExt

Trait EvalContextExt 

Source
pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn sched_getaffinity(
        &mut self,
        pid: &OpTy<'tcx>,
        cpusetsize: &OpTy<'tcx>,
        mask: &OpTy<'tcx>,
        dest: &MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx> { ... }
    fn sched_setaffinity(
        &mut self,
        pid: &OpTy<'tcx>,
        cpusetsize: &OpTy<'tcx>,
        mask: &OpTy<'tcx>,
        dest: &MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx> { ... }
}

Provided Methods§

Source

fn sched_getaffinity( &mut self, pid: &OpTy<'tcx>, cpusetsize: &OpTy<'tcx>, mask: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>

Source

fn sched_setaffinity( &mut self, pid: &OpTy<'tcx>, cpusetsize: &OpTy<'tcx>, mask: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§

Source§

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