public interface GraphWriter
Modifier and Type | Method and Description |
---|---|
void |
writeGraph(Graph graph,
java.io.File f)
Write a graph to the given File.
|
void |
writeGraph(Graph graph,
java.io.OutputStream os)
Write a graph from the given OutputStream.
|
void |
writeGraph(Graph graph,
java.lang.String filename)
Write a graph to the file with the given filename.
|
void writeGraph(Graph graph, java.lang.String filename) throws DataIOException
graph
- the Graph to writefilename
- the file to write the graph toDataWriteException
DataIOException
void writeGraph(Graph graph, java.io.File f) throws DataIOException
graph
- the Graph to writef
- the file to write the graph toDataWriteException
DataIOException
void writeGraph(Graph graph, java.io.OutputStream os) throws DataIOException
graph
- the Graph to writeos
- the OutputStream to write the graph toDataWriteException
DataIOException
Copyright ? 2013 Regents of the University of California