diagnosticCount

Get the total number of diagnostics in the given state.