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 table fromjava.io.FileNotFoundException
java.io.IOException
DataIOException
Graph readGraph(java.net.URL url) throws DataIOException
url
- the url to read the graph fromjava.io.IOException
DataIOException
Graph readGraph(java.io.File f) throws DataIOException
f
- the file to read the graph fromjava.io.FileNotFoundException
java.io.IOException
DataIOException
Graph readGraph(java.io.InputStream is) throws DataIOException
is
- the InputStream to read the graph fromjava.io.IOException
DataIOException
Copyright ? 2013 Regents of the University of California