Method rewindTo

java/com/google/re2j/Parser.java:720–722

(int pos)

    // Resets the cursor position to a previous value returned by pos().
    void rewindTo(int pos) {
      this.pos = pos;
    }

    // Returns true unless the stream is exhausted.
    boolean more() {