---

LockAccessList.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 LockAccessList{
// ifdef RACE
  private List access_list = new ArrayList(); // List of LockAccess

//#endif RACE
  public void addCallChain(ThreadInfo thread){
    LockAccess access = new LockAccess(thread);
    access_list.add(access);

    int idx = thread.depth(); 
    while(idx > 0) {
      idx--;

      access.addCall(
      thread.getCurrentClass(idx).getClassName(),
      thread.getCurrentMethod(idx).getMethodName(),
      thread.getCurrentLine(idx));
    }
  }  
  public void print(){
    Iterator access_list_it = access_list.iterator();
    while (access_list_it.hasNext())
      ((LockAccess)access_list_it.next()).print();
  }  
}

---