/** Symbolically executes the corresponding Java Virtual Machine instruction. */
public void visitLDC_W(LDC_W o) {
Constant c = cpg.getConstant(o.getIndex());
if (c instanceof ConstantInteger) {
stack().push(Type.INT);
}
if (c instanceof ConstantFloat) {
stack().push(Type.FLOAT);
}
if (c instanceof ConstantString) {
stack().push(Type.STRING);
}
}
