|
|||||||||
| 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
OutputCodecgraph and labels.
The USR is written to the writer.
encode in class OutputCodecgraph - 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 codec
public void print_header(Writer writer)
throws IOException
OutputCodec
print_header in class OutputCodecwriter - the writer
IOException - if an I/O error occurred
public void print_footer(Writer writer)
throws IOException
OutputCodec
print_footer in class OutputCodecwriter - 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 | ||||||||