---

ASTORE.java

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

import de.fub.bytecode.classfile.ConstantPool;
import gov.nasa.arc.ase.jpf.jvm.SystemState;
import gov.nasa.arc.ase.jpf.jvm.KernelState;
import gov.nasa.arc.ase.jpf.jvm.ThreadInfo;
import gov.nasa.arc.ase.util.Debug;

public class ASTORE extends Instruction {
  private int index;
  
  public Instruction execute(SystemState ss, KernelState ks, ThreadInfo th) {
    //** warning: an ASTORE should store an object reference. However   **//
    //**          it is used for subroutines program counters as well.  **//
    boolean ref = th.isOperandRef();

    th.setLocalVariable(index, th.pop(), ref);

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i, ConstantPool cp) {
    index = ((de.fub.bytecode.generic.ASTORE)i).getIndex();
  }  
}

---