/usr/lib/python3/dist-packages/gccutils/dot.py is in gcc-python3-plugin 0.15-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 | # Copyright 2012 David Malcolm <dmalcolm@redhat.com>
# Copyright 2012 Red Hat, Inc.
#
# This is free software: you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see
# <http://www.gnu.org/licenses/>.
def to_html(text):
html_escape_table = {
"&": "&",
'"': """,
"'": "'",
">": ">",
"<": "<",
# 'dot' doesn't seem to like these:
'{': '{',
'}': '}',
']': ']',
}
return "".join(html_escape_table.get(c,c) for c in str(text))
# An easy way to construct graphviz' pseudo-html:
class Node:
def to_html(self):
raise NotImplementedError()
class Element(Node):
def __init__(self, children=None, **kwargs):
if children is None:
children = []
else:
assert isinstance(children, list)
self.children = children
self.attrs = kwargs
def to_html(self):
if self.attrs:
attrstr = ''.join(' %s="%s"' % (attr, value)
for attr, value in self.attrs.items())
else:
attrstr = ''
result = '<%s%s>' % (self.name, attrstr)
for child in self.children:
result += child.to_html()
result += '</%s>' % self.name
return result
def add_child(self, child):
self.children.append(child)
return child
class Table(Element):
def to_html(self):
result = ('<table cellborder="%i" border="%i" cellspacing="0">\n'
% (self.attrs.get('cellborder', 0),
self.attrs.get('border', 0)))
for row in self.children:
result += row.to_html()
result += '</table>'
return result
class Tr(Element):
name = 'tr'
class Td(Element):
name = 'td'
class Text(Node):
def __init__(self, text):
self.text = text
def to_html(self):
return to_html(self.text)
class Br(Element):
def to_html(self):
return '<br/>'
class Font(Element):
name = 'font'
|