All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class fr.inria.openmath.omapi.implementation.PipeParserHandler

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

public class PipeParserHandler
extends ParserAdapter

Constructor Index

 o PipeParserHandler()
 o PipeParserHandler(Printer)

Method Index

 o endApplication()
 o endAttributePairs()
 o endAttribution()
 o endBind()
 o endBVars()
 o endError()
 o endObject()
 o endParse()
 o getPrinter()
Get the printer.
 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 setPrinter(Printer)
Set the printer.
 o startApplication()
 o startAttributePairs()
 o startAttribution()
 o startBind()
 o startBVars()
 o startError()
 o startObject()

Constructors

 o PipeParserHandler
 public PipeParserHandler(Printer printer)
 o PipeParserHandler
 public PipeParserHandler()

Methods

 o setPrinter
 public void setPrinter(Printer printer)
Set the printer.

 o getPrinter
 public Printer getPrinter()
Get the printer.

 o endParse
 public void endParse() throws OMException
Overrides:
endParse in class ParserAdapter
See Also:
endParse
 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:
readPInstruction

All Packages  Class Hierarchy  This Package  Previous  Next  Index