org.grinvin.io

Class WorkspaceLoader


public class WorkspaceLoader
extends java.lang.Object

Loads workspaces from disk.

Method Summary

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.

Method Details

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.