예제 #1
0
파일: IINC.java 프로젝트: evvalvis/jpf 
  @Override
  public Instruction execute(ThreadInfo ti) {
    StackFrame frame = ti.getModifiableTopFrame();

    int v = frame.getLocalVariable(index);
    v += increment;

    frame.setLocalVariable(index, v, false);

    return getNext(ti);
  }