---

LockNodeInfo.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;

public class LockNodeInfo{
// ifdef RACE
  private Lock lock;
  private boolean marked = false;
  private LockAccessList accesses = new LockAccessList();

//#endif RACE
  public LockNodeInfo(Lock lock){
    this.lock = lock;
  }  
  public void addCallChain(ThreadInfo thread){
    accesses.addCallChain(thread);    
  }  
  public Lock getLock(){
    return lock;
  }  
  public LockAccessList getLockAccessList(){
    return accesses;
  }  
  public boolean isMarked(){
    return marked;
  }  
  public void mark(){
    marked = true;
  }  
  public void print(){
    LockOrder.print("Lock on ");
    lock.print();
    LockOrder.print(" is taken last");
    accesses.print();
  }  
  public void printTreeInfo(){
    lock.print();
  }  
  public void unMark(){
    marked = false;
  }  
}

---