Method skipTo

core/src/processing/data/JSONTokener.java:399–422

Skip characters until the next character is the requested character. If the requested character is not found, no characters are skipped. @param to A character to skip to. @return The requested character, or zero if the requested character is not found.

(char to)

   * is not found.
   */
  public char skipTo(char to) {
    char c;
    try {
      long startIndex = this.index;
      long startCharacter = this.character;
      long startLine = this.line;
      this.reader.mark(1000000);
      do {
        c = this.next();
        if (c == 0) {
          this.reader.reset();
          this.index = startIndex;
          this.character = startCharacter;
          this.line = startLine;
          return c;
        }
      } while (c != to);
    } catch (IOException exc) {
      throw new RuntimeException(exc);
    }

    this.back();
    return c;
  }


  /**