|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Workspace | |
---|---|
org.peace_tools.workspace | Contains the classes that provide persistent storage of work space configuration. |
Uses of Workspace in org.peace_tools.workspace |
---|
Fields in org.peace_tools.workspace declared as Workspace | |
---|---|
private static Workspace |
Workspace.workspace
The process-wide, unique instance of the workspace object. |
Methods in org.peace_tools.workspace that return Workspace | |
---|---|
static Workspace |
Workspace.createDefault(java.lang.String directory)
Method to create default work space met data in a given directory. |
static Workspace |
Workspace.get()
Method to get a reference to the process-wide, unique instance of the PEACE workspace. |
private static Workspace |
Workspace.loadCoreWorkspaceData(org.w3c.dom.Document workspaceData,
java.lang.String directory)
Helper method to simply load the top-level Directory for the Workspace and the creation time stamp for this workspace from a DOM document. |
static Workspace |
Workspace.useWorkspace(java.lang.String directory)
Method to load workspace data from a given directory. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |