---

ShortValue.java

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

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

public class ShortValue implements iValue {

  private short value = 0;

  public ShortValue(long v) {
    value = (short)v;
  }  
  public ShortValue(short v) {
    value = v;
  }  
  public short getValue() {
    return value;
  }  
  public String toString() {
    return "" + value;
  }  
}

---