+ void writeBugVariables(PrintWriter pw, BugInstance bug)
+ {
+ for (LocalVariable var : bug.getVariables()) {
+ StringBuffer sb = new StringBuffer();
+
+ if (null != var) {
+ String name = var.getName();
+ String role = var.getRole();
+ sb.append(name);
+ if (null != role) {
+ sb.append(" (").append(role).append(")");
+ }
+ }
+
+ pw.println(" <TR><TD COLSPAN=\"2\" CLASS=\"Var\">" + sb.toString() + "</TD></TR>");
+ }
+ }
+