---

ObjectValue.java

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

import gov.nasa.arc.ase.jpf.jvm.ElementInfo;
import gov.nasa.arc.ase.jpf.jvm.SystemState;
import gov.nasa.arc.ase.jpf.jvm.Types;

public class ObjectValue implements iValue {
  ElementInfo e;

  public ObjectValue(int objref, SystemState ss) {
    if (objref == -1) {
      e = null;
    } else {
      e = ss.ks.da.get(objref);
    }
  }  
  public boolean equals(Object o) {
    if(o == null) return false;
    if(!(o instanceof ObjectValue)) return false;
    ObjectValue ov = (ObjectValue)o;

    if(e == null)
      return (ov.e == null);

    return e.index == ov.e.index;
  }  
  public iValue getFieldValue(String fieldName) {
    long value = e.getField(fieldName);

    if(Types.getTypeSize(e.getFieldType(fieldName)) == 1)
      return State.createValue(e.getFieldType(fieldName), e.getField(fieldName), e.area.ks.ss);
    else
      return State.createValue(e.getFieldType(fieldName), e.getLongField(fieldName), e.area.ks.ss);
  }  
  public int getHoldingThread() {
    return e.getLockingThread();
  }  
  public String getTypeName() {
    return e.getClassInfo().getName();
  }  
  public int[] getWaitingThreads() {
    return e.getWaitingThreads();
  }  
  public int hashCode() {
    return toString().hashCode();
  }  
  public String toString() {
    if (e == null) return "null";

    StringBuffer sb = new StringBuffer();
    sb.append("#");
    sb.append(e.index);
    sb.append('\n');

    sb.append("Holding: ");
    if(getHoldingThread() == -1)
      sb.append("-");
    else {
      sb.append("Thread#");
      sb.append(getHoldingThread());
    }
    sb.append('\n');

    sb.append("Waiting: ");
    int[] wt = getWaitingThreads();
    if(wt.length == 0)
      sb.append("-");
    else
      for(int i = 0; i < wt.length; i++) {
    if(i != 0) sb.append(", ");
    sb.append("Thread#");
    sb.append(wt[i]);
      }

    return sb.toString();
  }  
}

---