|
||||||||||
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 |