(self)
| 2884 | self.write_graph() |
| 2885 | |
| 2886 | def write_graph(self): |
| 2887 | dot = DotWriter(self.output) |
| 2888 | dot.strip = self.options.strip |
| 2889 | dot.wrap = self.options.wrap |
| 2890 | |
| 2891 | profile = self.profile |
| 2892 | profile.prune(self.options.node_thres/100.0, self.options.edge_thres/100.0) |
| 2893 | |
| 2894 | dot.graph(profile, self.theme) |
| 2895 | |
| 2896 | |
| 2897 | if __name__ == '__main__': |