Method readString

java/src/org/openqa/selenium/json/JsonInput.java:653–677

Read the next element from the JSON input stream as a string, converting escaped characters. @return String object @throws JsonException if input stream ends without finding a closing quote @throws UncheckedIOException if an I/O exception is encountered

()

   * @throws UncheckedIOException if an I/O exception is encountered
   */
  private String readString() {
    input.read(); // Skip leading quote

    StringBuilder builder = new StringBuilder();
    while (true) {
      int c = input.read();
      switch (c) {
        case Input.EOF:
          throw new JsonException("Unterminated string: " + builder + ". " + input);
        case '"': // terminate string
          return builder.toString();
        case '\\': // quoted char
          readEscape(builder);
          break;
        default:
          // RFC 8259 §7: characters U+0000..U+001F MUST be escaped.
          if (c < 0x20) {
            throw new JsonException(
                String.format(
                    "Illegal unescaped control character U+%04X in string. %s", c, input));
          }
          builder.append((char) c);
      }
    }
  }

  /**
   * Convert the escape sequence at the current JSON input stream position, appending the result to