# Trait miri::concurrency::thread::MachineCallback

source ·

    pub trait MachineCallback<'mir, 'tcx>: VisitProvenance {
        // Required method
        fn call(
            &self,
            ecx: &mut InterpCx<'mir, 'tcx, MiriMachine<'mir, 'tcx>>
        ) -> InterpResult<'tcx>;
    }

Expand description

Trait for callbacks that can be executed when some event happens, such as after a timeout.

## Required Methods§

source

#### fn call( &self, ecx: &mut InterpCx<'mir, 'tcx, MiriMachine<'mir, 'tcx>> ) -> InterpResult<'tcx>

## Implementors§

source§

### impl<'mir, 'tcx: 'mir> MachineCallback<'mir, 'tcx> for UnblockCallback