public void dispose() { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); }
public void dispose() throws Exception { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); if (reasonerProgressMonitor instanceof Disposable) { ((Disposable) reasonerProgressMonitor).dispose(); } }
public void dispose() throws Exception { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); if (reasonerProgressMonitor instanceof Disposable) { ((Disposable) reasonerProgressMonitor).dispose(); } owlModelManager.removeOntologyChangeListener(nonBufferingOntologyChangeListener); }
public void dispose() throws Exception { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); if (reasonerProgressMonitor instanceof Disposable) { ((Disposable) reasonerProgressMonitor).dispose(); } owlModelManager.removeOntologyChangeListener(nonBufferingOntologyChangeListener); }
public void setCurrentReasonerFactoryId(String id) { if (getCurrentReasonerFactory().getReasonerId().equals(id)) { return; } for (ProtegeOWLReasonerInfo reasonerFactory : reasonerFactories) { if (reasonerFactory.getReasonerId().equals(id)) { preferences.setDefaultReasonerId(id); preferences.save(); clearAndDisposeReasoners(); currentReasonerFactory = reasonerFactory; owlModelManager.fireEvent(EventType.REASONER_CHANGED); return; } } logger.warn("Reasoner with id " + id + " not found"); preferences.setDefaultReasonerId(NoOpReasonerInfo.NULL_REASONER_ID); preferences.save(); }
public void setCurrentReasonerFactoryId(String id) { if (getCurrentReasonerFactory().getReasonerId().equals(id)) { return; } for (ProtegeOWLReasonerInfo reasonerFactory : reasonerFactories) { if (reasonerFactory.getReasonerId().equals(id)) { preferences.setDefaultReasonerId(id); preferences.save(); clearAndDisposeReasoners(); currentReasonerFactory = reasonerFactory; owlModelManager.fireEvent(EventType.REASONER_CHANGED); return; } } logger.warn("Reasoner with id " + id + " not found"); preferences.setDefaultReasonerId(NoOpReasonerInfo.NULL_REASONER_ID); preferences.save(); }
public void setCurrentReasonerFactoryId(String id) { if (getCurrentReasonerFactory().getReasonerId().equals(id)) { return; } for (ProtegeOWLReasonerInfo reasonerFactory : reasonerFactories) { if (reasonerFactory.getReasonerId().equals(id)) { preferences.setDefaultReasonerId(id); preferences.save(); clearAndDisposeReasoners(); currentReasonerFactory = reasonerFactory; owlModelManager.fireEvent(EventType.REASONER_CHANGED); return; } } logger.warn("Reasoner with id " + id + " not found"); preferences.setDefaultReasonerId(NoOpReasonerInfo.NULL_REASONER_ID); preferences.save(); }
public void setCurrentReasonerFactoryId(String id) { if (getCurrentReasonerFactory().getReasonerId().equals(id)) { return; } for (ProtegeOWLReasonerInfo reasonerFactory : reasonerFactories) { if (reasonerFactory.getReasonerId().equals(id)) { preferences.setDefaultReasonerId(id); preferences.save(); clearAndDisposeReasoners(); currentReasonerFactory = reasonerFactory; owlModelManager.fireEvent(EventType.REASONER_CHANGED); return; } } logger.warn("Reasoner with id " + id + " not found"); preferences.setDefaultReasonerId(NoOpReasonerInfo.NULL_REASONER_ID); preferences.save(); }