public class JoshuaInputCodec extends InputCodec<InterpretedTreeAutomaton>
| Constructor and Description |
|---|
JoshuaInputCodec() |
| Modifier and Type | Method and Description |
|---|---|
InterpretedTreeAutomaton |
read(InputStream is)
Reads an object from an input stream.
|
addOptions, getAllInputCodecs, getInputCodecByExtension, getInputCodecByName, getInputCodecByNameOrExtension, getInputCodecs, getMetadata, getOption, hasTrueOption, main, read, setOption, setProgressListenerpublic InterpretedTreeAutomaton read(InputStream is) throws CodecParseException, IOException
InputCodecread in class InputCodec<InterpretedTreeAutomaton>CodecParseException - if an error occurred while decoding
the input stream into an objectIOException - if an error occurred while reading
data from the input streamCopyright © 2017. All rights reserved.