org.symcomp.openmath.binary
Class BinaryParser

java.lang.Object
  extended by 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


Copyright © 2010. All Rights Reserved.