(self, other)
| 254 | # Intended to be used after not self.less(other) is known, in which |
| 255 | # case it will return at least one witnessing tab size. |
| 256 | def not_less_witness(self, other): |
| 257 | n = max(self.longest_run_of_spaces(), |
| 258 | other.longest_run_of_spaces()) + 1 |
| 259 | a = [] |
| 260 | for ts in range(1, n+1): |
| 261 | if self.indent_level(ts) >= other.indent_level(ts): |
| 262 | a.append( (ts, |
| 263 | self.indent_level(ts), |
| 264 | other.indent_level(ts)) ) |
| 265 | return a |
| 266 | |
| 267 | def format_witnesses(w): |
| 268 | firsts = (str(tup[0]) for tup in w) |
no test coverage detected