org.symcomp.openmath.binary
Class BinaryParser

java.lang.Object
  org.symcomp.openmath.binary.BinaryParser

All Implemented Interfaces:

BinaryConstants

public class BinaryParser
extends java.lang.Object
implements BinaryConstants

Field Summary

Fields inherited from interface org.symcomp.openmath.binary.BinaryConstants

FLAG_ID, FLAG_LONG, FLAG_STATUS, MASK_BASE_10, MASK_BASE_16, MASK_BASE_256, MASK_SIGN_NEG, MASK_SIGN_POS, TYPE_APPLICATION, TYPE_APPLICATION_END, TYPE_ATTRIBUTION, TYPE_ATTRIBUTION_END, TYPE_ATTRPAIRS, TYPE_ATTRPAIRS_END, TYPE_BINDING, TYPE_BINDING_END, TYPE_BVARS, TYPE_BVARS_END, TYPE_BYTES, TYPE_CDBASE, TYPE_ERROR, TYPE_ERROR_END, TYPE_FLOAT, TYPE_FOREIGN, TYPE_INT_BIG, TYPE_INT_SMALL, TYPE_MASK, TYPE_OBJECT, TYPE_OBJECT_END, TYPE_REFERENCE_EXT, TYPE_REFERENCE_INT, TYPE_STRING_ISO, TYPE_STRING_UTF, TYPE_SYMBOL, TYPE_VARIABLE

Constructor Summary

BinaryParser(java.io.Reader reader)

Method Summary

static OpenMathBase	parse(char[] in)
static OpenMathBase	parse(java.io.Reader reader)
OpenMathBase	process()

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryParser

public BinaryParser(java.io.Reader reader)

Method Detail

parse

public static OpenMathBase parse(char[] in)
                          throws OpenMathException,
                                 java.io.IOException

Throws:

OpenMathException

java.io.IOException

parse

public static OpenMathBase parse(java.io.Reader reader)
                          throws OpenMathException,
                                 java.io.IOException

Throws:

OpenMathException

java.io.IOException

process

public OpenMathBase process()
                     throws OpenMathException,
                            java.io.IOException

Throws:

OpenMathException

java.io.IOException