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
-
PipeParserHandler()
-
-
PipeParserHandler(Printer)
-
-
endApplication()
-
-
endAttributePairs()
-
-
endAttribution()
-
-
endBind()
-
-
endBVars()
-
-
endError()
-
-
endObject()
-
-
endParse()
-
-
getPrinter()
- Get the printer.
-
readByteArray(byte[])
-
-
readComment(String)
-
-
readFloat(double)
-
-
readInteger(BigInteger)
-
-
readInteger(int)
-
-
readPInstruction(String)
-
-
readString(String)
-
-
readSymbol(Symbol)
-
-
readVariable(String)
-
-
setPrinter(Printer)
- Set the printer.
-
startApplication()
-
-
startAttributePairs()
-
-
startAttribution()
-
-
startBind()
-
-
startBVars()
-
-
startError()
-
-
startObject()
-
PipeParserHandler
public PipeParserHandler(Printer printer)
PipeParserHandler
public PipeParserHandler()
setPrinter
public void setPrinter(Printer printer)
- Set the printer.
getPrinter
public Printer getPrinter()
- Get the printer.
endParse
public void endParse() throws OMException
- Overrides:
- endParse in class ParserAdapter
- See Also:
- endParse
startObject
public void startObject() throws OMException
- Overrides:
- startObject in class ParserAdapter
- See Also:
- startObject
endObject
public void endObject() throws OMException
- Overrides:
- endObject in class ParserAdapter
- See Also:
- endObject
startApplication
public void startApplication() throws OMException
- Overrides:
- startApplication in class ParserAdapter
- See Also:
- startApplication
endApplication
public void endApplication() throws OMException
- Overrides:
- endApplication in class ParserAdapter
- See Also:
- endApplication
startAttribution
public void startAttribution() throws OMException
- Overrides:
- startAttribution in class ParserAdapter
- See Also:
- startAttribution
endAttribution
public void endAttribution() throws OMException
- Overrides:
- endAttribution in class ParserAdapter
- See Also:
- endAttribution
startAttributePairs
public void startAttributePairs() throws OMException
- Overrides:
- startAttributePairs in class ParserAdapter
- See Also:
- startAttributePairs
endAttributePairs
public void endAttributePairs() throws OMException
- Overrides:
- endAttributePairs in class ParserAdapter
- See Also:
- endAttributePairs
startBind
public void startBind() throws OMException
- Overrides:
- startBind in class ParserAdapter
- See Also:
- startBind
endBind
public void endBind() throws OMException
- Overrides:
- endBind in class ParserAdapter
- See Also:
- endBind
startBVars
public void startBVars() throws OMException
- Overrides:
- startBVars in class ParserAdapter
- See Also:
- startBVars
endBVars
public void endBVars() throws OMException
- Overrides:
- endBVars in class ParserAdapter
- See Also:
- endBVars
startError
public void startError() throws OMException
- Overrides:
- startError in class ParserAdapter
- See Also:
- startError
endError
public void endError() throws OMException
- Overrides:
- endError in class ParserAdapter
- See Also:
- endError
readInteger
public void readInteger(int value) throws OMException
- Overrides:
- readInteger in class ParserAdapter
- See Also:
- readInteger
readInteger
public void readInteger(BigInteger value) throws OMException
- Overrides:
- readInteger in class ParserAdapter
- See Also:
- readInteger
readFloat
public void readFloat(double value) throws OMException
- Overrides:
- readFloat in class ParserAdapter
- See Also:
- readFloat
readString
public void readString(String value) throws OMException
- Overrides:
- readString in class ParserAdapter
- See Also:
- readString
readVariable
public void readVariable(String name) throws OMException
- Overrides:
- readVariable in class ParserAdapter
- See Also:
- readVariable
readByteArray
public void readByteArray(byte value[]) throws OMException
- Overrides:
- readByteArray in class ParserAdapter
- See Also:
- readByteArray
readSymbol
public void readSymbol(Symbol value) throws OMException
- Overrides:
- readSymbol in class ParserAdapter
- See Also:
- readSymbol
readComment
public void readComment(String comment) throws OMException
- Overrides:
- readComment in class ParserAdapter
- See Also:
- readComment
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