Method add

basex-core/src/main/java/org/basex/util/Array.java:69–74

Adds an entry to the end of an array and returns the new array. @param array array to be resized @param entry entry to be added @param array type @return array

(final T[] array, final T entry)

   * @return array
   */
  public static <T> T[] add(final T[] array, final T entry) {
    final int s = array.length;
    final T[] t = Arrays.copyOf(array, s + 1);
    t[s] = entry;
    return t;
  }

  /**
   * Adds an entry to the end of an array and returns the new array.