---

LockAccess.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 LockAccess{
// ifdef RACE
  private ThreadInfo thread;
  private List calls = new ArrayList(); // List of DESCR's

//#endif RACE
  public LockAccess(ThreadInfo thread){
    this.thread = thread;
  }  
  public void addCall(String className, String methodName,int linenr){
    calls.add(new CallDescr(className,methodName,linenr));
  }  
  public ThreadInfo getThreadInfo(){
    return thread;
  }  
  public void print(){
    Iterator calls_it = calls.iterator();
    String className = thread.getClassInfo().getClassName();
    LockOrder.println("");
    LockOrder.println("by " + className + " thread:");
    LockOrder.println("------------------");
    while (calls_it.hasNext()){
      ((DESCR)calls_it.next()).print();
    }
  }  
}

---