All Packages Class Hierarchy This Package Previous Next Index
Class fr.inria.openmath.omapi.ParserErrorAdapter
java.lang.Object
|
+----fr.inria.openmath.omapi.ParserErrorAdapter
- public class ParserErrorAdapter
- extends Object
- implements ParserErrorHandler
Default base class for ParserErrorHandler.
This class implements the default behaviour for ParserErrorHandler.
Application writers can extend this class when they need to
implement only part of an interface; parser writers can
instantiate this class to provide default handlers when the
application has not supplied its own.
Note that the use of this class is optional.
- See Also:
- ParserErrorHandler
-
ParserErrorAdapter()
-
-
error(OMException)
- Receives notification of a recoverable error.
-
fatalError(OMException)
- Receives notification of a non-recoverable error.
-
warning(OMException)
- Receives notification of a warning.
ParserErrorAdapter
public ParserErrorAdapter()
warning
public void warning(OMException exception) throws OMException
- Receives notification of a warning.
By default, do nothing. Application writers may override this
method in a subclass.
- Parameters:
- exception - The trouble-shouting information encapsulated in a
OpenMath exception.
- Throws: OMException
- Any OpenMath exception.
- See Also:
- OMException
error
public void error(OMException exception) throws OMException
- Receives notification of a recoverable error.
By default, do nothing. Application writers may override this
method in a subclass.
- Parameters:
- exception - The trouble-shouting information encapsulated in a
OpenMath exception.
- Throws: OMException
- Any OpenMath exception.
- See Also:
- OMException
fatalError
public void fatalError(OMException exception) throws OMException
- Receives notification of a non-recoverable error.
Throws the fatal exception.
- Parameters:
- exception - The trouble-shouting information encapsulated in a
OpenMath exception.
- Throws: OMException
- Any OpenMath exception.
- See Also:
- OMException
All Packages Class Hierarchy This Package Previous Next Index