org.grinvin.io
Class WorkspaceLoader
java.lang.Object
org.grinvin.io.WorkspaceLoader
public class WorkspaceLoader
extends java.lang.Object
Loads workspaces from disk.
static void | load(Workspace workspace, File file) - Load the workspace from the given workspace file.
|
static void | loadFromDirectory(Workspace workspace, File directory) - Load the workspace from the given workspace directory.
|
load
public static void load(Workspace workspace,
File file)
throws WorkspaceException
Load the workspace from the given workspace file. If there
is an active workspace already, it is first saved and then disposed of.
loadFromDirectory
public static void loadFromDirectory(Workspace workspace,
File directory)
throws WorkspaceException
Load the workspace from the given workspace directory. If there
is an active workspace already, it is first saved and then disposed of.