public class SDfileWriter extends GraphWriter
Constructor and Description |
---|
SDfileWriter(java.io.Writer writer,
int mode)
Create a writer for SDfiles.
|
Modifier and Type | Method and Description |
---|---|
void |
writeGraph()
Write a description of the current graph.
|
void |
writeHeader()
Write a header.
|
createWriter, getMode, getNotation, setAbsCompl, setAbsSupp, setGraph, setName, setRelCompl, setRelSupp, setValue
public SDfileWriter(java.io.Writer writer, int mode)
writer
- the writer to write tomode
- the write modepublic void writeHeader() throws java.io.IOException
This function does nothing, since headers are not supported with SDfiles.
writeHeader
in class GraphWriter
java.io.IOException
- if an i/o error occurspublic void writeGraph() throws java.io.IOException
writeGraph
in class GraphWriter
java.io.IOException
- if an i/o error occurs