public String getCurrentReasonerFactoryId() { return getCurrentReasonerFactory().getReasonerId(); }
public String getCurrentReasonerFactoryId() { return getCurrentReasonerFactory().getReasonerId(); }
public String getCurrentReasonerFactoryId() { return getCurrentReasonerFactory().getReasonerId(); }
public String getCurrentReasonerFactoryId() { return getCurrentReasonerFactory().getReasonerId(); }
public void actionPerformed(ActionEvent e) { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); } });
public void actionPerformed(ActionEvent e) { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); } });
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(); }
for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item); item.addActionListener(e -> { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); });
for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item); item.addActionListener(e -> { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); });
for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);
for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);