public interface OutputReporter extends Reporter
Modifier and Type | Method and Description |
---|---|
void |
end()
Signals end of reporting.
|
void |
endSection()
Ends the current section.
|
String |
getSectionCode()
Returns the section code for the most recently-started section.
|
void |
start(String[] announcements)
Signals beginning of reporting.
|
void |
startSection(String scode,
String message)
Begins a reporting section.
|
void |
summariseUnreportedMessages(String scode)
Writes to the output stream a summary of messages which were
suppressed in a given stage because the maximum repeat count
was exceeded.
|
void start(String[] announcements)
announcements
- header information about validator operation;
plain text, one line per elementvoid end()
void startSection(String scode, String message)
scode
- short fixed-length (3-char?) identifier for the
section about to startmessage
- terse (one-line) free-text description of the stageString getSectionCode()
void summariseUnreportedMessages(String scode)
scode
- section code to summarise;
if null, no stage filtering is donevoid endSection()
Copyright © 2024 Central Laboratory of the Research Councils. All Rights Reserved.