blob: aaca18aff47d751733581c89081c4b1bc937ea77 [file] [log] [blame]
Guido van Rossum8b3febe2007-08-30 01:15:14 +00001# Copyright (C) 2002-2007 Python Software Foundation
2# Author: Ben Gertzfield, Barry Warsaw
3# Contact: email-sig@python.org
4
5"""Header encoding and decoding functionality."""
6
7__all__ = [
8 'Header',
9 'decode_header',
10 'make_header',
11 ]
12
13import re
14import binascii
15
16import email.quoprimime
17import email.base64mime
18
19from email.errors import HeaderParseError
20from email.charset import Charset
21
22NL = '\n'
23SPACE = ' '
24BSPACE = b' '
25SPACE8 = ' ' * 8
26EMPTYSTRING = ''
Guido van Rossum9604e662007-08-30 03:46:43 +000027MAXLINELEN = 78
Guido van Rossum8b3febe2007-08-30 01:15:14 +000028
29USASCII = Charset('us-ascii')
30UTF8 = Charset('utf-8')
31
32# Match encoded-word strings in the form =?charset?q?Hello_World?=
33ecre = re.compile(r'''
34 =\? # literal =?
35 (?P<charset>[^?]*?) # non-greedy up to the next ? is the charset
36 \? # literal ?
37 (?P<encoding>[qb]) # either a "q" or a "b", case insensitive
38 \? # literal ?
39 (?P<encoded>.*?) # non-greedy up to the next ?= is the encoded string
40 \?= # literal ?=
41 (?=[ \t]|$) # whitespace or the end of the string
42 ''', re.VERBOSE | re.IGNORECASE | re.MULTILINE)
43
44# Field name regexp, including trailing colon, but not separating whitespace,
45# according to RFC 2822. Character range is from tilde to exclamation mark.
46# For use with .match()
47fcre = re.compile(r'[\041-\176]+:$')
48
49
50
51# Helpers
52_max_append = email.quoprimime._max_append
53
54
55
56def decode_header(header):
57 """Decode a message header value without converting charset.
58
59 Returns a list of (string, charset) pairs containing each of the decoded
60 parts of the header. Charset is None for non-encoded parts of the header,
61 otherwise a lower-case string containing the name of the character set
62 specified in the encoded string.
63
64 An email.Errors.HeaderParseError may be raised when certain decoding error
65 occurs (e.g. a base64 decoding exception).
66 """
67 # If no encoding, just return the header with no charset.
68 if not ecre.search(header):
69 return [(header, None)]
70 # First step is to parse all the encoded parts into triplets of the form
71 # (encoded_string, encoding, charset). For unencoded strings, the last
72 # two parts will be None.
73 words = []
74 for line in header.splitlines():
75 parts = ecre.split(line)
76 while parts:
77 unencoded = parts.pop(0).strip()
78 if unencoded:
79 words.append((unencoded, None, None))
80 if parts:
81 charset = parts.pop(0).lower()
82 encoding = parts.pop(0).lower()
83 encoded = parts.pop(0)
84 words.append((encoded, encoding, charset))
85 # The next step is to decode each encoded word by applying the reverse
86 # base64 or quopri transformation. decoded_words is now a list of the
87 # form (decoded_word, charset).
88 decoded_words = []
89 for encoded_string, encoding, charset in words:
90 if encoding is None:
91 # This is an unencoded word.
92 decoded_words.append((encoded_string, charset))
93 elif encoding == 'q':
94 word = email.quoprimime.header_decode(encoded_string)
95 decoded_words.append((word, charset))
96 elif encoding == 'b':
R. David Murraye06528c2010-08-03 23:35:44 +000097 paderr = len(encoded_string) % 4 # Postel's law: add missing padding
98 if paderr:
99 encoded_string += '==='[:4 - paderr]
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000100 try:
101 word = email.base64mime.decode(encoded_string)
102 except binascii.Error:
103 raise HeaderParseError('Base64 decoding error')
104 else:
105 decoded_words.append((word, charset))
106 else:
107 raise AssertionError('Unexpected encoding: ' + encoding)
108 # Now convert all words to bytes and collapse consecutive runs of
109 # similarly encoded words.
110 collapsed = []
111 last_word = last_charset = None
112 for word, charset in decoded_words:
113 if isinstance(word, str):
Guido van Rossum9604e662007-08-30 03:46:43 +0000114 word = bytes(word, 'raw-unicode-escape')
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000115 if last_word is None:
116 last_word = word
117 last_charset = charset
118 elif charset != last_charset:
119 collapsed.append((last_word, last_charset))
120 last_word = word
121 last_charset = charset
122 elif last_charset is None:
123 last_word += BSPACE + word
124 else:
125 last_word += word
126 collapsed.append((last_word, last_charset))
127 return collapsed
128
129
130
131def make_header(decoded_seq, maxlinelen=None, header_name=None,
132 continuation_ws=' '):
133 """Create a Header from a sequence of pairs as returned by decode_header()
134
135 decode_header() takes a header value string and returns a sequence of
136 pairs of the format (decoded_string, charset) where charset is the string
137 name of the character set.
138
139 This function takes one of those sequence of pairs and returns a Header
140 instance. Optional maxlinelen, header_name, and continuation_ws are as in
141 the Header constructor.
142 """
143 h = Header(maxlinelen=maxlinelen, header_name=header_name,
144 continuation_ws=continuation_ws)
145 for s, charset in decoded_seq:
146 # None means us-ascii but we can simply pass it on to h.append()
147 if charset is not None and not isinstance(charset, Charset):
148 charset = Charset(charset)
149 h.append(s, charset)
150 return h
151
152
153
154class Header:
155 def __init__(self, s=None, charset=None,
156 maxlinelen=None, header_name=None,
157 continuation_ws=' ', errors='strict'):
158 """Create a MIME-compliant header that can contain many character sets.
159
160 Optional s is the initial header value. If None, the initial header
161 value is not set. You can later append to the header with .append()
162 method calls. s may be a byte string or a Unicode string, but see the
163 .append() documentation for semantics.
164
165 Optional charset serves two purposes: it has the same meaning as the
166 charset argument to the .append() method. It also sets the default
167 character set for all subsequent .append() calls that omit the charset
168 argument. If charset is not provided in the constructor, the us-ascii
169 charset is used both as s's initial charset and as the default for
170 subsequent .append() calls.
171
R. David Murray5723d222010-12-29 19:03:53 +0000172 The maximum line length can be specified explicitly via maxlinelen. For
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000173 splitting the first line to a shorter value (to account for the field
174 header which isn't included in s, e.g. `Subject') pass in the name of
Guido van Rossum9604e662007-08-30 03:46:43 +0000175 the field in header_name. The default maxlinelen is 78 as recommended
176 by RFC 2822.
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000177
178 continuation_ws must be RFC 2822 compliant folding whitespace (usually
179 either a space or a hard tab) which will be prepended to continuation
180 lines.
181
182 errors is passed through to the .append() call.
183 """
184 if charset is None:
185 charset = USASCII
186 elif not isinstance(charset, Charset):
187 charset = Charset(charset)
188 self._charset = charset
189 self._continuation_ws = continuation_ws
190 self._chunks = []
191 if s is not None:
192 self.append(s, charset, errors)
193 if maxlinelen is None:
194 maxlinelen = MAXLINELEN
195 self._maxlinelen = maxlinelen
196 if header_name is None:
197 self._headerlen = 0
198 else:
199 # Take the separating colon and space into account.
200 self._headerlen = len(header_name) + 2
201
202 def __str__(self):
203 """Return the string value of the header."""
Guido van Rossum9604e662007-08-30 03:46:43 +0000204 self._normalize()
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000205 uchunks = []
206 lastcs = None
Guido van Rossum9604e662007-08-30 03:46:43 +0000207 for string, charset in self._chunks:
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000208 # We must preserve spaces between encoded and non-encoded word
209 # boundaries, which means for us we need to add a space when we go
210 # from a charset to None/us-ascii, or from None/us-ascii to a
211 # charset. Only do this for the second and subsequent chunks.
212 nextcs = charset
213 if uchunks:
214 if lastcs not in (None, 'us-ascii'):
215 if nextcs in (None, 'us-ascii'):
216 uchunks.append(SPACE)
217 nextcs = None
218 elif nextcs not in (None, 'us-ascii'):
219 uchunks.append(SPACE)
220 lastcs = nextcs
Guido van Rossum9604e662007-08-30 03:46:43 +0000221 uchunks.append(string)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000222 return EMPTYSTRING.join(uchunks)
223
224 # Rich comparison operators for equality only. BAW: does it make sense to
225 # have or explicitly disable <, <=, >, >= operators?
226 def __eq__(self, other):
227 # other may be a Header or a string. Both are fine so coerce
Guido van Rossum9604e662007-08-30 03:46:43 +0000228 # ourselves to a unicode (of the unencoded header value), swap the
229 # args and do another comparison.
230 return other == str(self)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000231
232 def __ne__(self, other):
233 return not self == other
234
235 def append(self, s, charset=None, errors='strict'):
236 """Append a string to the MIME header.
237
238 Optional charset, if given, should be a Charset instance or the name
239 of a character set (which will be converted to a Charset instance). A
240 value of None (the default) means that the charset given in the
241 constructor is used.
242
243 s may be a byte string or a Unicode string. If it is a byte string
R. David Murray5723d222010-12-29 19:03:53 +0000244 (i.e. isinstance(s, str) is false), then charset is the encoding of
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000245 that byte string, and a UnicodeError will be raised if the string
246 cannot be decoded with that charset. If s is a Unicode string, then
247 charset is a hint specifying the character set of the characters in
R. David Murrayf9844c82011-01-05 01:47:38 +0000248 the string. In either case, when producing an RFC 2822 compliant
249 header using RFC 2047 rules, the string will be encoded using the
250 output codec of the charset. If the string cannot be encoded to the
251 output codec, a UnicodeError will be raised.
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000252
R. David Murrayf9844c82011-01-05 01:47:38 +0000253 Optional `errors' is passed as the errors argument to the decode
254 call if s is a byte string.
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000255 """
256 if charset is None:
257 charset = self._charset
258 elif not isinstance(charset, Charset):
259 charset = Charset(charset)
R. David Murrayf9844c82011-01-05 01:47:38 +0000260 if not isinstance(s, str):
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000261 input_charset = charset.input_codec or 'us-ascii'
R. David Murrayf9844c82011-01-05 01:47:38 +0000262 s = s.decode(input_charset, errors)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000263 # Ensure that the bytes we're storing can be decoded to the output
264 # character set, otherwise an early error is thrown.
265 output_charset = charset.output_codec or 'us-ascii'
R. David Murrayf9844c82011-01-05 01:47:38 +0000266 s.encode(output_charset, errors)
267 self._chunks.append((s, charset))
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000268
Guido van Rossum9604e662007-08-30 03:46:43 +0000269 def encode(self, splitchars=';, \t', maxlinelen=None):
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000270 """Encode a message header into an RFC-compliant format.
271
272 There are many issues involved in converting a given string for use in
273 an email header. Only certain character sets are readable in most
274 email clients, and as header strings can only contain a subset of
275 7-bit ASCII, care must be taken to properly convert and encode (with
276 Base64 or quoted-printable) header strings. In addition, there is a
277 75-character length limit on any given encoded header field, so
278 line-wrapping must be performed, even with double-byte character sets.
279
280 This method will do its best to convert the string to the correct
281 character set used in email, and encode and line wrap it safely with
282 the appropriate scheme for that character set.
283
284 If the given charset is not known or an error occurs during
285 conversion, this function will return the header untouched.
286
287 Optional splitchars is a string containing characters to split long
288 ASCII lines on, in rough support of RFC 2822's `highest level
289 syntactic breaks'. This doesn't affect RFC 2047 encoded lines.
290 """
291 self._normalize()
Guido van Rossum9604e662007-08-30 03:46:43 +0000292 if maxlinelen is None:
293 maxlinelen = self._maxlinelen
294 # A maxlinelen of 0 means don't wrap. For all practical purposes,
295 # choosing a huge number here accomplishes that and makes the
296 # _ValueFormatter algorithm much simpler.
297 if maxlinelen == 0:
298 maxlinelen = 1000000
299 formatter = _ValueFormatter(self._headerlen, maxlinelen,
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000300 self._continuation_ws, splitchars)
301 for string, charset in self._chunks:
302 lines = string.splitlines()
303 for line in lines:
304 formatter.feed(line, charset)
305 if len(lines) > 1:
306 formatter.newline()
Barry Warsaw00b34222007-08-31 02:35:00 +0000307 formatter.add_transition()
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000308 return str(formatter)
309
310 def _normalize(self):
Guido van Rossum9604e662007-08-30 03:46:43 +0000311 # Step 1: Normalize the chunks so that all runs of identical charsets
312 # get collapsed into a single unicode string.
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000313 chunks = []
314 last_charset = None
315 last_chunk = []
316 for string, charset in self._chunks:
317 if charset == last_charset:
318 last_chunk.append(string)
319 else:
320 if last_charset is not None:
321 chunks.append((SPACE.join(last_chunk), last_charset))
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000322 last_chunk = [string]
323 last_charset = charset
324 if last_chunk:
325 chunks.append((SPACE.join(last_chunk), last_charset))
326 self._chunks = chunks
327
328
329
330class _ValueFormatter:
331 def __init__(self, headerlen, maxlen, continuation_ws, splitchars):
332 self._maxlen = maxlen
333 self._continuation_ws = continuation_ws
334 self._continuation_ws_len = len(continuation_ws.replace('\t', SPACE8))
335 self._splitchars = splitchars
336 self._lines = []
337 self._current_line = _Accumulator(headerlen)
338
339 def __str__(self):
340 self.newline()
341 return NL.join(self._lines)
342
343 def newline(self):
Barry Warsaw00b34222007-08-31 02:35:00 +0000344 end_of_line = self._current_line.pop()
345 if end_of_line is not None:
346 self._current_line.push(end_of_line)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000347 if len(self._current_line) > 0:
348 self._lines.append(str(self._current_line))
349 self._current_line.reset()
350
Barry Warsaw00b34222007-08-31 02:35:00 +0000351 def add_transition(self):
352 self._current_line.push(None)
353
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000354 def feed(self, string, charset):
355 # If the string itself fits on the current line in its encoded format,
356 # then add it now and be done with it.
357 encoded_string = charset.header_encode(string)
358 if len(encoded_string) + len(self._current_line) <= self._maxlen:
359 self._current_line.push(encoded_string)
360 return
Guido van Rossum9604e662007-08-30 03:46:43 +0000361 # If the charset has no header encoding (i.e. it is an ASCII encoding)
362 # then we must split the header at the "highest level syntactic break"
363 # possible. Note that we don't have a lot of smarts about field
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000364 # syntax; we just try to break on semi-colons, then commas, then
Guido van Rossum9604e662007-08-30 03:46:43 +0000365 # whitespace. Eventually, this should be pluggable.
366 if charset.header_encoding is None:
367 for ch in self._splitchars:
368 if ch in string:
369 break
370 else:
371 ch = None
372 # If there's no available split character then regardless of
373 # whether the string fits on the line, we have to put it on a line
374 # by itself.
375 if ch is None:
376 if not self._current_line.is_onlyws():
377 self._lines.append(str(self._current_line))
378 self._current_line.reset(self._continuation_ws)
379 self._current_line.push(encoded_string)
380 else:
381 self._ascii_split(string, ch)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000382 return
Guido van Rossum9604e662007-08-30 03:46:43 +0000383 # Otherwise, we're doing either a Base64 or a quoted-printable
384 # encoding which means we don't need to split the line on syntactic
385 # breaks. We can basically just find enough characters to fit on the
386 # current line, minus the RFC 2047 chrome. What makes this trickier
387 # though is that we have to split at octet boundaries, not character
388 # boundaries but it's only safe to split at character boundaries so at
389 # best we can only get close.
390 encoded_lines = charset.header_encode_lines(string, self._maxlengths())
391 # The first element extends the current line, but if it's None then
392 # nothing more fit on the current line so start a new line.
393 try:
394 first_line = encoded_lines.pop(0)
395 except IndexError:
396 # There are no encoded lines, so we're done.
397 return
398 if first_line is not None:
399 self._current_line.push(first_line)
400 self._lines.append(str(self._current_line))
401 self._current_line.reset(self._continuation_ws)
402 try:
403 last_line = encoded_lines.pop()
404 except IndexError:
405 # There was only one line.
406 return
407 self._current_line.push(last_line)
Guido van Rossum9604e662007-08-30 03:46:43 +0000408 # Everything else are full lines in themselves.
409 for line in encoded_lines:
410 self._lines.append(self._continuation_ws + line)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000411
Guido van Rossum9604e662007-08-30 03:46:43 +0000412 def _maxlengths(self):
413 # The first line's length.
414 yield self._maxlen - len(self._current_line)
415 while True:
416 yield self._maxlen - self._continuation_ws_len
417
418 def _ascii_split(self, string, ch):
419 holding = _Accumulator()
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000420 # Split the line on the split character, preserving it. If the split
421 # character is whitespace RFC 2822 $2.2.3 requires us to fold on the
422 # whitespace, so that the line leads with the original whitespace we
423 # split on. However, if a higher syntactic break is used instead
424 # (e.g. comma or semicolon), the folding should happen after the split
425 # character. But then in that case, we need to add our own
426 # continuation whitespace -- although won't that break unfolding?
427 for part, splitpart, nextpart in _spliterator(ch, string):
428 if not splitpart:
429 # No splitpart means this is the last chunk. Put this part
430 # either on the current line or the next line depending on
431 # whether it fits.
432 holding.push(part)
433 if len(holding) + len(self._current_line) <= self._maxlen:
434 # It fits, but we're done.
435 self._current_line.push(str(holding))
436 else:
437 # It doesn't fit, but we're done. Before pushing a new
438 # line, watch out for the current line containing only
439 # whitespace.
440 holding.pop()
Guido van Rossum9604e662007-08-30 03:46:43 +0000441 if self._current_line.is_onlyws() and holding.is_onlyws():
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000442 # Don't start a new line.
443 holding.push(part)
444 part = None
445 self._current_line.push(str(holding))
446 self._lines.append(str(self._current_line))
447 if part is None:
448 self._current_line.reset()
449 else:
450 holding.reset(part)
451 self._current_line.reset(str(holding))
452 return
453 elif not nextpart:
454 # There must be some trailing split characters because we
455 # found a split character but no next part. In this case we
456 # must treat the thing to fit as the part + splitpart because
457 # if splitpart is whitespace it's not allowed to be the only
458 # thing on the line, and if it's not whitespace we must split
459 # after the syntactic break. In either case, we're done.
460 holding_prelen = len(holding)
461 holding.push(part + splitpart)
462 if len(holding) + len(self._current_line) <= self._maxlen:
463 self._current_line.push(str(holding))
464 elif holding_prelen == 0:
465 # This is the only chunk left so it has to go on the
466 # current line.
467 self._current_line.push(str(holding))
468 else:
469 save_part = holding.pop()
470 self._current_line.push(str(holding))
471 self._lines.append(str(self._current_line))
472 holding.reset(save_part)
473 self._current_line.reset(str(holding))
474 return
475 elif not part:
476 # We're leading with a split character. See if the splitpart
477 # and nextpart fits on the current line.
478 holding.push(splitpart + nextpart)
479 holding_len = len(holding)
480 # We know we're not leaving the nextpart on the stack.
481 holding.pop()
482 if holding_len + len(self._current_line) <= self._maxlen:
483 holding.push(splitpart)
484 else:
485 # It doesn't fit. Since there's no current part really
486 # the best we can do is start a new line and push the
487 # split part onto it.
488 self._current_line.push(str(holding))
489 holding.reset()
490 if len(self._current_line) > 0 and self._lines:
491 self._lines.append(str(self._current_line))
492 self._current_line.reset()
493 holding.push(splitpart)
494 else:
495 # All three parts are present. First let's see if all three
496 # parts will fit on the current line. If so, we don't need to
497 # split it.
498 holding.push(part + splitpart + nextpart)
499 holding_len = len(holding)
500 # Pop the part because we'll push nextpart on the next
501 # iteration through the loop.
502 holding.pop()
503 if holding_len + len(self._current_line) <= self._maxlen:
504 holding.push(part + splitpart)
505 else:
506 # The entire thing doesn't fit. See if we need to split
507 # before or after the split characters.
508 if splitpart.isspace():
509 # Split before whitespace. Remember that the
510 # whitespace becomes the continuation whitespace of
511 # the next line so it goes to current_line not holding.
512 holding.push(part)
513 self._current_line.push(str(holding))
514 holding.reset()
515 self._lines.append(str(self._current_line))
516 self._current_line.reset(splitpart)
517 else:
518 # Split after non-whitespace. The continuation
519 # whitespace comes from the instance variable.
520 holding.push(part + splitpart)
521 self._current_line.push(str(holding))
522 holding.reset()
523 self._lines.append(str(self._current_line))
524 if nextpart[0].isspace():
525 self._current_line.reset()
526 else:
527 self._current_line.reset(self._continuation_ws)
528 # Get the last of the holding part
529 self._current_line.push(str(holding))
530
531
532
533def _spliterator(character, string):
534 parts = list(reversed(re.split('(%s)' % character, string)))
535 while parts:
536 part = parts.pop()
537 splitparts = (parts.pop() if parts else None)
538 nextpart = (parts.pop() if parts else None)
539 yield (part, splitparts, nextpart)
540 if nextpart is not None:
541 parts.append(nextpart)
542
543
544class _Accumulator:
Guido van Rossum9604e662007-08-30 03:46:43 +0000545 def __init__(self, initial_size=0):
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000546 self._initial_size = initial_size
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000547 self._current = []
548
549 def push(self, string):
550 self._current.append(string)
551
552 def pop(self):
Barry Warsaw00b34222007-08-31 02:35:00 +0000553 if not self._current:
554 return None
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000555 return self._current.pop()
556
557 def __len__(self):
Barry Warsaw00b34222007-08-31 02:35:00 +0000558 return sum(((1 if string is None else len(string))
559 for string in self._current),
Guido van Rossum9604e662007-08-30 03:46:43 +0000560 self._initial_size)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000561
562 def __str__(self):
Barry Warsaw00b34222007-08-31 02:35:00 +0000563 if self._current and self._current[-1] is None:
564 self._current.pop()
565 return EMPTYSTRING.join((' ' if string is None else string)
566 for string in self._current)
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000567
568 def reset(self, string=None):
569 self._current = []
Guido van Rossum8b3febe2007-08-30 01:15:14 +0000570 self._initial_size = 0
571 if string is not None:
572 self.push(string)
Guido van Rossum9604e662007-08-30 03:46:43 +0000573
574 def is_onlyws(self):
575 return len(self) == 0 or str(self).isspace()