Protege 4.1.0

org.protege.editor.core.ui.workspace
Class WorkspaceManager

java.lang.Object
  extended by org.protege.editor.core.ui.workspace.WorkspaceManager

public class WorkspaceManager
extends Object

Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Mar 27, 2006

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm


Constructor Summary
WorkspaceManager()
           
 
Method Summary
 void addWorkspace(Workspace workspace)
           
 boolean doClose(Workspace workspace)
           
 WorkspaceFrame getFrame(Workspace workspace)
           
 void removeWorkspace(Workspace workspace)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WorkspaceManager

public WorkspaceManager()
Method Detail

addWorkspace

public void addWorkspace(Workspace workspace)

doClose

public boolean doClose(Workspace workspace)

removeWorkspace

public void removeWorkspace(Workspace workspace)

getFrame

public WorkspaceFrame getFrame(Workspace workspace)

Protege 4.1.0

Submit a bug report or feature request

For further API reference and developer documentation, see Protege 4 Developer Documentation.

Copyright © 2010 Stanford Center for Biomedical Informatics Research