---

GETFIELD.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.generic.InstructionHandle;
import gov.nasa.arc.ase.util.Debug;
// ifdef RACE
import gov.nasa.arc.ase.jpf.jvm.runtime.*;
//#endif RACE

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

//#endif RACE
// ifdef RACE
  private void ANALYZE_execute(ThreadInfo th, int objref,
      DynamicArea da, ConstantPoolGen cpg){
    if (Analyze.on()){
      String className = peer.getClassName(cpg);
      String fieldName = peer.getFieldName(cpg);
      LockStatus lock_status = da.getLockStatus(objref, fieldName);
      Analyze.debugPreAccess(th, className, fieldName, new ObjRef(objref),
      "GETFIELD", da.getValue(objref, fieldName), lock_status);
      lock_status.checkRead(th, className, fieldName);
      Analyze.debugPostAccess(lock_status);
    }
  }  
  private void DEPEND_execute(ThreadInfo th, int objref){
    if (Depend.on()){
      Depend.addRead(th, new ObjRef(objref));
    }
  }  
  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    ConstantPoolGen cpg = th.getCPG();

    int objref;
    long value;
    
// ifdef MARK_N_SWEEP
    objref = th.peek();
    value = ks.dynamic_area.getValue(objref, peer.getFieldName(cpg));
    th.pop();

    if(peer.produceStack(cpg) == 1)
      th.push((int)value);
    else
      th.push2(value);

    if(ks.dynamic_area.isFieldRef(objref, peer.getFieldName(cpg)))
      th.setOperandRef();
//#else MARK_N_SWEEP







//#endif MARK_N_SWEEP

// ifdef RACE
    ANALYZE_execute(th, objref, ks.dynamic_area, cpg);
    DEPEND_execute(th, objref);
//#endif RACE

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

---