---

LDC2_W.java

package gov.nasa.arc.ase.jpf.jvm.bytecode;

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;
import de.fub.bytecode.classfile.ConstantPool;
import de.fub.bytecode.classfile.Constant;
import de.fub.bytecode.classfile.ConstantDouble;
import de.fub.bytecode.classfile.ConstantLong;
import de.fub.bytecode.generic.Type;
import de.fub.bytecode.generic.ConstantPoolGen;
import de.fub.bytecode.generic.InstructionHandle;
import gov.nasa.arc.ase.util.Debug;

public class LDC2_W extends AbstractInstruction {
  private de.fub.bytecode.generic.LDC2_W peer;
  private int id;

  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    ConstantPoolGen cpg = th.getCPG();
    ConstantPool cp = cpg.getConstantPool();
    Constant cons = cp.getConstant(peer.getIndex());

    if (peer.getType(cpg) == Type.LONG) {
      // loads constant value
      long value = ((ConstantLong)cons).getBytes();

      // pushes the value onto the stack
      th.push2(value);
    } else {
      // loads constant value
      double value = ((ConstantDouble)cons).getBytes();

      // pushes the value onto the stack
      th.push2(Types.doubleToLong(value));
    }

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i) {
    peer = (de.fub.bytecode.generic.LDC2_W)i;
  }  
}

---