public String toString() { @NonNls String s = "DS: finished=" + errorAnalyzingFinished; s += "; pass statuses: " + passStati.size() + "; "; for (ProgressableTextEditorHighlightingPass passStatus : passStati) { s += String.format( "(%s %2.0f%% %b)", passStatus.getPresentableName(), passStatus.getProgress() * 100, passStatus.isFinished()); } s += "; error count: " + errorCount.length + ": " + new TIntArrayList(errorCount); return s; }