Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.io.WorkspaceSaver
public class WorkspaceSaver
extends java.lang.Object
Method Summary | |
static void | |
static void |
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.