|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectOutputCodec
MultiOutputCodec
DomgraphGxlOutputCodec
public class DomgraphGxlOutputCodec
An output codec for weakly normal dominance graphs in GXL syntax.
For further documentation of this format, see DomgraphGxlInputCodec
.
Constructor Summary | |
---|---|
DomgraphGxlOutputCodec()
|
Method Summary | |
---|---|
void |
encode(DomGraph graph,
NodeLabels labels,
Writer writer)
Encodes a dominance graph into a string representation for this output codec. |
void |
print_end_list(Writer writer)
Prints the end of a list in the concrete syntax which the USR uses. |
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. |
void |
print_list_separator(Writer writer)
Prints the separator for separating different items of a list in the concrete syntax which the USR uses. |
void |
print_start_list(Writer writer)
Prints the beginning of a list in the concrete syntax which the USR uses. |
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DomgraphGxlOutputCodec()
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 occurredpublic void print_start_list(Writer writer) throws IOException
MultiOutputCodec
print_header
,
but before any of the USRs. It is only called if we print
more than one graph (e.g. in the solve command, but not the convert command).
print_start_list
in class MultiOutputCodec
writer
- the writer
IOException
- if an I/O error occurredpublic void print_end_list(Writer writer) throws IOException
MultiOutputCodec
print_footer
,
but after any of the USRs. It is only called if we print
more than one graph (e.g. in the solve command, but not the convert command).
print_end_list
in class MultiOutputCodec
writer
- the writer
IOException
- if an I/O error occurredpublic void print_list_separator(Writer writer) throws IOException
MultiOutputCodec
print_list_separator
in class MultiOutputCodec
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 |