---

ShortValue.java

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

public class ShortValue implements iValue {
  private short value;

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

    return value == ((ShortValue)o).value;
  }  
  public short getValue() {
    return value;
  }  
  public int hashCode() {
    return value;
  }  
  public String toString() {
    return Short.toString(value);
  }  
}

---