/** * Dispatches a terminate event. * * @param event */ protected void dispatchTerminate(DebugEventHandler handler, DebugEvent event) { handler.handleTerminate(event); }
/** * Dispatches a terminate event. * * @param event */ protected void dispatchTerminate(DebugEventHandler handler, DebugEvent event) { handler.handleTerminate(event); }