All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class fr.inria.openmath.omapi.implementation.TreeParserHandler

java.lang.Object
   |
   +----fr.inria.openmath.omapi.ParserAdapter
           |
           +----fr.inria.openmath.omapi.implementation.TreeParserHandler

public class TreeParserHandler
extends ParserAdapter

Constructor Index

 o TreeParserHandler()

Method Index

 o endApplication()
 o endAttributePairs()
 o endAttribution()
 o endBind()
 o endBVars()
 o endError()
 o endObject()
 o readByteArray(byte[])
 o readComment(String)
 o readFloat(double)
 o readInteger(BigInteger)
 o readInteger(int)
 o readPInstruction(String)
 o readString(String)
 o readSymbol(Symbol)
 o readVariable(String)
 o setLocator(Locator)
 o setTreeHandler(TreeHandler)
Set the TreeHandler.
 o startApplication()
 o startAttributePairs()
 o startAttribution()
 o startBind()
 o startBVars()
 o startError()
 o startObject()
 o startParse()

Constructors

 o TreeParserHandler
 public TreeParserHandler()

Methods

 o setTreeHandler
 public void setTreeHandler(TreeHandler treeHandler)
Set the TreeHandler.

Tree events (like "tree parsed") will be delivered to this TreeHandler.

Parameters:
s - treeHandler the new tree event handler to use.
 o setLocator
 public void setLocator(Locator locator)
Overrides:
setLocator in class ParserAdapter
See Also:
setLocator
 o startParse
 public void startParse()
Overrides:
startParse in class ParserAdapter
See Also:
startParse
 o startObject
 public void startObject() throws OMException
Overrides:
startObject in class ParserAdapter
See Also:
startObject
 o endObject
 public void endObject() throws OMException
Overrides:
endObject in class ParserAdapter
See Also:
endObject
 o startApplication
 public void startApplication() throws OMException
Overrides:
startApplication in class ParserAdapter
See Also:
startApplication
 o endApplication
 public void endApplication() throws OMException
Overrides:
endApplication in class ParserAdapter
See Also:
endApplication
 o startAttribution
 public void startAttribution() throws OMException
Overrides:
startAttribution in class ParserAdapter
See Also:
startAttribution
 o endAttribution
 public void endAttribution() throws OMException
Overrides:
endAttribution in class ParserAdapter
See Also:
endAttribution
 o startAttributePairs
 public void startAttributePairs() throws OMException
Overrides:
startAttributePairs in class ParserAdapter
See Also:
startAttributePairs
 o endAttributePairs
 public void endAttributePairs() throws OMException
Overrides:
endAttributePairs in class ParserAdapter
See Also:
endAttributePairs
 o startBind
 public void startBind() throws OMException
Overrides:
startBind in class ParserAdapter
See Also:
startBind
 o endBind
 public void endBind() throws OMException
Overrides:
endBind in class ParserAdapter
See Also:
endBind
 o startBVars
 public void startBVars() throws OMException
Overrides:
startBVars in class ParserAdapter
See Also:
startBVars
 o endBVars
 public void endBVars() throws OMException
Overrides:
endBVars in class ParserAdapter
See Also:
endBVars
 o startError
 public void startError() throws OMException
Overrides:
startError in class ParserAdapter
See Also:
startError
 o endError
 public void endError() throws OMException
Overrides:
endError in class ParserAdapter
See Also:
endError
 o readInteger
 public void readInteger(int value) throws OMException
Overrides:
readInteger in class ParserAdapter
See Also:
readInteger
 o readInteger
 public void readInteger(BigInteger value) throws OMException
Overrides:
readInteger in class ParserAdapter
See Also:
readInteger
 o readFloat
 public void readFloat(double value) throws OMException
Overrides:
readFloat in class ParserAdapter
See Also:
readFloat
 o readString
 public void readString(String value) throws OMException
Overrides:
readString in class ParserAdapter
See Also:
readString
 o readVariable
 public void readVariable(String name) throws OMException
Overrides:
readVariable in class ParserAdapter
See Also:
readVariable
 o readByteArray
 public void readByteArray(byte value[]) throws OMException
Overrides:
readByteArray in class ParserAdapter
See Also:
readByteArray
 o readSymbol
 public void readSymbol(Symbol value) throws OMException
Overrides:
readSymbol in class ParserAdapter
See Also:
readSymbol
 o readComment
 public void readComment(String comment) throws OMException
Overrides:
readComment in class ParserAdapter
See Also:
readComment
 o readPInstruction
 public void readPInstruction(String pi) throws OMException
Overrides:
readPInstruction in class ParserAdapter
See Also:
readComment

All Packages  Class Hierarchy  This Package  Previous  Next  Index