org.protege.editor.owl.model.inference.ProtegeOWLReasonerPluginLoader Maven / Gradle / Ivy
The newest version!
package org.protege.editor.owl.model.inference;
import org.eclipse.core.runtime.IExtension;
import org.protege.editor.core.plugin.AbstractPluginLoader;
import org.protege.editor.owl.ProtegeOWL;
import org.protege.editor.owl.model.OWLModelManager;
/*
* Copyright (C) 2007, University of Manchester
*
*
*/
/**
* Author: Matthew Horridge
* The University Of Manchester
* Medical Informatics Group
* Date: 19-May-2006
* [email protected]
* www.cs.man.ac.uk/~horridgm
*/
public class ProtegeOWLReasonerPluginLoader extends AbstractPluginLoader {
private OWLModelManager owlModelManager;
public ProtegeOWLReasonerPluginLoader(OWLModelManager owlModelManager) {
super(ProtegeOWL.ID, ProtegeOWLReasonerPlugin.REASONER_PLUGIN_TYPE_ID);
this.owlModelManager = owlModelManager;
}
/**
* This method needs to be overriden to create an instance
* of the desired plugin, based on the plugin Extension
* @param extension The Extension
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);
}
}