(int beforePos)
| 773 | // Returns the substring from |beforePos| to the current position. |
| 774 | // |beforePos| must have been previously returned by |pos()|. |
| 775 | String from(int beforePos) { |
| 776 | return str.substring(beforePos, pos); |
| 777 | } |
| 778 | |
| 779 | @Override |
| 780 | public String toString() { |
no test coverage detected