org.grinvin.io.list

Class GraphListLoader


public final class GraphListLoader
extends java.lang.Object

Helper methods for loading lists of graphs and lists of invariants from disk.

Method Summary

static void
load(GraphList list, InputStream input, SectionLoader sloader)
Load a graph list from an XML file.
static void
load_1_0(GraphList list, InputStream input, SectionLoader sloader)

Method Details

load

public static void load(GraphList list,
                        InputStream input,
                        SectionLoader sloader)
            throws IOException
Load a graph list from an XML file.
Parameters:
list - List to which the graphs are added. It may be necessary to clear the list before calling this method.
See Also:
GraphListSaver.save(GraphList,InvariantList,File)

load_1_0

public static void load_1_0(GraphList list,
                            InputStream input,
                            SectionLoader sloader)
            throws IOException