|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface GraphReader
nterface for classes that read in Graph or Tree data from a particular file format.
| Method Summary | |
|---|---|
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. |
| Method Detail |
|---|
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 from
java.io.FileNotFoundException
java.io.IOException
DataIOException
Graph readGraph(java.net.URL url)
throws DataIOException
url - the url to read the graph from
java.io.IOException
DataIOException
Graph readGraph(java.io.File f)
throws DataIOException
f - the file to read the graph from
java.io.FileNotFoundException
java.io.IOException
DataIOException
Graph readGraph(java.io.InputStream is)
throws DataIOException
is - the InputStream to read the graph from
java.io.IOException
DataIOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||