third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java

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