---

ThreadData.java

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

import gov.nasa.arc.ase.util.HashData;
//#ifdef RACE

//#endif RACE

class ThreadData {
  /**
   * Current state of the thread.
   */
  public int status;

  /**
   * Class associated with the thread.
   */
  public ClassInfo ci;

  /**
   * The object reference that is the thread.
   */
  public int objref;

  /**
   * The object reference of the target object if any.
   */
  public int target;

  /**
   * The lock counter when the object got into a wait.
   */
  public int lockCount;

  public Object clone() {
    ThreadData t = new ThreadData();

    t.status = status;
    t.ci = ci;
    t.objref = objref;
    t.target = target;
    t.lockCount = lockCount;
//#ifdef RACE

//#endif RACE
    return t;
  }  
  public boolean equals(Object o) {
    if(o == null) return false;
    if(!(o instanceof ThreadData)) return false;

    ThreadData t = (ThreadData)o;
    if(status != t.status) return false;
    if(ci != t.ci) return false;
    if(objref != t.objref) return false;
    if(target != t.target) return false;
    if(lockCount != t.lockCount) return false;
//#ifdef RACE

//#endif RACE
//#ifdef LOCK_ORDER


//#endif LOCK_ORDER

    return true;
  }  
  public void hash(HashData hd) {
    hd.add(status);
    hd.add(objref);
    hd.add(target);
    hd.add(lockCount);
  }  
//#ifdef RACE







//#endif RACE

//#ifdef LOCK_ORDER














//#endif LOCK_ORDER

  public int hashCode() {
    HashData hd = new HashData();
    
    hash(hd);

    return hd.getValue();
  }  
  public String toString() {
    StringBuffer sb = new StringBuffer();

    sb.append("ThreadData(");
    sb.append("status=");
    sb.append(status);
    sb.append(',');
    sb.append("ci=");
    if(ci == null)
      sb.append("null");
    else
      sb.append(ci.getName());
    sb.append(',');
    sb.append("objref=");
    sb.append(objref);
    sb.append(',');
    sb.append("target=");
    sb.append(target);
    sb.append(',');
    sb.append("lockCount=");
    sb.append(lockCount);
    sb.append(',');
//#ifdef RACE



//#endif RACE
//#ifdef LOCK_ORDER






//#endif LOCK_ORDER
    sb.append(')');

    return sb.toString();
  }  
}

---