All Packages Class Hierarchy This Package Previous Next Index
Class fr.inria.openmath.omapi.implementation.DebugParserHandler
java.lang.Object
|
+----fr.inria.openmath.omapi.ParserAdapter
|
+----fr.inria.openmath.omapi.implementation.DebugParserHandler
- public class DebugParserHandler
- extends ParserAdapter
This is a sample implementation of a ParserHamdler.
This one traces incoming events and forwards them to another
ParserHandler (if set).
It may thus be used as a debuging tool.
- See Also:
- ParserHandler
-
DebugParserHandler()
- Creates a new DebugParserHandler that wont forward events.
-
DebugParserHandler(ParserHandler)
- Creates a new DebugParserHandler that will forward events.
-
DebugParserHandler(ParserHandler, PrintWriter)
- Creates a new DebugParserHandler that will forward events.
-
endApplication()
-
-
endAttributePairs()
-
-
endAttribution()
-
-
endBind()
-
-
endBVars()
-
-
endError()
-
-
endObject()
-
-
endParse()
-
-
readByteArray(byte[])
-
-
readComment(String)
-
-
readFloat(double)
-
-
readInteger(BigInteger)
-
-
readInteger(int)
-
-
readPInstruction(String)
-
-
readString(String)
-
-
readSymbol(Symbol)
-
-
readVariable(String)
-
-
startApplication()
-
-
startAttributePairs()
-
-
startAttribution()
-
-
startBind()
-
-
startBVars()
-
-
startError()
-
-
startObject()
-
-
startParse()
-
DebugParserHandler
public DebugParserHandler(ParserHandler forward,
PrintWriter pw)
- Creates a new DebugParserHandler that will forward events.
- Parameters:
- forward - The ParserHandler to forward events to. (trace them then froward them)
- pw - Where to print trace.
DebugParserHandler
public DebugParserHandler(ParserHandler forward)
- Creates a new DebugParserHandler that will forward events.
- Parameters:
- forward - The ParserHandler to forward events to. (trace them then froward them)
DebugParserHandler
public DebugParserHandler()
- Creates a new DebugParserHandler that wont forward events.
Trace is done on default output (System.out).
startParse
public void startParse() throws OMException
- Overrides:
- startParse in class ParserAdapter
- See Also:
- startParse
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