/** * This method needs to be overriden to create an instance * of the desired plugin, based on the plugin <code>Extension</code> * @param extension The <code>Extension</code> that describes the * Java Plugin Framework extension. * @return A plugin object (typically some sort of wrapper around * the extension) */ protected ProtegeOWLReasonerPlugin createInstance(IExtension extension) { return new ProtegeOWLReasonerPluginJPFImpl(owlModelManager, extension); } }
/** * This method needs to be overriden to create an instance * of the desired plugin, based on the plugin <code>Extension</code> * @param extension The <code>Extension</code> that describes the * Java Plugin Framework extension. * @return A plugin object (typically some sort of wrapper around * the extension) */ protected ProtegeOWLReasonerPlugin createInstance(IExtension extension) { return new ProtegeOWLReasonerPluginJPFImpl(owlModelManager, extension); } }
/** * This method needs to be overriden to create an instance * of the desired plugin, based on the plugin <code>Extension</code> * @param extension The <code>Extension</code> that describes the * Java Plugin Framework extension. * @return A plugin object (typically some sort of wrapper around * the extension) */ protected ProtegeOWLReasonerPlugin createInstance(IExtension extension) { return new ProtegeOWLReasonerPluginJPFImpl(owlModelManager, extension); } }
/** * This method needs to be overriden to create an instance * of the desired plugin, based on the plugin <code>Extension</code> * @param extension The <code>Extension</code> that describes the * Java Plugin Framework extension. * @return A plugin object (typically some sort of wrapper around * the extension) */ protected ProtegeOWLReasonerPlugin createInstance(IExtension extension) { return new ProtegeOWLReasonerPluginJPFImpl(owlModelManager, extension); } }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<ProtegeOWLReasonerPlugin>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<ProtegeOWLReasonerPlugin>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); } public void added(IExtensionPoint[] extensionPoints) {