|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectOutputCodec
DotOutputCodec
public class DotOutputCodec
An output codec that represents a dominance graph using the Dot graph description language. Dot is a standard language which is supported by many tools.
Note: This codec is not suitable for printing
a list of graphs, e.g. in the context of printing the solved
forms computed by the solve
command.
The name of this codec is domgraph-dot
, and its
associated filename extension is .dg.dot
.
Constructor Summary | |
---|---|
DotOutputCodec(boolean enf)
|
Method Summary | |
---|---|
void |
encode(DomGraph graph,
NodeLabels labels,
Writer writer)
Encodes a dominance graph into a string representation for this output codec. |
void |
print_footer(Writer writer)
Prints a footer at the end of a file to which the USR is written. |
void |
print_header(Writer writer)
Prints a header at the beginning of a file to which the USR is written. |
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DotOutputCodec(boolean enf)
Method Detail |
---|
public void encode(DomGraph graph, NodeLabels labels, Writer writer) throws IOException, MalformedDomgraphException
OutputCodec
graph
and labels
.
The USR is written to the writer
.
encode
in class OutputCodec
graph
- the dominance graphlabels
- the node labels for this dominance graphwriter
- the writer to which the encoded USR will be written
IOException
- if an I/O error occurred while writing to the
writer
MalformedDomgraphException
- if the graph cannot
be encoded by this codecpublic void print_header(Writer writer) throws IOException
OutputCodec
print_header
in class OutputCodec
writer
- the writer
IOException
- if an I/O error occurredpublic void print_footer(Writer writer) throws IOException
OutputCodec
print_footer
in class OutputCodec
writer
- the writer
IOException
- if an I/O error occurred
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |