()
| 713 | |
| 714 | // Returns the cursor position. Do not interpret the result! |
| 715 | int pos() { |
| 716 | return pos; |
| 717 | } |
| 718 | |
| 719 | // Resets the cursor position to a previous value returned by pos(). |
| 720 | void rewindTo(int pos) { |
no outgoing calls
no test coverage detected