org.grinvin.io

Class GraphLoader


public class GraphLoader
extends java.lang.Object

Loads a graph.xml-section from an input stream.

Constructor Summary

GraphLoader(Graph graph)
Creates a graph loader.

Method Summary

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.

Constructor Details

GraphLoader

public GraphLoader(Graph graph)
Creates a graph loader.
Parameters:
graph - Graph object which shall hold the resulting graph.

Method Details

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.