graph_renderer.py 文件源码

def _render(self, cfg):
        for node in cfg.nodes.values():
            fillcolor = self._node_color(node, cfg)
            if isinstance(node, (Basic, Loop)):
                stmt = '<font color="#ffffff" point-size="11">{} </font>'
                stmts = map(lambda x: stmt.format(html.escape(str(x))), node.stmts)
                label = self._list2table(list(stmts), escape=False)
            else:
                label = self._escape_label(self._shorten_label(str(node)))
            self._render_node(node, label, fillcolor)
        self._render_edges(cfg)