com.goldenhammer.correctness
Interface ExceptionHandler

All Known Implementing Classes:

DefaultExceptionHandler, LoggingExceptionHandler

public interface ExceptionHandler

Specifies the interface for exception handlers. These can be used to change the way in which the ExceptionMonitor deals with exceptions.

Method Summary

void	handle(java.lang.Exception e) Handles the given exception.

Method Detail

handle

public void handle(java.lang.Exception e)

Handles the given exception.

Parameters:

e - The exception to handle.