---

DependInfo.java

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

import gov.nasa.arc.ase.jpf.*;
import java.util.*;
import gov.nasa.arc.ase.util.Debug;


public class DependInfo{
// ifdef RACE
  Unit creatingThread;
  eHashSet reads = new eHashSet();  // set of object Unit  
  eHashSet writes = new eHashSet(); // set of object Unit 

//#endif RACE
  public DependInfo(){}  
  public DependInfo(Unit creatingThread){
    this.creatingThread = creatingThread;
  }  
  public void addRead(Unit obj){
    reads.add(obj);
  }  
  public void addWrite(Unit obj){
    writes.add(obj);
  }  
  public eHashSet getReads(){
    return reads;
  }  
  public Unit getThread(){
    return creatingThread;
  }  
  public eHashSet getWrites(){
    return writes;
  }  
  public void print(){
    Debug.print(Debug.ERROR, "CREATER: ");
    if (creatingThread != null)
      creatingThread.print();
    else
      Debug.print(Debug.ERROR, "* System");
    Debug.println(Debug.ERROR, "");
    Debug.print(Debug.ERROR, "READS  : ");
    reads.print();
    Debug.println(Debug.ERROR, "");
    Debug.print(Debug.ERROR, "WRITES : ");
    writes.print();
    Debug.println(Debug.ERROR, "");
  }  
}

---