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 throws CloverleafException.
  • notifyWarning does not throw CloverleafException.

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.