Method check

basex-core/src/main/java/org/basex/util/Num.java:171–174

Resizes the specified array if no space is left. @param a array to be resized @param p current array position @param l length of new entry @return original or new array

(final byte[] a, final int p, final int l)

   * @return original or new array
   */
  private static byte[] check(final byte[] a, final int p, final int l) {
    final int s = a.length;
    return p + l < s ? a : Arrays.copyOf(a, s + Math.max(l, s >> 3));
  }

  /**
   * Compresses and writes an integer value to the specified byte array.