---

AtomicData.java

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

import gov.nasa.arc.ase.util.HashData;

public class AtomicData {
  /**
   * The method in which the line step started.
   */
  public MethodInfo currentMethod;

  /**
   * The line at which the line step started.
   */
  public int line;

  /**
   * Set to true if we still are in the same method in which we were
   * when the line step started.
   */
  public boolean inSameMethod;

  /**
   * The number of nested soft atomic blocks.
   */
  public int softAtomicLevel;
  
  public Object clone() {
    AtomicData a = new AtomicData();
    
    a.currentMethod = currentMethod;
    a.line = line;
    a.inSameMethod = inSameMethod;
    a.softAtomicLevel = softAtomicLevel;

    return a;
  }  
  public boolean equals(Object o) {
    if(o == null) return false;
    if(!(o instanceof AtomicData)) return false;

    AtomicData a = (AtomicData)o;

    if(currentMethod != a.currentMethod) return false;
    if(line != a.line) return false;
    if(inSameMethod != a.inSameMethod) return false;
    if(softAtomicLevel != a.softAtomicLevel) return false;

    return true;
  }  
  /**
   * Computes a hash code with the object data.
   */
  public void hash(HashData hd) {
    hd.add(line);
    hd.add(inSameMethod ? 1 : 0);
    hd.add(softAtomicLevel);
  }  
  /**
   * Returns a hash code for the object.
   */
  public int hashCode() {
    HashData hd = new HashData();

    hash(hd);

    return hd.getValue();
  }  
}

---