org.grinvin.io

Class WorkspaceSaver


public class WorkspaceSaver
extends java.lang.Object

Saves workspaces to disk.

Method Summary

static void
save(Workspace workspace)
static void
saveAs(Workspace workspace, File location)
Save the workspace into a new workspace file.

Method Details

save

public static void save(Workspace workspace)
            throws WorkspaceException

saveAs

public static void saveAs(Workspace workspace,
                          File location)
            throws WorkspaceException
Save the workspace into a new workspace file. If the location already exists, it is replaced.