Trait MachineCallback

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

Trait for callbacks handling asynchronous machine operations.

Required Methods

fn call( self: Box<Self>, ecx: &mut InterpCx<'tcx, MiriMachine<'tcx>>, arg: T, ) -> InterpResult<'tcx>

The function to be invoked when the callback is fired.

Implementors