Trait miri::concurrency::thread::MachineCallback

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

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

Required Methods

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

Implementors

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