---

IntValue.java

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

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

public class IntValue implements iValue {

  private int value = 0;

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

---