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
|
indentwidth = 4
_indenter = None
class _IndentedCodeWriter(object):
def __init__(self, output):
self.level = 0
self.output = output
def indent(self):
self.level += 1
def dedent(self):
self.level -= 1
def write(self, d):
for line in d.splitlines():
if line.strip():
if indentwidth > 0:
indent = " " * indentwidth
line = line.replace("\t", indent)
else:
indent = "\t"
self.output.write("%s%s\n" % (indent * self.level, line))
else:
self.output.write("\n")
def createCodeIndenter(output):
global _indenter
_indenter = _IndentedCodeWriter(output)
def getIndenter():
return _indenter
def write_code(string):
_indenter.write(string)
|
