Esempio n. 1
0
 public String dump() {
   StringBuilder result = new StringBuilder();
   result.append(toString());
   result.append('\n');
   for (final CheckerErrorTrace trace : getTraces()) result.append(trace.dump());
   return result.toString();
 }