---

Lock.java

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

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

public class Lock extends PoolObject {
// ifdef RACE
  private Ref ref;
  private String className;

//#endif RACE
  public Lock(Ref ref,String className){
    this.ref = ref;
    this.className = className;
  }  
  public boolean equals(Object lock){
    return ref.equals(((Lock)lock).getRef());
  }  
  public String getClassName(){
    return className;
  }  
  public Ref getRef(){
    return ref;
  }  
  public int hashCode(){
    return ref.getReference();
  }  
  public void print() {
    LockOrder.print(className + "[" + ref + "]");
  }  
}

---