public void debugBodyToString(StringBuffer sb) {
StringBuffer sb0 = new StringBuffer();
super.debugBodyToString(sb0);
StringTokenizer st = new StringTokenizer(sb0.toString(), "\n");
String[] lines = new String[st.countTokens()];
for (int i = 0; i < lines.length; i++) lines[i] = st.nextToken();
for (int j = 0; j < ofs[0]; j++) {
String s = " /* " + lines[j].trim();
while (s.length() < 50) s += " ";
s += " */";
sb.append(s);
sb.append("\n");
}
bindingMap = new IdentityHashMap();
nextVar = 0;
for (int i = 0; i < numOps; i++) {
String s = " /* " + lines[ofs[i]].trim();
while (s.length() < 50) s += " ";
s += " */ ";
s += ops[i].toString();
sb.append(s);
sb.append(";\n");
for (int j = ofs[i] + 1; j < (i == numOps - 1 ? size() : ofs[i + 1]); j++) {
s = " /* " + lines[j].trim();
while (s.length() < 50) s += " ";
s += " */";
sb.append(s);
sb.append("\n");
}
}
}
