diff options
Diffstat (limited to 'third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java')
-rw-r--r-- | third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java index 3fd0faa475..76ee74eaca 100644 --- a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java +++ b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java @@ -1,16 +1,15 @@ package org.checkerframework.javacutil; /** - * An implementation of the ErrorHandler interface can be registered - * with the ErrorReporter class to change the default behavior on - * errors. + * 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. + * @param msg the error message to log */ public void errorAbort(String msg); |