(self, stream)
| 663 | self.add_graph_element(G) |
| 664 | |
| 665 | def dump(self, stream): |
| 666 | from xml.etree.ElementTree import ElementTree |
| 667 | |
| 668 | if self.prettyprint: |
| 669 | self.indent(self.xml) |
| 670 | document = ElementTree(self.xml) |
| 671 | document.write(stream, encoding=self.encoding, xml_declaration=True) |
| 672 | |
| 673 | def indent(self, elem, level=0): |
| 674 | # in-place prettyprint formatter |
no test coverage detected