---

ObjectInfo.java

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

import gov.nasa.arc.ase.util.HashData;
import gov.nasa.arc.ase.util.PoolObject;
import java.io.*;

public class ObjectInfo extends PoolObject {
  Monitor mo;               // monitor associated with the object
// ifdef INITIALIZE

//#endif INITIALIZE
  
  // creates a new object info
  public ObjectInfo() {
    mo = new Monitor();
  }  
// ifdef INITIALIZE












//#else INITIALIZE
  public ObjectInfo(Monitor m) {
    mo = m;
  }  
  // creates a clone of the object. it implies creating a clone of the monitor
  // as well
  public Object clone() {
    try{
      // creates a basic clone
      ObjectInfo oi = (ObjectInfo)super.clone();

      // the new_id is copied by default
      // implicit: oi.new_id = new_id;

      // creates a clone of the monitor
      oi.mo = (Monitor)mo.clone();

      // returns the newly created object
      return oi; 
    } catch(CloneNotSupportedException e) {
      throw new InternalError(e.toString());
    }
  }  
  public boolean equals(Object obj){
    ObjectInfo oi = (ObjectInfo)obj;

// ifdef INITIALIZE

//#else INITIALIZE
    return mo.equals(oi.mo);
//#endif INITIALIZE
  }  
  // returns the reference of the monitor associated with the object
  public Monitor getMonitor() {
    return mo;
  }  
  public void hash(HashData hd) {
    mo.hash(hd);
  }  
//#endif INITIALIZE

  public int hashCode() {
    return mo.hashCode();
  }  
}

---