org.protege.editor.owl.ui.OWLWorkspaceTab Maven / Gradle / Ivy
The newest version!
package org.protege.editor.owl.ui;
import org.protege.editor.core.ui.workspace.WorkspaceTab;
import org.protege.editor.owl.OWLEditorKit;
import org.protege.editor.owl.model.OWLModelManager;
/**
* Author: Matthew Horridge
* The University Of Manchester
* Medical Informatics Group
* Date: 26-May-2006
* [email protected]
* www.cs.man.ac.uk/~horridgm
*/
public abstract class OWLWorkspaceTab extends WorkspaceTab {
public OWLEditorKit getOWLEditorKit() {
return (OWLEditorKit) getWorkspace().getEditorKit();
}
public OWLModelManager getOWLModelManager() {
return getOWLEditorKit().getModelManager();
}
}