Trait miri::shims::windows::sync::EvalContextExtPriv

trait EvalContextExtPriv<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    // Provided methods
    fn reacquire_cond_lock(
        &mut self,
        thread: ThreadId,
        lock: RwLockId,
        mode: RwLockMode
    ) -> InterpResult<'tcx> { ... }
    fn srwlock_get_id(
        &mut self,
        rwlock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, RwLockId> { ... }
    fn init_once_get_id(
        &mut self,
        init_once_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, InitOnceId> { ... }
    fn condvar_get_id(
        &mut self,
        condvar_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, CondvarId> { ... }
}

Provided Methods

fn reacquire_cond_lock( &mut self, thread: ThreadId, lock: RwLockId, mode: RwLockMode ) -> InterpResult<'tcx>

Try to reacquire the lock associated with the condition variable after we were signaled.

fn srwlock_get_id( &mut self, rwlock_op: &OpTy<'tcx, Provenance> ) -> InterpResult<'tcx, RwLockId>

fn init_once_get_id( &mut self, init_once_op: &OpTy<'tcx, Provenance> ) -> InterpResult<'tcx, InitOnceId>

fn condvar_get_id( &mut self, condvar_op: &OpTy<'tcx, Provenance> ) -> InterpResult<'tcx, CondvarId>

Implementors

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