Method readDouble

basex-core/src/main/java/org/basex/io/in/DataInput.java:53–55

Reads a double value. @return byte array @throws IOException I/O Exception

()

   * @throws IOException I/O Exception
   */
  public double readDouble() throws IOException {
    return Token.toDouble(readToken());
  }

  /**
   * Reads a distance-mapped integer array.