---

DynamicMap.java

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

//#ifdef !NO_DYNAMIC_SYMMETRY
import java.util.Hashtable;

class DynamicMap {
  static Hashtable mapping = new Hashtable();
  static int counter = 0;

  public static int addEntry(DynamicMapIndex dmi) {
    Integer index = (Integer)mapping.get(dmi);

    if(index != null) return index.intValue();

    synchronized(DynamicMap.class) {
      index = (Integer)mapping.get(dmi);

      if(index != null) return index.intValue();

      mapping.put(dmi.clone(), new Integer(counter));
      return counter++;
    }
  }  
  public static int getEntry(DynamicMapIndex dmi) {
    return ((Integer)mapping.get(dmi)).intValue();
  }  
  public static boolean hasEntry(DynamicMapIndex dmi) {
    return mapping.containsKey(dmi);
  }  
  public static synchronized void reset() {
    mapping = new Hashtable();
    counter = 0;
  }  
}

---