Method copy

basex-core/src/main/java/org/basex/util/Array.java:122–125

Copies first entries from one array to another array. @param array source array @param index index of source array @param length number of array entries to be copied @param target target array @param trgIndex index of target array

(final Object array, final int index, final int length,
      final Object target, final int trgIndex)

   * @param trgIndex index of target array
   */
  public static void copy(final Object array, final int index, final int length,
      final Object target, final int trgIndex) {
    System.arraycopy(array, index, target, trgIndex, length);
  }

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