---

LockMap.java

package gov.nasa.arc.ase.jpf.jvm.runtime;

import java.util.*;
import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.util.Debug;

public class LockMap{
// ifdef RACE
  private HashMap map = new HashMap(); // Maps Lock to LockNode-set

//#endif RACE
  public void add(Lock lock,LockNode lock_node){
    getSet(lock).add(lock_node);
  }  
  public Iterator getIterator(Lock lock){
    return getSet(lock).iterator();
  }  
  private HashSet getSet(Lock lock){
    HashSet set = (HashSet)map.get(lock);
    if (set == null){
      set = new HashSet();
      map.put(lock,set);
    };
    return set;
  }  
}

---