|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectOutputCodec
MultiOutputCodec
LkbPluggingOutputCodec
public class LkbPluggingOutputCodec
An output codec for pluggings in Lisp syntax. This output format is compatible with the LKB grammar development system: You can use Utool/Java as a drop-in replacement for the MRS solver that is built into LKB if you use the mrs-prolog input codec and this output codec.
An example output looks as follows:
((x x y) (y x y) (u u v) (v u v))
Constructor Summary | |
---|---|
LkbPluggingOutputCodec()
|
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 LkbPluggingOutputCodec()
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 |