()
| 767 | |
| 768 | // Returns the rest of the pattern as a Java UTF-16 string. |
| 769 | String rest() { |
| 770 | return str.substring(pos); |
| 771 | } |
| 772 | |
| 773 | // Returns the substring from |beforePos| to the current position. |
| 774 | // |beforePos| must have been previously returned by |pos()|. |
no test coverage detected