public void dispose() { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); }
@Override public void applyChanges() { for (Entry<OptionalInferenceTask, JCheckBox> entry : enabledMap.entrySet()) { OptionalInferenceTask task = entry.getKey(); JCheckBox enabledBox = entry.getValue(); preferences.setEnabled(task, enabledBox.isSelected()); } preferences.save(); }
@Override public void applyChanges() { for (Entry<OptionalInferenceTask, JCheckBox> entry : enabledMap.entrySet()) { OptionalInferenceTask task = entry.getKey(); JCheckBox enabledBox = entry.getValue(); preferences.setEnabled(task, enabledBox.isSelected()); } preferences.save(); }
@Override public void applyChanges() { for (Entry<OptionalInferenceTask, JCheckBox> entry : enabledMap.entrySet()) { OptionalInferenceTask task = entry.getKey(); JCheckBox enabledBox = entry.getValue(); preferences.setEnabled(task, enabledBox.isSelected()); } preferences.save(); }
@Override public void applyChanges() { for (Entry<OptionalInferenceTask, JCheckBox> entry : enabledMap.entrySet()) { OptionalInferenceTask task = entry.getKey(); JCheckBox enabledBox = entry.getValue(); preferences.setEnabled(task, enabledBox.isSelected()); } preferences.save(); }
public void dispose() throws Exception { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); if (reasonerProgressMonitor instanceof Disposable) { ((Disposable) reasonerProgressMonitor).dispose(); } }
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 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(); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }