@Override public void executeStage() throws ElkInterruptedException { for (;;) { /* * TODO: Cannot be interrupted, because it remembers iterator over * properties and if some property disappears before restarted, * ConcurrentModificationException is thrown. For other stages this * is solved by invalidating when input changes, but here we do not * want to invalidate when a property only disappears. */ // checkInterrupt(); if (!todo_.hasNext()) break; IndexedPropertyChain ipc = todo_.next(); SaturatedPropertyChain saturation = ipc.getSaturated(); saturation.clear(); dispatcher_.firePropertyBecameNotSaturated(ipc); reasoner.getProgressMonitor().report(++progress_, maxProgress_); } }
@Override public void executeStage() throws ElkInterruptedException { for (;;) { /* * TODO: Cannot be interrupted, because it remembers iterator over * properties and if some property disappears before restarted, * ConcurrentModificationException is thrown. For other stages this * is solved by invalidating when input changes, but here we do not * want to invalidate when a property only disappears. */ // checkInterrupt(); if (!todo_.hasNext()) break; IndexedPropertyChain ipc = todo_.next(); SaturatedPropertyChain saturation = ipc.getSaturated(); saturation.clear(); dispatcher_.firePropertyBecameNotSaturated(ipc); reasoner.getProgressMonitor().report(++progress_, maxProgress_); } }
@Override public void executeStage() throws ElkInterruptedException { for (;;) { /* * TODO: Cannot be interrupted, because it remembers iterator over * properties and if some property disappears before restarted, * ConcurrentModificationException is thrown. For other stages this * is solved by invalidating when input changes, but here we do not * want to invalidate when a property only disappears. */ // checkInterrupt(); if (!todo_.hasNext()) break; IndexedPropertyChain ipc = todo_.next(); SaturatedPropertyChain saturation = ipc.getSaturated(); saturation.clear(); dispatcher_.firePropertyBecameNotSaturated(ipc); reasoner.getProgressMonitor().report(++progress_, maxProgress_); } }
private boolean processNextInput() throws InterruptedException { if (!submit(nextInput)) { waitWorkers(); return false; } nextInput = null; if (isInterrupted()) { waitWorkers(); return false; } progressMonitor.report(++progress, maxProgress); return true; } }
private boolean processNextInput() throws InterruptedException { if (!submit(nextInput)) { waitWorkers(); return false; } nextInput = null; if (isInterrupted()) { waitWorkers(); return false; } progressMonitor.report(++progress, maxProgress); return true; } }
private boolean processNextInput() throws InterruptedException { if (!submit(nextInput)) { waitWorkers(); return false; } nextInput = null; if (isInterrupted()) { waitWorkers(); return false; } progressMonitor.report(++progress, maxProgress); return true; } }
progressMonitor_.report(axiomsProcessed_, axiomsCount_);
progressMonitor_.report(axiomsProcessed_, axiomsCount_);
progressMonitor_.report(axiomsProcessed_, axiomsCount_);
progressMonitor.report(currentAxiom, changesCount);
progressMonitor.report(currentAxiom, changesCount);
progressMonitor.report(currentAxiom, changesCount);