org.grinvin.io

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(GraphInvariantList list, File file, File directory)
Convenience method which loads a graph list of type GraphInvariantList.
static void
load(GraphList list, InvariantList ilist, File file, File directory)
Load a graph list from an XML file.
static void
load(InvariantList list, File file)
Load a list of invariants from an XML file.

Method Details

load

public static void load(GraphInvariantList list,
                        File file,
                        File directory)
            throws IOException
Convenience method which loads a graph list of type GraphInvariantList. Calls load(GraphList,InvariantList,File,File) with the appropriate arguments.

load

public static void load(GraphList list,
                        InvariantList ilist,
                        File file,
                        File directory)
            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.
ilist - Optional list of invariants. If non-null, any invariants stored in the XML-file will be added to this list. It may be necessary to clear the list before calling this method.
file - XML file from which the list(s) will be loaded.
directory - directory containing sssion graphs, or null when session graphs are not supported

load

public static void load(InvariantList list,
                        File file)
            throws IOException
Load a list of invariants from an XML file. The invariants are added to the given list, so it may be necessary to clear the list before calling this method.