예제 #1
0
파일: DASTORE.java 프로젝트: evvalvis/jpf 
 protected void setField(ElementInfo ei, int index)
     throws ArrayIndexOutOfBoundsExecutiveException {
   ei.checkArrayBounds(index);
   ei.setDoubleElement(index, value);
 }