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();
}
public Element xmlDump() {
Element result = DocumentFactory.getInstance().createElement("error");
result.addElement("short_desc").addText(getShortDesc());
result.addElement("full_desc").addText(getFullDesc());
result.addElement("importance").addText(Integer.toString(getImportance()));
result.addElement("checker_name").addText(getCheckerName());
Element eTraces = result.addElement("traces").addText(getCheckerName());
for (final CheckerErrorTrace trace : getTraces()) eTraces.add(trace.xmlDump());
return result;
}
