(self, data)
| 663 | def pi(self, target, data): |
| 664 | self.append(("pi", target, data)) |
| 665 | def comment(self, data): |
| 666 | self.append(("comment", data)) |
| 667 | def start_ns(self, prefix, uri): |
| 668 | self.append(("start-ns", prefix, uri)) |
| 669 | def end_ns(self, prefix): |