---

RaceWindow.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 RaceWindow{
// ifdef RACE
  public static boolean active = false;

  private static eHashSet/*ThreadInfo*/ threads     = new eHashSet();
  private static eHashSet/*String*/     threadNames = new eHashSet();

//#endif RACE
  public static void addRace(LockNode masterNode,LockNode slaveNode){
    threads.add(masterNode.getThreadInfo());
    threads.add(slaveNode.getThreadInfo());
  }  
  public static void addRace(LockStatus lock_status){
    Access access;
    AccessList accesses = lock_status.getAccessList();
    Iterator accesses_it = accesses.getIterator();
    while (accesses_it.hasNext()){
      access = (Access)accesses_it.next();
      threads.add(access.getThreadInfo());
    };
  }  
  public static boolean contains(String threadName){
    return threadNames.contains(threadName);
  }  
  public static void makeActive(){
    threadNames = Depend.createWindow(threads);
    if(!threadNames.isEmpty()) active = true;
  }  
  public static void print(){
    ThreadInfo thread;
    String threadName;

    Analyze.println("");
    if (threadNames.isEmpty()){
      Analyze.println("------------------------------------");
      Analyze.println("Since no runtime problems were      ");
      Analyze.println("encountered, all threads are        ");
      Analyze.println("included in subsequent verification.");
      Analyze.println("------------------------------------");
    }
    else{
      Analyze.println("------------------------");
      Analyze.println("Threads involved in     ");
      Analyze.println("runtime conflicts:      ");
      Analyze.println("------------------------");
      Iterator threads_it = threads.iterator();
      while(threads_it.hasNext()){
        thread = (ThreadInfo)threads_it.next();
        Analyze.println(thread.getClassInfo().getClassName());
      };
      Analyze.println("------------------------");
      Analyze.println("");

      Analyze.println("");
      Analyze.println("------------------------");
      Analyze.println("Race Window used during ");
      Analyze.println("subsequent verification:");
      Analyze.println("------------------------");
      Iterator threadNames_it = threadNames.iterator();
      while(threadNames_it.hasNext()){
        threadName = (String)threadNames_it.next();
        Analyze.println(threadName);
      };
      Analyze.println("------------------------");
      Analyze.println("");
    }
  }  
}

---