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

pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    // Provided 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

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>

Implementors

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