---

Fields.java

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

import de.fub.bytecode.*;
import de.fub.bytecode.classfile.*;
import de.fub.bytecode.generic.*;
import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.util.Debug;
import gov.nasa.arc.ase.util.HashData;
import gov.nasa.arc.ase.util.PoolObject;
import java.io.*;
import java.util.*;
// ifdef RACE
import gov.nasa.arc.ase.jpf.jvm.runtime.*;
//#endif RACE

public class Fields extends PoolObject {
  private ClassInfo ci;
  private long[] variables;
// ifdef MARK_N_SWEEP
  BitSet variablerefs = new BitSet();
//#endif MARK_N_SWEEP

// ifdef RACE
  List locks; // List of LockStatus
  LockStatus arrayLock;

//#endif RACE

  public Fields(ClassInfo c, int nfields) {
    ci = c;
    variables = new long[nfields];

// ifdef RACE
    ANALYZE_Fields(nfields);
//#endif RACE
  }  
  private void ANALYZE_addEntry() {
    if (Analyze.on()) {
      locks.add(new LockStatus());
    }
  }  
// ifdef RACE
  private void ANALYZE_Fields(int numFields) {
    if (Analyze.on()) {
      // The ideal solution is that only one of these gets declared and created
      // depending on whether the Fields object represents an array or not.
      arrayLock = new LockStatus();
      locks = new ArrayList(numFields);
    }
    for(int i = 0; i < numFields; i++)
      ANALYZE_addEntry();
  }  
//#endif RACE

  public Object clone() {
    try {
      Fields cv = (Fields)super.clone();

      int l = variables.length;
      cv.variables = new long[l];

      System.arraycopy(variables, 0, cv.variables, 0, l);

// ifdef MARK_N_SWEEP
      cv.variablerefs = (BitSet)variablerefs.clone();
//#endif MARK_N_SWEEP

      return cv; 
    } catch(CloneNotSupportedException e) {
      throw new InternalError(e.toString());
    }
  }  
  public boolean equals(Object obj) {
    if(obj == null) return false;

    Fields  cv = (Fields)obj;
    long[] v = cv.variables;

    if (ci != cv.getClassInfo()) return false;

    int l = variables.length;
    if (l != v.length) return false;

// ifdef MARK_N_SWEEP
    if(!variablerefs.equals(cv.variablerefs)) return false;
//#endif MARK_N_SWEEP

    for(int i = 0; i < l; i++)
      if(variables[i] != v[i]) return false;

    if(ci == null && cv.ci != null) return false;
    if(ci != null && cv.ci == null) return false;

    return true;
  }  
  public ClassInfo getClassInfo() {
    return ci;
  }  
  public LockStatus getLockStatus() {
    return arrayLock;
  }  
  public LockStatus getLockStatus(String fieldname) {
    int index = ((Integer)ci.fieldNames.get(fieldname)).intValue();
    return (LockStatus)locks.get(index);    
  }  
  public long getValue(int index) { return variables[index]; }  
//#endif MARK_N_SWEEP

  // ---------------------------------------------
  //   access to the fields of a class or object
  // ---------------------------------------------

  public long getValue(String fieldname) {
    return variables[((Integer)ci.fieldNames.get(fieldname)).intValue()];
  }  
  public long[] getVariables() {
    return variables;
  }  
  public void hash(HashData hd) {
    for(int i = 0, s = variables.length; i < s; i++)
      hd.add((int)variables[i]);
  }  
  public int hashCode() {
    HashData hd = new HashData();

    for(int i = 0, s = variables.length; i < s; i++)
      hd.add((int)variables[i]);

    return hd.getValue();
  }  
// ifdef REFERENCE_COUNT






//#endif REFERENCE_COUNT

// ifdef MARK_N_SWEEP
  public boolean isRef(String fieldname) {
    return variablerefs.get(((Integer)ci.fieldNames.get(fieldname)).intValue());
  }  
//#endif MARK_N_SWEEP

  public void log(int ref, boolean object) {
    for(int i = 0; i < variables.length; i++) {
      if(ci != null)
    Debug.print(Debug.MESSAGE, "    " + (object ? ci.getDynamicFields() : ci.getStaticFields())[i] + ":");
      else
    Debug.print(Debug.MESSAGE, "    #" + i + ":");
// ifdef MARK_N_SWEEP
      if(variablerefs.get(i))
    Debug.print(Debug.MESSAGE, "#");
//#endif MARK_N_SWEEP
      Debug.println(Debug.MESSAGE, variables[i] + "");
    }
  }  
// ifdef MARK_N_SWEEP
  public void mark(DynamicArea da) {
    int length = variables.length;
    for(int i = 0; i < length; i++)
      if(variablerefs.get(i))
    da.mark((int)variables[i]);
  }  
  public void setValue(int index, long value) {
// ifdef MARK_N_SWEEP
    if(variablerefs.get(index)
    && variables[index] != -1
    && variables[index] != value)
      VirtualMachine.activateGC();
//#endif MARK_N_SWEEP
// ifdef REFERENCE_COUNT





//#endif REFERENCE_COUNT
    variables[index] = (long)value;
  }  
  public void setValue(String fieldname, long value) {
    int index = ((Integer)ci.fieldNames.get(fieldname)).intValue();

// ifdef MARK_N_SWEEP
    if(variablerefs.get(index)
    && variables[index] != -1
    && variables[index] != value)
      VirtualMachine.activateGC();
//#endif MARK_N_SWEEP
// ifdef REFERENCE_COUNT





//#endif REFERENCE_COUNT
    variables[index] = (long)value;
  }  
//#endif MARK_N_SWEEP

// ifdef MARK_N_SWEEP
  public void setValueRef(int idx) {
    variablerefs.set(idx);
  }  
  public int size() {
    return variables.length;
  }  
}

---