---

PUTSTATIC.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.Constants;
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 PUTSTATIC extends AbstractInstruction {
  private de.fub.bytecode.generic.PUTSTATIC peer;
       
//#endif RACE
// ifdef RACE
  private void ANALYZE_execute(ThreadInfo th, StaticArea sa, 
                               ConstantPoolGen cpg, long value){
    if (Analyze.on()){
      String className = peer.getClassName(cpg);
      String fieldName = peer.getFieldName(cpg);
      ClassRef classref = new ClassRef(StaticMap.getEntry(className));
      LockStatus lock_status = sa.getLockStatus(className, fieldName);
      Analyze.debugPreAccess(th, className, fieldName, classref, "PUTSTATIC", value, lock_status);
      lock_status.checkWrite(th, className, fieldName);
      Analyze.debugPostAccess(lock_status);
    }
  }  
  private void DEPEND_execute(ThreadInfo th, ConstantPoolGen cpg){
    if (Depend.on()){
      String className = peer.getClassName(cpg);
      ClassRef classref = new ClassRef(StaticMap.getEntry(className));
      Depend.addWrite(th, classref);
    }
  }  
  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    StaticArea sa = ks.static_area;
    ConstantPoolGen cpg = th.getCPG();

    // name of the class to get the field from
    String classname = peer.getClassName(cpg);

    // lets check that the class is loaded or load it otherwise
    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 size = peer.consumeStack(cpg);
    long value;

// ifdef MARK_N_SWEEP
    if(size == 1)
      value = th.peek();
    else
      value = th.peek2();

    sa.setValue(peer.getClassName(cpg), peer.getFieldName(cpg), value);
    th.pop(size);
//#else MARK_N_SWEEP






//#endif MARK_N_SWEEP

// ifdef RACE
    ANALYZE_execute(th, sa, cpg, value);
    DEPEND_execute(th, cpg);
//#endif RACE

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

---