Method nextNumber

java/src/org/openqa/selenium/json/JsonInput.java:227–301

Read the next element of the JSON input stream as a number. @return Number object @throws JsonException if the next element isn't a number @throws UncheckedIOException if an I/O exception is encountered

()

   * @throws UncheckedIOException if an I/O exception is encountered
   */
  public Number nextNumber() {
    expect(JsonType.NUMBER);
    StringBuilder builder = new StringBuilder();
    boolean isDecimal = false;

    // Optional leading minus. (Per RFC 8259 §6, a leading '+' is not allowed.)
    if (input.peek() == '-') {
      builder.append((char) input.read());
    }

    // Integer part: either "0" or [1-9] [0-9]*.
    int first = input.peek();
    if (first == '0') {
      builder.append((char) input.read());
      // Leading zeros ("00", "01", ...) are not allowed.
      if (isDigit(input.peek())) {
        throw new JsonException("Leading zeros are not permitted in JSON numbers. " + input);
      }
    } else if (first >= '1' && first <= '9') {
      while (isDigit(input.peek())) {
        builder.append((char) input.read());
      }
    } else {
      throw new JsonException("Expected digit but saw " + describeChar(first) + ". " + input);
    }

    // Optional fractional part: '.' 1*DIGIT
    if (input.peek() == '.') {
      isDecimal = true;
      builder.append((char) input.read());
      if (!isDigit(input.peek())) {
        throw new JsonException(
            "Expected at least one digit after '.' but saw "
                + describeChar(input.peek())
                + ". "
                + input);
      }
      while (isDigit(input.peek())) {
        builder.append((char) input.read());
      }
    }

    // Optional exponent part: ('e' | 'E') ('+' | '-')? 1*DIGIT
    if (input.peek() == 'e' || input.peek() == 'E') {
      isDecimal = true;
      builder.append((char) input.read());
      if (input.peek() == '+' || input.peek() == '-') {
        builder.append((char) input.read());
      }
      if (!isDigit(input.peek())) {
        throw new JsonException(
            "Expected at least one digit in exponent but saw "
                + describeChar(input.peek())
                + ". "
                + input);
      }
      while (isDigit(input.peek())) {
        builder.append((char) input.read());