Package de.saar.chorus.domgraph.codec.domcon

Class DomconOzOutputCodec

java.lang.Object

de.saar.chorus.domgraph.codec.OutputCodec

de.saar.chorus.domgraph.codec.MultiOutputCodec

de.saar.chorus.domgraph.codec.domcon.DomconOzOutputCodec

public class DomconOzOutputCodec
extends MultiOutputCodec

An output codec for weakly normal dominance constraints in Oz syntax. For further documentation of this format, see DomconOzInputCodec.

Author:

Alexander Koller

Constructor Summary

Constructors

Constructor	Description
DomconOzOutputCodec()

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

DomconOzOutputCodec

public DomconOzOutputCodec()

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