Trait miri::shims::windows::sync::EvalContextExt

source · 
pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {

Show 13 methods    fn AcquireSRWLockExclusive(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn TryAcquireSRWLockExclusive(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
    fn ReleaseSRWLockExclusive(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn AcquireSRWLockShared(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn TryAcquireSRWLockShared(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
    fn ReleaseSRWLockShared(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn InitOnceBeginInitialize(
        &mut self,
        init_once_op: &OpTy<'tcx, Provenance>,
        flags_op: &OpTy<'tcx, Provenance>,
        pending_op: &OpTy<'tcx, Provenance>,
        context_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
    fn InitOnceComplete(
        &mut self,
        init_once_op: &OpTy<'tcx, Provenance>,
        flags_op: &OpTy<'tcx, Provenance>,
        context_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
    fn WaitOnAddress(
        &mut self,
        ptr_op: &OpTy<'tcx, Provenance>,
        compare_op: &OpTy<'tcx, Provenance>,
        size_op: &OpTy<'tcx, Provenance>,
        timeout_op: &OpTy<'tcx, Provenance>,
        dest: &PlaceTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn WakeByAddressSingle(
        &mut self,
        ptr_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn SleepConditionVariableSRW(
        &mut self,
        condvar_op: &OpTy<'tcx, Provenance>,
        lock_op: &OpTy<'tcx, Provenance>,
        timeout_op: &OpTy<'tcx, Provenance>,
        flags_op: &OpTy<'tcx, Provenance>,
        dest: &PlaceTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
    fn WakeConditionVariable(
        &mut self,
        condvar_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn WakeAllConditionVariable(
        &mut self,
        condvar_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }

}

Provided Methods§

Implementors§