Mercurial > cpython-lru_cache-weakref
annotate Lib/formatter.py @ 4566:6403c94de50d legacy-trunk
Added safeguard against failure in __del__.
| author | Guido van Rossum <guido@python.org> |
|---|---|
| date | Wed, 27 Nov 1996 19:39:58 +0000 |
| parents | 70cc238d563e |
| children | 52695efdf22c |
| rev | line source |
|---|---|
| 2916 | 1 import regex |
| 2 import regsub | |
| 3 import string | |
| 4 import sys | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
5 from types import StringType |
| 2916 | 6 |
| 7 | |
| 8 AS_IS = None | |
| 9 | |
| 10 | |
| 3150 | 11 class NullFormatter: |
| 12 | |
|
4360
dbf2737d2c81
Add provisions to set the (to be documented!) instance variable
Guido van Rossum <guido@python.org>
parents:
4147
diff
changeset
|
13 def __init__(self, writer=None): |
|
dbf2737d2c81
Add provisions to set the (to be documented!) instance variable
Guido van Rossum <guido@python.org>
parents:
4147
diff
changeset
|
14 if not writer: |
|
dbf2737d2c81
Add provisions to set the (to be documented!) instance variable
Guido van Rossum <guido@python.org>
parents:
4147
diff
changeset
|
15 writer = NullWriter() |
|
dbf2737d2c81
Add provisions to set the (to be documented!) instance variable
Guido van Rossum <guido@python.org>
parents:
4147
diff
changeset
|
16 self.writer = writer |
| 3150 | 17 def end_paragraph(self, blankline): pass |
| 18 def add_line_break(self): pass | |
|
4385
70cc238d563e
(formatter.py): Simplify NullFormatter definition of add_hor_rule() to match
Fred Drake <fdrake@acm.org>
parents:
4360
diff
changeset
|
19 def add_hor_rule(self, *args, **kw): pass |
|
70cc238d563e
(formatter.py): Simplify NullFormatter definition of add_hor_rule() to match
Fred Drake <fdrake@acm.org>
parents:
4360
diff
changeset
|
20 def add_label_data(self, format, counter, blankline=None): pass |
| 3150 | 21 def add_flowing_data(self, data): pass |
| 22 def add_literal_data(self, data): pass | |
| 23 def flush_softspace(self): pass | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
24 def push_alignment(self, align): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
25 def pop_alignment(self): pass |
| 3150 | 26 def push_font(self, x): pass |
| 27 def pop_font(self): pass | |
| 28 def push_margin(self, margin): pass | |
| 29 def pop_margin(self): pass | |
| 30 def set_spacing(self, spacing): pass | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
31 def push_style(self, *styles): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
32 def pop_style(self, n=1): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
33 def assert_line_data(self, flag=1): pass |
| 3150 | 34 |
| 35 | |
| 2916 | 36 class AbstractFormatter: |
| 37 | |
|
4147
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
38 # Space handling policy: blank spaces at the boundary between elements |
|
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
39 # are handled by the outermost context. "Literal" data is not checked |
|
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
40 # to determine context, so spaces in literal data are handled directly |
|
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
41 # in all circumstances. |
|
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
42 |
| 2916 | 43 def __init__(self, writer): |
| 44 self.writer = writer # Output device | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
45 self.align = None # Current alignment |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
46 self.align_stack = [] # Alignment stack |
| 2916 | 47 self.font_stack = [] # Font state |
| 48 self.margin_stack = [] # Margin state | |
| 49 self.spacing = None # Vertical spacing state | |
| 50 self.style_stack = [] # Other state, e.g. color | |
| 3150 | 51 self.nospace = 1 # Should leading space be suppressed |
| 52 self.softspace = 0 # Should a space be inserted | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
53 self.para_end = 1 # Just ended a paragraph |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
54 self.parskip = 0 # Skipped space between paragraphs? |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
55 self.hard_break = 1 # Have a hard break |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
56 self.have_label = 0 |
| 2916 | 57 |
| 58 def end_paragraph(self, blankline): | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
59 if not self.hard_break: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
60 self.writer.send_line_break() |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
61 self.have_label = 0 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
62 if self.parskip < blankline and not self.have_label: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
63 self.writer.send_paragraph(blankline - self.parskip) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
64 self.parskip = blankline |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
65 self.have_label = 0 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
66 self.hard_break = self.nospace = self.para_end = 1 |
| 2916 | 67 self.softspace = 0 |
| 68 | |
| 69 def add_line_break(self): | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
70 if not (self.hard_break or self.para_end): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
71 self.writer.send_line_break() |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
72 self.have_label = self.parskip = 0 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
73 self.hard_break = self.nospace = 1 |
| 2916 | 74 self.softspace = 0 |
| 75 | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
76 def add_hor_rule(self, *args, **kw): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
77 if not self.hard_break: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
78 self.writer.send_line_break() |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
79 apply(self.writer.send_hor_rule, args, kw) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
80 self.hard_break = self.nospace = 1 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
81 self.have_label = self.para_end = self.softspace = self.parskip = 0 |
| 2916 | 82 |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
83 def add_label_data(self, format, counter, blankline = None): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
84 if self.have_label or not self.hard_break: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
85 self.writer.send_line_break() |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
86 if not self.para_end: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
87 self.writer.send_paragraph((blankline and 1) or 0) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
88 if type(format) is StringType: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
89 self.writer.send_label_data(self.format_counter(format, counter)) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
90 else: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
91 self.writer.send_label_data(format) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
92 self.nospace = self.have_label = self.hard_break = self.para_end = 1 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
93 self.softspace = self.parskip = 0 |
| 2916 | 94 |
| 95 def format_counter(self, format, counter): | |
| 96 label = '' | |
| 97 for c in format: | |
| 98 try: | |
| 99 if c == '1': | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
100 label = label + ('%d' % counter) |
| 2916 | 101 elif c in 'aA': |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
102 if counter > 0: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
103 label = label + self.format_letter(c, counter) |
| 2916 | 104 elif c in 'iI': |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
105 if counter > 0: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
106 label = label + self.format_roman(c, counter) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
107 else: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
108 label = label + c |
| 2916 | 109 except: |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
110 label = label + c |
| 2916 | 111 return label |
| 112 | |
| 113 def format_letter(self, case, counter): | |
| 114 label = '' | |
| 115 while counter > 0: | |
| 116 counter, x = divmod(counter-1, 26) | |
| 117 s = chr(ord(case) + x) | |
| 118 label = s + label | |
| 119 return label | |
| 120 | |
| 121 def format_roman(self, case, counter): | |
| 122 ones = ['i', 'x', 'c', 'm'] | |
| 123 fives = ['v', 'l', 'd'] | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
124 label, index = '', 0 |
| 2916 | 125 # This will die of IndexError when counter is too big |
| 126 while counter > 0: | |
| 127 counter, x = divmod(counter, 10) | |
| 128 if x == 9: | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
129 label = ones[index] + ones[index+1] + label |
| 2916 | 130 elif x == 4: |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
131 label = ones[index] + fives[index] + label |
| 2916 | 132 else: |
| 133 if x >= 5: | |
| 134 s = fives[index] | |
| 135 x = x-5 | |
| 136 else: | |
| 137 s = '' | |
| 138 s = s + ones[index]*x | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
139 label = s + label |
| 2916 | 140 index = index + 1 |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
141 if case == 'I': |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
142 return string.upper(label) |
| 2916 | 143 return label |
| 144 | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
145 def add_flowing_data(self, data, |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
146 # These are only here to load them into locals: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
147 whitespace = string.whitespace, |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
148 join = string.join, split = string.split): |
| 2916 | 149 if not data: return |
|
3382
a44235e994f3
better way to normalize spaces in add_flowing_data
Guido van Rossum <guido@python.org>
parents:
3150
diff
changeset
|
150 # The following looks a bit convoluted but is a great improvement over |
|
a44235e994f3
better way to normalize spaces in add_flowing_data
Guido van Rossum <guido@python.org>
parents:
3150
diff
changeset
|
151 # data = regsub.gsub('[' + string.whitespace + ']+', ' ', data) |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
152 prespace = data[:1] in whitespace |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
153 postspace = data[-1:] in whitespace |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
154 data = join(split(data)) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
155 if self.nospace and not data: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
156 return |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
157 elif prespace or self.softspace: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
158 if not data: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
159 if not self.nospace: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
160 self.softspace = 1 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
161 self.parskip = 0 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
162 return |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
163 if not self.nospace: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
164 data = ' ' + data |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
165 self.hard_break = self.nospace = self.para_end = \ |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
166 self.parskip = self.have_label = 0 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
167 self.softspace = postspace |
| 2916 | 168 self.writer.send_flowing_data(data) |
| 169 | |
| 170 def add_literal_data(self, data): | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
171 if not data: return |
|
4147
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
172 if self.softspace: |
|
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
173 self.writer.send_flowing_data(" ") |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
174 self.hard_break = data[-1:] == '\n' |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
175 self.nospace = self.para_end = self.softspace = \ |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
176 self.parskip = self.have_label = 0 |
| 2916 | 177 self.writer.send_literal_data(data) |
| 178 | |
|
3130
dcf2a37e73d9
add flush_softspace() interface
Guido van Rossum <guido@python.org>
parents:
2916
diff
changeset
|
179 def flush_softspace(self): |
|
dcf2a37e73d9
add flush_softspace() interface
Guido van Rossum <guido@python.org>
parents:
2916
diff
changeset
|
180 if self.softspace: |
|
4147
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
181 self.hard_break = self.para_end = self.parskip = \ |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
182 self.have_label = self.softspace = 0 |
|
4147
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
183 self.nospace = 1 |
|
3130
dcf2a37e73d9
add flush_softspace() interface
Guido van Rossum <guido@python.org>
parents:
2916
diff
changeset
|
184 self.writer.send_flowing_data(' ') |
|
dcf2a37e73d9
add flush_softspace() interface
Guido van Rossum <guido@python.org>
parents:
2916
diff
changeset
|
185 |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
186 def push_alignment(self, align): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
187 if align and align != self.align: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
188 self.writer.new_alignment(align) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
189 self.align = align |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
190 self.align_stack.append(align) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
191 else: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
192 self.align_stack.append(self.align) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
193 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
194 def pop_alignment(self): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
195 if self.align_stack: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
196 del self.align_stack[-1] |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
197 if self.align_stack: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
198 self.align = align = self.align_stack[-1] |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
199 self.writer.new_alignment(align) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
200 else: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
201 self.align = None |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
202 self.writer.new_alignment(None) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
203 |
| 2916 | 204 def push_font(self, (size, i, b, tt)): |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
205 if self.softspace: |
|
4147
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
206 self.hard_break = self.para_end = self.softspace = 0 |
|
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
207 self.nospace = 1 |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
208 self.writer.send_flowing_data(' ') |
| 2916 | 209 if self.font_stack: |
| 210 csize, ci, cb, ctt = self.font_stack[-1] | |
| 211 if size is AS_IS: size = csize | |
| 212 if i is AS_IS: i = ci | |
| 213 if b is AS_IS: b = cb | |
| 214 if tt is AS_IS: tt = ctt | |
| 215 font = (size, i, b, tt) | |
| 216 self.font_stack.append(font) | |
| 217 self.writer.new_font(font) | |
| 218 | |
| 219 def pop_font(self): | |
| 220 if self.font_stack: | |
| 221 del self.font_stack[-1] | |
| 222 if self.font_stack: | |
| 223 font = self.font_stack[-1] | |
| 224 else: | |
| 225 font = None | |
| 226 self.writer.new_font(font) | |
| 227 | |
| 228 def push_margin(self, margin): | |
| 229 self.margin_stack.append(margin) | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
230 fstack = filter(None, self.margin_stack) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
231 if not margin and fstack: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
232 margin = fstack[-1] |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
233 self.writer.new_margin(margin, len(fstack)) |
| 2916 | 234 |
| 235 def pop_margin(self): | |
| 236 if self.margin_stack: | |
| 237 del self.margin_stack[-1] | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
238 fstack = filter(None, self.margin_stack) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
239 if fstack: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
240 margin = fstack[-1] |
| 2916 | 241 else: |
| 242 margin = None | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
243 self.writer.new_margin(margin, len(fstack)) |
| 2916 | 244 |
| 245 def set_spacing(self, spacing): | |
| 246 self.spacing = spacing | |
| 247 self.writer.new_spacing(spacing) | |
| 248 | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
249 def push_style(self, *styles): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
250 if self.softspace: |
|
4147
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
251 self.hard_break = self.para_end = self.softspace = 0 |
|
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
252 self.nospace = 1 |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
253 self.writer.send_flowing_data(' ') |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
254 for style in styles: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
255 self.style_stack.append(style) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
256 self.writer.new_styles(tuple(self.style_stack)) |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
257 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
258 def pop_style(self, n=1): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
259 del self.style_stack[-n:] |
| 2916 | 260 self.writer.new_styles(tuple(self.style_stack)) |
| 261 | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
262 def assert_line_data(self, flag=1): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
263 self.nospace = self.hard_break = not flag |
|
4147
30f1c01f3865
Three sets of changes from Grail:
Guido van Rossum <guido@python.org>
parents:
3653
diff
changeset
|
264 self.para_end = self.parskip = self.have_label = 0 |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
265 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
266 |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
267 class NullWriter: |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
268 """Minimal writer interface to use in testing. |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
269 """ |
|
3653
5309cef8c169
change DumbWriter to derive from NullWriter
Guido van Rossum <guido@python.org>
parents:
3650
diff
changeset
|
270 def __init__(self): pass |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
271 def new_alignment(self, align): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
272 def new_font(self, font): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
273 def new_margin(self, margin, level): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
274 def new_spacing(self, spacing): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
275 def new_styles(self, styles): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
276 def send_paragraph(self, blankline): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
277 def send_line_break(self): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
278 def send_hor_rule(self, *args, **kw): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
279 def send_label_data(self, data): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
280 def send_flowing_data(self, data): pass |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
281 def send_literal_data(self, data): pass |
| 2916 | 282 |
| 283 | |
|
3653
5309cef8c169
change DumbWriter to derive from NullWriter
Guido van Rossum <guido@python.org>
parents:
3650
diff
changeset
|
284 class AbstractWriter(NullWriter): |
| 2916 | 285 |
| 286 def __init__(self): | |
| 287 pass | |
| 288 | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
289 def new_alignment(self, align): |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
290 print "new_alignment(%s)" % `align` |
|
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
291 |
| 2916 | 292 def new_font(self, font): |
| 293 print "new_font(%s)" % `font` | |
| 294 | |
| 295 def new_margin(self, margin, level): | |
| 296 print "new_margin(%s, %d)" % (`margin`, level) | |
| 297 | |
| 298 def new_spacing(self, spacing): | |
| 299 print "new_spacing(%s)" % `spacing` | |
| 300 | |
| 301 def new_styles(self, styles): | |
| 302 print "new_styles(%s)" % `styles` | |
| 303 | |
| 304 def send_paragraph(self, blankline): | |
| 305 print "send_paragraph(%s)" % `blankline` | |
| 306 | |
| 307 def send_line_break(self): | |
| 308 print "send_line_break()" | |
| 309 | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
310 def send_hor_rule(self, *args, **kw): |
| 2916 | 311 print "send_hor_rule()" |
| 312 | |
| 313 def send_label_data(self, data): | |
| 314 print "send_label_data(%s)" % `data` | |
| 315 | |
| 316 def send_flowing_data(self, data): | |
| 317 print "send_flowing_data(%s)" % `data` | |
| 318 | |
| 319 def send_literal_data(self, data): | |
| 320 print "send_literal_data(%s)" % `data` | |
| 321 | |
| 322 | |
|
3653
5309cef8c169
change DumbWriter to derive from NullWriter
Guido van Rossum <guido@python.org>
parents:
3650
diff
changeset
|
323 class DumbWriter(NullWriter): |
| 2916 | 324 |
| 325 def __init__(self, file=None, maxcol=72): | |
| 326 self.file = file or sys.stdout | |
| 327 self.maxcol = maxcol | |
|
3653
5309cef8c169
change DumbWriter to derive from NullWriter
Guido van Rossum <guido@python.org>
parents:
3650
diff
changeset
|
328 NullWriter.__init__(self) |
| 2916 | 329 self.reset() |
| 330 | |
| 331 def reset(self): | |
| 332 self.col = 0 | |
| 333 self.atbreak = 0 | |
| 334 | |
| 335 def send_paragraph(self, blankline): | |
| 336 self.file.write('\n' + '\n'*blankline) | |
| 337 self.col = 0 | |
| 338 self.atbreak = 0 | |
| 339 | |
| 340 def send_line_break(self): | |
| 341 self.file.write('\n') | |
| 342 self.col = 0 | |
| 343 self.atbreak = 0 | |
| 344 | |
|
3650
5d6fe145f773
Many improvements dure to Fred Drake
Guido van Rossum <guido@python.org>
parents:
3383
diff
changeset
|
345 def send_hor_rule(self, *args, **kw): |
| 2916 | 346 self.file.write('\n') |
| 347 self.file.write('-'*self.maxcol) | |
| 348 self.file.write('\n') | |
| 349 self.col = 0 | |
| 350 self.atbreak = 0 | |
| 351 | |
| 352 def send_literal_data(self, data): | |
| 353 self.file.write(data) | |
| 354 i = string.rfind(data, '\n') | |
| 355 if i >= 0: | |
| 356 self.col = 0 | |
| 357 data = data[i+1:] | |
| 358 data = string.expandtabs(data) | |
| 359 self.col = self.col + len(data) | |
| 360 self.atbreak = 0 | |
| 361 | |
| 362 def send_flowing_data(self, data): | |
| 363 if not data: return | |
| 364 atbreak = self.atbreak or data[0] in string.whitespace | |
| 365 col = self.col | |
| 366 maxcol = self.maxcol | |
| 367 write = self.file.write | |
| 368 for word in string.split(data): | |
| 369 if atbreak: | |
| 370 if col + len(word) >= maxcol: | |
| 371 write('\n') | |
| 372 col = 0 | |
| 373 else: | |
| 374 write(' ') | |
| 375 col = col + 1 | |
| 376 write(word) | |
| 377 col = col + len(word) | |
| 378 atbreak = 1 | |
| 379 self.col = col | |
| 380 self.atbreak = data[-1] in string.whitespace | |
| 381 | |
| 382 | |
| 383 def test(file = None): | |
| 384 w = DumbWriter() | |
| 385 f = AbstractFormatter(w) | |
| 386 if file: | |
| 387 fp = open(file) | |
| 388 elif sys.argv[1:]: | |
| 389 fp = open(sys.argv[1]) | |
| 390 else: | |
| 391 fp = sys.stdin | |
| 392 while 1: | |
| 393 line = fp.readline() | |
| 394 if not line: | |
| 395 break | |
| 396 if line == '\n': | |
| 397 f.end_paragraph(1) | |
| 398 else: | |
| 399 f.add_flowing_data(line) | |
| 400 f.end_paragraph(0) | |
| 401 | |
| 402 | |
| 403 if __name__ == '__main__': | |
| 404 test() |