public static void throwExceptionIfCanceled(IProgressMonitor progressMonitor) throws CancelException { if (progressMonitor != null) { if (progressMonitor.isCanceled()) { throw CancelException.make(progressMonitor.getCancelMessage()); } } } /** BEGIN Custom change: more on subtasks */
@Override public synchronized void beginTask(String name, int totalWork) { delegate.beginTask(name, totalWork); startNanny(); }
/** BEGIN Custom change: more on subtasks */ public static void subTask(IProgressMonitor progressMonitor, String subTask) throws CancelException { if (progressMonitor != null) { progressMonitor.subTask(subTask); if (progressMonitor.isCanceled()) { throw CancelException.make("cancelled in " + subTask); } } }
public static void beginTask(IProgressMonitor monitor, String task, int totalWork) throws CancelException { if (monitor != null) { monitor.beginTask(task, totalWork); if (monitor.isCanceled()) { throw CancelException.make("cancelled in " + task); } } }
/** END Custom change: subtasks and canceling */ @Override public synchronized void worked(int work) { killNanny(); delegate.worked(work); startNanny(); }
public GraphViewer(Graph<Object> graph) throws WalaException { super(null); this.graph = graph; if (graph == null) { throw new WalaException("null graph for SWT viewer"); } }
public static boolean isCanceled(IProgressMonitor progressMonitor) { if (progressMonitor == null) { return false; } else { return progressMonitor.isCanceled(); } }
/** BEGIN Custom change: more on subtasks */ public static void subTask(IProgressMonitor progressMonitor, String subTask) throws CancelException { if (progressMonitor != null) { progressMonitor.subTask(subTask); if (progressMonitor.isCanceled()) { throw CancelException.make("cancelled in " + subTask); } } }
public static void beginTask(IProgressMonitor monitor, String task, int totalWork) throws CancelException { if (monitor != null) { monitor.beginTask(task, totalWork); if (monitor.isCanceled()) { throw CancelException.make("cancelled in " + task); } } }
public static void throwExceptionIfCanceled(IProgressMonitor progressMonitor) throws CancelException { if (progressMonitor != null) { if (progressMonitor.isCanceled()) { throw CancelException.make(progressMonitor.getCancelMessage()); } } } /** BEGIN Custom change: more on subtasks */
/** END Custom change: subtasks and canceling */ @Override public synchronized void worked(int work) { killNanny(); delegate.worked(work); startNanny(); }
@Override public synchronized void beginTask(String name, int totalWork) { delegate.beginTask(name, totalWork); startNanny(); }
public static boolean isCanceled(IProgressMonitor progressMonitor) { if (progressMonitor == null) { return false; } else { return progressMonitor.isCanceled(); } }
/** BEGIN Custom change: more on subtasks */ public static void subTask(IProgressMonitor progressMonitor, String subTask) throws CancelException { if (progressMonitor != null) { progressMonitor.subTask(subTask); if (progressMonitor.isCanceled()) { throw CancelException.make("cancelled in " + subTask); } } }
public static void beginTask(IProgressMonitor monitor, String task, int totalWork) throws CancelException { if (monitor != null) { monitor.beginTask(task, totalWork); if (monitor.isCanceled()) { throw CancelException.make("cancelled in " + task); } } }
public static void throwExceptionIfCanceled(IProgressMonitor progressMonitor) throws CancelException { if (progressMonitor != null) { if (progressMonitor.isCanceled()) { throw CancelException.make(progressMonitor.getCancelMessage()); } } } /** BEGIN Custom change: more on subtasks */