Returns the special cursor to denote the end-of-file.
()
| 130 | |
| 131 | # Special cursor to indicate the end-of-file. |
| 132 | def Eof(): |
| 133 | """Returns the special cursor to denote the end-of-file.""" |
| 134 | return Cursor(-1, -1) |
| 135 | |
| 136 | |
| 137 | class Token: |
no test coverage detected