org.grinvin.io
Class GraphLoader
java.lang.Object
org.grinvin.io.GraphLoader
public class GraphLoader
extends java.lang.Object
Loads a graph.xml-section from an input stream.
void | load(InputStream input) - Load the graph from the input stream.
|
void | toGraph(Element element) - Construct the abstract graph from the given JDOM element
and fill the translation table.
|
GraphLoader
public GraphLoader(Graph graph)
Creates a graph loader.
graph
- Graph object which shall hold the resulting graph.
load
public void load(InputStream input)
throws IOException
Load the graph from the input stream. After the call the input stream
should no longer be used.
toGraph
public void toGraph(Element element)
throws IOFormatException
Construct the abstract graph from the given JDOM element
and fill the translation table.