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);
}