public class TableWriter extends GraphWriter
Modifier and Type | Field and Description |
---|---|
protected static java.lang.String[][] |
HEADER
the field names for the different file types
|
Constructor and Description |
---|
TableWriter(java.io.Writer writer,
int mode,
Notation ntn)
Create a simple table format writer.
|
Modifier and Type | Method and Description |
---|---|
void |
setChars(char recsep,
char fldsep)
Set the record and field separators.
|
void |
writeGraph()
Write a description of the current graph.
|
void |
writeHeader()
Write a header.
|
createWriter, getMode, getNotation, setAbsCompl, setAbsSupp, setGraph, setName, setRelCompl, setRelSupp, setValue
protected static final java.lang.String[][] HEADER
public TableWriter(java.io.Writer writer, int mode, Notation ntn)
writer
- the writer to write tomode
- the write modentn
- the notation for the graph descriptionspublic void setChars(char recsep, char fldsep)
recsep
- the record separatorfldsep
- the field separatorpublic void writeHeader() throws java.io.IOException
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