All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.checkerframework.javacutil.ErrorHandler Maven / Gradle / Ivy

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




© 2015 - 2025 Weber Informatics LLC | Privacy Policy