blob: b771b00fc3510d85d0f364a700eed0a74606260c (
plain)
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
|
import cgi
class HtmlGenerator(object):
def __init__(self):
self._stack = []
self._fragments = []
def text(self, text):
self._write_all()
self._fragments.append(_escape_html(text))
def start(self, name):
self._stack.append(_Element(name))
def end(self):
element = self._stack.pop()
if element.written:
self._fragments.append("</{0}>".format(element.name))
def end_all(self):
while self._stack:
self.end()
def _write_all(self):
for element in self._stack:
if not element.written:
element.written = True
self._write_element(element)
def _write_element(self, element):
self._fragments.append("<{0}>".format(element.name))
def html_string(self):
return "".join(self._fragments)
class _Element(object):
def __init__(self, name):
self.name = name
self.written = False
def _escape_html(text):
return cgi.escape(text, quote=True)
|
