(Mark start, Mark stop)
| 217 | } |
| 218 | |
| 219 | String getText(Mark start, Mark stop) { |
| 220 | Mark oldstart = mark(); |
| 221 | reset(start); |
| 222 | CharArrayWriter caw = new CharArrayWriter(); |
| 223 | while (!markEquals(stop)) { |
| 224 | caw.write(nextChar()); |
| 225 | } |
| 226 | caw.close(); |
| 227 | setCurrent(oldstart); |
| 228 | return caw.toString(); |
| 229 | } |
| 230 | |
| 231 | /** |
| 232 | * Read ahead one character without moving the cursor. |
nothing calls this directly
no test coverage detected