public class GXLReader
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static AnnotatedTypeGraph |
readGraph(java.lang.String filename)
Reads a graph from a GXL file and returns it.
|
public static AnnotatedTypeGraph readGraph(java.lang.String filename) throws java.io.FileNotFoundException, java.io.IOException, AnnotatedTypeGraphException
filename
- the name of the file from which the graph is readjava.io.FileNotFoundException
- thrown if the file to be read could not be found or if the
corresponding DTD file could not be foundjava.io.IOException
- thrown if an I/O error occurredAnnotatedTypeGraphException
- thrown if the parsing went wrong