def visit_node(self, node):
    self._dump(('%s [shape=record,' % node.node_name()))
    if self._dark_mode:
        self._dump('color="white",fontcolor="gray80",')
    self._dump('label=<<table border="0">')
    self._dump(('<tr><td bgcolor="%s"><b>State %s</b></td></tr>' % (('gray20' if self._dark_mode else 'gray70'), (node.state.state_id if (node.state is not None) else 'Unspecified'))))
    if (not self._topo_mode):
        self._dump('<tr><td align="left" width="0">')
        if (len(node.points) > 1):
            self._dump('<b>Program points:</b></td></tr>')
        else:
            self._dump('<b>Program point:</b></td></tr>')
    self._dump('<tr><td align="left" width="0"><table border="0" align="left" width="0">')
    for p in node.points:
        self.visit_program_point(p)
    self._dump('</table></td></tr>')
    if ((node.state is not None) and (not self._topo_mode)):
        prev_s = None
        if (self._do_diffs and (len(node.predecessors) == 1) and (len(node.successors) > 0)):
            prev_s = self._graph.nodes[node.predecessors[0]].state
        self.visit_state(node.state, prev_s)
    self._dump_raw('</table>>];\n')
def visit_node(self, node):
    self._dump(('%s [shape=record,' % node.node_name()))
    if self._dark_mode:
        self._dump('color="white",fontcolor="gray80",')
    self._dump('label=<<table border="0">')
    self._dump(('<tr><td bgcolor="%s"><b>State %s</b></td></tr>' % (('gray20' if self._dark_mode else 'gray70'), (node.state.state_id if (node.state is not None) else 'Unspecified'))))
    if (not self._topo_mode):
        self._dump('<tr><td align="left" width="0">')
        if (len(node.points) > 1):
            self._dump('<b>Program points:</b></td></tr>')
        else:
            self._dump('<b>Program point:</b></td></tr>')
    self._dump('<tr><td align="left" width="0"><table border="0" align="left" width="0">')
    for p in node.points:
        self.visit_program_point(p)
    self._dump('</table></td></tr>')
    if ((node.state is not None) and (not self._topo_mode)):
        prev_s = None
        if (self._do_diffs and (len(node.predecessors) == 1) and (len(node.successors) > 0)):
            prev_s = self._graph.nodes[node.predecessors[0]].state
        self.visit_state(node.state, prev_s)
    self._dump_raw('</table>>];\n')