---

Unit.java

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

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;
import java.util.*;
import gov.nasa.arc.ase.util.Debug;
import gov.nasa.arc.ase.util.PoolObject;

public class Unit extends PoolObject implements DESCR {
// ifdef RACE
  private Ref ref;
  private String className;

//#endif RACE
  public Unit(Ref ref, String className){
    this.ref = ref;
    this.className = className;   
  }  
  public boolean equals(Object unit){
    Ref otherRef = ((Unit)unit).getRef();
    String otherClassName = ((Unit)unit).getClassName();
    return ref.equals(otherRef) && className.equals(otherClassName);
  }  
  public String getClassName(){
    return className;
  }  
  public Ref getRef(){
    return ref;
  }  
  public int hashCode(){
    return ref.getReference();
  }  
  public void print(){
    Debug.print(Debug.ERROR, className + "[" + ref + "]");
  }  
}

---