package org.checkerframework.javacutil;
/**
* An implementation of the ErrorHandler interface can be registered
* with the ErrorReporter class to change the default behavior on
* errors.
*/
public interface ErrorHandler {
/**
* Log an error message and abort processing.
*
* @param msg The error message to log.
*/
public void errorAbort(String msg);
public void errorAbort(String msg, Throwable cause);
}