org.grinvin.io.list
Class GraphListElementSaver
java.lang.Object
org.grinvin.io.list.GraphListElementSaver
public class GraphListElementSaver
extends java.lang.Object
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.