public interface ErrorReporter
A lower category of "error", styled a warning that can be reported.
Modifier and Type | Method and Description |
---|---|
boolean |
hasWarningOccurred()
Checks if at least one warning has been outputted.
|
void |
recordError(Class<?> classOriginating,
String message)
Reports an error with a constant string error message.
|
void |
recordError(Class<?> classOriginating,
String message,
Throwable exc)
Reports an error that occurred as an exception, with a message first introducing it.
|
void |
recordError(Class<?> classOriginating,
Throwable exc)
Reports an error that occurred as an exception
|
default void |
recordErrorFormatted(Class<?> classOriginating,
String format,
Object... args)
Reports an error with a string derived from a format-string.
|
void |
recordWarning(String message)
Reports an warning with a constant string error message.
|
default void |
recordWarningFormatted(String format,
Object... args)
Reports an warning with a string derived from a format-string.
|
void recordError(Class<?> classOriginating, String message, Throwable exc)
classOriginating
- a class in which the error originates (where it was thrown).message
- the message explaining the error.exc
- the error that occurred.void recordError(Class<?> classOriginating, Throwable exc)
classOriginating
- a class in which the error originates (where it was thrown)exc
- the error that occurredvoid recordError(Class<?> classOriginating, String message)
classOriginating
- a class in which the error originates (where it was thrown)message
- a message describing the error that occurredvoid recordWarning(String message)
message
- a message describing the warning.boolean hasWarningOccurred()
default void recordErrorFormatted(Class<?> classOriginating, String format, Object... args)
classOriginating
- a class in which the error originates (where it was thrown)format
- the format-string for the error messageargs
- the other arguments for the format-string like in String.format(java.lang.String, java.lang.Object...)
.default void recordWarningFormatted(String format, Object... args)
format
- the format-string for the warning messageargs
- the other arguments for the format-string like in String.format(java.lang.String, java.lang.Object...)
.Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.