---

Access.java

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

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

public class Access {
// ifdef RACE
  private ThreadInfo thread;
  private List calls = new ArrayList(); // List of DESCR's

//#endif RACE
  public Access(ThreadInfo thread) {
    this.thread = thread;
  }  
  public void addCall(String className, String methodName,int linenr) {
    calls.add(new CallDescr(className,methodName,linenr));
  }  
  public void addInit() {
    calls.add(new InitDescr());
  }  
  public void addRead() {
    calls.add(new ReadDescr());
  }  
  public void addWrite() {
    calls.add(new WriteDescr());
  }  
  public ThreadInfo getThreadInfo() {
    return thread;
  }  
  public void print() {
    Iterator calls_it = calls.iterator();
    String className = thread.getClassInfo().getClassName();
    Analyze.println("");
    Analyze.println("From " + className + " thread:");
    Analyze.println("--------------------------");
    while (calls_it.hasNext()) {
      ((DESCR)calls_it.next()).print();
    }
  }  
}

---