public interface GraphReader
| Modifier and Type | Method and Description |
|---|---|
Graph |
readGraph(java.io.File f)
Read in a graph from the given File.
|
Graph |
readGraph(java.io.InputStream is)
Read in a graph from the given InputStream.
|
Graph |
readGraph(java.lang.String location)
Read in a graph from the file at the given location.
|
Graph |
readGraph(java.net.URL url)
Read in a graph from the given URL.
|
Graph readGraph(java.lang.String location) throws DataIOException
IOLib.streamFromString(String) method,
allowing URLs, classpath references, and files on the file system
to be accessed.location - the location to read the graph fromDataIOExceptionGraph readGraph(java.net.URL url) throws DataIOException
url - the url to read the graph fromDataIOExceptionGraph readGraph(java.io.File f) throws DataIOException
f - the file to read the graph fromDataIOExceptionGraph readGraph(java.io.InputStream is) throws DataIOException
is - the InputStream to read the graph fromDataIOException