---

IntValue.java

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

public class IntValue implements iValue {
  private int value;

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

    return value == ((IntValue)o).value;
  }  
  public int getValue() {
    return value;
  }  
  public int hashCode() {
    return value;
  }  
  public String toString() {
    return Integer.toString(value);
  }  
}

---