org.grinvin.io.list
Class InvariantListLoader
java.lang.Object
org.grinvin.io.list.InvariantListLoader
public class InvariantListLoader
extends java.lang.Object
static void | load(InvariantList list, InputStream input) - Load a invariant list from an XML file.
|
static void | load_1_0(InvariantList list, InputStream input) - Load an invariant list from an XML file.
|
load
public static void load(InvariantList list,
InputStream input)
throws IOException
Load a invariant list from an XML file.
list
- List to which the invariants are added. It may be necessary to clear the list before calling
this method.
InvariantListSaver.save(InvariantList,File)
load_1_0
public static void load_1_0(InvariantList list,
InputStream input)
throws IOException
Load an invariant list from an XML file.
This is a compatibility method for loading grinvin-1.0 invariants from graph lists.