Trait miri::concurrency::thread::MachineCallback

pub trait MachineCallback<'mir, 'tcx>: VisitTags {
    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