---

LongValue.java

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

public class LongValue implements iValue {
  private long value;

  public LongValue(long v) {
    value = v;
  }  
  public boolean equals(Object o) {
    if(o == null) return false;
    if(!(o instanceof LongValue)) return false;

    return value == ((LongValue)o).value;
  }  
  public long getValue() {
    return value;
  }  
  public int hashCode() {
    return (int)value;
  }  
  public String toString() {
    return Long.toString(value);
  }  
}

---