00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002
00003 public class DoubleValue implements iValue {
00004 private double value;
00005
00006 public DoubleValue(double v) {
00007 value = v;
00008 }
00009 public boolean equals(Object o) {
00010 if(o == null) return false;
00011 if(!(o instanceof DoubleValue)) return false;
00012
00013 return value == ((DoubleValue)o).value;
00014 }
00015 public double getValue() {
00016 return value;
00017 }
00018 public int hashCode() {
00019 return (int)Double.doubleToLongBits(value);
00020 }
00021 public String toString() {
00022 return Double.toString(value);
00023 }
00024 }
