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.