org.grinvin.io
Class GraphListLoader
java.lang.Object
org.grinvin.io.GraphListLoader
public final class GraphListLoader
extends java.lang.Object
Helper methods for loading lists of graphs and lists of invariants from
disk.
load
public static void load(GraphInvariantList list,
File file,
File directory)
throws IOException
load
public static void load(GraphList list,
InvariantList ilist,
File file,
File directory)
throws IOException
Load a graph list from an XML file.
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.