---

LongValue.java

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

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

public class LongValue implements iValue {

  private long value = 0;

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

---