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.
 

Method Detail

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.