---

ArrayValue.java

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

import gov.nasa.arc.ase.jpf.jvm.SystemState;
import gov.nasa.arc.ase.jpf.jvm.Types;

public class ArrayValue extends ObjectValue {
  public ArrayValue(int objref, SystemState ss) {
    super(objref, ss);
  }  
  public iValue getElementValue(int index) {
    if(Types.getTypeSize(e.getFieldType(index)) == 1)
      return State.createValue(e.getFieldType(index), e.getField(index), e.area.ks.ss);
    else
      return State.createValue(e.getFieldType(index), e.getLongField(index), e.area.ks.ss);
  }  
  public int getSize() {
    return e.arrayLength();
  }  
}

---