+ @Override
+ public void dump(PrintWriter pw, int indent)
+ {
+ int childIndent = indent + 2;
+ String margin = String.format("%" + indent + "s", "");
+
+ pw.println(margin + TAG + " (" + m_type + ")");
+ for (BugClass bc : m_classes) {
+ bc.dump(pw, childIndent);
+ }
+ for (BugMethod bm : m_methods) {
+ bm.dump(pw, childIndent);
+ }
+ for (LocalVariable lv : m_locals) {
+ lv.dump(pw, childIndent);
+ }
+ for (SourceLine sl : m_lines) {
+ sl.dump(pw, childIndent);
+ }
+ }