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