Lines Matching defs:diagnostics
3067 * Filter diagnostics for only errors (no warnings, ...)
3068 * @param diagnostics input list
3071 List<Diag> errorsOnly(List<Diag> diagnostics) {
3072 return diagnostics.stream()
3173 List<Diag> diagnostics = state.diagnostics(sn).collect(toList());
3177 for (Diag d : diagnostics) {
3197 new DisplayEvent(ste, FormatWhen.PRIMARY, ste.value(), diagnostics)
3201 if (diagnostics.isEmpty()) {
3209 List<Diag> other = errorsOnly(diagnostics);
3294 List<Diag> otherErrors = errorsOnly(state.diagnostics(sn).collect(toList()));