fr.ove.openmath.mathematica.omparser
Class PipeParserHandler

java.lang.Object
  fr.inria.openmath.omapi.ParserAdapter
      fr.ove.openmath.mathematica.omparser.PipeParserHandler

All Implemented Interfaces:

fr.inria.openmath.omapi.ParserHandler

public class PipeParserHandler

extends fr.inria.openmath.omapi.ParserAdapter

Handler for an OpenMath parser. Keeps a copy of the object parsed.

Constructor Summary

PipeParserHandler()

Method Summary

void	endApplication() Receives notification of the end of an application element.
void	endAttributePairs() Receives notification of the end of an attribute-pairs element.
void	endAttribution() Receives notification of the end of an attribution element.
void	endBind() Receives notification of the beginning of a Bind element.
void	endBVars() Receives notification of the beginning of a BVars element.
void	endError() Receives notification of the end of an error element.
void	endObject() Receives notification of the end of an object element.
void	endParse() Receives notification of the end of parse.
java.lang.String	getOmObjectParsed() Returns the OpenMath object parsed.
void	readByteArray(byte[] value) Receives notification of a byteArray element.
void	readComment(java.lang.String value) Receives notification of a comment element.
void	readFloat(double value) Receives notification of a floating-point number element.
void	readInteger(fr.inria.openmath.omapi.BigInt value) Receives notification of an Integer element.
void	readString(java.lang.String value) Receives notification of a string element.
void	readSymbol(fr.inria.openmath.omapi.Symbol value) Receives notification of a symbol element.
void	readVariable(java.lang.String name) Receives notification of a variable element.
void	startApplication() Receives notification of the beginning of a application element.
void	startAttributePairs() Receives notification of the beginning of an attribute-pairs element.
void	startAttribution() Receives notification of the beginning of a attribution element.
void	startBind() Receives notification of the beginning of a Bind element.
void	startBVars() Receives notification of the beginning of a BVars element.
void	startError() Receives notification of the beginning of a error element.
void	startObject() Receives notification of the beginning of a object element.

Methods inherited from class fr.inria.openmath.omapi.ParserAdapter

readInteger, setLocator, startParse

Methods inherited from class java.lang.Object

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

Constructor Detail

PipeParserHandler

public PipeParserHandler()

Method Detail

getOmObjectParsed

public java.lang.String getOmObjectParsed()

Returns the OpenMath object parsed.

endParse

public void endParse()
              throws fr.inria.openmath.omapi.OMException

Receives notification of the end of parse.

By default, do nothing. Application writers may override this method in a subclass.

The OpenMath parser will invoke this method only once, and it will be the last method invoked during the parse. The parser shall not invoke this method until it has either abandoned parsing (because of an unrecoverable error) or reached the end of the input (no more OpenMath objects).

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

startObject

public void startObject()
                 throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a object element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endObject()

endObject

public void endObject()
               throws fr.inria.openmath.omapi.OMException

Receives notification of the end of an object element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

startObject()

startApplication

public void startApplication()
                      throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a application element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endApplication()

endApplication

public void endApplication()
                    throws fr.inria.openmath.omapi.OMException

Receives notification of the end of an application element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

startApplication()

startAttribution

public void startAttribution()
                      throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a attribution element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endAttribution()

endAttribution

public void endAttribution()
                    throws fr.inria.openmath.omapi.OMException

Receives notification of the end of an attribution element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

startAttribution()

startAttributePairs

public void startAttributePairs()
                         throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of an attribute-pairs element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endAttributePairs()

endAttributePairs

public void endAttributePairs()
                       throws fr.inria.openmath.omapi.OMException

Receives notification of the end of an attribute-pairs element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

startAttribution()

startBind

public void startBind()
               throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a Bind element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endBind()

startBVars

public void startBVars()
                throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a BVars element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endBVars()

endBVars

public void endBVars()
              throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a BVars element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

startBVars()

endBind

public void endBind()
             throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a Bind element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endBind()

startError

public void startError()
                throws fr.inria.openmath.omapi.OMException

Receives notification of the beginning of a error element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

endError()

endError

public void endError()
              throws fr.inria.openmath.omapi.OMException

Receives notification of the end of an error element.

By default, do nothing. Application writers may override this method in a subclass.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

startError()

readInteger

public void readInteger(fr.inria.openmath.omapi.BigInt value)
                 throws fr.inria.openmath.omapi.OMException

Receives notification of an Integer element.

By default, do nothing. Application writers may override this method in a subclass.

Parameters:

value - the value embeded in this Integer element. This is an infinite precision integer.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

BigInt

readFloat

public void readFloat(double value)
               throws fr.inria.openmath.omapi.OMException

Receives notification of a floating-point number element.

By default, do nothing. Application writers may override this method in a subclass.

Parameters:

value - the value embeded in this Float element.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

readString

public void readString(java.lang.String value)
                throws fr.inria.openmath.omapi.OMException

Receives notification of a string element.

By default, do nothing. Application writers may override this method in a subclass.

Parameters:

value - the value embeded in this String element.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

readVariable

public void readVariable(java.lang.String name)
                  throws fr.inria.openmath.omapi.OMException

Receives notification of a variable element.

By default, do nothing. Application writers may override this method in a subclass.

Parameters:

name - the name of this Variable element.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

readByteArray

public void readByteArray(byte[] value)
                   throws fr.inria.openmath.omapi.OMException

Receives notification of a byteArray element.

By default, do nothing. Application writers may override this method in a subclass.

Parameters:

value - the value embeded in this ByteArray element.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

readSymbol

public void readSymbol(fr.inria.openmath.omapi.Symbol value)
                throws fr.inria.openmath.omapi.OMException

Receives notification of a symbol element.

By default, do nothing. Application writers may override this method in a subclass.

Parameters:

value - the value embeded in this Symbol element.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

Symbol

readComment

public void readComment(java.lang.String value)
                 throws fr.inria.openmath.omapi.OMException

Receives notification of a comment element.

By default, do nothing. Application writers may override this method in a subclass.

Parameters:

value - the value embeded in this Comment element.

Throws:

fr.inria.openmath.omapi.OMException - Any OpenMath exception.

See Also:

Comment