---

DynamicMap.java

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

import java.util.Hashtable;

class DynamicMap {
// ifdef NO_DYNAMIC_SYMMETRY
  static Hashtable Map = new Hashtable();
  static int numEntries = 0;
  
//#endif NO_DYNAMIC_SYMMETRY
  public static int addEntry(DynamicMapIndex index) {
    if (Map.containsKey(index)) {
      return ((Integer)Map.get(index)).intValue();
    } else {
      Map.put(index.clone(), new Integer(numEntries));
      numEntries++;
      return numEntries-1;
    }
  }  
  public static int getEntry(DynamicMapIndex index) {
    return ((Integer)Map.get(index)).intValue();
  }  
  public static boolean hasEntry(DynamicMapIndex index) {
    return Map.containsKey(index);
  }  
}

---