---

StaticArea.java

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

import gov.nasa.arc.ase.util.Debug;
import gov.nasa.arc.ase.jpf.InternalErrorException;
//#ifdef RACE



//#endif RACE

public class StaticArea extends Area {
  /**
   * Creates a new empty static area.
   */
  public StaticArea(KernelState ks) {
    super(ks, true);
  }  
  public StaticArea(StaticArea sa) {
    super(sa);
  }  
  public Object clone() {
    return new StaticArea(this);
  }  
//#else !NO_STATIC_SYMMETRY


















//#endif !NO_STATIC_SYMMETRY

  public boolean containsClass(String cname) {
    return indexOf(cname) != -1;
  }  
  public ElementInfo get(String cname) {
    int index = indexOf(cname);

    if(index == -1)
      return get(newClass(ClassInfo.getClassInfo(cname)));

    return get(indexOf(cname));
  }  
  private static int indexFor(String cname) {
    return StaticMap.addEntry(cname);
  }  
  /**
   * Returns the index of a given class.
   */
//#ifdef !NO_STATIC_SYMMETRY
  
  public int indexOf(String cname) {
    synchronized(StaticMap.class) {
      if(!StaticMap.hasEntry(cname))
    return -1;

      int index = StaticMap.getEntry(cname);

      if(index >= 0 &&
      index < elements.length &&
      elements[index] != null)
    return index;
      else
    return -1;
    }
  }  
  public void initializeClasses() {
    int length = elements.length;

    for(int i = 0; i < length; i++)
      if(elements[i] != null)
    ks.ss.initializeClass(elements[i].getClassInfo());
  }  
//#endif MARK_N_SWEEP

  public void log() {
    Debug.println(Debug.MESSAGE, "SA");
    for(int i = 0; i < elements.length; i++)
      if(elements[i] != null)
    elements[i].log();
  }  
//#ifdef MARK_N_SWEEP
  public void mark() {
    int length = elements.length;

    for(int i = 0; i < length; i++)
      if(elements[i] != null)
    elements[i].mark();
  }  
  public int newClass(ClassInfo ci) {
    if(containsClass(ci.getName()))
      throw new InternalErrorException("cannot load class " + ci.getName() + " twice");

    ClassInfo superClass = ci.getSuperClass();

    if(superClass != null && !containsClass(superClass.getName()))
      newClass(superClass);

    Fields f = ci.createClassFields();
    Monitor m = new Monitor();
//#ifdef RACE



//#endif RACE

    int index = indexFor(ci.getName());

    add(index, new ElementInfo(f, m
//#ifdef RACE

//#endif RACE
      ));

    ks.ss.initializeClass(ci);

    return index;
  }  
}

---