public int getNumberOfErrors() { int sz = 0; for (ReportShortFileError error : myShortErrors.values()) { sz += error.getNumberOfErrors(); } return sz; }
public void render(@NotNull RenderMode mode, @NotNull LogWriter writer) { if (myShortErrors.isEmpty()) return; writer.println(myKind + " (" + getNumberOfErrors() + ")"); final LogWriter offset = writer.offset(); for (ReportShortFileError error : myShortErrors.values()) { error.render(mode, offset); } writer.println(); }