---

iValue.java

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

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

public interface iValue { // Object, i.e. Number or Reference

  // get the type
  //public   iType        getType();   

}

---