de.up.ling.irtg.codec

Class BinaryIrtgOutputCodec

java.lang.Object

de.up.ling.irtg.codec.OutputCodec<InterpretedTreeAutomaton>

de.up.ling.irtg.codec.BinaryIrtgOutputCodec

Direct Known Subclasses:

NoSignatureBinaryIrtgOutputCodec

public class BinaryIrtgOutputCodec
extends OutputCodec<InterpretedTreeAutomaton>

An output codec for IRTGs in a binary file format. For large grammars, the binary format can be much more compact than a text-based format, and can be read by the BinaryIrtgInputCodec much faster than a text-based codec could.

To convert between binary and human-readable representations, see GrammarConverter.

Author:

koller

Constructor Summary

Constructors

Constructor and Description
BinaryIrtgOutputCodec()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) Translates the specified .irtg file to a .irtb file at the same location.
void	write(InterpretedTreeAutomaton irtg, OutputStream ostream) Writes a string representation of a given object to an output stream.

Methods inherited from class de.up.ling.irtg.codec.OutputCodec

addOptions, asString, asStringSupplier, getAllOutputCodecs, getMetadata, getOption, getOutputCodecByExtension, getOutputCodecByName, getOutputCodecs, hasTrueOption

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryIrtgOutputCodec

public BinaryIrtgOutputCodec()

Method Detail

write

public void write(InterpretedTreeAutomaton irtg,
                  OutputStream ostream)
           throws IOException,
                  UnsupportedOperationException

Description copied from class: OutputCodec

Writes a string representation of a given object to an output stream. Implement this method to implement your own concrete encoding.

Specified by:

write in class OutputCodec<InterpretedTreeAutomaton>

Throws:

IOException - if something went wrong with I/O

UnsupportedOperationException - if a problem occurred in computing the representation of the object

main

public static void main(String[] args)
                 throws IOException

Translates the specified .irtg file to a .irtb file at the same location.

Parameters:

args -

Throws:

IOException