Method incFrom

basex-core/src/main/java/org/basex/util/list/IntList.java:174–178

Adds a difference to all elements starting from the specified index. @param diff difference @param index index of the first element

(final int diff, final int index)

   * @param index index of the first element
   */
  public void incFrom(final int diff, final int index) {
    final int[] lst = list;
    final int s = size;
    for(int l = index; l < s; l++) lst[l] += diff;
  }

  /**
   * Returns the uppermost element from the stack.