Invoked when a problem is found.
Parameters:
diagnostic
Exceptions:
NullPointerException
null
Diagram: Diagnostic