---

LockSet.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 LockSet{
// ifdef RACE
  HashSet locks = new HashSet(); 

//#endif RACE
  public void addLock(Ref ref){
    locks.add(ref);
  }  
  public int cardinality(){
    return locks.size();
  }  
  private boolean contains(Ref ref){
    return locks.contains(ref);
  }  
  public void deleteLock(Ref ref){
    locks.remove(ref);      
  }  
  public void intersect(LockSet new_locks){
    Analyze.debug_info("intersection called");
    Iterator locks_it = locks.iterator();
    locks = new HashSet();
    while(locks_it.hasNext()){
      Ref lock = (Ref)locks_it.next();
      if (new_locks.contains(lock))
        addLock(lock);
    }
  }  
  public boolean isEmpty(){
    return locks.isEmpty();
  }  
  public Iterator iterator(){
    return locks.iterator();
  }  
  public void print(){
    Analyze.print("Locks held by thread = ");
    printSet();
  }  
  protected void printSet(){
    Iterator locks_it = locks.iterator();
    Analyze.print("{ ");
    while(locks_it.hasNext()){
      Analyze.print(((Integer)locks_it.next()).intValue() + " ");
    };
    Analyze.println("}");
  }  
  public void union(LockSet new_locks){
    Analyze.debug_info("union called");
    Iterator new_locks_it = new_locks.iterator();
    while (new_locks_it.hasNext()){
      addLock((Ref)new_locks_it.next());
    }
  }  
}

---