(self, *args)
| 539 | self._level = self._level + 1 |
| 540 | |
| 541 | def end_element_handler(self, *args): |
| 542 | if self._level == 0: |
| 543 | # restore the old handlers |
| 544 | parser = self._builder._parser |
| 545 | self._builder.install(parser) |
| 546 | parser.StartElementHandler = self._old_start |
| 547 | parser.EndElementHandler = self._old_end |
| 548 | else: |
| 549 | self._level = self._level - 1 |
| 550 | |
| 551 | class Skipper(FilterCrutch): |
| 552 | __slots__ = () |