425     def _dump(self, s):  member in DotDumpVisitor
497         self._dump('<tr><td align="left">%s.</td>' % p.node_id)
504             self._dump('<td align="left" width="0">%s:</td>'
517             self._dump('<td width="0"></td>'
523             self._dump('<td width="0"></td>'
530             self._dump('<td width="0"></td>'
536             self._dump('<tr><td width="0"></td><td width="0"></td>'
542             self._dump('<tr><td width="0"></td><td width="0"></td>'
547             self._dump('<tr><td width="0"></td><td width="0"></td>'
553         self._dump('<table border="0">')
556             self._dump('<tr><td>%s</td>'
567             self._dump('<tr><td>%s</td>'
598         self._dump('</table>')
606         self._dump('<hr /><tr><td align="left"><b>%s: </b>' % title)
608             self._dump('<i> Nothing!</i>')
612                     self._dump('</td></tr><tr><td align="left">')
615                     self._dump('<i> No changes!</i>')
617                 self._dump('</td></tr><tr><td align="left">')
620         self._dump('</td></tr>')
623         self._dump('<table border="0">')
626             self._dump('<tr><td>%s</td>'
658         self._dump('</table>')
666         self._dump('<hr /><tr><td align="left"><b>Store: </b>')
668             self._dump('<i> Nothing!</i>')
671                 self._dump(' <font color="gray30">(%s)</font>' % st.ptr)
673                 self._dump(' <font color="gray">(%s)</font>' % st.ptr)
676                     self._dump('</td></tr><tr><td align="left">')
679                     self._dump('<i> No changes!</i>')
681                 self._dump('</td></tr><tr><td align="left">')
683         self._dump('</td></tr>')
686         self._dump('<table border="0">')
689             self._dump('<tr><td>%s</td>'
705         self._dump('</table>')
713         self._dump('<hr />')
714         self._dump('<tr><td align="left">'
717             self._dump('<i> Nothing!</i>')
721                     self._dump('</td></tr><tr><td align="left">')
724                     self._dump('<i> No changes!</i>')
726                 self._dump('</td></tr><tr><td align="left">')
729         self._dump('</td></tr>')
732         self._dump('<table border="0">')
735             self._dump('<tr><td>%s</td>'
762         self._dump('</table>')
770         self._dump('<hr />')
771         self._dump('<tr><td align="left">'
774             self._dump('<i> Nothing!</i>')
778                     self._dump('</td></tr><tr><td align="left">')
781                     self._dump('<i> No changes!</i>')
783                 self._dump('</td></tr><tr><td align="left">')
786         self._dump('</td></tr>')
802         self._dump('%s [shape=record,'
805             self._dump('color="white",fontcolor="gray80",')
806         self._dump('label=<<table border="0">')
808         self._dump('<tr><td bgcolor="%s"><b>State %s</b></td></tr>'
813             self._dump('<tr><td align="left" width="0">')
815                 self._dump('<b>Program points:</b></td></tr>')
817                 self._dump('<b>Program point:</b></td></tr>')
818         self._dump('<tr><td align="left" width="0">'
822         self._dump('</table></td></tr>')