public void uncaughtException(Thread thread, Throwable throwable) { ProtegeApplication.getErrorLog().logError(throwable); try { if (getReasonerStatus() != ReasonerStatus.REASONER_NOT_INITIALIZED) { exceptionHandler.handle(throwable); } } catch (ReasonerDiedException died) { ReasonerUtilities.warnThatReasonerDied(null, died); } } });
ReasonerUtilities.warnThatReasonerDied(null, died);
ReasonerUtilities.warnThatReasonerDied(null, died);
private void updateReasonerStatus(boolean changesInProgress) { if (!reasonerManagerStarted) { return; } OWLReasonerManager reasonerManager = getOWLEditorKit().getOWLModelManager().getOWLReasonerManager(); ReasonerStatus newStatus; try { newStatus = reasonerManager.getReasonerStatus(); } catch (ReasonerDiedException reasonerDied) { newStatus = ReasonerStatus.REASONER_NOT_INITIALIZED; ReasonerUtilities.warnThatReasonerDied(null, reasonerDied); } if (changesInProgress && (newStatus == ReasonerStatus.INITIALIZED || newStatus == ReasonerStatus.INCONSISTENT) && reasonerManager.getCurrentReasoner().getBufferingMode() == BufferingMode.BUFFERING) { newStatus = ReasonerStatus.OUT_OF_SYNC; } updateReasonerStatus(newStatus); }
private void updateReasonerStatus(boolean changesInProgress) { if (!reasonerManagerStarted) { return; } OWLReasonerManager reasonerManager = getOWLEditorKit().getOWLModelManager().getOWLReasonerManager(); ReasonerStatus newStatus; try { newStatus = reasonerManager.getReasonerStatus(); } catch (ReasonerDiedException reasonerDied) { newStatus = ReasonerStatus.REASONER_NOT_INITIALIZED; ReasonerUtilities.warnThatReasonerDied(null, reasonerDied); } if (changesInProgress && (newStatus == ReasonerStatus.INITIALIZED || newStatus == ReasonerStatus.INCONSISTENT) && reasonerManager.getCurrentReasoner().getBufferingMode() == BufferingMode.BUFFERING) { newStatus = ReasonerStatus.OUT_OF_SYNC; } updateReasonerStatus(newStatus); }
private void updateReasonerStatus(boolean changesInProgress) { if (!reasonerManagerStarted) { return; } OWLReasonerManager reasonerManager = getOWLEditorKit().getOWLModelManager().getOWLReasonerManager(); ReasonerStatus newStatus; try { newStatus = reasonerManager.getReasonerStatus(); } catch (ReasonerDiedException reasonerDied) { newStatus = ReasonerStatus.REASONER_NOT_INITIALIZED; ReasonerUtilities.warnThatReasonerDied(null, reasonerDied); } if (changesInProgress && (newStatus == ReasonerStatus.INITIALIZED || newStatus == ReasonerStatus.INCONSISTENT) && reasonerManager.getCurrentReasoner().getBufferingMode() == BufferingMode.BUFFERING) { newStatus = ReasonerStatus.OUT_OF_SYNC; } updateReasonerStatus(newStatus); }