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.

public static void save(Workspace workspace)
            throws WorkspaceException

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.

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Method Summary