graph_renderer.py 文件源码

def _basic_node_label(self, node, result):
        state = '<font point-size="9">{} </font>'
        states = map(lambda x: state.format(html.escape(str(x)).replace('\n', '<br />')), result.get_node_result(node))
        stmt = '<font color="#ffffff" point-size="11">{}</font>'
        stmts = map(lambda x: stmt.format(html.escape(str(x))), node.stmts)
        node_result = [item for items in zip_longest(states, stmts) for item in items if item is not None]
        return self._list2table(node_result, escape=False)