Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 1 | # Copyright (C) 2002-2006 Python Software Foundation |
Barry Warsaw | bb11386 | 2004-10-03 03:16:19 +0000 | [diff] [blame] | 2 | # Author: Ben Gertzfield, Barry Warsaw |
| 3 | # Contact: email-sig@python.org |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 4 | |
| 5 | """Header encoding and decoding functionality.""" |
| 6 | |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 7 | __all__ = [ |
| 8 | 'Header', |
| 9 | 'decode_header', |
| 10 | 'make_header', |
| 11 | ] |
| 12 | |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 13 | import re |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 14 | import binascii |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 15 | |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 16 | import email.quoprimime |
| 17 | import email.base64mime |
| 18 | |
| 19 | from email.errors import HeaderParseError |
| 20 | from email.charset import Charset |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 21 | |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 22 | NL = '\n' |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 23 | SPACE = ' ' |
Guido van Rossum | ef87d6e | 2007-05-02 19:09:54 +0000 | [diff] [blame] | 24 | USPACE = ' ' |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 25 | SPACE8 = ' ' * 8 |
Guido van Rossum | ef87d6e | 2007-05-02 19:09:54 +0000 | [diff] [blame] | 26 | UEMPTYSTRING = '' |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 27 | |
| 28 | MAXLINELEN = 76 |
| 29 | |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 30 | USASCII = Charset('us-ascii') |
| 31 | UTF8 = Charset('utf-8') |
| 32 | |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 33 | # Match encoded-word strings in the form =?charset?q?Hello_World?= |
| 34 | ecre = re.compile(r''' |
| 35 | =\? # literal =? |
| 36 | (?P<charset>[^?]*?) # non-greedy up to the next ? is the charset |
| 37 | \? # literal ? |
| 38 | (?P<encoding>[qb]) # either a "q" or a "b", case insensitive |
| 39 | \? # literal ? |
| 40 | (?P<encoded>.*?) # non-greedy up to the next ?= is the encoded string |
| 41 | \?= # literal ?= |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 42 | (?=[ \t]|$) # whitespace or the end of the string |
| 43 | ''', re.VERBOSE | re.IGNORECASE | re.MULTILINE) |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 44 | |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 45 | # Field name regexp, including trailing colon, but not separating whitespace, |
| 46 | # according to RFC 2822. Character range is from tilde to exclamation mark. |
| 47 | # For use with .match() |
| 48 | fcre = re.compile(r'[\041-\176]+:$') |
| 49 | |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 50 | |
| 51 | |
| 52 | # Helpers |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 53 | _max_append = email.quoprimime._max_append |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 54 | |
| 55 | |
| 56 | |
| 57 | def decode_header(header): |
| 58 | """Decode a message header value without converting charset. |
| 59 | |
| 60 | Returns a list of (decoded_string, charset) pairs containing each of the |
| 61 | decoded parts of the header. Charset is None for non-encoded parts of the |
| 62 | header, otherwise a lower-case string containing the name of the character |
| 63 | set specified in the encoded string. |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 64 | |
| 65 | An email.Errors.HeaderParseError may be raised when certain decoding error |
| 66 | occurs (e.g. a base64 decoding exception). |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 67 | """ |
| 68 | # If no encoding, just return the header |
| 69 | header = str(header) |
| 70 | if not ecre.search(header): |
| 71 | return [(header, None)] |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 72 | decoded = [] |
| 73 | dec = '' |
| 74 | for line in header.splitlines(): |
| 75 | # This line might not have an encoding in it |
| 76 | if not ecre.search(line): |
| 77 | decoded.append((line, None)) |
| 78 | continue |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 79 | parts = ecre.split(line) |
| 80 | while parts: |
| 81 | unenc = parts.pop(0).strip() |
| 82 | if unenc: |
| 83 | # Should we continue a long line? |
| 84 | if decoded and decoded[-1][1] is None: |
Barry Warsaw | 671c3e6 | 2003-03-06 06:37:42 +0000 | [diff] [blame] | 85 | decoded[-1] = (decoded[-1][0] + SPACE + unenc, None) |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 86 | else: |
| 87 | decoded.append((unenc, None)) |
| 88 | if parts: |
| 89 | charset, encoding = [s.lower() for s in parts[0:2]] |
| 90 | encoded = parts[2] |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 91 | dec = None |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 92 | if encoding == 'q': |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 93 | dec = email.quoprimime.header_decode(encoded) |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 94 | elif encoding == 'b': |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 95 | try: |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 96 | dec = email.base64mime.decode(encoded) |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 97 | except binascii.Error: |
| 98 | # Turn this into a higher level exception. BAW: Right |
| 99 | # now we throw the lower level exception away but |
| 100 | # when/if we get exception chaining, we'll preserve it. |
| 101 | raise HeaderParseError |
| 102 | if dec is None: |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 103 | dec = encoded |
| 104 | |
| 105 | if decoded and decoded[-1][1] == charset: |
| 106 | decoded[-1] = (decoded[-1][0] + dec, decoded[-1][1]) |
| 107 | else: |
| 108 | decoded.append((dec, charset)) |
| 109 | del parts[0:3] |
| 110 | return decoded |
| 111 | |
| 112 | |
| 113 | |
Barry Warsaw | 8da39aa | 2002-07-09 16:33:47 +0000 | [diff] [blame] | 114 | def make_header(decoded_seq, maxlinelen=None, header_name=None, |
| 115 | continuation_ws=' '): |
| 116 | """Create a Header from a sequence of pairs as returned by decode_header() |
| 117 | |
| 118 | decode_header() takes a header value string and returns a sequence of |
| 119 | pairs of the format (decoded_string, charset) where charset is the string |
| 120 | name of the character set. |
| 121 | |
| 122 | This function takes one of those sequence of pairs and returns a Header |
| 123 | instance. Optional maxlinelen, header_name, and continuation_ws are as in |
| 124 | the Header constructor. |
| 125 | """ |
| 126 | h = Header(maxlinelen=maxlinelen, header_name=header_name, |
| 127 | continuation_ws=continuation_ws) |
| 128 | for s, charset in decoded_seq: |
Barry Warsaw | 15d3739 | 2002-07-23 04:29:54 +0000 | [diff] [blame] | 129 | # None means us-ascii but we can simply pass it on to h.append() |
| 130 | if charset is not None and not isinstance(charset, Charset): |
Barry Warsaw | 8da39aa | 2002-07-09 16:33:47 +0000 | [diff] [blame] | 131 | charset = Charset(charset) |
| 132 | h.append(s, charset) |
| 133 | return h |
| 134 | |
| 135 | |
| 136 | |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 137 | class Header: |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 138 | def __init__(self, s=None, charset=None, |
| 139 | maxlinelen=None, header_name=None, |
Barry Warsaw | f4fdff7 | 2002-12-30 19:13:00 +0000 | [diff] [blame] | 140 | continuation_ws=' ', errors='strict'): |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 141 | """Create a MIME-compliant header that can contain many character sets. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 142 | |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 143 | Optional s is the initial header value. If None, the initial header |
| 144 | value is not set. You can later append to the header with .append() |
| 145 | method calls. s may be a byte string or a Unicode string, but see the |
| 146 | .append() documentation for semantics. |
Barry Warsaw | 8da39aa | 2002-07-09 16:33:47 +0000 | [diff] [blame] | 147 | |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 148 | Optional charset serves two purposes: it has the same meaning as the |
| 149 | charset argument to the .append() method. It also sets the default |
| 150 | character set for all subsequent .append() calls that omit the charset |
| 151 | argument. If charset is not provided in the constructor, the us-ascii |
| 152 | charset is used both as s's initial charset and as the default for |
| 153 | subsequent .append() calls. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 154 | |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 155 | The maximum line length can be specified explicit via maxlinelen. For |
| 156 | splitting the first line to a shorter value (to account for the field |
| 157 | header which isn't included in s, e.g. `Subject') pass in the name of |
| 158 | the field in header_name. The default maxlinelen is 76. |
| 159 | |
| 160 | continuation_ws must be RFC 2822 compliant folding whitespace (usually |
| 161 | either a space or a hard tab) which will be prepended to continuation |
| 162 | lines. |
Barry Warsaw | f4fdff7 | 2002-12-30 19:13:00 +0000 | [diff] [blame] | 163 | |
| 164 | errors is passed through to the .append() call. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 165 | """ |
| 166 | if charset is None: |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 167 | charset = USASCII |
Barry Warsaw | 5e3bcff | 2002-10-14 15:13:17 +0000 | [diff] [blame] | 168 | if not isinstance(charset, Charset): |
| 169 | charset = Charset(charset) |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 170 | self._charset = charset |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 171 | self._continuation_ws = continuation_ws |
| 172 | cws_expanded_len = len(continuation_ws.replace('\t', SPACE8)) |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 173 | # BAW: I believe `chunks' and `maxlinelen' should be non-public. |
| 174 | self._chunks = [] |
Barry Warsaw | 8da39aa | 2002-07-09 16:33:47 +0000 | [diff] [blame] | 175 | if s is not None: |
Barry Warsaw | f4fdff7 | 2002-12-30 19:13:00 +0000 | [diff] [blame] | 176 | self.append(s, charset, errors) |
Barry Warsaw | 812031b | 2002-05-19 23:47:53 +0000 | [diff] [blame] | 177 | if maxlinelen is None: |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 178 | maxlinelen = MAXLINELEN |
| 179 | if header_name is None: |
| 180 | # We don't know anything about the field header so the first line |
| 181 | # is the same length as subsequent lines. |
| 182 | self._firstlinelen = maxlinelen |
Barry Warsaw | 812031b | 2002-05-19 23:47:53 +0000 | [diff] [blame] | 183 | else: |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 184 | # The first line should be shorter to take into account the field |
| 185 | # header. Also subtract off 2 extra for the colon and space. |
| 186 | self._firstlinelen = maxlinelen - len(header_name) - 2 |
| 187 | # Second and subsequent lines should subtract off the length in |
| 188 | # columns of the continuation whitespace prefix. |
| 189 | self._maxlinelen = maxlinelen - cws_expanded_len |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 190 | |
| 191 | def __str__(self): |
| 192 | """A synonym for self.encode().""" |
| 193 | return self.encode() |
| 194 | |
Barry Warsaw | 8e69bda | 2002-06-29 03:26:58 +0000 | [diff] [blame] | 195 | def __unicode__(self): |
| 196 | """Helper for the built-in unicode function.""" |
Barry Warsaw | 4848805 | 2003-03-06 16:10:30 +0000 | [diff] [blame] | 197 | uchunks = [] |
| 198 | lastcs = None |
| 199 | for s, charset in self._chunks: |
| 200 | # We must preserve spaces between encoded and non-encoded word |
| 201 | # boundaries, which means for us we need to add a space when we go |
| 202 | # from a charset to None/us-ascii, or from None/us-ascii to a |
| 203 | # charset. Only do this for the second and subsequent chunks. |
| 204 | nextcs = charset |
| 205 | if uchunks: |
Barry Warsaw | ba1548a | 2003-03-30 20:46:47 +0000 | [diff] [blame] | 206 | if lastcs not in (None, 'us-ascii'): |
| 207 | if nextcs in (None, 'us-ascii'): |
Barry Warsaw | 4848805 | 2003-03-06 16:10:30 +0000 | [diff] [blame] | 208 | uchunks.append(USPACE) |
| 209 | nextcs = None |
Barry Warsaw | ba1548a | 2003-03-30 20:46:47 +0000 | [diff] [blame] | 210 | elif nextcs not in (None, 'us-ascii'): |
Barry Warsaw | 4848805 | 2003-03-06 16:10:30 +0000 | [diff] [blame] | 211 | uchunks.append(USPACE) |
| 212 | lastcs = nextcs |
Guido van Rossum | ef87d6e | 2007-05-02 19:09:54 +0000 | [diff] [blame] | 213 | uchunks.append(str(s, str(charset))) |
Barry Warsaw | 4848805 | 2003-03-06 16:10:30 +0000 | [diff] [blame] | 214 | return UEMPTYSTRING.join(uchunks) |
Barry Warsaw | 8e69bda | 2002-06-29 03:26:58 +0000 | [diff] [blame] | 215 | |
Barry Warsaw | 8da39aa | 2002-07-09 16:33:47 +0000 | [diff] [blame] | 216 | # Rich comparison operators for equality only. BAW: does it make sense to |
| 217 | # have or explicitly disable <, <=, >, >= operators? |
| 218 | def __eq__(self, other): |
| 219 | # other may be a Header or a string. Both are fine so coerce |
| 220 | # ourselves to a string, swap the args and do another comparison. |
| 221 | return other == self.encode() |
| 222 | |
| 223 | def __ne__(self, other): |
| 224 | return not self == other |
| 225 | |
Barry Warsaw | f4fdff7 | 2002-12-30 19:13:00 +0000 | [diff] [blame] | 226 | def append(self, s, charset=None, errors='strict'): |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 227 | """Append a string to the MIME header. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 228 | |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 229 | Optional charset, if given, should be a Charset instance or the name |
| 230 | of a character set (which will be converted to a Charset instance). A |
| 231 | value of None (the default) means that the charset given in the |
| 232 | constructor is used. |
| 233 | |
| 234 | s may be a byte string or a Unicode string. If it is a byte string |
Barry Warsaw | 3d1f397 | 2004-05-09 03:40:17 +0000 | [diff] [blame] | 235 | (i.e. isinstance(s, str) is true), then charset is the encoding of |
| 236 | that byte string, and a UnicodeError will be raised if the string |
Barry Warsaw | 4833068 | 2002-09-30 23:07:35 +0000 | [diff] [blame] | 237 | cannot be decoded with that charset. If s is a Unicode string, then |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 238 | charset is a hint specifying the character set of the characters in |
| 239 | the string. In this case, when producing an RFC 2822 compliant header |
| 240 | using RFC 2047 rules, the Unicode string will be encoded using the |
Barry Warsaw | 4833068 | 2002-09-30 23:07:35 +0000 | [diff] [blame] | 241 | following charsets in order: us-ascii, the charset hint, utf-8. The |
| 242 | first character set not to provoke a UnicodeError is used. |
Barry Warsaw | f4fdff7 | 2002-12-30 19:13:00 +0000 | [diff] [blame] | 243 | |
| 244 | Optional `errors' is passed as the third argument to any unicode() or |
| 245 | ustr.encode() call. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 246 | """ |
| 247 | if charset is None: |
| 248 | charset = self._charset |
Barry Warsaw | 92825a9 | 2002-07-23 06:08:10 +0000 | [diff] [blame] | 249 | elif not isinstance(charset, Charset): |
| 250 | charset = Charset(charset) |
Barry Warsaw | 67f8f2f | 2002-10-14 16:52:41 +0000 | [diff] [blame] | 251 | # If the charset is our faux 8bit charset, leave the string unchanged |
Guido van Rossum | b053cd8 | 2006-08-24 03:53:23 +0000 | [diff] [blame] | 252 | if charset != '8bit': |
Barry Warsaw | 67f8f2f | 2002-10-14 16:52:41 +0000 | [diff] [blame] | 253 | # We need to test that the string can be converted to unicode and |
| 254 | # back to a byte string, given the input and output codecs of the |
| 255 | # charset. |
Barry Warsaw | 3d1f397 | 2004-05-09 03:40:17 +0000 | [diff] [blame] | 256 | if isinstance(s, str): |
Barry Warsaw | 67f8f2f | 2002-10-14 16:52:41 +0000 | [diff] [blame] | 257 | # Possibly raise UnicodeError if the byte string can't be |
| 258 | # converted to a unicode with the input codec of the charset. |
| 259 | incodec = charset.input_codec or 'us-ascii' |
Guido van Rossum | ef87d6e | 2007-05-02 19:09:54 +0000 | [diff] [blame] | 260 | ustr = str(s, incodec, errors) |
Barry Warsaw | 67f8f2f | 2002-10-14 16:52:41 +0000 | [diff] [blame] | 261 | # Now make sure that the unicode could be converted back to a |
| 262 | # byte string with the output codec, which may be different |
| 263 | # than the iput coded. Still, use the original byte string. |
| 264 | outcodec = charset.output_codec or 'us-ascii' |
Barry Warsaw | f4fdff7 | 2002-12-30 19:13:00 +0000 | [diff] [blame] | 265 | ustr.encode(outcodec, errors) |
Guido van Rossum | ef87d6e | 2007-05-02 19:09:54 +0000 | [diff] [blame] | 266 | elif isinstance(s, str): |
Barry Warsaw | 67f8f2f | 2002-10-14 16:52:41 +0000 | [diff] [blame] | 267 | # Now we have to be sure the unicode string can be converted |
| 268 | # to a byte string with a reasonable output codec. We want to |
| 269 | # use the byte string in the chunk. |
| 270 | for charset in USASCII, charset, UTF8: |
| 271 | try: |
| 272 | outcodec = charset.output_codec or 'us-ascii' |
Barry Warsaw | f4fdff7 | 2002-12-30 19:13:00 +0000 | [diff] [blame] | 273 | s = s.encode(outcodec, errors) |
Barry Warsaw | 67f8f2f | 2002-10-14 16:52:41 +0000 | [diff] [blame] | 274 | break |
| 275 | except UnicodeError: |
| 276 | pass |
| 277 | else: |
| 278 | assert False, 'utf-8 conversion failed' |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 279 | self._chunks.append((s, charset)) |
Tim Peters | 8ac1495 | 2002-05-23 15:15:30 +0000 | [diff] [blame] | 280 | |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 281 | def _split(self, s, charset, maxlinelen, splitchars): |
Barry Warsaw | 5e3bcff | 2002-10-14 15:13:17 +0000 | [diff] [blame] | 282 | # Split up a header safely for use with encode_chunks. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 283 | splittable = charset.to_splittable(s) |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 284 | encoded = charset.from_splittable(splittable, True) |
Barry Warsaw | 812031b | 2002-05-19 23:47:53 +0000 | [diff] [blame] | 285 | elen = charset.encoded_header_len(encoded) |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 286 | # If the line's encoded length first, just return it |
| 287 | if elen <= maxlinelen: |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 288 | return [(encoded, charset)] |
Barry Warsaw | 5e3bcff | 2002-10-14 15:13:17 +0000 | [diff] [blame] | 289 | # If we have undetermined raw 8bit characters sitting in a byte |
| 290 | # string, we really don't know what the right thing to do is. We |
| 291 | # can't really split it because it might be multibyte data which we |
| 292 | # could break if we split it between pairs. The least harm seems to |
| 293 | # be to not split the header at all, but that means they could go out |
| 294 | # longer than maxlinelen. |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 295 | if charset == '8bit': |
Barry Warsaw | 5e3bcff | 2002-10-14 15:13:17 +0000 | [diff] [blame] | 296 | return [(s, charset)] |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 297 | # BAW: I'm not sure what the right test here is. What we're trying to |
| 298 | # do is be faithful to RFC 2822's recommendation that ($2.2.3): |
| 299 | # |
| 300 | # "Note: Though structured field bodies are defined in such a way that |
| 301 | # folding can take place between many of the lexical tokens (and even |
| 302 | # within some of the lexical tokens), folding SHOULD be limited to |
| 303 | # placing the CRLF at higher-level syntactic breaks." |
| 304 | # |
| 305 | # For now, I can only imagine doing this when the charset is us-ascii, |
| 306 | # although it's possible that other charsets may also benefit from the |
| 307 | # higher-level syntactic breaks. |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 308 | elif charset == 'us-ascii': |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 309 | return self._split_ascii(s, charset, maxlinelen, splitchars) |
Barry Warsaw | 812031b | 2002-05-19 23:47:53 +0000 | [diff] [blame] | 310 | # BAW: should we use encoded? |
| 311 | elif elen == len(s): |
| 312 | # We can split on _maxlinelen boundaries because we know that the |
| 313 | # encoding won't change the size of the string |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 314 | splitpnt = maxlinelen |
Barry Warsaw | 174aa49 | 2002-09-30 15:51:31 +0000 | [diff] [blame] | 315 | first = charset.from_splittable(splittable[:splitpnt], False) |
| 316 | last = charset.from_splittable(splittable[splitpnt:], False) |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 317 | else: |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 318 | # Binary search for split point |
| 319 | first, last = _binsplit(splittable, charset, maxlinelen) |
| 320 | # first is of the proper length so just wrap it in the appropriate |
| 321 | # chrome. last must be recursively split. |
| 322 | fsplittable = charset.to_splittable(first) |
| 323 | fencoded = charset.from_splittable(fsplittable, True) |
| 324 | chunk = [(fencoded, charset)] |
| 325 | return chunk + self._split(last, charset, self._maxlinelen, splitchars) |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 326 | |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 327 | def _split_ascii(self, s, charset, firstlen, splitchars): |
Barry Warsaw | 5b8c69f | 2003-03-10 15:14:08 +0000 | [diff] [blame] | 328 | chunks = _split_ascii(s, firstlen, self._maxlinelen, |
| 329 | self._continuation_ws, splitchars) |
| 330 | return zip(chunks, [charset]*len(chunks)) |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 331 | |
Barry Warsaw | 9f3fcd9 | 2003-03-07 15:39:37 +0000 | [diff] [blame] | 332 | def _encode_chunks(self, newchunks, maxlinelen): |
Barry Warsaw | 0c35825 | 2002-10-13 04:06:28 +0000 | [diff] [blame] | 333 | # MIME-encode a header with many different charsets and/or encodings. |
| 334 | # |
| 335 | # Given a list of pairs (string, charset), return a MIME-encoded |
| 336 | # string suitable for use in a header field. Each pair may have |
| 337 | # different charsets and/or encodings, and the resulting header will |
| 338 | # accurately reflect each setting. |
| 339 | # |
| 340 | # Each encoding can be email.Utils.QP (quoted-printable, for |
| 341 | # ASCII-like character sets like iso-8859-1), email.Utils.BASE64 |
| 342 | # (Base64, for non-ASCII like character sets like KOI8-R and |
| 343 | # iso-2022-jp), or None (no encoding). |
| 344 | # |
| 345 | # Each pair will be represented on a separate line; the resulting |
| 346 | # string will be in the format: |
| 347 | # |
| 348 | # =?charset1?q?Mar=EDa_Gonz=E1lez_Alonso?=\n |
| 349 | # =?charset2?b?SvxyZ2VuIEL2aW5n?=" |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 350 | chunks = [] |
Barry Warsaw | 0c35825 | 2002-10-13 04:06:28 +0000 | [diff] [blame] | 351 | for header, charset in newchunks: |
Barry Warsaw | 6613fb8 | 2003-03-17 20:36:20 +0000 | [diff] [blame] | 352 | if not header: |
| 353 | continue |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 354 | if charset is None or charset.header_encoding is None: |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 355 | s = header |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 356 | else: |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 357 | s = charset.header_encode(header) |
Barry Warsaw | 5b8c69f | 2003-03-10 15:14:08 +0000 | [diff] [blame] | 358 | # Don't add more folding whitespace than necessary |
| 359 | if chunks and chunks[-1].endswith(' '): |
| 360 | extra = '' |
| 361 | else: |
| 362 | extra = ' ' |
| 363 | _max_append(chunks, s, maxlinelen, extra) |
Barry Warsaw | 7661250 | 2002-06-28 23:46:53 +0000 | [diff] [blame] | 364 | joiner = NL + self._continuation_ws |
| 365 | return joiner.join(chunks) |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 366 | |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 367 | def encode(self, splitchars=';, '): |
Barry Warsaw | 4833068 | 2002-09-30 23:07:35 +0000 | [diff] [blame] | 368 | """Encode a message header into an RFC-compliant format. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 369 | |
| 370 | There are many issues involved in converting a given string for use in |
| 371 | an email header. Only certain character sets are readable in most |
| 372 | email clients, and as header strings can only contain a subset of |
| 373 | 7-bit ASCII, care must be taken to properly convert and encode (with |
| 374 | Base64 or quoted-printable) header strings. In addition, there is a |
| 375 | 75-character length limit on any given encoded header field, so |
| 376 | line-wrapping must be performed, even with double-byte character sets. |
Tim Peters | 8ac1495 | 2002-05-23 15:15:30 +0000 | [diff] [blame] | 377 | |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 378 | This method will do its best to convert the string to the correct |
| 379 | character set used in email, and encode and line wrap it safely with |
| 380 | the appropriate scheme for that character set. |
| 381 | |
| 382 | If the given charset is not known or an error occurs during |
| 383 | conversion, this function will return the header untouched. |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 384 | |
| 385 | Optional splitchars is a string containing characters to split long |
| 386 | ASCII lines on, in rough support of RFC 2822's `highest level |
| 387 | syntactic breaks'. This doesn't affect RFC 2047 encoded lines. |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 388 | """ |
| 389 | newchunks = [] |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 390 | maxlinelen = self._firstlinelen |
| 391 | lastlen = 0 |
Barry Warsaw | 409a4c0 | 2002-04-10 21:01:31 +0000 | [diff] [blame] | 392 | for s, charset in self._chunks: |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 393 | # The first bit of the next chunk should be just long enough to |
| 394 | # fill the next line. Don't forget the space separating the |
| 395 | # encoded words. |
| 396 | targetlen = maxlinelen - lastlen - 1 |
| 397 | if targetlen < charset.encoded_header_len(''): |
| 398 | # Stick it on the next line |
| 399 | targetlen = maxlinelen |
| 400 | newchunks += self._split(s, charset, targetlen, splitchars) |
| 401 | lastchunk, lastcharset = newchunks[-1] |
| 402 | lastlen = lastcharset.encoded_header_len(lastchunk) |
Barry Warsaw | 9f3fcd9 | 2003-03-07 15:39:37 +0000 | [diff] [blame] | 403 | return self._encode_chunks(newchunks, maxlinelen) |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 404 | |
| 405 | |
| 406 | |
| 407 | def _split_ascii(s, firstlen, restlen, continuation_ws, splitchars): |
| 408 | lines = [] |
| 409 | maxlen = firstlen |
| 410 | for line in s.splitlines(): |
Barry Warsaw | 33975ea | 2003-03-07 23:24:34 +0000 | [diff] [blame] | 411 | # Ignore any leading whitespace (i.e. continuation whitespace) already |
| 412 | # on the line, since we'll be adding our own. |
| 413 | line = line.lstrip() |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 414 | if len(line) < maxlen: |
| 415 | lines.append(line) |
| 416 | maxlen = restlen |
| 417 | continue |
| 418 | # Attempt to split the line at the highest-level syntactic break |
| 419 | # possible. Note that we don't have a lot of smarts about field |
| 420 | # syntax; we just try to break on semi-colons, then commas, then |
| 421 | # whitespace. |
| 422 | for ch in splitchars: |
Barry Warsaw | 6f3b033 | 2004-05-10 14:44:04 +0000 | [diff] [blame] | 423 | if ch in line: |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 424 | break |
| 425 | else: |
| 426 | # There's nothing useful to split the line on, not even spaces, so |
| 427 | # just append this line unchanged |
| 428 | lines.append(line) |
| 429 | maxlen = restlen |
| 430 | continue |
| 431 | # Now split the line on the character plus trailing whitespace |
| 432 | cre = re.compile(r'%s\s*' % ch) |
| 433 | if ch in ';,': |
| 434 | eol = ch |
| 435 | else: |
| 436 | eol = '' |
| 437 | joiner = eol + ' ' |
| 438 | joinlen = len(joiner) |
| 439 | wslen = len(continuation_ws.replace('\t', SPACE8)) |
| 440 | this = [] |
| 441 | linelen = 0 |
| 442 | for part in cre.split(line): |
| 443 | curlen = linelen + max(0, len(this)-1) * joinlen |
| 444 | partlen = len(part) |
| 445 | onfirstline = not lines |
| 446 | # We don't want to split after the field name, if we're on the |
| 447 | # first line and the field name is present in the header string. |
| 448 | if ch == ' ' and onfirstline and \ |
| 449 | len(this) == 1 and fcre.match(this[0]): |
| 450 | this.append(part) |
| 451 | linelen += partlen |
| 452 | elif curlen + partlen > maxlen: |
| 453 | if this: |
| 454 | lines.append(joiner.join(this) + eol) |
Barry Warsaw | bd836df | 2003-03-06 20:33:04 +0000 | [diff] [blame] | 455 | # If this part is longer than maxlen and we aren't already |
| 456 | # splitting on whitespace, try to recursively split this line |
| 457 | # on whitespace. |
Guido van Rossum | b053cd8 | 2006-08-24 03:53:23 +0000 | [diff] [blame] | 458 | if partlen > maxlen and ch != ' ': |
Barry Warsaw | 5b8c69f | 2003-03-10 15:14:08 +0000 | [diff] [blame] | 459 | subl = _split_ascii(part, maxlen, restlen, |
Barry Warsaw | 9f3fcd9 | 2003-03-07 15:39:37 +0000 | [diff] [blame] | 460 | continuation_ws, ' ') |
Barry Warsaw | 9f3fcd9 | 2003-03-07 15:39:37 +0000 | [diff] [blame] | 461 | lines.extend(subl[:-1]) |
| 462 | this = [subl[-1]] |
Barry Warsaw | bd836df | 2003-03-06 20:33:04 +0000 | [diff] [blame] | 463 | else: |
| 464 | this = [part] |
Barry Warsaw | 9f3fcd9 | 2003-03-07 15:39:37 +0000 | [diff] [blame] | 465 | linelen = wslen + len(this[-1]) |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 466 | maxlen = restlen |
| 467 | else: |
| 468 | this.append(part) |
| 469 | linelen += partlen |
| 470 | # Put any left over parts on a line by themselves |
| 471 | if this: |
| 472 | lines.append(joiner.join(this)) |
Barry Warsaw | 5b8c69f | 2003-03-10 15:14:08 +0000 | [diff] [blame] | 473 | return lines |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 474 | |
| 475 | |
| 476 | |
| 477 | def _binsplit(splittable, charset, maxlinelen): |
| 478 | i = 0 |
| 479 | j = len(splittable) |
| 480 | while i < j: |
| 481 | # Invariants: |
| 482 | # 1. splittable[:k] fits for all k <= i (note that we *assume*, |
| 483 | # at the start, that splittable[:0] fits). |
| 484 | # 2. splittable[:k] does not fit for any k > j (at the start, |
| 485 | # this means we shouldn't look at any k > len(splittable)). |
| 486 | # 3. We don't know about splittable[:k] for k in i+1..j. |
| 487 | # 4. We want to set i to the largest k that fits, with i <= k <= j. |
| 488 | # |
| 489 | m = (i+j+1) >> 1 # ceiling((i+j)/2); i < m <= j |
| 490 | chunk = charset.from_splittable(splittable[:m], True) |
| 491 | chunklen = charset.encoded_header_len(chunk) |
| 492 | if chunklen <= maxlinelen: |
| 493 | # m is acceptable, so is a new lower bound. |
| 494 | i = m |
| 495 | else: |
Tim Peters | 2b48213 | 2003-03-06 23:41:58 +0000 | [diff] [blame] | 496 | # m is not acceptable, so final i must be < m. |
Barry Warsaw | e899e51 | 2003-03-06 05:39:46 +0000 | [diff] [blame] | 497 | j = m - 1 |
| 498 | # i == j. Invariant #1 implies that splittable[:i] fits, and |
| 499 | # invariant #2 implies that splittable[:i+1] does not fit, so i |
| 500 | # is what we're looking for. |
| 501 | first = charset.from_splittable(splittable[:i], False) |
| 502 | last = charset.from_splittable(splittable[i:], False) |
| 503 | return first, last |