boolean (@NotNull HighlightInfo info) { if (info.getSeverity() == HighlightInfoType.ELEMENT_UNDER_CARET_SEVERITY || info.type == HighlightInfoType.TODO) { return true; } if (!foundInfoList.isEmpty() && highestPriorityOnly) { HighlightInfo foundInfo = foundInfoList.get(0); int compare = foundInfo.getSeverity().compareTo(info.getSeverity()); if (compare < 0) { foundInfoList.clear(); } else if (compare > 0) { return true; } } foundInfoList.add(info); return true; }