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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

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