---

PUTFIELD.java

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

import de.fub.bytecode.classfile.ConstantPool;
import de.fub.bytecode.generic.ConstantPoolGen;
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.jpf.jvm.ElementInfo;
import gov.nasa.arc.ase.jpf.InternalErrorException;
import gov.nasa.arc.ase.util.Debug;
//#ifdef RACE

//#endif RACE

public class PUTFIELD extends Instruction {
  private String fname;
  private int size;

  public Instruction execute(SystemState ss, KernelState ks, ThreadInfo th) {
    ElementInfo e = null;

    switch(size) {
      case 2:
    {
      long value = th.longPop();
      int objref = th.pop();
      e = ks.da.get(objref);
      e.setLongField(fname, value);
    }
    break;

      case 1:
    {
      int value = th.pop();
      int objref = th.pop();
      e = ks.da.get(objref);
      e.setField(fname, value);
    }
    break;

      default:
    throw new InternalErrorException("invalid type size");
    }

//#ifdef RACE


//#endif RACE

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i, ConstantPool cp) {
    fname = ((de.fub.bytecode.generic.PUTFIELD)i).getFieldName(new ConstantPoolGen(cp));
    size = ((de.fub.bytecode.generic.PUTFIELD)i).getFieldType(new ConstantPoolGen(cp)).getSize();
  }  
}

---