コード例 #1
0
ファイル: DASTORE.java プロジェクト: evvalvis/jpf 
 protected void setField(ElementInfo ei, int index)
     throws ArrayIndexOutOfBoundsExecutiveException {
   ei.checkArrayBounds(index);
   ei.setDoubleElement(index, value);
 }