package org.checkerframework.javacutil;

/**
 * Handle errors detected in utility classes. By default, the error reporter throws a
 * RuntimeException, but clients of the utility library may register a handler to change the
 * behavior. For example, type checkers can direct errors to the
 * org.checkerframework.framework.source.SourceChecker class.
 */
public class ErrorReporter {

    protected static ErrorHandler handler = null;

    /** Register a handler to customize error reporting. */
    public static void setHandler(ErrorHandler h) {
        handler = h;
    }

    /**
     * Log an error message and abort processing. Call this method instead of raising an exception.
     *
     * @param msg the error message to log
     */
    public static void errorAbort(String msg) {
        if (handler != null) {
            handler.errorAbort(msg);
        } else {
            throw new RuntimeException(msg, new Throwable());
        }
    }

    /**
     * Log an error message use {@link String#format(String, Object...)}} and abort processing. Call
     * this method instead of raising an exception.
     *
     * @param format a format string
     * @param args arguments to the format string
     */
    public static void errorAbort(String format, Object... args) {
        String formattedMsg = String.format(format, args);
        if (handler != null) {
            handler.errorAbort(formattedMsg);
        } else {
            throw new RuntimeException(formattedMsg, new Throwable());
        }
    }

    public static void errorAbort(String msg, Throwable cause) {
        if (handler != null) {
            handler.errorAbort(msg, cause);
        } else {
            throw new RuntimeException(msg, cause);
        }
    }
}