Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.io.list.InvariantListSaver
public class InvariantListSaver
extends java.lang.Object
Method Summary | |
static void |
|
public static void saveIntoWorkspace(InvariantList list, SectionSaver ssaver) throws IOException
Save a (session) invariant list into a (workspace) directory. Uses the uri of the invariant list to determine the destination file name. If no URI was assigned, a new URI is created.