@FunctionalInterface public interface DiagnosticListener
void
report(Diagnostic diagnostic)
void report(Diagnostic diagnostic)
diagnostic
Scripting on this page tracks web page traffic, but does not change the content in any way.