Method readDiffs

basex-core/src/main/java/org/basex/io/in/DataInput.java:62–67

Reads a distance-mapped integer array. @return integer array @throws IOException I/O Exception

()

   * @throws IOException I/O Exception
   */
  public IntList readDiffs() throws IOException {
    final int[] tmp = new int[readNum()];
    final int al = tmp.length;
    for(int a = 0; a < al; ++a) tmp[a] = (a == 0 ? 0 : tmp[a - 1]) + readNum();
    return new IntList(tmp);
  }

  /**
   * Reads a compressed integer array.