blob: d1f514277fb9aac808905260c73ea1134f66052f [file] [log] [blame]
Guido van Rossuma831cac2000-03-10 23:23:21 +00001""" Test script for the Unicode implementation.
2
Guido van Rossuma831cac2000-03-10 23:23:21 +00003Written by Marc-Andre Lemburg (mal@lemburg.com).
4
5(c) Copyright CNRI, All Rights Reserved. NO WARRANTY.
6
Marc-André Lemburg36619082001-01-17 19:11:13 +00007"""#"
Victor Stinner040e16e2011-11-15 22:44:05 +01008import _string
Guido van Rossum98297ee2007-11-06 21:34:58 +00009import codecs
10import struct
11import sys
12import unittest
13import warnings
Benjamin Petersonee8712c2008-05-20 21:35:26 +000014from test import support, string_tests
Guido van Rossuma831cac2000-03-10 23:23:21 +000015
Neal Norwitz430f68b2005-11-24 22:00:56 +000016# Error handling (bad decoder return)
17def search_function(encoding):
18 def decode1(input, errors="strict"):
19 return 42 # not a tuple
20 def encode1(input, errors="strict"):
21 return 42 # not a tuple
22 def encode2(input, errors="strict"):
23 return (42, 42) # no unicode
24 def decode2(input, errors="strict"):
25 return (42, 42) # no unicode
26 if encoding=="test.unicode1":
27 return (encode1, decode1, None, None)
28 elif encoding=="test.unicode2":
29 return (encode2, decode2, None, None)
30 else:
31 return None
32codecs.register(search_function)
33
Brett Cannon226b2302010-03-20 22:22:22 +000034class UnicodeTest(string_tests.CommonTest,
35 string_tests.MixinStrUnicodeUserStringTest,
Ezio Melotti0dceb562013-01-10 07:43:26 +020036 string_tests.MixinStrUnicodeTest,
37 unittest.TestCase):
Brett Cannon226b2302010-03-20 22:22:22 +000038
Guido van Rossumef87d6e2007-05-02 19:09:54 +000039 type2test = str
Walter Dörwald0fd583c2003-02-21 12:53:50 +000040
41 def checkequalnofix(self, result, object, methodname, *args):
42 method = getattr(object, methodname)
43 realresult = method(*args)
44 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000045 self.assertTrue(type(realresult) is type(result))
Walter Dörwald0fd583c2003-02-21 12:53:50 +000046
47 # if the original is returned make sure that
48 # this doesn't happen with subclasses
49 if realresult is object:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000050 class usub(str):
Walter Dörwald0fd583c2003-02-21 12:53:50 +000051 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000052 return 'usub(%r)' % str.__repr__(self)
Walter Dörwald0fd583c2003-02-21 12:53:50 +000053 object = usub(object)
54 method = getattr(object, methodname)
55 realresult = method(*args)
56 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000057 self.assertTrue(object is not realresult)
Guido van Rossume4874ae2001-09-21 15:36:41 +000058
Jeremy Hylton504de6b2003-10-06 05:08:26 +000059 def test_literals(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000060 self.assertEqual('\xff', '\u00ff')
61 self.assertEqual('\uffff', '\U0000ffff')
Guido van Rossum36e0a922007-07-20 04:05:57 +000062 self.assertRaises(SyntaxError, eval, '\'\\Ufffffffe\'')
63 self.assertRaises(SyntaxError, eval, '\'\\Uffffffff\'')
64 self.assertRaises(SyntaxError, eval, '\'\\U%08x\'' % 0x110000)
Benjamin Petersoncd76c272008-04-05 15:09:30 +000065 # raw strings should not have unicode escapes
Florent Xiclunaa87b3832010-09-13 02:28:18 +000066 self.assertNotEqual(r"\u0020", " ")
Jeremy Hylton504de6b2003-10-06 05:08:26 +000067
Georg Brandl559e5d72008-06-11 18:37:52 +000068 def test_ascii(self):
69 if not sys.platform.startswith('java'):
70 # Test basic sanity of repr()
71 self.assertEqual(ascii('abc'), "'abc'")
72 self.assertEqual(ascii('ab\\c'), "'ab\\\\c'")
73 self.assertEqual(ascii('ab\\'), "'ab\\\\'")
74 self.assertEqual(ascii('\\c'), "'\\\\c'")
75 self.assertEqual(ascii('\\'), "'\\\\'")
76 self.assertEqual(ascii('\n'), "'\\n'")
77 self.assertEqual(ascii('\r'), "'\\r'")
78 self.assertEqual(ascii('\t'), "'\\t'")
79 self.assertEqual(ascii('\b'), "'\\x08'")
80 self.assertEqual(ascii("'\""), """'\\'"'""")
81 self.assertEqual(ascii("'\""), """'\\'"'""")
82 self.assertEqual(ascii("'"), '''"'"''')
83 self.assertEqual(ascii('"'), """'"'""")
84 latin1repr = (
85 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
86 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
87 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
88 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
89 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
90 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
91 "\\x9c\\x9d\\x9e\\x9f\\xa0\\xa1\\xa2\\xa3\\xa4\\xa5\\xa6\\xa7\\xa8\\xa9"
92 "\\xaa\\xab\\xac\\xad\\xae\\xaf\\xb0\\xb1\\xb2\\xb3\\xb4\\xb5\\xb6\\xb7"
93 "\\xb8\\xb9\\xba\\xbb\\xbc\\xbd\\xbe\\xbf\\xc0\\xc1\\xc2\\xc3\\xc4\\xc5"
94 "\\xc6\\xc7\\xc8\\xc9\\xca\\xcb\\xcc\\xcd\\xce\\xcf\\xd0\\xd1\\xd2\\xd3"
95 "\\xd4\\xd5\\xd6\\xd7\\xd8\\xd9\\xda\\xdb\\xdc\\xdd\\xde\\xdf\\xe0\\xe1"
96 "\\xe2\\xe3\\xe4\\xe5\\xe6\\xe7\\xe8\\xe9\\xea\\xeb\\xec\\xed\\xee\\xef"
97 "\\xf0\\xf1\\xf2\\xf3\\xf4\\xf5\\xf6\\xf7\\xf8\\xf9\\xfa\\xfb\\xfc\\xfd"
98 "\\xfe\\xff'")
99 testrepr = ascii(''.join(map(chr, range(256))))
100 self.assertEqual(testrepr, latin1repr)
101 # Test ascii works on wide unicode escapes without overflow.
102 self.assertEqual(ascii("\U00010000" * 39 + "\uffff" * 4096),
103 ascii("\U00010000" * 39 + "\uffff" * 4096))
104
105 class WrongRepr:
106 def __repr__(self):
107 return b'byte-repr'
108 self.assertRaises(TypeError, ascii, WrongRepr())
109
Walter Dörwald28256f22003-01-19 16:59:20 +0000110 def test_repr(self):
111 if not sys.platform.startswith('java'):
112 # Test basic sanity of repr()
Walter Dörwald67e83882007-05-05 12:26:27 +0000113 self.assertEqual(repr('abc'), "'abc'")
114 self.assertEqual(repr('ab\\c'), "'ab\\\\c'")
115 self.assertEqual(repr('ab\\'), "'ab\\\\'")
116 self.assertEqual(repr('\\c'), "'\\\\c'")
117 self.assertEqual(repr('\\'), "'\\\\'")
118 self.assertEqual(repr('\n'), "'\\n'")
119 self.assertEqual(repr('\r'), "'\\r'")
120 self.assertEqual(repr('\t'), "'\\t'")
121 self.assertEqual(repr('\b'), "'\\x08'")
122 self.assertEqual(repr("'\""), """'\\'"'""")
123 self.assertEqual(repr("'\""), """'\\'"'""")
124 self.assertEqual(repr("'"), '''"'"''')
125 self.assertEqual(repr('"'), """'"'""")
Walter Dörwald28256f22003-01-19 16:59:20 +0000126 latin1repr = (
Walter Dörwald67e83882007-05-05 12:26:27 +0000127 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
Walter Dörwald28256f22003-01-19 16:59:20 +0000128 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
129 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
130 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
131 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
132 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
Georg Brandl559e5d72008-06-11 18:37:52 +0000133 "\\x9c\\x9d\\x9e\\x9f\\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9"
134 "\xaa\xab\xac\\xad\xae\xaf\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7"
135 "\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf\xc0\xc1\xc2\xc3\xc4\xc5"
136 "\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf\xd0\xd1\xd2\xd3"
137 "\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf\xe0\xe1"
138 "\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef"
139 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd"
140 "\xfe\xff'")
Guido van Rossum805365e2007-05-07 22:24:25 +0000141 testrepr = repr(''.join(map(chr, range(256))))
Walter Dörwald28256f22003-01-19 16:59:20 +0000142 self.assertEqual(testrepr, latin1repr)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000143 # Test repr works on wide unicode escapes without overflow.
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000144 self.assertEqual(repr("\U00010000" * 39 + "\uffff" * 4096),
145 repr("\U00010000" * 39 + "\uffff" * 4096))
Walter Dörwald28256f22003-01-19 16:59:20 +0000146
Georg Brandl559e5d72008-06-11 18:37:52 +0000147 class WrongRepr:
148 def __repr__(self):
149 return b'byte-repr'
150 self.assertRaises(TypeError, repr, WrongRepr())
151
Guido van Rossum49d6b072006-08-17 21:11:47 +0000152 def test_iterators(self):
153 # Make sure unicode objects have an __iter__ method
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000154 it = "\u1111\u2222\u3333".__iter__()
155 self.assertEqual(next(it), "\u1111")
156 self.assertEqual(next(it), "\u2222")
157 self.assertEqual(next(it), "\u3333")
Georg Brandla18af4e2007-04-21 15:47:16 +0000158 self.assertRaises(StopIteration, next, it)
Guido van Rossum49d6b072006-08-17 21:11:47 +0000159
Walter Dörwald28256f22003-01-19 16:59:20 +0000160 def test_count(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000161 string_tests.CommonTest.test_count(self)
162 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000163 self.checkequalnofix(3, 'aaa', 'count', 'a')
164 self.checkequalnofix(0, 'aaa', 'count', 'b')
165 self.checkequalnofix(3, 'aaa', 'count', 'a')
166 self.checkequalnofix(0, 'aaa', 'count', 'b')
167 self.checkequalnofix(0, 'aaa', 'count', 'b')
168 self.checkequalnofix(1, 'aaa', 'count', 'a', -1)
169 self.checkequalnofix(3, 'aaa', 'count', 'a', -10)
170 self.checkequalnofix(2, 'aaa', 'count', 'a', 0, -1)
171 self.checkequalnofix(0, 'aaa', 'count', 'a', 0, -10)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000172
Walter Dörwald28256f22003-01-19 16:59:20 +0000173 def test_find(self):
Antoine Pitrouc0bbe7d2011-10-08 22:41:35 +0200174 string_tests.CommonTest.test_find(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200175 # test implementation details of the memchr fast path
176 self.checkequal(100, 'a' * 100 + '\u0102', 'find', '\u0102')
177 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0201')
178 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0120')
179 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0220')
180 self.checkequal(100, 'a' * 100 + '\U00100304', 'find', '\U00100304')
181 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00100204')
182 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00102004')
183 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000184 self.checkequalnofix(0, 'abcdefghiabc', 'find', 'abc')
185 self.checkequalnofix(9, 'abcdefghiabc', 'find', 'abc', 1)
186 self.checkequalnofix(-1, 'abcdefghiabc', 'find', 'def', 4)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000187
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000188 self.assertRaises(TypeError, 'hello'.find)
189 self.assertRaises(TypeError, 'hello'.find, 42)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000190
Walter Dörwald28256f22003-01-19 16:59:20 +0000191 def test_rfind(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000192 string_tests.CommonTest.test_rfind(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200193 # test implementation details of the memrchr fast path
194 self.checkequal(0, '\u0102' + 'a' * 100 , 'rfind', '\u0102')
195 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0201')
196 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0120')
197 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0220')
198 self.checkequal(0, '\U00100304' + 'a' * 100, 'rfind', '\U00100304')
199 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00100204')
200 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00102004')
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000201 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000202 self.checkequalnofix(9, 'abcdefghiabc', 'rfind', 'abc')
203 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
204 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
Guido van Rossum8b264542000-12-19 02:22:31 +0000205
Walter Dörwald28256f22003-01-19 16:59:20 +0000206 def test_index(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000207 string_tests.CommonTest.test_index(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000208 self.checkequalnofix(0, 'abcdefghiabc', 'index', '')
209 self.checkequalnofix(3, 'abcdefghiabc', 'index', 'def')
210 self.checkequalnofix(0, 'abcdefghiabc', 'index', 'abc')
211 self.checkequalnofix(9, 'abcdefghiabc', 'index', 'abc', 1)
212 self.assertRaises(ValueError, 'abcdefghiabc'.index, 'hib')
213 self.assertRaises(ValueError, 'abcdefghiab'.index, 'abc', 1)
214 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', 8)
215 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000216
Walter Dörwald28256f22003-01-19 16:59:20 +0000217 def test_rindex(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000218 string_tests.CommonTest.test_rindex(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000219 self.checkequalnofix(12, 'abcdefghiabc', 'rindex', '')
220 self.checkequalnofix(3, 'abcdefghiabc', 'rindex', 'def')
221 self.checkequalnofix(9, 'abcdefghiabc', 'rindex', 'abc')
222 self.checkequalnofix(0, 'abcdefghiabc', 'rindex', 'abc', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000223
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000224 self.assertRaises(ValueError, 'abcdefghiabc'.rindex, 'hib')
225 self.assertRaises(ValueError, 'defghiabc'.rindex, 'def', 1)
226 self.assertRaises(ValueError, 'defghiabc'.rindex, 'abc', 0, -1)
227 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, 8)
228 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000229
Georg Brandlceee0772007-11-27 23:48:05 +0000230 def test_maketrans_translate(self):
231 # these work with plain translate()
232 self.checkequalnofix('bbbc', 'abababc', 'translate',
233 {ord('a'): None})
234 self.checkequalnofix('iiic', 'abababc', 'translate',
235 {ord('a'): None, ord('b'): ord('i')})
236 self.checkequalnofix('iiix', 'abababc', 'translate',
237 {ord('a'): None, ord('b'): ord('i'), ord('c'): 'x'})
238 self.checkequalnofix('c', 'abababc', 'translate',
239 {ord('a'): None, ord('b'): ''})
240 self.checkequalnofix('xyyx', 'xzx', 'translate',
241 {ord('z'): 'yy'})
242 # this needs maketrans()
243 self.checkequalnofix('abababc', 'abababc', 'translate',
244 {'b': '<i>'})
245 tbl = self.type2test.maketrans({'a': None, 'b': '<i>'})
246 self.checkequalnofix('<i><i><i>c', 'abababc', 'translate', tbl)
247 # test alternative way of calling maketrans()
248 tbl = self.type2test.maketrans('abc', 'xyz', 'd')
249 self.checkequalnofix('xyzzy', 'abdcdcbdddd', 'translate', tbl)
250
251 self.assertRaises(TypeError, self.type2test.maketrans)
252 self.assertRaises(ValueError, self.type2test.maketrans, 'abc', 'defg')
253 self.assertRaises(TypeError, self.type2test.maketrans, 2, 'def')
254 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 2)
255 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 'def', 2)
256 self.assertRaises(ValueError, self.type2test.maketrans, {'xy': 2})
257 self.assertRaises(TypeError, self.type2test.maketrans, {(1,): 2})
Guido van Rossuma831cac2000-03-10 23:23:21 +0000258
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000259 self.assertRaises(TypeError, 'hello'.translate)
Walter Dörwald67e83882007-05-05 12:26:27 +0000260 self.assertRaises(TypeError, 'abababc'.translate, 'abc', 'xyz')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000261
Walter Dörwald28256f22003-01-19 16:59:20 +0000262 def test_split(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000263 string_tests.CommonTest.test_split(self)
Andrew M. Kuchlingeddd68d2002-03-29 16:21:44 +0000264
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000265 # Mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000266 self.checkequalnofix(['a', 'b', 'c', 'd'], 'a//b//c//d', 'split', '//')
267 self.checkequalnofix(['a', 'b', 'c', 'd'], 'a//b//c//d', 'split', '//')
268 self.checkequalnofix(['endcase ', ''], 'endcase test', 'split', 'test')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000269
Walter Dörwald28256f22003-01-19 16:59:20 +0000270 def test_join(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000271 string_tests.MixinStrUnicodeUserStringTest.test_join(self)
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +0000272
Guido van Rossumf1044292007-09-27 18:01:22 +0000273 class MyWrapper:
274 def __init__(self, sval): self.sval = sval
275 def __str__(self): return self.sval
276
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000277 # mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000278 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
279 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
280 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
281 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
282 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
283 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
284 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
Guido van Rossum98297ee2007-11-06 21:34:58 +0000285 self.checkraises(TypeError, ' ', 'join', ['1', '2', MyWrapper('foo')])
286 self.checkraises(TypeError, ' ', 'join', ['1', '2', '3', bytes()])
287 self.checkraises(TypeError, ' ', 'join', [1, 2, 3])
288 self.checkraises(TypeError, ' ', 'join', ['1', '2', 3])
Marc-André Lemburge5034372000-08-08 08:04:29 +0000289
Walter Dörwald28256f22003-01-19 16:59:20 +0000290 def test_replace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000291 string_tests.CommonTest.test_replace(self)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000292
Walter Dörwald28256f22003-01-19 16:59:20 +0000293 # method call forwarded from str implementation because of unicode argument
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000294 self.checkequalnofix('one@two!three!', 'one!two!three!', 'replace', '!', '@', 1)
295 self.assertRaises(TypeError, 'replace'.replace, "r", 42)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000296
Victor Stinner59de0ee2011-10-07 10:01:28 +0200297 @support.cpython_only
298 def test_replace_id(self):
Victor Stinner1d972ad2011-10-07 13:31:46 +0200299 pattern = 'abc'
300 text = 'abc def'
301 self.assertIs(text.replace(pattern, pattern), text)
Victor Stinner59de0ee2011-10-07 10:01:28 +0200302
Guido van Rossum98297ee2007-11-06 21:34:58 +0000303 def test_bytes_comparison(self):
Brett Cannon226b2302010-03-20 22:22:22 +0000304 with support.check_warnings():
305 warnings.simplefilter('ignore', BytesWarning)
306 self.assertEqual('abc' == b'abc', False)
307 self.assertEqual('abc' != b'abc', True)
308 self.assertEqual('abc' == bytearray(b'abc'), False)
309 self.assertEqual('abc' != bytearray(b'abc'), True)
Brett Cannon40430012007-10-22 20:24:51 +0000310
Walter Dörwald28256f22003-01-19 16:59:20 +0000311 def test_comparison(self):
312 # Comparisons:
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000313 self.assertEqual('abc', 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000314 self.assertTrue('abcd' > 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000315 self.assertTrue('abc' < 'abcd')
Walter Dörwald28256f22003-01-19 16:59:20 +0000316
317 if 0:
318 # Move these tests to a Unicode collation module test...
319 # Testing UTF-16 code point order comparisons...
320
321 # No surrogates, no fixup required.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000322 self.assertTrue('\u0061' < '\u20ac')
Walter Dörwald28256f22003-01-19 16:59:20 +0000323 # Non surrogate below surrogate value, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000324 self.assertTrue('\u0061' < '\ud800\udc02')
Walter Dörwald28256f22003-01-19 16:59:20 +0000325
326 # Non surrogate above surrogate value, fixup required
327 def test_lecmp(s, s2):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000328 self.assertTrue(s < s2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000329
330 def test_fixup(s):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000331 s2 = '\ud800\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000332 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000333 s2 = '\ud900\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000334 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000335 s2 = '\uda00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000336 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000337 s2 = '\udb00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000338 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000339 s2 = '\ud800\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000340 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000341 s2 = '\ud900\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000342 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000343 s2 = '\uda00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000344 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000345 s2 = '\udb00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000346 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000347 s2 = '\ud800\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000348 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000349 s2 = '\ud900\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000350 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000351 s2 = '\uda00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000352 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000353 s2 = '\udb00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000354 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000355 s2 = '\ud800\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000356 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000357 s2 = '\ud900\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000358 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000359 s2 = '\uda00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000360 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000361 s2 = '\udb00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000362 test_lecmp(s, s2)
363
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000364 test_fixup('\ue000')
365 test_fixup('\uff61')
Walter Dörwald28256f22003-01-19 16:59:20 +0000366
367 # Surrogates on both sides, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000368 self.assertTrue('\ud800\udc02' < '\ud84d\udc56')
Walter Dörwald28256f22003-01-19 16:59:20 +0000369
Walter Dörwald28256f22003-01-19 16:59:20 +0000370 def test_islower(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000371 string_tests.MixinStrUnicodeUserStringTest.test_islower(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000372 self.checkequalnofix(False, '\u1FFc', 'islower')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500373 self.assertFalse('\u2167'.islower())
374 self.assertTrue('\u2177'.islower())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300375 # non-BMP, uppercase
376 self.assertFalse('\U00010401'.islower())
377 self.assertFalse('\U00010427'.islower())
378 # non-BMP, lowercase
379 self.assertTrue('\U00010429'.islower())
380 self.assertTrue('\U0001044E'.islower())
381 # non-BMP, non-cased
382 self.assertFalse('\U0001F40D'.islower())
383 self.assertFalse('\U0001F46F'.islower())
Walter Dörwald28256f22003-01-19 16:59:20 +0000384
385 def test_isupper(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000386 string_tests.MixinStrUnicodeUserStringTest.test_isupper(self)
387 if not sys.platform.startswith('java'):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000388 self.checkequalnofix(False, '\u1FFc', 'isupper')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500389 self.assertTrue('\u2167'.isupper())
390 self.assertFalse('\u2177'.isupper())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300391 # non-BMP, uppercase
392 self.assertTrue('\U00010401'.isupper())
393 self.assertTrue('\U00010427'.isupper())
394 # non-BMP, lowercase
395 self.assertFalse('\U00010429'.isupper())
396 self.assertFalse('\U0001044E'.isupper())
397 # non-BMP, non-cased
398 self.assertFalse('\U0001F40D'.isupper())
399 self.assertFalse('\U0001F46F'.isupper())
Walter Dörwald28256f22003-01-19 16:59:20 +0000400
401 def test_istitle(self):
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300402 string_tests.MixinStrUnicodeUserStringTest.test_istitle(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000403 self.checkequalnofix(True, '\u1FFc', 'istitle')
404 self.checkequalnofix(True, 'Greek \u1FFcitlecases ...', 'istitle')
Walter Dörwald28256f22003-01-19 16:59:20 +0000405
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300406 # non-BMP, uppercase + lowercase
407 self.assertTrue('\U00010401\U00010429'.istitle())
408 self.assertTrue('\U00010427\U0001044E'.istitle())
409 # apparently there are no titlecased (Lt) non-BMP chars in Unicode 6
410 for ch in ['\U00010429', '\U0001044E', '\U0001F40D', '\U0001F46F']:
411 self.assertFalse(ch.istitle(), '{!a} is not title'.format(ch))
412
Walter Dörwald28256f22003-01-19 16:59:20 +0000413 def test_isspace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000414 string_tests.MixinStrUnicodeUserStringTest.test_isspace(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000415 self.checkequalnofix(True, '\u2000', 'isspace')
416 self.checkequalnofix(True, '\u200a', 'isspace')
417 self.checkequalnofix(False, '\u2014', 'isspace')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300418 # apparently there are no non-BMP spaces chars in Unicode 6
419 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
420 '\U0001F40D', '\U0001F46F']:
421 self.assertFalse(ch.isspace(), '{!a} is not space.'.format(ch))
422
423 def test_isalnum(self):
424 string_tests.MixinStrUnicodeUserStringTest.test_isalnum(self)
425 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
426 '\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
427 self.assertTrue(ch.isalnum(), '{!a} is alnum.'.format(ch))
Walter Dörwald28256f22003-01-19 16:59:20 +0000428
429 def test_isalpha(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000430 string_tests.MixinStrUnicodeUserStringTest.test_isalpha(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000431 self.checkequalnofix(True, '\u1FFc', 'isalpha')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300432 # non-BMP, cased
433 self.assertTrue('\U00010401'.isalpha())
434 self.assertTrue('\U00010427'.isalpha())
435 self.assertTrue('\U00010429'.isalpha())
436 self.assertTrue('\U0001044E'.isalpha())
437 # non-BMP, non-cased
438 self.assertFalse('\U0001F40D'.isalpha())
439 self.assertFalse('\U0001F46F'.isalpha())
Walter Dörwald28256f22003-01-19 16:59:20 +0000440
441 def test_isdecimal(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000442 self.checkequalnofix(False, '', 'isdecimal')
443 self.checkequalnofix(False, 'a', 'isdecimal')
444 self.checkequalnofix(True, '0', 'isdecimal')
445 self.checkequalnofix(False, '\u2460', 'isdecimal') # CIRCLED DIGIT ONE
446 self.checkequalnofix(False, '\xbc', 'isdecimal') # VULGAR FRACTION ONE QUARTER
447 self.checkequalnofix(True, '\u0660', 'isdecimal') # ARABIC-INDIC DIGIT ZERO
448 self.checkequalnofix(True, '0123456789', 'isdecimal')
449 self.checkequalnofix(False, '0123456789a', 'isdecimal')
Walter Dörwald28256f22003-01-19 16:59:20 +0000450
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000451 self.checkraises(TypeError, 'abc', 'isdecimal', 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000452
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300453 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
454 '\U0001F40D', '\U0001F46F', '\U00011065', '\U0001F107']:
455 self.assertFalse(ch.isdecimal(), '{!a} is not decimal.'.format(ch))
456 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0']:
457 self.assertTrue(ch.isdecimal(), '{!a} is decimal.'.format(ch))
458
Walter Dörwald28256f22003-01-19 16:59:20 +0000459 def test_isdigit(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000460 string_tests.MixinStrUnicodeUserStringTest.test_isdigit(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000461 self.checkequalnofix(True, '\u2460', 'isdigit')
462 self.checkequalnofix(False, '\xbc', 'isdigit')
463 self.checkequalnofix(True, '\u0660', 'isdigit')
Walter Dörwald28256f22003-01-19 16:59:20 +0000464
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300465 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
466 '\U0001F40D', '\U0001F46F', '\U00011065']:
467 self.assertFalse(ch.isdigit(), '{!a} is not a digit.'.format(ch))
468 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
469 self.assertTrue(ch.isdigit(), '{!a} is a digit.'.format(ch))
470
Walter Dörwald28256f22003-01-19 16:59:20 +0000471 def test_isnumeric(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000472 self.checkequalnofix(False, '', 'isnumeric')
473 self.checkequalnofix(False, 'a', 'isnumeric')
474 self.checkequalnofix(True, '0', 'isnumeric')
475 self.checkequalnofix(True, '\u2460', 'isnumeric')
476 self.checkequalnofix(True, '\xbc', 'isnumeric')
477 self.checkequalnofix(True, '\u0660', 'isnumeric')
478 self.checkequalnofix(True, '0123456789', 'isnumeric')
479 self.checkequalnofix(False, '0123456789a', 'isnumeric')
Walter Dörwald28256f22003-01-19 16:59:20 +0000480
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000481 self.assertRaises(TypeError, "abc".isnumeric, 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000482
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300483 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
484 '\U0001F40D', '\U0001F46F']:
485 self.assertFalse(ch.isnumeric(), '{!a} is not numeric.'.format(ch))
486 for ch in ['\U00011065', '\U0001D7F6', '\U00011066',
487 '\U000104A0', '\U0001F107']:
488 self.assertTrue(ch.isnumeric(), '{!a} is numeric.'.format(ch))
489
Martin v. Löwis47383402007-08-15 07:32:56 +0000490 def test_isidentifier(self):
491 self.assertTrue("a".isidentifier())
492 self.assertTrue("Z".isidentifier())
493 self.assertTrue("_".isidentifier())
494 self.assertTrue("b0".isidentifier())
495 self.assertTrue("bc".isidentifier())
496 self.assertTrue("b_".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000497 self.assertTrue("µ".isidentifier())
Benjamin Petersonf413b802011-08-12 22:17:18 -0500498 self.assertTrue("𝔘𝔫𝔦𝔠𝔬𝔡𝔢".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000499
500 self.assertFalse(" ".isidentifier())
501 self.assertFalse("[".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000502 self.assertFalse("©".isidentifier())
Georg Brandld52429f2008-07-04 15:55:02 +0000503 self.assertFalse("0".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000504
Georg Brandl559e5d72008-06-11 18:37:52 +0000505 def test_isprintable(self):
506 self.assertTrue("".isprintable())
Benjamin Peterson09832742009-03-26 17:15:46 +0000507 self.assertTrue(" ".isprintable())
Georg Brandl559e5d72008-06-11 18:37:52 +0000508 self.assertTrue("abcdefg".isprintable())
509 self.assertFalse("abcdefg\n".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000510 # some defined Unicode character
511 self.assertTrue("\u0374".isprintable())
512 # undefined character
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000513 self.assertFalse("\u0378".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000514 # single surrogate character
Georg Brandl559e5d72008-06-11 18:37:52 +0000515 self.assertFalse("\ud800".isprintable())
516
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300517 self.assertTrue('\U0001F46F'.isprintable())
518 self.assertFalse('\U000E0020'.isprintable())
519
520 def test_surrogates(self):
521 for s in ('a\uD800b\uDFFF', 'a\uDFFFb\uD800',
522 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
523 self.assertTrue(s.islower())
524 self.assertFalse(s.isupper())
525 self.assertFalse(s.istitle())
526 for s in ('A\uD800B\uDFFF', 'A\uDFFFB\uD800',
527 'A\uD800B\uDFFFA', 'A\uDFFFB\uD800A'):
528 self.assertFalse(s.islower())
529 self.assertTrue(s.isupper())
530 self.assertTrue(s.istitle())
531
532 for meth_name in ('islower', 'isupper', 'istitle'):
533 meth = getattr(str, meth_name)
534 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF'):
535 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
536
537 for meth_name in ('isalpha', 'isalnum', 'isdigit', 'isspace',
538 'isdecimal', 'isnumeric',
539 'isidentifier', 'isprintable'):
540 meth = getattr(str, meth_name)
541 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF',
542 'a\uD800b\uDFFF', 'a\uDFFFb\uD800',
543 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
544 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
545
546
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300547 def test_lower(self):
548 string_tests.CommonTest.test_lower(self)
549 self.assertEqual('\U00010427'.lower(), '\U0001044F')
550 self.assertEqual('\U00010427\U00010427'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300551 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300552 self.assertEqual('\U00010427\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300553 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300554 self.assertEqual('X\U00010427x\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300555 'x\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500556 self.assertEqual('fi'.lower(), 'fi')
557 self.assertEqual('\u0130'.lower(), '\u0069\u0307')
558 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
559 self.assertEqual('\u03a3'.lower(), '\u03c3')
560 self.assertEqual('\u0345\u03a3'.lower(), '\u0345\u03c3')
561 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
562 self.assertEqual('A\u0345\u03a3a'.lower(), 'a\u0345\u03c3a')
563 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
564 self.assertEqual('A\u03a3\u0345'.lower(), 'a\u03c2\u0345')
565 self.assertEqual('\u03a3\u0345 '.lower(), '\u03c3\u0345 ')
566 self.assertEqual('\U0008fffe'.lower(), '\U0008fffe')
567 self.assertEqual('\u2177'.lower(), '\u2177')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300568
Benjamin Petersond5890c82012-01-14 13:23:30 -0500569 def test_casefold(self):
570 self.assertEqual('hello'.casefold(), 'hello')
571 self.assertEqual('hELlo'.casefold(), 'hello')
572 self.assertEqual('ß'.casefold(), 'ss')
573 self.assertEqual('fi'.casefold(), 'fi')
574 self.assertEqual('\u03a3'.casefold(), '\u03c3')
575 self.assertEqual('A\u0345\u03a3'.casefold(), 'a\u03b9\u03c3')
Benjamin Peterson4eda9372012-08-05 15:05:34 -0700576 self.assertEqual('\u00b5'.casefold(), '\u03bc')
Benjamin Petersond5890c82012-01-14 13:23:30 -0500577
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300578 def test_upper(self):
579 string_tests.CommonTest.test_upper(self)
580 self.assertEqual('\U0001044F'.upper(), '\U00010427')
581 self.assertEqual('\U0001044F\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300582 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300583 self.assertEqual('\U00010427\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300584 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300585 self.assertEqual('X\U00010427x\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300586 'X\U00010427X\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500587 self.assertEqual('fi'.upper(), 'FI')
588 self.assertEqual('\u0130'.upper(), '\u0130')
589 self.assertEqual('\u03a3'.upper(), '\u03a3')
590 self.assertEqual('ß'.upper(), 'SS')
591 self.assertEqual('\u1fd2'.upper(), '\u0399\u0308\u0300')
592 self.assertEqual('\U0008fffe'.upper(), '\U0008fffe')
593 self.assertEqual('\u2177'.upper(), '\u2167')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300594
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300595 def test_capitalize(self):
596 string_tests.CommonTest.test_capitalize(self)
597 self.assertEqual('\U0001044F'.capitalize(), '\U00010427')
598 self.assertEqual('\U0001044F\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300599 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300600 self.assertEqual('\U00010427\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300601 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300602 self.assertEqual('\U0001044F\U00010427'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300603 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300604 self.assertEqual('X\U00010427x\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300605 'X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500606 self.assertEqual('h\u0130'.capitalize(), 'H\u0069\u0307')
607 exp = '\u0399\u0308\u0300\u0069\u0307'
608 self.assertEqual('\u1fd2\u0130'.capitalize(), exp)
609 self.assertEqual('finnish'.capitalize(), 'FInnish')
610 self.assertEqual('A\u0345\u03a3'.capitalize(), 'A\u0345\u03c2')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300611
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300612 def test_title(self):
613 string_tests.MixinStrUnicodeUserStringTest.test_title(self)
614 self.assertEqual('\U0001044F'.title(), '\U00010427')
615 self.assertEqual('\U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300616 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300617 self.assertEqual('\U0001044F\U0001044F \U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300618 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300619 self.assertEqual('\U00010427\U0001044F \U00010427\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300620 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300621 self.assertEqual('\U0001044F\U00010427 \U0001044F\U00010427'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300622 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300623 self.assertEqual('X\U00010427x\U0001044F X\U00010427x\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300624 'X\U0001044Fx\U0001044F X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500625 self.assertEqual('fiNNISH'.title(), 'Finnish')
626 self.assertEqual('A\u03a3 \u1fa1xy'.title(), 'A\u03c2 \u1fa9xy')
627 self.assertEqual('A\u03a3A'.title(), 'A\u03c3a')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300628
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300629 def test_swapcase(self):
630 string_tests.CommonTest.test_swapcase(self)
631 self.assertEqual('\U0001044F'.swapcase(), '\U00010427')
632 self.assertEqual('\U00010427'.swapcase(), '\U0001044F')
633 self.assertEqual('\U0001044F\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300634 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300635 self.assertEqual('\U00010427\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300636 '\U0001044F\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300637 self.assertEqual('\U0001044F\U00010427'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300638 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300639 self.assertEqual('X\U00010427x\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300640 'x\U0001044FX\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500641 self.assertEqual('fi'.swapcase(), 'FI')
642 self.assertEqual('\u0130'.swapcase(), '\u0069\u0307')
643 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
644 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
645 self.assertEqual('\u0345\u03a3'.swapcase(), '\u0399\u03c3')
646 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
647 self.assertEqual('A\u0345\u03a3a'.swapcase(), 'a\u0399\u03c3A')
648 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
649 self.assertEqual('A\u03a3\u0345'.swapcase(), 'a\u03c2\u0399')
650 self.assertEqual('\u03a3\u0345 '.swapcase(), '\u03c3\u0399 ')
651 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
652 self.assertEqual('ß'.swapcase(), 'SS')
653 self.assertEqual('\u1fd2'.swapcase(), '\u0399\u0308\u0300')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300654
Walter Dörwald28256f22003-01-19 16:59:20 +0000655 def test_contains(self):
656 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000657 self.assertIn('a', 'abdb')
658 self.assertIn('a', 'bdab')
659 self.assertIn('a', 'bdaba')
660 self.assertIn('a', 'bdba')
661 self.assertNotIn('a', 'bdb')
662 self.assertIn('a', 'bdba')
663 self.assertIn('a', ('a',1,None))
664 self.assertIn('a', (1,None,'a'))
665 self.assertIn('a', ('a',1,None))
666 self.assertIn('a', (1,None,'a'))
667 self.assertNotIn('a', ('x',1,'y'))
668 self.assertNotIn('a', ('x',1,None))
669 self.assertNotIn('abcd', 'abcxxxx')
670 self.assertIn('ab', 'abcd')
671 self.assertIn('ab', 'abc')
672 self.assertIn('ab', (1,None,'ab'))
673 self.assertIn('', 'abc')
674 self.assertIn('', '')
675 self.assertIn('', 'abc')
676 self.assertNotIn('\0', 'abc')
677 self.assertIn('\0', '\0abc')
678 self.assertIn('\0', 'abc\0')
679 self.assertIn('a', '\0abc')
680 self.assertIn('asdf', 'asdf')
681 self.assertNotIn('asdf', 'asd')
682 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000683
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000684 self.assertRaises(TypeError, "abc".__contains__)
Walter Dörwald28256f22003-01-19 16:59:20 +0000685
Eric Smith8c663262007-08-25 02:26:07 +0000686 def test_format(self):
687 self.assertEqual(''.format(), '')
688 self.assertEqual('a'.format(), 'a')
689 self.assertEqual('ab'.format(), 'ab')
690 self.assertEqual('a{{'.format(), 'a{')
691 self.assertEqual('a}}'.format(), 'a}')
692 self.assertEqual('{{b'.format(), '{b')
693 self.assertEqual('}}b'.format(), '}b')
694 self.assertEqual('a{{b'.format(), 'a{b')
695
696 # examples from the PEP:
697 import datetime
698 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
699 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
700 "My name is Fred")
701 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
702 "My name is Fred :-{}")
703
704 d = datetime.date(2007, 8, 18)
705 self.assertEqual("The year is {0.year}".format(d),
706 "The year is 2007")
707
Eric Smith8c663262007-08-25 02:26:07 +0000708 # classes we'll use for testing
709 class C:
710 def __init__(self, x=100):
711 self._x = x
712 def __format__(self, spec):
713 return spec
714
715 class D:
716 def __init__(self, x):
717 self.x = x
718 def __format__(self, spec):
719 return str(self.x)
720
721 # class with __str__, but no __format__
722 class E:
723 def __init__(self, x):
724 self.x = x
725 def __str__(self):
726 return 'E(' + self.x + ')'
727
728 # class with __repr__, but no __format__ or __str__
729 class F:
730 def __init__(self, x):
731 self.x = x
732 def __repr__(self):
733 return 'F(' + self.x + ')'
734
735 # class with __format__ that forwards to string, for some format_spec's
736 class G:
737 def __init__(self, x):
738 self.x = x
739 def __str__(self):
740 return "string is " + self.x
741 def __format__(self, format_spec):
742 if format_spec == 'd':
743 return 'G(' + self.x + ')'
744 return object.__format__(self, format_spec)
745
Eric Smith739e2ad2007-08-27 19:07:22 +0000746 class I(datetime.date):
747 def __format__(self, format_spec):
748 return self.strftime(format_spec)
749
Eric Smith185e30c2007-08-30 22:23:08 +0000750 class J(int):
751 def __format__(self, format_spec):
752 return int.__format__(self * 2, format_spec)
753
Eric Smith8c663262007-08-25 02:26:07 +0000754
755 self.assertEqual(''.format(), '')
756 self.assertEqual('abc'.format(), 'abc')
757 self.assertEqual('{0}'.format('abc'), 'abc')
758 self.assertEqual('{0:}'.format('abc'), 'abc')
759# self.assertEqual('{ 0 }'.format('abc'), 'abc')
760 self.assertEqual('X{0}'.format('abc'), 'Xabc')
761 self.assertEqual('{0}X'.format('abc'), 'abcX')
762 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
763 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
764 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
765 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
766 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
767 self.assertEqual('{0}'.format(-15), '-15')
768 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
769 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
770 self.assertEqual('{{'.format(), '{')
771 self.assertEqual('}}'.format(), '}')
772 self.assertEqual('{{}}'.format(), '{}')
773 self.assertEqual('{{x}}'.format(), '{x}')
774 self.assertEqual('{{{0}}}'.format(123), '{123}')
775 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
776 self.assertEqual('}}{{'.format(), '}{')
777 self.assertEqual('}}x{{'.format(), '}x{')
778
Eric Smith7ade6482007-08-26 22:27:13 +0000779 # weird field names
780 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
781 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +0000782 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +0000783
Eric Smith8c663262007-08-25 02:26:07 +0000784 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
785 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
786 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
787 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
788 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
789 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
790 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
791
Eric Smith8c663262007-08-25 02:26:07 +0000792 # strings
793 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
794 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
795 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
796 self.assertEqual('{0:.0s}'.format('abcdef'), '')
797 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
798 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
799 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
800 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
801 self.assertEqual('{0:x<0s}'.format('result'), 'result')
802 self.assertEqual('{0:x<5s}'.format('result'), 'result')
803 self.assertEqual('{0:x<6s}'.format('result'), 'result')
804 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
805 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
806 self.assertEqual('{0: <7s}'.format('result'), 'result ')
807 self.assertEqual('{0:<7s}'.format('result'), 'result ')
808 self.assertEqual('{0:>7s}'.format('result'), ' result')
809 self.assertEqual('{0:>8s}'.format('result'), ' result')
810 self.assertEqual('{0:^8s}'.format('result'), ' result ')
811 self.assertEqual('{0:^9s}'.format('result'), ' result ')
812 self.assertEqual('{0:^10s}'.format('result'), ' result ')
813 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
814 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
815 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
816
817 # format specifiers for user defined type
818 self.assertEqual('{0:abc}'.format(C()), 'abc')
819
Georg Brandld52429f2008-07-04 15:55:02 +0000820 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +0000821 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
822 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
823 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
824 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
825 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
826 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
827 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000828 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +0000829 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
830 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +0000831 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000832 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +0000833 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +0000834 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
835 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +0000836 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +0000837
Eric Smith8c663262007-08-25 02:26:07 +0000838 # test fallback to object.__format__
839 self.assertEqual('{0}'.format({}), '{}')
840 self.assertEqual('{0}'.format([]), '[]')
841 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +0000842
Eric Smith8c663262007-08-25 02:26:07 +0000843 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +0000844 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
845
Andrew Svetlov2cd8ce42012-12-23 14:27:17 +0200846 self.assertRaises(TypeError, '{0:^10}'.format, E('data'))
847 self.assertRaises(TypeError, '{0:^10s}'.format, E('data'))
848 self.assertRaises(TypeError, '{0:>15s}'.format, G('data'))
Eric Smithe4d63172010-09-13 20:48:43 +0000849
Eric Smith739e2ad2007-08-27 19:07:22 +0000850 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
851 month=8,
852 day=27)),
853 "date: 2007-08-27")
854
Eric Smith185e30c2007-08-30 22:23:08 +0000855 # test deriving from a builtin type and overriding __format__
856 self.assertEqual("{0}".format(J(10)), "20")
857
858
Eric Smith8c663262007-08-25 02:26:07 +0000859 # string format specifiers
860 self.assertEqual('{0:}'.format('a'), 'a')
861
862 # computed format specifiers
863 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
864 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
865 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
866 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
867 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
868
869 # test various errors
870 self.assertRaises(ValueError, '{'.format)
871 self.assertRaises(ValueError, '}'.format)
872 self.assertRaises(ValueError, 'a{'.format)
873 self.assertRaises(ValueError, 'a}'.format)
874 self.assertRaises(ValueError, '{a'.format)
875 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +0000876 self.assertRaises(IndexError, '{0}'.format)
877 self.assertRaises(IndexError, '{1}'.format, 'abc')
878 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +0000879 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +0000880 self.assertRaises(ValueError, "abc{0:{}".format)
881 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +0000882 self.assertRaises(IndexError, "{0.}".format)
883 self.assertRaises(ValueError, "{0.}".format, 0)
884 self.assertRaises(IndexError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +0000885 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +0000886 self.assertRaises(KeyError, "{0]}".format)
887 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +0000888 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +0000889 self.assertRaises(ValueError, "{0[0}".format, 0)
890 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
891 self.assertRaises(KeyError, "{c]}".format)
892 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
893 self.assertRaises(ValueError, "{0}}".format, 0)
894 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +0000895 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +0000896 self.assertRaises(ValueError, "{0!}".format, 0)
897 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +0000898 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +0000899 self.assertRaises(IndexError, "{:}".format)
900 self.assertRaises(IndexError, "{:s}".format)
901 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +0000902 big = "23098475029384702983476098230754973209482573"
903 self.assertRaises(ValueError, ("{" + big + "}").format)
904 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +0000905
Eric Smith41669ca2009-05-23 14:23:22 +0000906 # issue 6089
907 self.assertRaises(ValueError, "{0[0]x}".format, [None])
908 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
909
Eric Smith8c663262007-08-25 02:26:07 +0000910 # can't have a replacement on the field name portion
911 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
912
913 # exceed maximum recursion depth
914 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
915 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
916 0, 1, 2, 3, 4, 5, 6, 7)
917
918 # string format spec errors
919 self.assertRaises(ValueError, "{0:-s}".format, '')
920 self.assertRaises(ValueError, format, "", "-")
921 self.assertRaises(ValueError, "{0:=s}".format, '')
922
Eric Smithb1ebcc62008-07-15 13:02:41 +0000923 # Alternate formatting is not supported
924 self.assertRaises(ValueError, format, '', '#')
925 self.assertRaises(ValueError, format, '', '#20')
926
Victor Stinnerece58de2012-04-23 23:36:38 +0200927 # Non-ASCII
928 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
929 'ABC\u0410\u0411\u0412')
930 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
931 'ABC')
932 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
933 '')
934
Eric Smith27bbca62010-11-04 17:06:58 +0000935 def test_format_map(self):
936 self.assertEqual(''.format_map({}), '')
937 self.assertEqual('a'.format_map({}), 'a')
938 self.assertEqual('ab'.format_map({}), 'ab')
939 self.assertEqual('a{{'.format_map({}), 'a{')
940 self.assertEqual('a}}'.format_map({}), 'a}')
941 self.assertEqual('{{b'.format_map({}), '{b')
942 self.assertEqual('}}b'.format_map({}), '}b')
943 self.assertEqual('a{{b'.format_map({}), 'a{b')
944
945 # using mappings
946 class Mapping(dict):
947 def __missing__(self, key):
948 return key
949 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
950 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
951
952 class InternalMapping:
953 def __init__(self):
954 self.mapping = {'a': 'hello'}
955 def __getitem__(self, key):
956 return self.mapping[key]
957 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
958
959
Eric Smith27bbca62010-11-04 17:06:58 +0000960 class C:
961 def __init__(self, x=100):
962 self._x = x
963 def __format__(self, spec):
964 return spec
Eric Smith27bbca62010-11-04 17:06:58 +0000965 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
966
967 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -0700968 self.assertRaises(TypeError, ''.format_map)
969 self.assertRaises(TypeError, 'a'.format_map)
970
971 self.assertRaises(ValueError, '{'.format_map, {})
972 self.assertRaises(ValueError, '}'.format_map, {})
973 self.assertRaises(ValueError, 'a{'.format_map, {})
974 self.assertRaises(ValueError, 'a}'.format_map, {})
975 self.assertRaises(ValueError, '{a'.format_map, {})
976 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +0000977
Eric V. Smith12ebefc2011-07-18 14:03:41 -0400978 # issue #12579: can't supply positional params to format_map
979 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
980 self.assertRaises(ValueError, '{}'.format_map, 'a')
981 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
982
Mark Dickinsonfb90c092012-10-28 10:18:03 +0000983 def test_format_huge_precision(self):
984 format_string = ".{}f".format(sys.maxsize + 1)
985 with self.assertRaises(ValueError):
986 result = format(2.34, format_string)
987
988 def test_format_huge_width(self):
989 format_string = "{}f".format(sys.maxsize + 1)
990 with self.assertRaises(ValueError):
991 result = format(2.34, format_string)
992
993 def test_format_huge_item_number(self):
994 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
995 with self.assertRaises(ValueError):
996 result = format_string.format(2.34)
997
Eric Smith8ec90442009-03-14 12:29:34 +0000998 def test_format_auto_numbering(self):
999 class C:
1000 def __init__(self, x=100):
1001 self._x = x
1002 def __format__(self, spec):
1003 return spec
1004
1005 self.assertEqual('{}'.format(10), '10')
1006 self.assertEqual('{:5}'.format('s'), 's ')
1007 self.assertEqual('{!r}'.format('s'), "'s'")
1008 self.assertEqual('{._x}'.format(C(10)), '10')
1009 self.assertEqual('{[1]}'.format([1, 2]), '2')
1010 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1011 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1012
1013 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1014 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1015
1016 # can't mix and match numbering and auto-numbering
1017 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1018 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1019 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1020 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1021
1022 # can mix and match auto-numbering and named
1023 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1024 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1025 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1026 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1027
Walter Dörwald28256f22003-01-19 16:59:20 +00001028 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001029 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001030 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001031 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1032 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1033 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1034 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1035 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1036 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 1003.57), 'abc, abc, -1, -2.000000, 1003.57')
Walter Dörwald28256f22003-01-19 16:59:20 +00001037 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001038 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001039 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1040 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001041 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1042 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001043
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001044 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001045 self.assertEqual('%c' % 0x21483, '\U00021483')
1046 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1047 self.assertEqual('%c' % '\U00021483', '\U00021483')
1048 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001049 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001050 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001051
1052 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001053 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001054 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1055 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1056 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1057 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1058 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1059 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1060 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1061 self.assertEqual('...%s...' % "abc", '...abc...')
1062 self.assertEqual('%*s' % (5,'abc',), ' abc')
1063 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1064 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1065 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1066 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1067 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1068 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001069 class Wrapper:
1070 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001071 return '\u1234'
1072 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001073
Eric Smith741191f2009-05-06 13:08:15 +00001074 # issue 3382
1075 NAN = float('nan')
1076 INF = float('inf')
1077 self.assertEqual('%f' % NAN, 'nan')
1078 self.assertEqual('%F' % NAN, 'NAN')
1079 self.assertEqual('%f' % INF, 'inf')
1080 self.assertEqual('%F' % INF, 'INF')
1081
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001082 # PEP 393
1083 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1084 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1085
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001086 @support.cpython_only
1087 def test_formatting_huge_precision(self):
1088 from _testcapi import INT_MAX
1089 format_string = "%.{}f".format(INT_MAX + 1)
1090 with self.assertRaises(ValueError):
1091 result = format_string % 2.34
1092
1093 def test_formatting_huge_width(self):
1094 format_string = "%{}f".format(sys.maxsize + 1)
1095 with self.assertRaises(ValueError):
1096 result = format_string % 2.34
1097
Ezio Melottiba42fd52011-04-26 06:09:45 +03001098 def test_startswith_endswith_errors(self):
1099 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001100 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001101 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001102 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001103 self.assertIn('str', exc)
1104 self.assertIn('tuple', exc)
1105
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001106 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001107 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001108 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001109 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001110
Walter Dörwald28256f22003-01-19 16:59:20 +00001111 def test_constructor(self):
1112 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1113
1114 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001115 str('unicode remains unicode'),
1116 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001117 )
1118
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001119 class UnicodeSubclass(str):
Marc-André Lemburg79f57832002-12-29 19:44:06 +00001120 pass
Guido van Rossuma831cac2000-03-10 23:23:21 +00001121
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001122 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
1123 subclass = UnicodeSubclass(text)
1124 self.assertEqual(str(subclass), text)
1125 self.assertEqual(len(subclass), len(text))
1126 if text == 'ascii':
1127 self.assertEqual(subclass.encode('ascii'), b'ascii')
1128 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001129
Walter Dörwald28256f22003-01-19 16:59:20 +00001130 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001131 str('strings are converted to unicode'),
1132 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001133 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001134
Walter Dörwald28256f22003-01-19 16:59:20 +00001135 class StringCompat:
1136 def __init__(self, x):
1137 self.x = x
1138 def __str__(self):
1139 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001140
Walter Dörwald28256f22003-01-19 16:59:20 +00001141 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001142 str(StringCompat('__str__ compatible objects are recognized')),
1143 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001144 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001145
Walter Dörwald28256f22003-01-19 16:59:20 +00001146 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001147
Walter Dörwald28256f22003-01-19 16:59:20 +00001148 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001149 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001150 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001151
Guido van Rossume2a383d2007-01-15 16:59:06 +00001152 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001153 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001154
Walter Dörwald28256f22003-01-19 16:59:20 +00001155 # unicode(obj, encoding, error) tests (this maps to
1156 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001157
Walter Dörwald28256f22003-01-19 16:59:20 +00001158 if not sys.platform.startswith('java'):
1159 self.assertRaises(
1160 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001161 str,
1162 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001163 'utf-8',
1164 'strict'
1165 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001166
Walter Dörwald28256f22003-01-19 16:59:20 +00001167 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001168 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001169 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001170 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001171
Walter Dörwald28256f22003-01-19 16:59:20 +00001172 if not sys.platform.startswith('java'):
1173 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001174 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001175 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001176 'utf-8',
1177 'strict'
1178 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001179 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001180 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001181
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001182 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001183
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001184 def test_constructor_keyword_args(self):
1185 """Pass various keyword argument combinations to the constructor."""
1186 # The object argument can be passed as a keyword.
1187 self.assertEqual(str(object='foo'), 'foo')
1188 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1189 # The errors argument without encoding triggers "decode" mode.
1190 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1191 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1192
1193 def test_constructor_defaults(self):
1194 """Check the constructor argument defaults."""
1195 # The object argument defaults to '' or b''.
1196 self.assertEqual(str(), '')
1197 self.assertEqual(str(errors='strict'), '')
1198 utf8_cent = '¢'.encode('utf-8')
1199 # The encoding argument defaults to utf-8.
1200 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1201 # The errors argument defaults to strict.
1202 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1203
Walter Dörwald28256f22003-01-19 16:59:20 +00001204 def test_codecs_utf7(self):
1205 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001206 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1207 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1208 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1209 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1210 ('+', b'+-'),
1211 ('+-', b'+--'),
1212 ('+?', b'+-?'),
1213 ('\?', b'+AFw?'),
1214 ('+?', b'+-?'),
1215 (r'\\?', b'+AFwAXA?'),
1216 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001217 (r'++--', b'+-+---'),
1218 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1219 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001220 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001221
Walter Dörwald28256f22003-01-19 16:59:20 +00001222 for (x, y) in utfTests:
1223 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001224
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001225 # Unpaired surrogates are passed through
1226 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1227 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1228 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1229 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1230 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1231 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1232 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1233 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001234
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001235 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1236 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001237
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001238 # Issue #2242: crash on some Windows/MSVC versions
Antoine Pitrou244651a2009-05-04 18:56:13 +00001239 self.assertEqual(b'+\xc1'.decode('utf-7'), '\xc1')
1240
1241 # Direct encoded characters
1242 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1243 # Optional direct characters
1244 set_o = '!"#$%&*;<=>@[]^_`{|}'
1245 for c in set_d:
1246 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1247 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1248 for c in set_o:
1249 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001250
Walter Dörwald28256f22003-01-19 16:59:20 +00001251 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001252 self.assertEqual(''.encode('utf-8'), b'')
1253 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001254 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1255 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001256 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1257 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001258 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1259 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001260 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001261 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1262 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1263 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1264 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1265 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1266 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001267 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1268 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1269 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1270 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1271 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1272 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1273 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1274 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1275 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1276 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001277 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001278
Walter Dörwald28256f22003-01-19 16:59:20 +00001279 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001280 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1281 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1282 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001283
Walter Dörwald28256f22003-01-19 16:59:20 +00001284 # Other possible utf-8 test cases:
1285 # * strict decoding testing for all of the
1286 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001287
Ezio Melotti57221d02010-07-01 07:32:02 +00001288 def test_utf8_decode_valid_sequences(self):
1289 sequences = [
1290 # single byte
1291 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1292 # 2 bytes
1293 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1294 # 3 bytes
1295 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1296 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1297 # 4 bytes
1298 (b'\xF0\x90\x80\x80', '\U00010000'),
1299 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1300 ]
1301 for seq, res in sequences:
1302 self.assertEqual(seq.decode('utf-8'), res)
1303
1304
1305 def test_utf8_decode_invalid_sequences(self):
1306 # continuation bytes in a sequence of 2, 3, or 4 bytes
1307 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
1308 # start bytes of a 2-byte sequence equivalent to codepoints < 0x7F
1309 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
1310 # start bytes of a 4-byte sequence equivalent to codepoints > 0x10FFFF
1311 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1312 invalid_start_bytes = (
1313 continuation_bytes + invalid_2B_seq_start_bytes +
1314 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1315 )
1316
1317 for byte in invalid_start_bytes:
1318 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1319
1320 for sb in invalid_2B_seq_start_bytes:
1321 for cb in continuation_bytes:
1322 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1323
1324 for sb in invalid_4B_seq_start_bytes:
1325 for cb1 in continuation_bytes[:3]:
1326 for cb3 in continuation_bytes[:3]:
1327 self.assertRaises(UnicodeDecodeError,
1328 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1329
1330 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1331 self.assertRaises(UnicodeDecodeError,
1332 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1333 self.assertRaises(UnicodeDecodeError,
1334 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1335 # surrogates
1336 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1337 self.assertRaises(UnicodeDecodeError,
1338 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1339 self.assertRaises(UnicodeDecodeError,
1340 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1341 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1342 self.assertRaises(UnicodeDecodeError,
1343 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1344 self.assertRaises(UnicodeDecodeError,
1345 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1346 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1347 self.assertRaises(UnicodeDecodeError,
1348 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1349 self.assertRaises(UnicodeDecodeError,
1350 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1351
1352 def test_issue8271(self):
1353 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1354 # only the start byte and the continuation byte(s) are now considered
1355 # invalid, instead of the number of bytes specified by the start byte.
1356 # See http://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
1357 # table 3-8, Row 2) for more information about the algorithm used.
1358 FFFD = '\ufffd'
1359 sequences = [
1360 # invalid start bytes
1361 (b'\x80', FFFD), # continuation byte
1362 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1363 (b'\xc0', FFFD),
1364 (b'\xc0\xc0', FFFD*2),
1365 (b'\xc1', FFFD),
1366 (b'\xc1\xc0', FFFD*2),
1367 (b'\xc0\xc1', FFFD*2),
1368 # with start byte of a 2-byte sequence
1369 (b'\xc2', FFFD), # only the start byte
1370 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001371 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001372 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1373 # with start byte of a 3-byte sequence
1374 (b'\xe1', FFFD), # only the start byte
1375 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1376 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1377 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1378 (b'\xe1\x80', FFFD), # only 1 continuation byte
1379 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1380 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1381 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1382 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1383 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1384 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1385 # with start byte of a 4-byte sequence
1386 (b'\xf1', FFFD), # only the start byte
1387 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1388 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1389 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1390 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1391 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1392 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1393 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1394 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1395 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1396 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1397 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1398 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1399 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1400 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1401 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1402 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1403 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1404 # with invalid start byte of a 4-byte sequence (rfc2279)
1405 (b'\xf5', FFFD), # only the start byte
1406 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1407 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1408 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1409 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1410 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1411 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1412 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1413 # with invalid start byte of a 5-byte sequence (rfc2279)
1414 (b'\xf8', FFFD), # only the start byte
1415 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1416 (b'\xf8\x80', FFFD*2), # only one continuation byte
1417 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1418 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1419 # with invalid start byte of a 6-byte sequence (rfc2279)
1420 (b'\xfc', FFFD), # only the start byte
1421 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1422 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1423 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1424 # invalid start byte
1425 (b'\xfe', FFFD),
1426 (b'\xfe\x80\x80', FFFD*3),
1427 # other sequences
1428 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1429 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1430 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1431 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1432 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1433 ]
1434 for n, (seq, res) in enumerate(sequences):
1435 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1436 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1437 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1438 self.assertEqual(seq.decode('utf-8', 'ignore'),
1439 res.replace('\uFFFD', ''))
1440
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001441 def to_bytestring(self, seq):
1442 return bytes(int(c, 16) for c in seq.split())
1443
1444 def assertCorrectUTF8Decoding(self, seq, res, err):
1445 """
1446 Check that an invalid UTF-8 sequence raises an UnicodeDecodeError when
1447 'strict' is used, returns res when 'replace' is used, and that doesn't
1448 return anything when 'ignore' is used.
1449 """
1450 with self.assertRaises(UnicodeDecodeError) as cm:
1451 seq.decode('utf-8')
1452 exc = cm.exception
1453
1454 self.assertIn(err, str(exc))
1455 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1456 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1457 'aaaa' + res + 'bbbb')
1458 res = res.replace('\ufffd', '')
1459 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1460 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1461 'aaaa' + res + 'bbbb')
1462
1463 def test_invalid_start_byte(self):
1464 """
1465 Test that an 'invalid start byte' error is raised when the first byte
1466 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1467 4-bytes sequence. The invalid start byte is replaced with a single
1468 U+FFFD when errors='replace'.
1469 E.g. <80> is a continuation byte and can appear only after a start byte.
1470 """
1471 FFFD = '\ufffd'
1472 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1473 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1474 'invalid start byte')
1475
1476 def test_unexpected_end_of_data(self):
1477 """
1478 Test that an 'unexpected end of data' error is raised when the string
1479 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1480 enough continuation bytes. The incomplete sequence is replaced with a
1481 single U+FFFD when errors='replace'.
1482 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1483 sequence, but it's followed by only 2 valid continuation bytes and the
1484 last continuation bytes is missing.
1485 Note: the continuation bytes must be all valid, if one of them is
1486 invalid another error will be raised.
1487 """
1488 sequences = [
1489 'C2', 'DF',
1490 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1491 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1492 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1493 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1494 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1495 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1496 ]
1497 FFFD = '\ufffd'
1498 for seq in sequences:
1499 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), '\ufffd',
1500 'unexpected end of data')
1501
1502 def test_invalid_cb_for_2bytes_seq(self):
1503 """
1504 Test that an 'invalid continuation byte' error is raised when the
1505 continuation byte of a 2-bytes sequence is invalid. The start byte
1506 is replaced by a single U+FFFD and the second byte is handled
1507 separately when errors='replace'.
1508 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1509 sequence, but 41 is not a valid continuation byte because it's the
1510 ASCII letter 'A'.
1511 """
1512 FFFD = '\ufffd'
1513 FFFDx2 = FFFD * 2
1514 sequences = [
1515 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1516 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1517 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1518 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1519 ]
1520 for seq, res in sequences:
1521 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1522 'invalid continuation byte')
1523
1524 def test_invalid_cb_for_3bytes_seq(self):
1525 """
1526 Test that an 'invalid continuation byte' error is raised when the
1527 continuation byte(s) of a 3-bytes sequence are invalid. When
1528 errors='replace', if the first continuation byte is valid, the first
1529 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1530 third byte is handled separately, otherwise only the start byte is
1531 replaced with a U+FFFD and the other continuation bytes are handled
1532 separately.
1533 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1534 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1535 because it's the ASCII letter 'A'.
1536 Note: when the start byte is E0 or ED, the valid ranges for the first
1537 continuation byte are limited to A0..BF and 80..9F respectively.
1538 Python 2 used to consider all the bytes in range 80..BF valid when the
1539 start byte was ED. This is fixed in Python 3.
1540 """
1541 FFFD = '\ufffd'
1542 FFFDx2 = FFFD * 2
1543 sequences = [
1544 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1545 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1546 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1547 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1548 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1549 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1550 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1551 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1552 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1553 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1554 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1555 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1556 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1557 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1558 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1559 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1560 ('ED 7F', FFFD+'\x7f'),
1561 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1562 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1563 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1564 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1565 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1566 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1567 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1568 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1569 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1570 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1571 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1572 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1573 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1574 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1575 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1576 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1577 ]
1578 for seq, res in sequences:
1579 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1580 'invalid continuation byte')
1581
1582 def test_invalid_cb_for_4bytes_seq(self):
1583 """
1584 Test that an 'invalid continuation byte' error is raised when the
1585 continuation byte(s) of a 4-bytes sequence are invalid. When
1586 errors='replace',the start byte and all the following valid
1587 continuation bytes are replaced with a single U+FFFD, and all the bytes
1588 starting from the first invalid continuation bytes (included) are
1589 handled separately.
1590 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1591 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1592 because it's the ASCII letter 'A'.
1593 Note: when the start byte is E0 or ED, the valid ranges for the first
1594 continuation byte are limited to A0..BF and 80..9F respectively.
1595 However, when the start byte is ED, Python 2 considers all the bytes
1596 in range 80..BF valid. This is fixed in Python 3.
1597 """
1598 FFFD = '\ufffd'
1599 FFFDx2 = FFFD * 2
1600 sequences = [
1601 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
1602 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
1603 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
1604 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
1605 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
1606 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
1607 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
1608 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
1609 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
1610 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
1611 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
1612 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
1613 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
1614 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
1615 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
1616 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
1617 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
1618 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
1619 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
1620 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
1621 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
1622 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
1623 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
1624 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
1625 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
1626 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
1627 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
1628 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
1629 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
1630 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
1631 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
1632 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
1633 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
1634 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
1635 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
1636 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
1637 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
1638 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
1639 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
1640 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
1641 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
1642 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
1643 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
1644 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
1645 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
1646 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
1647 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
1648 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
1649 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
1650 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
1651 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
1652 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
1653 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
1654 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
1655 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
1656 ]
1657 for seq, res in sequences:
1658 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1659 'invalid continuation byte')
1660
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00001661 def test_codecs_idna(self):
1662 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00001663 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00001664
Walter Dörwald28256f22003-01-19 16:59:20 +00001665 def test_codecs_errors(self):
1666 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001667 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
1668 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00001669 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
1670 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00001671 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
1672 'Andr\202 x'.encode('ascii', errors='replace'))
1673 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
1674 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001675
Walter Dörwald28256f22003-01-19 16:59:20 +00001676 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00001677 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
1678 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
1679 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
1680 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001681
Walter Dörwald28256f22003-01-19 16:59:20 +00001682 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00001683 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00001684
Walter Dörwald28256f22003-01-19 16:59:20 +00001685 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00001686 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00001687
Guido van Rossum9c627722007-08-27 18:31:48 +00001688 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
1689 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001690 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
1691 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00001692
Walter Dörwald28256f22003-01-19 16:59:20 +00001693 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001694 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001695
Alexander Belopolsky942af5a2010-12-04 03:38:46 +00001696 # Error handling (lone surrogate in PyUnicode_TransformDecimalToASCII())
1697 self.assertRaises(UnicodeError, int, "\ud800")
1698 self.assertRaises(UnicodeError, int, "\udf00")
1699 self.assertRaises(UnicodeError, float, "\ud800")
1700 self.assertRaises(UnicodeError, float, "\udf00")
1701 self.assertRaises(UnicodeError, complex, "\ud800")
1702 self.assertRaises(UnicodeError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00001703
Walter Dörwald28256f22003-01-19 16:59:20 +00001704 def test_codecs(self):
1705 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00001706 self.assertEqual('hello'.encode('ascii'), b'hello')
1707 self.assertEqual('hello'.encode('utf-7'), b'hello')
1708 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00001709 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00001710 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
1711 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
1712 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00001713
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00001714 # Default encoding is utf-8
1715 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
1716
Walter Dörwald28256f22003-01-19 16:59:20 +00001717 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001718 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001719 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001720 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
1721 'utf-16-be', 'raw_unicode_escape',
1722 'unicode_escape', 'unicode_internal'):
Victor Stinner040e16e2011-11-15 22:44:05 +01001723 with warnings.catch_warnings():
1724 # unicode-internal has been deprecated
1725 warnings.simplefilter("ignore", DeprecationWarning)
1726
1727 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00001728
Walter Dörwald28256f22003-01-19 16:59:20 +00001729 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001730 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001731 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001732 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001733 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001734
Walter Dörwald28256f22003-01-19 16:59:20 +00001735 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001736 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001737 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001738 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001739 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001740
Walter Dörwald28256f22003-01-19 16:59:20 +00001741 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01001742 with warnings.catch_warnings():
1743 # unicode-internal has been deprecated
1744 warnings.simplefilter("ignore", DeprecationWarning)
1745
1746 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
1747 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
1748 'raw_unicode_escape',
1749 'unicode_escape', 'unicode_internal'):
1750 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001751
Antoine Pitrou51f66482011-11-11 13:35:44 +01001752 # UTF-8 must be roundtrip safe for all code points
1753 # (except surrogates, which are forbidden).
1754 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02001755 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00001756 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001757 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001758
Walter Dörwald28256f22003-01-19 16:59:20 +00001759 def test_codecs_charmap(self):
1760 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00001761 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00001762 for encoding in (
1763 'cp037', 'cp1026',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00001764 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
1765 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Walter Dörwald28256f22003-01-19 16:59:20 +00001766 'cp863', 'cp865', 'cp866',
1767 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
1768 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
1769 'iso8859_7', 'iso8859_9', 'koi8_r', 'latin_1',
1770 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00001771
Walter Dörwald28256f22003-01-19 16:59:20 +00001772 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
1773 'cp1256', 'cp1257', 'cp1258',
1774 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00001775
Walter Dörwald28256f22003-01-19 16:59:20 +00001776 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
1777 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00001778
Walter Dörwald28256f22003-01-19 16:59:20 +00001779 ### These have undefined mappings:
1780 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00001781
Walter Dörwald28256f22003-01-19 16:59:20 +00001782 ### These fail the round-trip:
1783 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00001784
Walter Dörwald28256f22003-01-19 16:59:20 +00001785 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001786 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001787
Walter Dörwald28256f22003-01-19 16:59:20 +00001788 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00001789 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00001790 for encoding in (
1791 'cp037', 'cp1026',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00001792 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
1793 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Walter Dörwald28256f22003-01-19 16:59:20 +00001794 'cp863', 'cp865', 'cp866',
1795 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
1796 'iso8859_2', 'iso8859_4', 'iso8859_5',
1797 'iso8859_9', 'koi8_r', 'latin_1',
1798 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00001799
Walter Dörwald28256f22003-01-19 16:59:20 +00001800 ### These have undefined mappings:
1801 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
1802 #'cp1256', 'cp1257', 'cp1258',
1803 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
1804 #'iso8859_3', 'iso8859_6', 'iso8859_7',
1805 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00001806
Walter Dörwald28256f22003-01-19 16:59:20 +00001807 ### These fail the round-trip:
1808 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00001809
Walter Dörwald28256f22003-01-19 16:59:20 +00001810 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001811 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001812
Walter Dörwald28256f22003-01-19 16:59:20 +00001813 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001814 self.assertEqual(("abc" "def"), "abcdef")
1815 self.assertEqual(("abc" "def"), "abcdef")
1816 self.assertEqual(("abc" "def"), "abcdef")
1817 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
1818 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00001819
Walter Dörwald28256f22003-01-19 16:59:20 +00001820 def test_printing(self):
1821 class BitBucket:
1822 def write(self, text):
1823 pass
Fred Drake004d5e62000-10-23 17:22:08 +00001824
Walter Dörwald28256f22003-01-19 16:59:20 +00001825 out = BitBucket()
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001826 print('abc', file=out)
1827 print('abc', 'def', file=out)
1828 print('abc', 'def', file=out)
1829 print('abc', 'def', file=out)
1830 print('abc\n', file=out)
1831 print('abc\n', end=' ', file=out)
1832 print('abc\n', end=' ', file=out)
1833 print('def\n', file=out)
1834 print('def\n', file=out)
Fred Drake004d5e62000-10-23 17:22:08 +00001835
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00001836 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001837 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00001838 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
1839 self.assertEqual(x, y)
1840
Florent Xiclunaa87b3832010-09-13 02:28:18 +00001841 y = br'\U00100000'
1842 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
1843 self.assertEqual(x, y)
1844 y = br'\U00010000'
1845 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
1846 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00001847
Florent Xiclunaa87b3832010-09-13 02:28:18 +00001848 try:
1849 br'\U11111111'.decode("raw-unicode-escape")
1850 except UnicodeDecodeError as e:
1851 self.assertEqual(e.start, 0)
1852 self.assertEqual(e.end, 10)
1853 else:
1854 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00001855
Brett Cannonc3647ac2005-04-26 03:45:26 +00001856 def test_conversion(self):
1857 # Make sure __unicode__() works properly
1858 class Foo0:
1859 def __str__(self):
1860 return "foo"
1861
1862 class Foo1:
Guido van Rossum98297ee2007-11-06 21:34:58 +00001863 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001864 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001865
1866 class Foo2(object):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001867 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001868 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001869
1870 class Foo3(object):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001871 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001872 return "foo"
1873
1874 class Foo4(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001875 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001876 return "foo"
1877
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001878 class Foo5(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001879 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001880 return "foo"
1881
1882 class Foo6(str):
1883 def __str__(self):
1884 return "foos"
1885
Guido van Rossum98297ee2007-11-06 21:34:58 +00001886 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001887 return "foou"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001888
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001889 class Foo7(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001890 def __str__(self):
1891 return "foos"
Guido van Rossum98297ee2007-11-06 21:34:58 +00001892 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001893 return "foou"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001894
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001895 class Foo8(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001896 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001897 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00001898 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001899 return self
1900
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001901 class Foo9(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001902 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001903 return "not unicode"
1904
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001905 self.assertEqual(str(Foo0()), "foo")
1906 self.assertEqual(str(Foo1()), "foo")
1907 self.assertEqual(str(Foo2()), "foo")
1908 self.assertEqual(str(Foo3()), "foo")
1909 self.assertEqual(str(Foo4("bar")), "foo")
1910 self.assertEqual(str(Foo5("bar")), "foo")
1911 self.assertEqual(str(Foo6("bar")), "foou")
1912 self.assertEqual(str(Foo7("bar")), "foou")
1913 self.assertEqual(str(Foo8("foo")), "foofoo")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001914 self.assertEqual(str(Foo9("foo")), "not unicode")
Brett Cannonc3647ac2005-04-26 03:45:26 +00001915
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001916 def test_unicode_repr(self):
1917 class s1:
1918 def __repr__(self):
1919 return '\\n'
1920
1921 class s2:
1922 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001923 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001924
1925 self.assertEqual(repr(s1()), '\\n')
1926 self.assertEqual(repr(s2()), '\\n')
1927
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00001928 def test_printable_repr(self):
1929 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00001930 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00001931
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001932 def test_expandtabs_overflows_gracefully(self):
1933 # This test only affects 32-bit platforms because expandtabs can only take
1934 # an int as the max value, not a 64-bit C long. If expandtabs is changed
1935 # to take a 64-bit long, this test should apply to all platforms.
Christian Heimesa37d4c62007-12-04 23:02:19 +00001936 if sys.maxsize > (1 << 32) or struct.calcsize('P') != 4:
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001937 return
Christian Heimesa37d4c62007-12-04 23:02:19 +00001938 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001939
Victor Stinner1d972ad2011-10-07 13:31:46 +02001940 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02001941 def test_expandtabs_optimization(self):
1942 s = 'abc'
1943 self.assertIs(s.expandtabs(), s)
1944
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00001945 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001946 if struct.calcsize('P') == 8:
1947 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02001948 ascii_struct_size = 48
1949 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001950 else:
1951 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02001952 ascii_struct_size = 24
1953 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001954
1955 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
1956 code = ord(char)
1957 if code < 0x100:
1958 char_size = 1 # sizeof(Py_UCS1)
1959 struct_size = ascii_struct_size
1960 elif code < 0x10000:
1961 char_size = 2 # sizeof(Py_UCS2)
1962 struct_size = compact_struct_size
1963 else:
1964 char_size = 4 # sizeof(Py_UCS4)
1965 struct_size = compact_struct_size
1966 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02001967 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
1968 # be allocatable, given enough memory.
1969 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001970 alloc = lambda: char * maxlen
1971 self.assertRaises(MemoryError, alloc)
1972 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00001973
Victor Stinner808fc0a2010-03-22 12:50:40 +00001974 def test_format_subclass(self):
1975 class S(str):
1976 def __str__(self):
1977 return '__str__ overridden'
1978 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00001979 self.assertEqual("%s" % s, '__str__ overridden')
1980 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00001981
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00001982 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00001983 def test_from_format(self):
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00001984 support.import_module('ctypes')
Victor Stinner15a11362012-10-06 23:48:20 +02001985 from ctypes import (
1986 pythonapi, py_object, sizeof,
Victor Stinner6d970f42011-03-02 00:04:25 +00001987 c_int, c_long, c_longlong, c_ssize_t,
Victor Stinner15a11362012-10-06 23:48:20 +02001988 c_uint, c_ulong, c_ulonglong, c_size_t, c_void_p)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001989 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00001990 _PyUnicode_FromFormat = getattr(pythonapi, name)
1991 _PyUnicode_FromFormat.restype = py_object
1992
1993 def PyUnicode_FromFormat(format, *args):
1994 cargs = tuple(
1995 py_object(arg) if isinstance(arg, str) else arg
1996 for arg in args)
1997 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00001998
1999 # ascii format, non-ascii argument
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002000 text = PyUnicode_FromFormat(b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002001 self.assertEqual(text, 'ascii\x7f=unicode\xe9')
2002
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002003 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2004 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002005 self.assertRaisesRegex(ValueError,
Victor Stinner1205f272010-09-11 00:54:47 +00002006 '^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002007 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002008 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002009
Victor Stinner96865452011-03-01 23:44:09 +00002010 # test "%c"
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002011 self.assertEqual(PyUnicode_FromFormat(b'%c', c_int(0xabcd)), '\uabcd')
2012 self.assertEqual(PyUnicode_FromFormat(b'%c', c_int(0x10ffff)), '\U0010ffff')
2013
Victor Stinner96865452011-03-01 23:44:09 +00002014 # test "%"
2015 self.assertEqual(PyUnicode_FromFormat(b'%'), '%')
2016 self.assertEqual(PyUnicode_FromFormat(b'%%'), '%')
2017 self.assertEqual(PyUnicode_FromFormat(b'%%s'), '%s')
2018 self.assertEqual(PyUnicode_FromFormat(b'[%%]'), '[%]')
2019 self.assertEqual(PyUnicode_FromFormat(b'%%%s', b'abc'), '%abc')
2020
Victor Stinner6d970f42011-03-02 00:04:25 +00002021 # test integer formats (%i, %d, %u)
Victor Stinner96865452011-03-01 23:44:09 +00002022 self.assertEqual(PyUnicode_FromFormat(b'%03i', c_int(10)), '010')
2023 self.assertEqual(PyUnicode_FromFormat(b'%0.4i', c_int(10)), '0010')
Victor Stinner6d970f42011-03-02 00:04:25 +00002024 self.assertEqual(PyUnicode_FromFormat(b'%i', c_int(-123)), '-123')
2025 self.assertEqual(PyUnicode_FromFormat(b'%li', c_long(-123)), '-123')
2026 self.assertEqual(PyUnicode_FromFormat(b'%lli', c_longlong(-123)), '-123')
2027 self.assertEqual(PyUnicode_FromFormat(b'%zi', c_ssize_t(-123)), '-123')
Victor Stinner96865452011-03-01 23:44:09 +00002028
Victor Stinner6d970f42011-03-02 00:04:25 +00002029 self.assertEqual(PyUnicode_FromFormat(b'%d', c_int(-123)), '-123')
2030 self.assertEqual(PyUnicode_FromFormat(b'%ld', c_long(-123)), '-123')
2031 self.assertEqual(PyUnicode_FromFormat(b'%lld', c_longlong(-123)), '-123')
2032 self.assertEqual(PyUnicode_FromFormat(b'%zd', c_ssize_t(-123)), '-123')
Victor Stinner96865452011-03-01 23:44:09 +00002033
Victor Stinner6d970f42011-03-02 00:04:25 +00002034 self.assertEqual(PyUnicode_FromFormat(b'%u', c_uint(123)), '123')
2035 self.assertEqual(PyUnicode_FromFormat(b'%lu', c_ulong(123)), '123')
2036 self.assertEqual(PyUnicode_FromFormat(b'%llu', c_ulonglong(123)), '123')
2037 self.assertEqual(PyUnicode_FromFormat(b'%zu', c_size_t(123)), '123')
2038
Victor Stinner15a11362012-10-06 23:48:20 +02002039 # test long output
2040 min_longlong = -(2 ** (8 * sizeof(c_longlong) - 1))
2041 max_longlong = -min_longlong - 1
2042 self.assertEqual(PyUnicode_FromFormat(b'%lld', c_longlong(min_longlong)), str(min_longlong))
2043 self.assertEqual(PyUnicode_FromFormat(b'%lld', c_longlong(max_longlong)), str(max_longlong))
2044 max_ulonglong = 2 ** (8 * sizeof(c_ulonglong)) - 1
2045 self.assertEqual(PyUnicode_FromFormat(b'%llu', c_ulonglong(max_ulonglong)), str(max_ulonglong))
2046 PyUnicode_FromFormat(b'%p', c_void_p(-1))
2047
Victor Stinnere215d962012-10-06 23:03:36 +02002048 # test padding (width and/or precision)
2049 self.assertEqual(PyUnicode_FromFormat(b'%010i', c_int(123)), '123'.rjust(10, '0'))
2050 self.assertEqual(PyUnicode_FromFormat(b'%100i', c_int(123)), '123'.rjust(100))
2051 self.assertEqual(PyUnicode_FromFormat(b'%.100i', c_int(123)), '123'.rjust(100, '0'))
2052 self.assertEqual(PyUnicode_FromFormat(b'%100.80i', c_int(123)), '123'.rjust(80, '0').rjust(100))
2053
2054 self.assertEqual(PyUnicode_FromFormat(b'%010u', c_uint(123)), '123'.rjust(10, '0'))
2055 self.assertEqual(PyUnicode_FromFormat(b'%100u', c_uint(123)), '123'.rjust(100))
2056 self.assertEqual(PyUnicode_FromFormat(b'%.100u', c_uint(123)), '123'.rjust(100, '0'))
2057 self.assertEqual(PyUnicode_FromFormat(b'%100.80u', c_uint(123)), '123'.rjust(80, '0').rjust(100))
2058
2059 self.assertEqual(PyUnicode_FromFormat(b'%010x', c_int(0x123)), '123'.rjust(10, '0'))
2060 self.assertEqual(PyUnicode_FromFormat(b'%100x', c_int(0x123)), '123'.rjust(100))
2061 self.assertEqual(PyUnicode_FromFormat(b'%.100x', c_int(0x123)), '123'.rjust(100, '0'))
2062 self.assertEqual(PyUnicode_FromFormat(b'%100.80x', c_int(0x123)), '123'.rjust(80, '0').rjust(100))
2063
Victor Stinner6d970f42011-03-02 00:04:25 +00002064 # test %A
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002065 text = PyUnicode_FromFormat(b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002066 self.assertEqual(text, r"%A:'abc\xe9\uabcd\U0010ffff'")
2067
Victor Stinner6d970f42011-03-02 00:04:25 +00002068 # test %V
Victor Stinner2512a8b2011-03-01 22:46:52 +00002069 text = PyUnicode_FromFormat(b'repr=%V', 'abc', b'xyz')
2070 self.assertEqual(text, 'repr=abc')
2071
2072 # Test string decode from parameter of %s using utf-8.
2073 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2074 # '\u4eba\u6c11'
2075 text = PyUnicode_FromFormat(b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
2076 self.assertEqual(text, 'repr=\u4eba\u6c11')
2077
2078 #Test replace error handler.
2079 text = PyUnicode_FromFormat(b'repr=%V', None, b'abc\xff')
2080 self.assertEqual(text, 'repr=abc\ufffd')
2081
Victor Stinner6d970f42011-03-02 00:04:25 +00002082 # not supported: copy the raw format string. these tests are just here
2083 # to check for crashs and should not be considered as specifications
2084 self.assertEqual(PyUnicode_FromFormat(b'%1%s', b'abc'), '%s')
2085 self.assertEqual(PyUnicode_FromFormat(b'%1abc'), '%1abc')
2086 self.assertEqual(PyUnicode_FromFormat(b'%+i', c_int(10)), '%+i')
2087 self.assertEqual(PyUnicode_FromFormat(b'%.%s', b'abc'), '%.%s')
2088
Victor Stinner1c24bd02010-10-02 11:03:13 +00002089 # Test PyUnicode_AsWideChar()
2090 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002091 from _testcapi import unicode_aswidechar
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002092 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002093 from ctypes import c_wchar, sizeof
2094
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002095 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002096 self.assertEqual(size, 2)
2097 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002098
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002099 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002100 self.assertEqual(size, 3)
2101 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002102
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002103 wchar, size = unicode_aswidechar('abc', 4)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002104 self.assertEqual(size, 3)
2105 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002106
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002107 wchar, size = unicode_aswidechar('abc', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002108 self.assertEqual(size, 3)
2109 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002110
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002111 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002112 self.assertEqual(size, 7)
2113 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002114
Victor Stinner5593d8a2010-10-02 11:11:27 +00002115 nonbmp = chr(0x10ffff)
2116 if sizeof(c_wchar) == 2:
2117 buflen = 3
2118 nchar = 2
2119 else: # sizeof(c_wchar) == 4
2120 buflen = 2
2121 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002122 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002123 self.assertEqual(size, nchar)
2124 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002125
Victor Stinner1c24bd02010-10-02 11:03:13 +00002126 # Test PyUnicode_AsWideCharString()
2127 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002128 from _testcapi import unicode_aswidecharstring
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002129 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002130 from ctypes import c_wchar, sizeof
2131
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002132 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002133 self.assertEqual(size, 3)
2134 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002135
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002136 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002137 self.assertEqual(size, 7)
2138 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002139
Victor Stinner5593d8a2010-10-02 11:11:27 +00002140 nonbmp = chr(0x10ffff)
2141 if sizeof(c_wchar) == 2:
2142 nchar = 2
2143 else: # sizeof(c_wchar) == 4
2144 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002145 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002146 self.assertEqual(size, nchar)
2147 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002148
Benjamin Peterson811c2f12011-09-30 21:31:21 -04002149 def test_subclass_add(self):
2150 class S(str):
2151 def __add__(self, o):
2152 return "3"
2153 self.assertEqual(S("4") + S("5"), "3")
2154 class S(str):
2155 def __iadd__(self, o):
2156 return "3"
2157 s = S("1")
2158 s += "4"
2159 self.assertEqual(s, "3")
2160
Victor Stinner42bf7752011-11-21 22:52:58 +01002161 def test_encode_decimal(self):
2162 from _testcapi import unicode_encodedecimal
2163 self.assertEqual(unicode_encodedecimal('123'),
2164 b'123')
2165 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2166 b'3.14')
2167 self.assertEqual(unicode_encodedecimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2168 b' 3.14 ')
2169 self.assertRaises(UnicodeEncodeError,
2170 unicode_encodedecimal, "123\u20ac", "strict")
Victor Stinner6345be92011-11-25 20:09:01 +01002171 self.assertRaisesRegex(
2172 ValueError,
2173 "^'decimal' codec can't encode character",
2174 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002175
2176 def test_transform_decimal(self):
2177 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
2178 self.assertEqual(transform_decimal('123'),
2179 '123')
2180 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2181 '3.14')
2182 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2183 "\N{EM SPACE}3.14\N{EN SPACE}")
2184 self.assertEqual(transform_decimal('123\u20ac'),
2185 '123\u20ac')
2186
Victor Stinnerc814a382011-11-22 01:06:15 +01002187 def test_getnewargs(self):
2188 text = 'abc'
2189 args = text.__getnewargs__()
2190 self.assertIsNot(args[0], text)
2191 self.assertEqual(args[0], text)
2192 self.assertEqual(len(args), 1)
2193
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002194 def test_resize(self):
2195 for length in range(1, 100, 7):
2196 # generate a fresh string (refcount=1)
2197 text = 'a' * length + 'b'
2198
Ezio Melotti51e243f2013-02-20 23:56:01 +02002199 with support.check_warnings(('unicode_internal codec has been '
2200 'deprecated', DeprecationWarning)):
2201 # fill wstr internal field
2202 abc = text.encode('unicode_internal')
2203 self.assertEqual(abc.decode('unicode_internal'), text)
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002204
Ezio Melotti51e243f2013-02-20 23:56:01 +02002205 # resize text: wstr field must be cleared and then recomputed
2206 text += 'c'
2207 abcdef = text.encode('unicode_internal')
2208 self.assertNotEqual(abc, abcdef)
2209 self.assertEqual(abcdef.decode('unicode_internal'), text)
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002210
Victor Stinner1c24bd02010-10-02 11:03:13 +00002211
Eric Smitha1eac722011-01-29 11:15:35 +00002212class StringModuleTest(unittest.TestCase):
2213 def test_formatter_parser(self):
2214 def parse(format):
2215 return list(_string.formatter_parser(format))
2216
2217 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2218 self.assertEqual(formatter, [
2219 ('prefix ', '2', '', 's'),
2220 ('xxx', '0', '^+10.3f', None),
2221 ('', 'obj.attr', '', 's'),
2222 (' ', 'z[0]', '10', 's'),
2223 ])
2224
2225 formatter = parse("prefix {} suffix")
2226 self.assertEqual(formatter, [
2227 ('prefix ', '', '', None),
2228 (' suffix', None, None, None),
2229 ])
2230
2231 formatter = parse("str")
2232 self.assertEqual(formatter, [
2233 ('str', None, None, None),
2234 ])
2235
2236 formatter = parse("")
2237 self.assertEqual(formatter, [])
2238
2239 formatter = parse("{0}")
2240 self.assertEqual(formatter, [
2241 ('', '0', '', None),
2242 ])
2243
2244 self.assertRaises(TypeError, _string.formatter_parser, 1)
2245
2246 def test_formatter_field_name_split(self):
2247 def split(name):
2248 items = list(_string.formatter_field_name_split(name))
2249 items[1] = list(items[1])
2250 return items
2251 self.assertEqual(split("obj"), ["obj", []])
2252 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
2253 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
2254 self.assertEqual(split("obj.arg[key1][key2]"), [
2255 "obj",
2256 [(True, 'arg'),
2257 (False, 'key1'),
2258 (False, 'key2'),
2259 ]])
2260 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
2261
2262
Walter Dörwald28256f22003-01-19 16:59:20 +00002263if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02002264 unittest.main()