Method remove

basex-core/src/main/java/org/basex/util/Array.java:110–112

Removes entries inside an array. @param array array @param index index of first entry to be removed @param del number of entries to remove @param length number of valid array entries

(final Object array, final int index, final int del, final int length)

   * @param length number of valid array entries
   */
  public static void remove(final Object array, final int index, final int del, final int length) {
    System.arraycopy(array, index + del, array, index, length - index - del);
  }

  /**
   * Copies first entries from one array to another array.