org.grinvin.io.list

Class GraphListElementSaver


public class GraphListElementSaver
extends java.lang.Object

Saves GraphListElements.

Method Summary

static void
saveIntoWorkspace(GraphListElement gle, SectionSaver ssaver)
Save a (session) graph list element into a (workspace) directory.

Method Details

saveIntoWorkspace

public static void saveIntoWorkspace(GraphListElement gle,
                                     SectionSaver ssaver)
            throws IOException
Save a (session) graph list element into a (workspace) directory. Uses the uri of the graph to determine the destination file name. If no URI was assigned, a new URI is created.

Only saves graphs with a session URI and which are dirty or for which the corresponding file does not yet exist. The 'dirty' flag of the graph list element is cleared after it is saved.