---

NEW.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.generic.ConstantPoolGen;
import de.fub.bytecode.classfile.ConstantPool;
import de.fub.bytecode.classfile.Constant;
import de.fub.bytecode.generic.InstructionHandle;
import gov.nasa.arc.ase.util.Debug;

public class NEW extends AbstractInstruction {
  private de.fub.bytecode.generic.NEW peer;

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

    // gets the name of the class to create
    String classname =  cp.constantToString(constant);    

    // loads the class if it is needed
    JPFVM jpfvm = JPFVM.getJPFVM();
    ClassInfo ci = jpfvm.getClass(classname);
    if (!ks.static_area.hasClass(classname)) {
      ks.static_area.addClass(ci);
      return ci.initialize(ss, ks, th);
    }

    int objref = ks.dynamic_area.newObject(ci, th);

    // check if it's a thread
    if (ci.isThread()) {
      ThreadInfo nt = new ThreadInfo();
      nt.setClassInfo(ci);
      nt.setReference(new ObjRef(objref));
// ifdef REFERENCE_COUNT

//#endif REFERENCE_COUNT

      ks.newThread(nt);
    }

    // pushes the return value onto the stack
    th.push(objref);
// ifdef MARK_N_SWEEP
    th.setOperandRef();
//#endif MARK_N_SWEEP

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

---