blob: 4d6a1292effbc427e6eece42900f7f74dbd69e68 [file] [log] [blame]
Guido van Rossumaad67612000-05-08 17:31:04 +00001"""Generic output formatting.
2
3Formatter objects transform an abstract flow of formatting events into
4specific output events on writer objects. Formatters manage several stack
5structures to allow various properties of a writer object to be changed and
6restored; writers need not be able to handle relative changes nor any sort
7of ``change back'' operation. Specific writer properties which may be
8controlled via formatter objects are horizontal alignment, font, and left
9margin indentations. A mechanism is provided which supports providing
10arbitrary, non-exclusive style settings to a writer as well. Additional
11interfaces facilitate formatting events which are not reversible, such as
12paragraph separation.
13
14Writer objects encapsulate device interfaces. Abstract devices, such as
15file formats, are supported as well as physical devices. The provided
16implementations all work with abstract devices. The interface makes
17available mechanisms for setting the properties which formatter objects
18manage and inserting data into the output.
19"""
20
Guido van Rossum5c971671996-07-22 15:23:25 +000021import string
22import sys
23from types import StringType
24
25
26AS_IS = None
27
28
29class NullFormatter:
30
Guido van Rossumb8cc6ae1996-10-08 14:13:43 +000031 def __init__(self, writer=None):
Guido van Rossum548703a1998-03-26 22:14:20 +000032 if not writer:
33 writer = NullWriter()
34 self.writer = writer
Guido van Rossum5c971671996-07-22 15:23:25 +000035 def end_paragraph(self, blankline): pass
36 def add_line_break(self): pass
Guido van Rossumb6685dc1996-10-21 18:10:19 +000037 def add_hor_rule(self, *args, **kw): pass
38 def add_label_data(self, format, counter, blankline=None): pass
Guido van Rossum5c971671996-07-22 15:23:25 +000039 def add_flowing_data(self, data): pass
40 def add_literal_data(self, data): pass
41 def flush_softspace(self): pass
42 def push_alignment(self, align): pass
43 def pop_alignment(self): pass
44 def push_font(self, x): pass
45 def pop_font(self): pass
46 def push_margin(self, margin): pass
47 def pop_margin(self): pass
48 def set_spacing(self, spacing): pass
49 def push_style(self, *styles): pass
50 def pop_style(self, n=1): pass
51 def assert_line_data(self, flag=1): pass
52
53
54class AbstractFormatter:
55
Guido van Rossuma8763e51996-08-26 18:33:32 +000056 # Space handling policy: blank spaces at the boundary between elements
57 # are handled by the outermost context. "Literal" data is not checked
58 # to determine context, so spaces in literal data are handled directly
59 # in all circumstances.
60
Guido van Rossum5c971671996-07-22 15:23:25 +000061 def __init__(self, writer):
Guido van Rossum548703a1998-03-26 22:14:20 +000062 self.writer = writer # Output device
63 self.align = None # Current alignment
64 self.align_stack = [] # Alignment stack
65 self.font_stack = [] # Font state
66 self.margin_stack = [] # Margin state
67 self.spacing = None # Vertical spacing state
68 self.style_stack = [] # Other state, e.g. color
69 self.nospace = 1 # Should leading space be suppressed
70 self.softspace = 0 # Should a space be inserted
71 self.para_end = 1 # Just ended a paragraph
72 self.parskip = 0 # Skipped space between paragraphs?
73 self.hard_break = 1 # Have a hard break
74 self.have_label = 0
Guido van Rossum5c971671996-07-22 15:23:25 +000075
76 def end_paragraph(self, blankline):
Guido van Rossum548703a1998-03-26 22:14:20 +000077 if not self.hard_break:
78 self.writer.send_line_break()
79 self.have_label = 0
80 if self.parskip < blankline and not self.have_label:
81 self.writer.send_paragraph(blankline - self.parskip)
82 self.parskip = blankline
83 self.have_label = 0
84 self.hard_break = self.nospace = self.para_end = 1
85 self.softspace = 0
Guido van Rossum5c971671996-07-22 15:23:25 +000086
87 def add_line_break(self):
Guido van Rossum548703a1998-03-26 22:14:20 +000088 if not (self.hard_break or self.para_end):
89 self.writer.send_line_break()
90 self.have_label = self.parskip = 0
91 self.hard_break = self.nospace = 1
92 self.softspace = 0
Guido van Rossum5c971671996-07-22 15:23:25 +000093
94 def add_hor_rule(self, *args, **kw):
Guido van Rossum548703a1998-03-26 22:14:20 +000095 if not self.hard_break:
96 self.writer.send_line_break()
97 apply(self.writer.send_hor_rule, args, kw)
98 self.hard_break = self.nospace = 1
99 self.have_label = self.para_end = self.softspace = self.parskip = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000100
101 def add_label_data(self, format, counter, blankline = None):
Guido van Rossum548703a1998-03-26 22:14:20 +0000102 if self.have_label or not self.hard_break:
103 self.writer.send_line_break()
104 if not self.para_end:
105 self.writer.send_paragraph((blankline and 1) or 0)
106 if type(format) is StringType:
107 self.writer.send_label_data(self.format_counter(format, counter))
108 else:
109 self.writer.send_label_data(format)
110 self.nospace = self.have_label = self.hard_break = self.para_end = 1
111 self.softspace = self.parskip = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000112
113 def format_counter(self, format, counter):
114 label = ''
115 for c in format:
116 try:
117 if c == '1':
Guido van Rossum548703a1998-03-26 22:14:20 +0000118 label = label + ('%d' % counter)
Guido van Rossum5c971671996-07-22 15:23:25 +0000119 elif c in 'aA':
Guido van Rossum548703a1998-03-26 22:14:20 +0000120 if counter > 0:
121 label = label + self.format_letter(c, counter)
Guido van Rossum5c971671996-07-22 15:23:25 +0000122 elif c in 'iI':
Guido van Rossum548703a1998-03-26 22:14:20 +0000123 if counter > 0:
124 label = label + self.format_roman(c, counter)
125 else:
126 label = label + c
Guido van Rossum5c971671996-07-22 15:23:25 +0000127 except:
128 label = label + c
129 return label
130
131 def format_letter(self, case, counter):
Guido van Rossum548703a1998-03-26 22:14:20 +0000132 label = ''
133 while counter > 0:
134 counter, x = divmod(counter-1, 26)
135 s = chr(ord(case) + x)
136 label = s + label
137 return label
Guido van Rossum5c971671996-07-22 15:23:25 +0000138
139 def format_roman(self, case, counter):
140 ones = ['i', 'x', 'c', 'm']
141 fives = ['v', 'l', 'd']
142 label, index = '', 0
Guido van Rossum548703a1998-03-26 22:14:20 +0000143 # This will die of IndexError when counter is too big
Guido van Rossum5c971671996-07-22 15:23:25 +0000144 while counter > 0:
145 counter, x = divmod(counter, 10)
146 if x == 9:
147 label = ones[index] + ones[index+1] + label
148 elif x == 4:
149 label = ones[index] + fives[index] + label
150 else:
151 if x >= 5:
152 s = fives[index]
153 x = x-5
154 else:
155 s = ''
156 s = s + ones[index]*x
Guido van Rossum548703a1998-03-26 22:14:20 +0000157 label = s + label
Guido van Rossum5c971671996-07-22 15:23:25 +0000158 index = index + 1
159 if case == 'I':
Guido van Rossum548703a1998-03-26 22:14:20 +0000160 return string.upper(label)
Guido van Rossum5c971671996-07-22 15:23:25 +0000161 return label
162
163 def add_flowing_data(self, data,
Guido van Rossum548703a1998-03-26 22:14:20 +0000164 # These are only here to load them into locals:
165 whitespace = string.whitespace,
166 join = string.join, split = string.split):
167 if not data: return
168 # The following looks a bit convoluted but is a great improvement over
169 # data = regsub.gsub('[' + string.whitespace + ']+', ' ', data)
170 prespace = data[:1] in whitespace
171 postspace = data[-1:] in whitespace
172 data = join(split(data))
173 if self.nospace and not data:
174 return
175 elif prespace or self.softspace:
176 if not data:
177 if not self.nospace:
178 self.softspace = 1
179 self.parskip = 0
180 return
181 if not self.nospace:
182 data = ' ' + data
183 self.hard_break = self.nospace = self.para_end = \
184 self.parskip = self.have_label = 0
185 self.softspace = postspace
186 self.writer.send_flowing_data(data)
Guido van Rossum5c971671996-07-22 15:23:25 +0000187
188 def add_literal_data(self, data):
Guido van Rossum548703a1998-03-26 22:14:20 +0000189 if not data: return
190 if self.softspace:
191 self.writer.send_flowing_data(" ")
192 self.hard_break = data[-1:] == '\n'
193 self.nospace = self.para_end = self.softspace = \
194 self.parskip = self.have_label = 0
195 self.writer.send_literal_data(data)
Guido van Rossum5c971671996-07-22 15:23:25 +0000196
197 def flush_softspace(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000198 if self.softspace:
199 self.hard_break = self.para_end = self.parskip = \
200 self.have_label = self.softspace = 0
201 self.nospace = 1
202 self.writer.send_flowing_data(' ')
Guido van Rossum5c971671996-07-22 15:23:25 +0000203
204 def push_alignment(self, align):
Guido van Rossum548703a1998-03-26 22:14:20 +0000205 if align and align != self.align:
206 self.writer.new_alignment(align)
207 self.align = align
208 self.align_stack.append(align)
209 else:
210 self.align_stack.append(self.align)
Guido van Rossum5c971671996-07-22 15:23:25 +0000211
212 def pop_alignment(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000213 if self.align_stack:
214 del self.align_stack[-1]
215 if self.align_stack:
216 self.align = align = self.align_stack[-1]
217 self.writer.new_alignment(align)
218 else:
219 self.align = None
220 self.writer.new_alignment(None)
Guido van Rossum5c971671996-07-22 15:23:25 +0000221
222 def push_font(self, (size, i, b, tt)):
Guido van Rossum548703a1998-03-26 22:14:20 +0000223 if self.softspace:
224 self.hard_break = self.para_end = self.softspace = 0
225 self.nospace = 1
226 self.writer.send_flowing_data(' ')
227 if self.font_stack:
228 csize, ci, cb, ctt = self.font_stack[-1]
229 if size is AS_IS: size = csize
230 if i is AS_IS: i = ci
231 if b is AS_IS: b = cb
232 if tt is AS_IS: tt = ctt
233 font = (size, i, b, tt)
234 self.font_stack.append(font)
235 self.writer.new_font(font)
Guido van Rossum5c971671996-07-22 15:23:25 +0000236
237 def pop_font(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000238 if self.font_stack:
239 del self.font_stack[-1]
240 if self.font_stack:
241 font = self.font_stack[-1]
242 else:
243 font = None
244 self.writer.new_font(font)
Guido van Rossum5c971671996-07-22 15:23:25 +0000245
246 def push_margin(self, margin):
Guido van Rossum548703a1998-03-26 22:14:20 +0000247 self.margin_stack.append(margin)
248 fstack = filter(None, self.margin_stack)
249 if not margin and fstack:
250 margin = fstack[-1]
251 self.writer.new_margin(margin, len(fstack))
Guido van Rossum5c971671996-07-22 15:23:25 +0000252
253 def pop_margin(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000254 if self.margin_stack:
255 del self.margin_stack[-1]
256 fstack = filter(None, self.margin_stack)
257 if fstack:
258 margin = fstack[-1]
259 else:
260 margin = None
261 self.writer.new_margin(margin, len(fstack))
Guido van Rossum5c971671996-07-22 15:23:25 +0000262
263 def set_spacing(self, spacing):
Guido van Rossum548703a1998-03-26 22:14:20 +0000264 self.spacing = spacing
265 self.writer.new_spacing(spacing)
Guido van Rossum5c971671996-07-22 15:23:25 +0000266
267 def push_style(self, *styles):
Guido van Rossum548703a1998-03-26 22:14:20 +0000268 if self.softspace:
269 self.hard_break = self.para_end = self.softspace = 0
270 self.nospace = 1
271 self.writer.send_flowing_data(' ')
272 for style in styles:
273 self.style_stack.append(style)
274 self.writer.new_styles(tuple(self.style_stack))
Guido van Rossum5c971671996-07-22 15:23:25 +0000275
276 def pop_style(self, n=1):
Guido van Rossum548703a1998-03-26 22:14:20 +0000277 del self.style_stack[-n:]
278 self.writer.new_styles(tuple(self.style_stack))
Guido van Rossum5c971671996-07-22 15:23:25 +0000279
280 def assert_line_data(self, flag=1):
Guido van Rossum548703a1998-03-26 22:14:20 +0000281 self.nospace = self.hard_break = not flag
282 self.para_end = self.parskip = self.have_label = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000283
284
285class NullWriter:
Guido van Rossum228b8e81997-04-02 06:13:34 +0000286 """Minimal writer interface to use in testing & inheritance."""
Guido van Rossum5c971671996-07-22 15:23:25 +0000287 def __init__(self): pass
Guido van Rossum228b8e81997-04-02 06:13:34 +0000288 def flush(self): pass
Guido van Rossum5c971671996-07-22 15:23:25 +0000289 def new_alignment(self, align): pass
290 def new_font(self, font): pass
291 def new_margin(self, margin, level): pass
292 def new_spacing(self, spacing): pass
293 def new_styles(self, styles): pass
294 def send_paragraph(self, blankline): pass
295 def send_line_break(self): pass
296 def send_hor_rule(self, *args, **kw): pass
297 def send_label_data(self, data): pass
298 def send_flowing_data(self, data): pass
299 def send_literal_data(self, data): pass
300
301
302class AbstractWriter(NullWriter):
303
304 def __init__(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000305 pass
Guido van Rossum5c971671996-07-22 15:23:25 +0000306
307 def new_alignment(self, align):
Guido van Rossum548703a1998-03-26 22:14:20 +0000308 print "new_alignment(%s)" % `align`
Guido van Rossum5c971671996-07-22 15:23:25 +0000309
310 def new_font(self, font):
Guido van Rossum548703a1998-03-26 22:14:20 +0000311 print "new_font(%s)" % `font`
Guido van Rossum5c971671996-07-22 15:23:25 +0000312
313 def new_margin(self, margin, level):
Guido van Rossum548703a1998-03-26 22:14:20 +0000314 print "new_margin(%s, %d)" % (`margin`, level)
Guido van Rossum5c971671996-07-22 15:23:25 +0000315
316 def new_spacing(self, spacing):
Guido van Rossum548703a1998-03-26 22:14:20 +0000317 print "new_spacing(%s)" % `spacing`
Guido van Rossum5c971671996-07-22 15:23:25 +0000318
319 def new_styles(self, styles):
Guido van Rossum548703a1998-03-26 22:14:20 +0000320 print "new_styles(%s)" % `styles`
Guido van Rossum5c971671996-07-22 15:23:25 +0000321
322 def send_paragraph(self, blankline):
Guido van Rossum548703a1998-03-26 22:14:20 +0000323 print "send_paragraph(%s)" % `blankline`
Guido van Rossum5c971671996-07-22 15:23:25 +0000324
325 def send_line_break(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000326 print "send_line_break()"
Guido van Rossum5c971671996-07-22 15:23:25 +0000327
328 def send_hor_rule(self, *args, **kw):
Guido van Rossum548703a1998-03-26 22:14:20 +0000329 print "send_hor_rule()"
Guido van Rossum5c971671996-07-22 15:23:25 +0000330
331 def send_label_data(self, data):
Guido van Rossum548703a1998-03-26 22:14:20 +0000332 print "send_label_data(%s)" % `data`
Guido van Rossum5c971671996-07-22 15:23:25 +0000333
334 def send_flowing_data(self, data):
Guido van Rossum548703a1998-03-26 22:14:20 +0000335 print "send_flowing_data(%s)" % `data`
Guido van Rossum5c971671996-07-22 15:23:25 +0000336
337 def send_literal_data(self, data):
Guido van Rossum548703a1998-03-26 22:14:20 +0000338 print "send_literal_data(%s)" % `data`
Guido van Rossum5c971671996-07-22 15:23:25 +0000339
340
341class DumbWriter(NullWriter):
342
343 def __init__(self, file=None, maxcol=72):
Guido van Rossum548703a1998-03-26 22:14:20 +0000344 self.file = file or sys.stdout
345 self.maxcol = maxcol
346 NullWriter.__init__(self)
347 self.reset()
Guido van Rossum5c971671996-07-22 15:23:25 +0000348
349 def reset(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000350 self.col = 0
351 self.atbreak = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000352
353 def send_paragraph(self, blankline):
Guido van Rossum3e0d3191999-01-25 21:57:29 +0000354 self.file.write('\n'*blankline)
Guido van Rossum548703a1998-03-26 22:14:20 +0000355 self.col = 0
356 self.atbreak = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000357
358 def send_line_break(self):
Guido van Rossum548703a1998-03-26 22:14:20 +0000359 self.file.write('\n')
360 self.col = 0
361 self.atbreak = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000362
363 def send_hor_rule(self, *args, **kw):
Guido van Rossum548703a1998-03-26 22:14:20 +0000364 self.file.write('\n')
365 self.file.write('-'*self.maxcol)
366 self.file.write('\n')
367 self.col = 0
368 self.atbreak = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000369
370 def send_literal_data(self, data):
Guido van Rossum548703a1998-03-26 22:14:20 +0000371 self.file.write(data)
372 i = string.rfind(data, '\n')
373 if i >= 0:
374 self.col = 0
375 data = data[i+1:]
376 data = string.expandtabs(data)
377 self.col = self.col + len(data)
378 self.atbreak = 0
Guido van Rossum5c971671996-07-22 15:23:25 +0000379
380 def send_flowing_data(self, data):
Guido van Rossum548703a1998-03-26 22:14:20 +0000381 if not data: return
382 atbreak = self.atbreak or data[0] in string.whitespace
383 col = self.col
384 maxcol = self.maxcol
385 write = self.file.write
386 for word in string.split(data):
387 if atbreak:
388 if col + len(word) >= maxcol:
389 write('\n')
390 col = 0
391 else:
392 write(' ')
393 col = col + 1
394 write(word)
395 col = col + len(word)
396 atbreak = 1
397 self.col = col
398 self.atbreak = data[-1] in string.whitespace
Guido van Rossum5c971671996-07-22 15:23:25 +0000399
400
401def test(file = None):
402 w = DumbWriter()
403 f = AbstractFormatter(w)
404 if file:
Guido van Rossum548703a1998-03-26 22:14:20 +0000405 fp = open(file)
Guido van Rossum5c971671996-07-22 15:23:25 +0000406 elif sys.argv[1:]:
Guido van Rossum548703a1998-03-26 22:14:20 +0000407 fp = open(sys.argv[1])
Guido van Rossum5c971671996-07-22 15:23:25 +0000408 else:
Guido van Rossum548703a1998-03-26 22:14:20 +0000409 fp = sys.stdin
Guido van Rossum5c971671996-07-22 15:23:25 +0000410 while 1:
Guido van Rossum548703a1998-03-26 22:14:20 +0000411 line = fp.readline()
412 if not line:
413 break
414 if line == '\n':
415 f.end_paragraph(1)
416 else:
417 f.add_flowing_data(line)
Guido van Rossum5c971671996-07-22 15:23:25 +0000418 f.end_paragraph(0)
419
420
421if __name__ == '__main__':
422 test()