public interface Reporter
Note that in earlier versions Reporter was a concrete class
with more methods, used by the TapLinter harness class.
That concrete class, which implements this interface,
has now been renamed OutputReporter
.
Modifier and Type | Method and Description |
---|---|
void |
report(ReportCode code,
String message)
Reports a message.
|
void |
report(ReportCode code,
String message,
Throwable err)
Reports a message with an associated throwable.
|
void report(ReportCode code, String message)
This convenience method is equivalent to calling
report(code,message,null)
code
- report code; messages with the same code should
identify essentially the same conditionmessage
- free-text message; it may be multi-line and/or
longish, but may in practice be truncated on outputvoid report(ReportCode code, String message, Throwable err)
code
- report code; messages with the same code should
identify essentially the same conditionmessage
- free-text message; it may be multi-line and/or
longish, but may in practice be truncated on outputerr
- throwableCopyright © 2025 Central Laboratory of the Research Councils. All Rights Reserved.