---

StaticMap.java

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

import java.util.*;

public class StaticMap {
// ifdef NO_STATIC_SYMMETRY
  static Hashtable nameMap = new Hashtable();
  static int numEntries = 0;

//#endif NO_STATIC_SYMMETRY
  public static int addEntry(String className) {
    if (nameMap.containsKey(className)) {
      return ((Integer)nameMap.get(className)).intValue();
    }
    else {
      nameMap.put(className,new Integer(numEntries));
      numEntries++;
      return numEntries-1;
    }
  }  
  public static int getEntry(String className) {
    return ((Integer)nameMap.get(className)).intValue();
  }  
  public static boolean hasEntry(String className){
    return nameMap.containsKey(className);
  }  
  public static void reset() {
    nameMap = new Hashtable();
    numEntries = 0;
  }  
}

---