Usage
The Java API programmer can invoke this exception notification mechanism
using the notifyWarning
and throwException
methods of CloverEnv
:
public void notifyWarning (int exceptionNumber, String text)
public void throwException (int exceptionNumber, String text)
In this example:
-
throwException
throwsCloverleafException
. -
notifyWarning
does not throwCloverleafException
.
There are two versions for each of the above methods. One is intended for use in catch blocks. This takes an additional argument of the original (caught) exception, for inclusion in the reported stack trace.