org.grinvin.io.list

Class InvariantListLoader


public class InvariantListLoader
extends java.lang.Object

Method Summary

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.

Method Details

load

public static void load(InvariantList list,
                        InputStream input)
            throws IOException
Load a invariant list from an XML file.
Parameters:
list - List to which the invariants are added. It may be necessary to clear the list before calling this method.
See Also:
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.