@param num the number of characters to skip
(final int num)
| 63 | |
| 64 | /** @param num the number of characters to skip */ |
| 65 | public void skip(final int num) { |
| 66 | if (num < 0) { |
| 67 | throw new UnsupportedOperationException("Skipping backwards is not allowed"); |
| 68 | } |
| 69 | mark += num; |
| 70 | } |
| 71 | |
| 72 | /** |
| 73 | * Checks to see if the next character matches the parameter |
no outgoing calls