---

LockNode.java

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

import javax.swing.tree.*; 
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 LockNode extends DefaultMutableTreeNode{
//#endif RACE
  public LockNode(Lock lock){
    super(new LockNodeInfo(lock));    
  }  
// ifdef RACE
  public LockNode(ThreadInfo thread){
    super(thread);
  }  
  public LockNodeInfo getLockNodeInfo(){
    return (LockNodeInfo)getUserObject();
  }  
  public ThreadInfo getThreadInfo(){
    return (ThreadInfo)((LockNode)getRoot()).getUserObject();
  }  
  public String getThreadName(){
    return getThreadInfo().getClassInfo().getClassName();
  }  
  public boolean isBelowMark(){
    if (isRoot())
      return false;
    else if (getLockNodeInfo().isMarked())
      return true;
    else
      return ((LockNode)getParent()).isBelowMark();
  }  
  public void print(){
    LockNodeInfo lock_node_info = (LockNodeInfo)getUserObject();
    if (lock_node_info != null)
      lock_node_info.print();
    LockOrder.println("");
  }  
  private void printPosition(){
    TreeNode[] path = getPath();
    TreeNode node;
    int childnr;
    for (int i = 1;i < path.length;i++){
      node = path[i];
      childnr = node.getParent().getIndex(node);
      if (i > 1) LockOrder.print(".");
      LockOrder.print(childnr + "");      
    };
    LockOrder.print("      ");
  }  
  public void printTreeInfo(){
    if (!isRoot()){
      printPosition();
      getLockNodeInfo().printTreeInfo();
    };
    LockOrder.println("");
  }  
  public HashSet setAbove(){
    TreeNode[] path = getPath();
    HashSet set = new HashSet();
    LockNode node;
    for (int i = 1;i<path.length-1;i++){
      set.add(((LockNode)path[i]).getLockNodeInfo().getLock());
    };
    return set;
  }  
}

---