Method insert

basex-core/src/main/java/org/basex/util/list/IntList.java:134–140

Inserts elements at the specified index position. @param index inserting position @param elements elements to be inserted

(final int index, final int... elements)

   * @param elements elements to be inserted
   */
  public void insert(final int index, final int... elements) {
    final int l = elements.length;
    if(l == 0) return;
    if(size + l > list.length) list = Arrays.copyOf(list, newCapacity(size + l));
    Array.insert(list, index, l, size, elements);
    size += l;
  }

  /**
   * Removes all occurrences of the specified element from the list.