---

DynamicMapIndex.java

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

import de.fub.bytecode.generic.InstructionHandle;

public class DynamicMapIndex {
  private InstructionHandle pc;
// ifdef THREAD_SYMMETRY

//#endif THREAD_SYMMETRY
  private int occurrence;

  public DynamicMapIndex(InstructionHandle p,
// ifdef THREAD_SYMMETRY

//#endif THREAD_SYMMETRY
      int o) {
    super();

    pc = p;
// ifdef THREAD_SYMMETRY

//#endif THREAD_SYMMETRY
    occurrence = o;
  }  
  public Object clone() {
    return new DynamicMapIndex(pc,
// ifdef THREAD_SYMMETRY

//#endif THREAD_SYMMETRY
    occurrence);
  }  
  public boolean equals(Object obj) {
    DynamicMapIndex index = (DynamicMapIndex)obj;

    return pc == index.pc &&
// ifdef THREAD_SYMMETRY

//#endif THREAD_SYMMETRY
      occurrence == index.occurrence;
  }  
  public int hashCode() {
    return (pc == null ? 0 : pc.getPosition()) + 
// ifdef THREAD_SYMMETRY

//#endif THREAD_SYMMETRY
      occurrence;
  }  
  public void next() {
    occurrence++;
  }  
}

---