431     def _dump(self, s):  member in DotDumpVisitor
503         self._dump('<tr><td align="left">%s.</td>' % p.node_id)
510             self._dump('<td align="left" width="0">%s:</td>'
523             self._dump('<td width="0"></td>'
529             self._dump('<td width="0"></td>'
536             self._dump('<td width="0"></td>'
542             self._dump('<tr><td width="0"></td><td width="0"></td>'
548             self._dump('<tr><td width="0"></td><td width="0"></td>'
553             self._dump('<tr><td width="0"></td><td width="0"></td>'
559         self._dump('<table border="0">')
562             self._dump('<tr><td>%s</td>'
573             self._dump('<tr><td>%s</td>'
604         self._dump('</table>')
612         self._dump('<hr /><tr><td align="left"><b>%s: </b>' % title)
614             self._dump('<i> Nothing!</i>')
618                     self._dump('</td></tr><tr><td align="left">')
621                     self._dump('<i> No changes!</i>')
623                 self._dump('</td></tr><tr><td align="left">')
626         self._dump('</td></tr>')
629         self._dump('<table border="0">')
632             self._dump('<tr><td>%s</td>'
664         self._dump('</table>')
672         self._dump('<hr /><tr><td align="left"><b>Store: </b>')
674             self._dump('<i> Nothing!</i>')
677                 self._dump(' <font color="gray30">(%s)</font>' % st.ptr)
679                 self._dump(' <font color="gray">(%s)</font>' % st.ptr)
682                     self._dump('</td></tr><tr><td align="left">')
685                     self._dump('<i> No changes!</i>')
687                 self._dump('</td></tr><tr><td align="left">')
689         self._dump('</td></tr>')
692         self._dump('<table border="0">')
695             self._dump('<tr><td>%s</td>'
711         self._dump('</table>')
719         self._dump('<hr />')
720         self._dump('<tr><td align="left">'
723             self._dump('<i> Nothing!</i>')
727                     self._dump('</td></tr><tr><td align="left">')
730                     self._dump('<i> No changes!</i>')
732                 self._dump('</td></tr><tr><td align="left">')
735         self._dump('</td></tr>')
738         self._dump('<table border="0">')
741             self._dump('<tr><td>%s</td>'
768         self._dump('</table>')
776         self._dump('<hr />')
777         self._dump('<tr><td align="left">'
780             self._dump('<i> Nothing!</i>')
784                     self._dump('</td></tr><tr><td align="left">')
787                     self._dump('<i> No changes!</i>')
789                 self._dump('</td></tr><tr><td align="left">')
792         self._dump('</td></tr>')
811         self._dump('%s [shape=record,'
814             self._dump('color="white",fontcolor="gray80",')
815         self._dump('label=<<table border="0">')
817         self._dump('<tr><td bgcolor="%s"><b>State %s</b></td></tr>'
822             self._dump('<tr><td align="left" width="0">')
824                 self._dump('<b>Program points:</b></td></tr>')
826                 self._dump('<b>Program point:</b></td></tr>')
827         self._dump('<tr><td align="left" width="0">'
831         self._dump('</table></td></tr>')