Package de.saar.chorus.domgraph.codec.plugging

Class DomconOzPluggingOutputCodec

java.lang.Object

de.saar.chorus.domgraph.codec.OutputCodec

de.saar.chorus.domgraph.codec.MultiOutputCodec

de.saar.chorus.domgraph.codec.plugging.DomconOzPluggingOutputCodec

public class DomconOzPluggingOutputCodec
extends MultiOutputCodec

An output codec for pluggings in Oz syntax. This codec will print an Oz list containing a term plug(x y) for each dominance edge (x,y) in the solved form.

Notice that even if the dominance graph was obtained by applying a node substitution to the original graph, this output codec will not represent this substitution in its output. It is meant to output graphs in solved form and with the empty substitution.

An example output looks as follows:
[plug(x y) plug(u v)]

Author:

Alexander Koller

Constructor Summary

Constructors

Constructor	Description
DomconOzPluggingOutputCodec()

Method Summary

Modifier and Type	Method	Description
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 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DomconOzPluggingOutputCodec

public DomconOzPluggingOutputCodec()

Method Details

encode

public void encode(DomGraph graph,
 NodeLabels labels,
 Writer writer)
            throws IOException,
MalformedDomgraphException

Description copied from class: OutputCodec

Encodes a dominance graph into a string representation for this output codec. The dominance graph is defined by the arguments graph and labels. The USR is written to the writer.

Specified by:

encode in class OutputCodec

Parameters:

graph - the dominance graph

labels - the node labels for this dominance graph

writer - the writer to which the encoded USR will be written

Throws:

IOException - if an I/O error occurred while writing to the writer

MalformedDomgraphException - if the graph cannot be encoded by this codec

print_header

public void print_header(Writer writer)
                  throws IOException

Description copied from class: OutputCodec

Prints a header at the beginning of a file to which the USR is written.

Specified by:

print_header in class OutputCodec

Parameters:

writer - the writer

Throws:

IOException - if an I/O error occurred

print_footer

public void print_footer(Writer writer)
                  throws IOException

Description copied from class: OutputCodec

Prints a footer at the end of a file to which the USR is written.

Specified by:

print_footer in class OutputCodec

Parameters:

writer - the writer

Throws:

IOException - if an I/O error occurred

print_start_list

public void print_start_list(Writer writer)
                      throws IOException

Description copied from class: MultiOutputCodec

Prints the beginning of a list in the concrete syntax which the USR uses. This method is called after 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).

Specified by:

print_start_list in class MultiOutputCodec

Parameters:

writer - the writer

Throws:

IOException - if an I/O error occurred

print_end_list

public void print_end_list(Writer writer)
                    throws IOException

Description copied from class: MultiOutputCodec

Prints the end of a list in the concrete syntax which the USR uses. This method is called before 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).

Specified by:

print_end_list in class MultiOutputCodec

Parameters:

writer - the writer

Throws:

IOException - if an I/O error occurred

print_list_separator

public void print_list_separator(Writer writer)
                          throws IOException

Description copied from class: MultiOutputCodec

Prints the separator for separating different items of a list in the concrete syntax which the USR uses.

Specified by:

print_list_separator in class MultiOutputCodec

Parameters:

writer - the writer

Throws:

IOException - if an I/O error occurred