---

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

//#endif RACE
  private void addCallChain(ThreadInfo th,int kind) {
    // kind = 0 : init, 1 : read, 2 : write
    Access access = new Access(th);
    access_list.add(access);
    switch (kind) {
      case 0 : access.addInit() ;break;
      case 1 : access.addRead() ;break;
      case 2 : access.addWrite();break;
    }

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

      access.addCall(
      th.getCurrentClass(idx).getClassName(),
      th.getCurrentMethod(idx).getMethodName(),
      th.getCurrentLine(idx));
    }
  }  
  public void addInit(ThreadInfo thread) {
    addCallChain(thread,0);      
  }  
  public void addRead(ThreadInfo thread) {
    addCallChain(thread,1);
  }  
  public void addWrite(ThreadInfo thread) {
    addCallChain(thread,2);
  }  
  public Iterator getIterator() {
    return access_list.iterator();
  }  
  public void print() {
    Iterator access_list_it = access_list.iterator();
    while (access_list_it.hasNext())
      ((Access)access_list_it.next()).print();
  }  
}

---