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

org.grinvin.io.list

Class InvariantListSaver

public class InvariantListSaver
extends java.lang.Object

Method Summary

static void
saveIntoWorkspace(InvariantList list, SectionSaver ssaver)
Save a (session) invariant list into a (workspace) directory.

Method Details

saveIntoWorkspace

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.

Overview Package Tree Index Deprecated About