|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface GraphWriter
Interface for classes that write Graph data to a particular file format.
| Method Summary | |
|---|---|
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. |
| Method Detail |
|---|
void writeGraph(Graph graph,
java.lang.String filename)
throws DataIOException
graph - the Graph to writefilename - the file to write the graph to
DataWriteException
DataIOException
void writeGraph(Graph graph,
java.io.File f)
throws DataIOException
graph - the Graph to writef - the file to write the graph to
DataWriteException
DataIOException
void writeGraph(Graph graph,
java.io.OutputStream os)
throws DataIOException
graph - the Graph to writeos - the OutputStream to write the graph to
DataWriteException
DataIOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||