---

LockTree.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 LockTree{
// ifdef RACE
  private ThreadInfo thread;
  private LockNode root;
  private LockNode current;
  private LockMap  map;

//#endif RACE
  public LockTree(ThreadInfo thread){
    this.thread = thread;
    root = new LockNode(thread);
    current = root;
    map = new LockMap();
  }  
  private int findChildIndex(Lock lock){
    Enumeration children = current.children();
    LockNode child;
    Lock child_lock;
    while(children.hasMoreElements()){
      child = (LockNode)children.nextElement();
      child_lock = child.getLockNodeInfo().getLock();
      if(child_lock.equals(lock)){
        return current.getIndex(child);
      }
    };
    return -1;
  }  
  public LockMap getLockMap(){
    return map;
  }  
  public LockNode getRoot(){
    return root;
  }  
  public void lock(Lock lock){
    int index = findChildIndex(lock);
    if(index >= 0){
      current = (LockNode)current.getChildAt(index);
    } else{
      LockNode lock_node = new LockNode(lock);
      current.add(lock_node);
      current = lock_node;
      map.add(lock,current);
      current.getLockNodeInfo().addCallChain(thread);
      LockOrder.println("Thread " + thread.getClassInfo().getClassName() +
                        " takes lock " + lock.getClassName());
    }      
  }  
  public void print(){
    String className = thread.getClassInfo().getClassName();
    LockOrder.println("");
    LockOrder.println("");
    LockOrder.println("Thread " + className + ":");
    LockOrder.println("----------");
    Enumeration nodes = root.preorderEnumeration();
    LockNode node;
    while (nodes.hasMoreElements()){
      node = (LockNode)nodes.nextElement();
      node.printTreeInfo();
    }
  }  
  public void unlock(){
    if (current.isRoot()){
      Debug.println(Debug.ERROR, "*** Attempt to unlock root in Lock tree");
      System.exit(0);
    };
    current = (LockNode)current.getParent();
  }  
  public void unMark(Lock lock){
    Iterator slaveNodes = map.getIterator(lock);
    LockNode slaveNode;
    while (slaveNodes.hasNext()){
      slaveNode = (LockNode)slaveNodes.next();
      slaveNode.getLockNodeInfo().unMark();        
    }    
  }  
}

---