Java ElementInfo.setDoubleElement示例

示例#1

文件： DASTORE.java 项目： evvalvis/jpf

 protected void setField(ElementInfo ei, int index)
     throws ArrayIndexOutOfBoundsExecutiveException {
   ei.checkArrayBounds(index);
   ei.setDoubleElement(index, value);
 }