---

ObjectValue.java

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

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;

import java.util.*;

public class ObjectValue implements iValue {
  int objectID = 0;
  DynamicArea heap;
  String classname;
  int lock_count;
  int locking_thread;
  List waiting_threads;

  public ObjectValue(int v, DynamicArea da) {
    objectID = v;
    if (objectID == -1) // undefined, i.e. null
      return;
    heap = da;
    classname = heap.getClass(objectID).getClassName();
    lock_count = heap.monitorLockCount(objectID);
    waiting_threads = heap.monitorWaitingThreads(objectID);
    locking_thread = heap.monitorLockingThread(objectID);
  }  
  public ObjectValue(long v, DynamicArea da) {
    objectID = (int)v;
    if (objectID == -1) // undefined, i.e. null
      return;
    heap = da;
    classname = heap.getClass(objectID).getClassName();
    lock_count = heap.monitorLockCount(objectID);
    waiting_threads = heap.monitorWaitingThreads(objectID);
    locking_thread = heap.monitorLockingThread(objectID);
  }  
  /**
   * 
   * @return boolean
   * @param o java.lang.Object
   */
  public boolean equals(Object o) {
    if (o instanceof ObjectValue) return objectID == ((ObjectValue) o).objectID;
    else return false;
  }  
  public iValue getFieldValue(String fieldName) {
    long value = heap.getValue(objectID,fieldName);
    return State.createValue(heap.getVariableType(objectID, fieldName),
    value,
    heap);
  }  
  // getThread that is holding this lock for object return int

  public int getHoldingThread() {
    return locking_thread;
  }  
  /**
   * 
   * @return java.lang.String
   */
  public String getTypeName() {
    return classname;
  }  
  // get all waiting threads as an ArrayList of Integer thread numbers
  public List getWaitingThreads() {
    return waiting_threads;
  }  
  /**
   * 
   * @return int
   */
  public int hashCode() {
    return toString().hashCode();
  }  
  public String toString() {
    if (objectID == -1) return null;
    String result = "#" + objectID + "\nHolding: ";
    if (getHoldingThread() != -1) result += "Thread#" + getHoldingThread();
    result += "\nWaiting: ";
    for (Iterator i = getWaitingThreads().iterator(); i.hasNext();) {
      result += ("Thread#" + i.next() + ", ");
    }
    if (getWaitingThreads().size() > 0)
      return result.substring(0, result.length() - 2);
    else return result;
  }  
}

---