fr.ove.openmath.mfd2.omparser
Class Mfd2ParserHandler

java.lang.Object
  fr.inria.openmath.omapi.ParserAdapter
      fr.ove.openmath.mfd2.omparser.Mfd2ParserHandler

All Implemented Interfaces:

fr.inria.openmath.omapi.ParserHandler

public class Mfd2ParserHandler

extends fr.inria.openmath.omapi.ParserAdapter

A handler for the OpenMath parser of the Mfd2 application.

Constructor Summary

Mfd2ParserHandler()

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.
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

endParse, readInteger, setLocator, startParse

Methods inherited from class java.lang.Object

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

Constructor Detail

Mfd2ParserHandler

public Mfd2ParserHandler()

Method Detail

getOmObjectParsed

public java.lang.String getOmObjectParsed()

Returns the OpenMath object parsed.

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