blob: 3fd0faa475167b7956e9f08fbf09fe89d86a8037 (
plain)
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);
}
|