---

FloatValue.java

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

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

public class FloatValue implements iValue {

  private float value = 0;

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

---