/** TODO */
public String toString(LocalVariables lv) {
String buff = "";
for (int i = 0; i < lv.maxLocals(); i++) {
if (buff.length() > 0) buff += ", ";
Type t = lv.get(i);
if (t instanceof UninitializedObjectType) buff += "uninitialized-object";
else buff += t;
}
return ("{" + buff + "}");
}
