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

java.lang.Object
  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)