add_diagnostic


Description:

public void add_diagnostic (Diagnostic diagnostic)

Appends a diagnostic to diagnostics.