| 173 | self.encoding = None |
| 174 | |
| 175 | def add_whitespace(self, start): |
| 176 | row, col = start |
| 177 | if row < self.prev_row or row == self.prev_row and col < self.prev_col: |
| 178 | raise ValueError("start ({},{}) precedes previous end ({},{})" |
| 179 | .format(row, col, self.prev_row, self.prev_col)) |
| 180 | self.add_backslash_continuation(start) |
| 181 | col_offset = col - self.prev_col |
| 182 | if col_offset: |
| 183 | self.tokens.append(" " * col_offset) |
| 184 | |
| 185 | def add_backslash_continuation(self, start): |
| 186 | """Add backslash continuation characters if the row has increased |