Report a diagnostic
Report a diagnostic
Returns a string meaning "n elements".
Returns a string meaning "n elements".
Have errors been reported by this reporter, or in the case where this is a StoreReporter, by an outer reporter?
Have errors been reported by this reporter, or in the case where this is a StoreReporter, by an outer reporter?
Issue all error messages in this reporter to next outer one, or make sure they are written.
Issue all error messages in this reporter to next outer one, or make sure they are written.
Does this reporter contain not yet reported errors or warnings?
Does this reporter contain not yet reported errors or warnings?
Logs a position and returns true if it was already logged.
Logs a position and returns true if it was already logged.
Two positions are considered identical for logging if they have the same point.
Print the summary of warnings and errors
Print the summary of warnings and errors
Summary of warnings and errors
Summary of warnings and errors
This trait implements
isHidden
so that multiple messages per position are suppressed, unless they are of increasing severity.