sub_arctic.lib
Interface exception_handler
- public abstract interface exception_handler
An object which can be given to manager.handle_unexpected_exception() to
perform a custom action when an unexpected exception is caught.
- See Also:
manager
Method Summary |
void |
handle_exception(java.lang.Exception ex)
Do something in response to an exception. |
handle_exception
public void handle_exception(java.lang.Exception ex)
- Do something in response to an exception. Note that we don't allow
this to throw a different exception (but it could throw an error).
- Parameters:
Exception
- ex the unexpected exception that has been caught.