Method set

basex-core/src/main/java/org/basex/util/list/IntList.java:99–103

Stores an element at the specified position. @param index index of the element to replace @param element element to be stored

(final int index, final int element)

   * @param element element to be stored
   */
  public void set(final int index, final int element) {
    if(index >= list.length) list = Arrays.copyOf(list, newCapacity(index + 1));
    list[index] = element;
    size = Math.max(size, index + 1);
  }

  /**
   * Checks if the specified element is found in the list.