()
| 749 | // Returns the rune at the cursor position, and advances the cursor |
| 750 | // past it. Precondition: |more()|. |
| 751 | int pop() { |
| 752 | int r = str.codePointAt(pos); |
| 753 | pos += Character.charCount(r); |
| 754 | return r; |
| 755 | } |
| 756 | |
| 757 | // Equivalent to both peek() == c but more efficient because we |
| 758 | // don't support surrogates. Precondition: |more()|. |