Method readNum

basex-core/src/main/java/org/basex/io/in/DataInput.java:107–115

Reads a compressed integer value; see Num for more. @return read value @throws IOException I/O Exception

()

   * @throws IOException I/O Exception
   */
  public int readNum() throws IOException {
    final int v = read();
    return v == -1 ? 0 : switch((v & 0xC0) >>> 6) {
      case 0  -> v;
      case 1  -> ((v & 0x3F) << 8) + read();
      case 2  -> ((v & 0x3F) << 24) + (read() << 16) + (read() << 8) + read();
      default -> (read() << 24) + (read() << 16) + (read() << 8) + read();
    };
  }

  /**
   * Reads a long value.