org.checkerframework.javacutil

Interface ErrorHandler

All Known Implementing Classes:

AbstractNullnessChecker, AggregateChecker, AliasingChecker, AnnotationStatistics, BaseTypeChecker, ClassValChecker, CompilerMessagesChecker, FenumChecker, FormatterChecker, GuiEffectChecker, I18nChecker, I18nFormatterChecker, I18nSubchecker, IndexChecker, InitializationChecker, InterningChecker, JavaCodeStatistics, KeyForSubchecker, LessThanChecker, LocalizableKeyChecker, LockChecker, LowerBoundChecker, MethodValChecker, NullnessChecker, NullnessRawnessChecker, OptionalChecker, PropertyKeyChecker, PurityChecker, RegexChecker, ReportChecker, SameLenChecker, SearchIndexChecker, SignatureChecker, SignednessChecker, SourceChecker, SubstringIndexChecker, SubtypingChecker, TaintingChecker, TypeOutputtingChecker, UnitsChecker, UpperBoundChecker, ValueChecker

public interface ErrorHandler

An implementation of the ErrorHandler interface can be registered with the ErrorReporter class to change the default behavior on errors.

Method Summary

Modifier and Type	Method and Description
void	errorAbort(String msg) Log an error message and abort processing.
void	errorAbort(String msg, Throwable cause)

Method Detail

errorAbort

void errorAbort(String msg)

Log an error message and abort processing.

Parameters:

msg - the error message to log

errorAbort

void errorAbort(String msg,
                Throwable cause)