Method remove

basex-core/src/main/java/org/basex/util/list/IntList.java:161–167

Removes the element at the specified position. @param index index of the element to remove @return removed element

(final int index)

   * @return removed element
   */
  public int remove(final int index) {
    final int[] lst = list;
    final int e = lst[index];
    Array.remove(lst, index, 1, size);
    --size;
    return e;
  }

  /**
   * Adds a difference to all elements starting from the specified index.