(int n)
| 738 | // metacharacters that are ASCII, so there is no numeric difference |
| 739 | // between indices into UTF-8 bytes, UTF-16 codes and runes.) |
| 740 | void skip(int n) { |
| 741 | pos += n; |
| 742 | } |
| 743 | |
| 744 | // Advances the cursor by the number of cursor positions in |s|. |
| 745 | void skipString(String s) { |
no outgoing calls
no test coverage detected