(self, data)
| 633 | def pi(self, target, data): |
| 634 | self.append(("pi", target, data)) |
| 635 | def comment(self, data): |
| 636 | self.append(("comment", data)) |
| 637 | def start_ns(self, prefix, uri): |
| 638 | self.append(("start-ns", prefix, uri)) |
| 639 | def end_ns(self, prefix): |