---

LDC.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.ConstantFloat;
import de.fub.bytecode.classfile.ConstantString;
import de.fub.bytecode.classfile.ConstantInteger;
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 LDC extends AbstractInstruction {
  private de.fub.bytecode.generic.LDC peer;

  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.STRING) {
      // loaded the string constant
      int index = ((ConstantString)cons).getStringIndex();
      Constant c = cp.getConstant(index);
      String str =  cp.constantToString(c);

      int objref = ks.dynamic_area.newStringObject(str, th);

      // stores the reference on the stack
      th.push(objref);
// ifdef MARK_N_SWEEP
      th.setOperandRef();
//#endif MARK_N_SWEEP
    } else if (peer.getType(cpg) == Type.INT) {
      // loads the constant
      int value = ((ConstantInteger)cons).getBytes();

      // pushes the value onto the stack
      th.push(value);
    } else {
      // loads the constant
      float value = ((ConstantFloat)cons).getBytes();

      // pushes the value onto the stack
      th.push(Types.floatToInt(value));
    }
    //** warning: there should be an else here to check for errors  **//

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

---