(self, cached: bool, back: bool)
| 109 | self.report(True, index < old_index) |
| 110 | |
| 111 | def report(self, cached: bool, back: bool) -> None: |
| 112 | if back: |
| 113 | fill = "-" * self._index + "-" |
| 114 | elif cached: |
| 115 | fill = "-" * self._index + ">" |
| 116 | else: |
| 117 | fill = "-" * self._index + "*" |
| 118 | if self._index == 0: |
| 119 | print(f"{fill} (Bof)") |
| 120 | else: |
| 121 | tok = self._tokens[self._index - 1] |
| 122 | print(f"{fill} {shorttok(tok)}") |