---

StaticMap.java

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

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

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

  public static int addEntry(String cname) {
    Integer index = (Integer)mapping.get(cname);

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

    synchronized(StaticMap.class) {
      index = (Integer)mapping.get(cname);

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

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

---