/** * 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); } }
/** * Gets the name of the reasoner. This should be * human readable, because it is generally used for * menu labels etc. */ public String getName() { return getPluginProperty(NAME_PARAM, "Reasoner " + System.currentTimeMillis()); }
/** * Creates an instance of the plugin. It is expected that * this instance will be "setup", but the instance's * initialise method will not have been called in the instantiation * process. */ public ProtegeOWLReasonerInfo newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { ProtegeOWLReasonerInfo reasoner = super.newInstance(); reasoner.setup(owlModelManager.getOWLOntologyManager(), getId(), getName()); reasoner.setOWLModelManager(owlModelManager); return reasoner; } }
/** * Creates an instance of the plugin. It is expected that * this instance will be "setup", but the instance's * initialise method will not have been called in the instantiation * process. */ public ProtegeOWLReasonerInfo newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { ProtegeOWLReasonerInfo reasoner = super.newInstance(); reasoner.setup(owlModelManager.getOWLOntologyManager(), getId(), getName()); reasoner.setOWLModelManager(owlModelManager); return reasoner; } }
/** * Creates an instance of the plugin. It is expected that * this instance will be "setup", but the instance's * initialise method will not have been called in the instantiation * process. */ public ProtegeOWLReasonerInfo newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { ProtegeOWLReasonerInfo reasoner = super.newInstance(); reasoner.setup(owlModelManager.getOWLOntologyManager(), getId(), getName()); reasoner.setOWLModelManager(owlModelManager); return reasoner; } }
/** * 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); } }
/** * Gets the name of the reasoner. This should be * human readable, because it is generally used for * menu labels etc. */ public String getName() { return getPluginProperty(NAME_PARAM, "Reasoner " + System.currentTimeMillis()); }
/** * Creates an instance of the plugin. It is expected that * this instance will be "setup", but the instance's * initialise method will not have been called in the instantiation * process. */ public ProtegeOWLReasonerInfo newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { ProtegeOWLReasonerInfo reasoner = super.newInstance(); reasoner.setup(owlModelManager.getOWLOntologyManager(), getId(), getName()); reasoner.setOWLModelManager(owlModelManager); return reasoner; } }
/** * 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); } }
/** * Gets the name of the reasoner. This should be * human readable, because it is generally used for * menu labels etc. */ public String getName() { return getPluginProperty(NAME_PARAM, "Reasoner " + System.currentTimeMillis()); }
/** * 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); } }
/** * Gets the name of the reasoner. This should be * human readable, because it is generally used for * menu labels etc. */ public String getName() { return getPluginProperty(NAME_PARAM, "Reasoner " + System.currentTimeMillis()); }
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) {