Method readNums

basex-core/src/main/java/org/basex/io/in/DataInput.java:74–76

Reads a compressed integer array. @return integer array @throws IOException I/O Exception

()

   * @throws IOException I/O Exception
   */
  public int[] readNums() throws IOException {
    return readNums(readNum());
  }

  /**
   * Reads compressed integer values of the specified size.