/** Sets the stack for the instruction at the specified offset * */
public void set(int offset, Frame f) {
OperandStack os = f.getStack();
// logger.info ("stack[" + offset + "] = " + toString(os));
if (track_locals) loc_arr[offset] = (LocalVariables) f.getLocals().clone();
os_arr[offset] = (OperandStack) os.clone();
}
/** TODO */
public String toString(OperandStack os) {
String buff = "";
for (int i = 0; i < os.size(); i++) {
if (buff.length() > 0) buff += ", ";
Type t = os.peek(i);
if (t instanceof UninitializedObjectType) buff += "uninitialized-object";
else buff += t;
}
return ("{" + buff + "}");
}
