---

DoubleValue.java

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

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

public class DoubleValue implements iValue {

  private double value = 0;

  public DoubleValue(double v) {
    value = v;
  }  
  public DoubleValue(long v) {
    value = Types.longToDouble(v);
  }  
/**
 * 
 * @return boolean
 * @param o java.lang.Object
 */
public boolean equals(Object o) {
    if (o instanceof DoubleValue) return value == ((DoubleValue) o).value;
    return false;
}
  public double getValue() {
    return value;
  }  
/**
 * 
 * @return int
 */
public int hashCode() {
    return new Double(value).hashCode();
}
  public String toString() {
    return "" + value;
  }  
}

---