blob: b8a5f5e834590095c1944566c53b1498d2d8a023 [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
Ezio Melottif84e01d2013-07-08 17:48:29 +0200655 def test_center(self):
656 string_tests.CommonTest.test_center(self)
657 self.assertEqual('x'.center(2, '\U0010FFFF'),
658 'x\U0010FFFF')
659 self.assertEqual('x'.center(3, '\U0010FFFF'),
660 '\U0010FFFFx\U0010FFFF')
661 self.assertEqual('x'.center(4, '\U0010FFFF'),
662 '\U0010FFFFx\U0010FFFF\U0010FFFF')
663
Walter Dörwald28256f22003-01-19 16:59:20 +0000664 def test_contains(self):
665 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000666 self.assertIn('a', 'abdb')
667 self.assertIn('a', 'bdab')
668 self.assertIn('a', 'bdaba')
669 self.assertIn('a', 'bdba')
670 self.assertNotIn('a', 'bdb')
671 self.assertIn('a', 'bdba')
672 self.assertIn('a', ('a',1,None))
673 self.assertIn('a', (1,None,'a'))
674 self.assertIn('a', ('a',1,None))
675 self.assertIn('a', (1,None,'a'))
676 self.assertNotIn('a', ('x',1,'y'))
677 self.assertNotIn('a', ('x',1,None))
678 self.assertNotIn('abcd', 'abcxxxx')
679 self.assertIn('ab', 'abcd')
680 self.assertIn('ab', 'abc')
681 self.assertIn('ab', (1,None,'ab'))
682 self.assertIn('', 'abc')
683 self.assertIn('', '')
684 self.assertIn('', 'abc')
685 self.assertNotIn('\0', 'abc')
686 self.assertIn('\0', '\0abc')
687 self.assertIn('\0', 'abc\0')
688 self.assertIn('a', '\0abc')
689 self.assertIn('asdf', 'asdf')
690 self.assertNotIn('asdf', 'asd')
691 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000692
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000693 self.assertRaises(TypeError, "abc".__contains__)
Walter Dörwald28256f22003-01-19 16:59:20 +0000694
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +0300695 def test_issue18183(self):
696 '\U00010000\U00100000'.lower()
697 '\U00010000\U00100000'.casefold()
698 '\U00010000\U00100000'.upper()
699 '\U00010000\U00100000'.capitalize()
700 '\U00010000\U00100000'.title()
701 '\U00010000\U00100000'.swapcase()
702 '\U00100000'.center(3, '\U00010000')
703 '\U00100000'.ljust(3, '\U00010000')
704 '\U00100000'.rjust(3, '\U00010000')
705
Eric Smith8c663262007-08-25 02:26:07 +0000706 def test_format(self):
707 self.assertEqual(''.format(), '')
708 self.assertEqual('a'.format(), 'a')
709 self.assertEqual('ab'.format(), 'ab')
710 self.assertEqual('a{{'.format(), 'a{')
711 self.assertEqual('a}}'.format(), 'a}')
712 self.assertEqual('{{b'.format(), '{b')
713 self.assertEqual('}}b'.format(), '}b')
714 self.assertEqual('a{{b'.format(), 'a{b')
715
716 # examples from the PEP:
717 import datetime
718 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
719 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
720 "My name is Fred")
721 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
722 "My name is Fred :-{}")
723
724 d = datetime.date(2007, 8, 18)
725 self.assertEqual("The year is {0.year}".format(d),
726 "The year is 2007")
727
Eric Smith8c663262007-08-25 02:26:07 +0000728 # classes we'll use for testing
729 class C:
730 def __init__(self, x=100):
731 self._x = x
732 def __format__(self, spec):
733 return spec
734
735 class D:
736 def __init__(self, x):
737 self.x = x
738 def __format__(self, spec):
739 return str(self.x)
740
741 # class with __str__, but no __format__
742 class E:
743 def __init__(self, x):
744 self.x = x
745 def __str__(self):
746 return 'E(' + self.x + ')'
747
748 # class with __repr__, but no __format__ or __str__
749 class F:
750 def __init__(self, x):
751 self.x = x
752 def __repr__(self):
753 return 'F(' + self.x + ')'
754
755 # class with __format__ that forwards to string, for some format_spec's
756 class G:
757 def __init__(self, x):
758 self.x = x
759 def __str__(self):
760 return "string is " + self.x
761 def __format__(self, format_spec):
762 if format_spec == 'd':
763 return 'G(' + self.x + ')'
764 return object.__format__(self, format_spec)
765
Eric Smith739e2ad2007-08-27 19:07:22 +0000766 class I(datetime.date):
767 def __format__(self, format_spec):
768 return self.strftime(format_spec)
769
Eric Smith185e30c2007-08-30 22:23:08 +0000770 class J(int):
771 def __format__(self, format_spec):
772 return int.__format__(self * 2, format_spec)
773
Eric Smith8c663262007-08-25 02:26:07 +0000774
775 self.assertEqual(''.format(), '')
776 self.assertEqual('abc'.format(), 'abc')
777 self.assertEqual('{0}'.format('abc'), 'abc')
778 self.assertEqual('{0:}'.format('abc'), 'abc')
779# self.assertEqual('{ 0 }'.format('abc'), 'abc')
780 self.assertEqual('X{0}'.format('abc'), 'Xabc')
781 self.assertEqual('{0}X'.format('abc'), 'abcX')
782 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
783 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
784 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
785 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
786 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
787 self.assertEqual('{0}'.format(-15), '-15')
788 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
789 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
790 self.assertEqual('{{'.format(), '{')
791 self.assertEqual('}}'.format(), '}')
792 self.assertEqual('{{}}'.format(), '{}')
793 self.assertEqual('{{x}}'.format(), '{x}')
794 self.assertEqual('{{{0}}}'.format(123), '{123}')
795 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
796 self.assertEqual('}}{{'.format(), '}{')
797 self.assertEqual('}}x{{'.format(), '}x{')
798
Eric Smith7ade6482007-08-26 22:27:13 +0000799 # weird field names
800 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
801 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +0000802 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +0000803
Eric Smith8c663262007-08-25 02:26:07 +0000804 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
805 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
806 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
807 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
808 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
809 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
810 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
811
Eric Smith8c663262007-08-25 02:26:07 +0000812 # strings
813 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
814 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
815 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
816 self.assertEqual('{0:.0s}'.format('abcdef'), '')
817 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
818 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
819 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
820 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
821 self.assertEqual('{0:x<0s}'.format('result'), 'result')
822 self.assertEqual('{0:x<5s}'.format('result'), 'result')
823 self.assertEqual('{0:x<6s}'.format('result'), 'result')
824 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
825 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
826 self.assertEqual('{0: <7s}'.format('result'), 'result ')
827 self.assertEqual('{0:<7s}'.format('result'), 'result ')
828 self.assertEqual('{0:>7s}'.format('result'), ' result')
829 self.assertEqual('{0:>8s}'.format('result'), ' result')
830 self.assertEqual('{0:^8s}'.format('result'), ' result ')
831 self.assertEqual('{0:^9s}'.format('result'), ' result ')
832 self.assertEqual('{0:^10s}'.format('result'), ' result ')
833 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
834 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
835 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
836
837 # format specifiers for user defined type
838 self.assertEqual('{0:abc}'.format(C()), 'abc')
839
Georg Brandld52429f2008-07-04 15:55:02 +0000840 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +0000841 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
842 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
843 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
844 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
845 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
846 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
847 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000848 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +0000849 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
850 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +0000851 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000852 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +0000853 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +0000854 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
855 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +0000856 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +0000857
Eric Smith8c663262007-08-25 02:26:07 +0000858 # test fallback to object.__format__
859 self.assertEqual('{0}'.format({}), '{}')
860 self.assertEqual('{0}'.format([]), '[]')
861 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +0000862
Eric Smith8c663262007-08-25 02:26:07 +0000863 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +0000864 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
865
Eric Smithe4d63172010-09-13 20:48:43 +0000866 msg = 'object.__format__ with a non-empty format string is deprecated'
Eric V. Smithb9cd3532011-03-12 10:08:48 -0500867 with support.check_warnings((msg, DeprecationWarning)):
Eric Smithe4d63172010-09-13 20:48:43 +0000868 self.assertEqual('{0:^10}'.format(E('data')), ' E(data) ')
869 self.assertEqual('{0:^10s}'.format(E('data')), ' E(data) ')
870 self.assertEqual('{0:>15s}'.format(G('data')), ' string is data')
871
Eric Smith739e2ad2007-08-27 19:07:22 +0000872 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
873 month=8,
874 day=27)),
875 "date: 2007-08-27")
876
Eric Smith185e30c2007-08-30 22:23:08 +0000877 # test deriving from a builtin type and overriding __format__
878 self.assertEqual("{0}".format(J(10)), "20")
879
880
Eric Smith8c663262007-08-25 02:26:07 +0000881 # string format specifiers
882 self.assertEqual('{0:}'.format('a'), 'a')
883
884 # computed format specifiers
885 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
886 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
887 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
888 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
889 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
890
891 # test various errors
892 self.assertRaises(ValueError, '{'.format)
893 self.assertRaises(ValueError, '}'.format)
894 self.assertRaises(ValueError, 'a{'.format)
895 self.assertRaises(ValueError, 'a}'.format)
896 self.assertRaises(ValueError, '{a'.format)
897 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +0000898 self.assertRaises(IndexError, '{0}'.format)
899 self.assertRaises(IndexError, '{1}'.format, 'abc')
900 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +0000901 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +0000902 self.assertRaises(ValueError, "abc{0:{}".format)
903 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +0000904 self.assertRaises(IndexError, "{0.}".format)
905 self.assertRaises(ValueError, "{0.}".format, 0)
906 self.assertRaises(IndexError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +0000907 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +0000908 self.assertRaises(KeyError, "{0]}".format)
909 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +0000910 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +0000911 self.assertRaises(ValueError, "{0[0}".format, 0)
912 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
913 self.assertRaises(KeyError, "{c]}".format)
914 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
915 self.assertRaises(ValueError, "{0}}".format, 0)
916 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +0000917 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +0000918 self.assertRaises(ValueError, "{0!}".format, 0)
919 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +0000920 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +0000921 self.assertRaises(IndexError, "{:}".format)
922 self.assertRaises(IndexError, "{:s}".format)
923 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +0000924 big = "23098475029384702983476098230754973209482573"
925 self.assertRaises(ValueError, ("{" + big + "}").format)
926 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +0000927
Eric Smith41669ca2009-05-23 14:23:22 +0000928 # issue 6089
929 self.assertRaises(ValueError, "{0[0]x}".format, [None])
930 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
931
Eric Smith8c663262007-08-25 02:26:07 +0000932 # can't have a replacement on the field name portion
933 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
934
935 # exceed maximum recursion depth
936 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
937 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
938 0, 1, 2, 3, 4, 5, 6, 7)
939
940 # string format spec errors
941 self.assertRaises(ValueError, "{0:-s}".format, '')
942 self.assertRaises(ValueError, format, "", "-")
943 self.assertRaises(ValueError, "{0:=s}".format, '')
944
Eric Smithb1ebcc62008-07-15 13:02:41 +0000945 # Alternate formatting is not supported
946 self.assertRaises(ValueError, format, '', '#')
947 self.assertRaises(ValueError, format, '', '#20')
948
Victor Stinnerece58de2012-04-23 23:36:38 +0200949 # Non-ASCII
950 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
951 'ABC\u0410\u0411\u0412')
952 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
953 'ABC')
954 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
955 '')
956
Benjamin Petersond2b58a92013-05-17 17:34:30 -0500957 self.assertEqual("{[{}]}".format({"{}": 5}), "5")
958
Eric Smith27bbca62010-11-04 17:06:58 +0000959 def test_format_map(self):
960 self.assertEqual(''.format_map({}), '')
961 self.assertEqual('a'.format_map({}), 'a')
962 self.assertEqual('ab'.format_map({}), 'ab')
963 self.assertEqual('a{{'.format_map({}), 'a{')
964 self.assertEqual('a}}'.format_map({}), 'a}')
965 self.assertEqual('{{b'.format_map({}), '{b')
966 self.assertEqual('}}b'.format_map({}), '}b')
967 self.assertEqual('a{{b'.format_map({}), 'a{b')
968
969 # using mappings
970 class Mapping(dict):
971 def __missing__(self, key):
972 return key
973 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
974 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
975
976 class InternalMapping:
977 def __init__(self):
978 self.mapping = {'a': 'hello'}
979 def __getitem__(self, key):
980 return self.mapping[key]
981 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
982
983
Eric Smith27bbca62010-11-04 17:06:58 +0000984 class C:
985 def __init__(self, x=100):
986 self._x = x
987 def __format__(self, spec):
988 return spec
Eric Smith27bbca62010-11-04 17:06:58 +0000989 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
990
991 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -0700992 self.assertRaises(TypeError, ''.format_map)
993 self.assertRaises(TypeError, 'a'.format_map)
994
995 self.assertRaises(ValueError, '{'.format_map, {})
996 self.assertRaises(ValueError, '}'.format_map, {})
997 self.assertRaises(ValueError, 'a{'.format_map, {})
998 self.assertRaises(ValueError, 'a}'.format_map, {})
999 self.assertRaises(ValueError, '{a'.format_map, {})
1000 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +00001001
Eric V. Smith12ebefc2011-07-18 14:03:41 -04001002 # issue #12579: can't supply positional params to format_map
1003 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
1004 self.assertRaises(ValueError, '{}'.format_map, 'a')
1005 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
1006
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001007 def test_format_huge_precision(self):
1008 format_string = ".{}f".format(sys.maxsize + 1)
1009 with self.assertRaises(ValueError):
1010 result = format(2.34, format_string)
1011
1012 def test_format_huge_width(self):
1013 format_string = "{}f".format(sys.maxsize + 1)
1014 with self.assertRaises(ValueError):
1015 result = format(2.34, format_string)
1016
1017 def test_format_huge_item_number(self):
1018 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
1019 with self.assertRaises(ValueError):
1020 result = format_string.format(2.34)
1021
Eric Smith8ec90442009-03-14 12:29:34 +00001022 def test_format_auto_numbering(self):
1023 class C:
1024 def __init__(self, x=100):
1025 self._x = x
1026 def __format__(self, spec):
1027 return spec
1028
1029 self.assertEqual('{}'.format(10), '10')
1030 self.assertEqual('{:5}'.format('s'), 's ')
1031 self.assertEqual('{!r}'.format('s'), "'s'")
1032 self.assertEqual('{._x}'.format(C(10)), '10')
1033 self.assertEqual('{[1]}'.format([1, 2]), '2')
1034 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1035 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1036
1037 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1038 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1039
1040 # can't mix and match numbering and auto-numbering
1041 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1042 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1043 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1044 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1045
1046 # can mix and match auto-numbering and named
1047 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1048 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1049 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1050 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1051
Walter Dörwald28256f22003-01-19 16:59:20 +00001052 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001053 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001054 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001055 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1056 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1057 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1058 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1059 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1060 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 +00001061 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001062 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001063 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1064 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001065 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1066 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001067
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001068 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001069 self.assertEqual('%c' % 0x21483, '\U00021483')
1070 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1071 self.assertEqual('%c' % '\U00021483', '\U00021483')
1072 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001073 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001074 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001075
1076 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001077 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001078 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1079 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1080 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1081 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1082 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1083 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1084 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1085 self.assertEqual('...%s...' % "abc", '...abc...')
1086 self.assertEqual('%*s' % (5,'abc',), ' abc')
1087 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1088 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1089 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1090 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1091 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1092 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001093 class Wrapper:
1094 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001095 return '\u1234'
1096 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001097
Eric Smith741191f2009-05-06 13:08:15 +00001098 # issue 3382
1099 NAN = float('nan')
1100 INF = float('inf')
1101 self.assertEqual('%f' % NAN, 'nan')
1102 self.assertEqual('%F' % NAN, 'NAN')
1103 self.assertEqual('%f' % INF, 'inf')
1104 self.assertEqual('%F' % INF, 'INF')
1105
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001106 # PEP 393
1107 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1108 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1109
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001110 @support.cpython_only
1111 def test_formatting_huge_precision(self):
1112 from _testcapi import INT_MAX
1113 format_string = "%.{}f".format(INT_MAX + 1)
1114 with self.assertRaises(ValueError):
1115 result = format_string % 2.34
1116
1117 def test_formatting_huge_width(self):
1118 format_string = "%{}f".format(sys.maxsize + 1)
1119 with self.assertRaises(ValueError):
1120 result = format_string % 2.34
1121
Ezio Melottiba42fd52011-04-26 06:09:45 +03001122 def test_startswith_endswith_errors(self):
1123 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001124 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001125 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001126 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001127 self.assertIn('str', exc)
1128 self.assertIn('tuple', exc)
1129
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001130 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001131 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001132 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001133 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001134
Walter Dörwald28256f22003-01-19 16:59:20 +00001135 def test_constructor(self):
1136 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1137
1138 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001139 str('unicode remains unicode'),
1140 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001141 )
1142
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001143 class UnicodeSubclass(str):
Marc-André Lemburg79f57832002-12-29 19:44:06 +00001144 pass
Guido van Rossuma831cac2000-03-10 23:23:21 +00001145
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001146 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
1147 subclass = UnicodeSubclass(text)
1148 self.assertEqual(str(subclass), text)
1149 self.assertEqual(len(subclass), len(text))
1150 if text == 'ascii':
1151 self.assertEqual(subclass.encode('ascii'), b'ascii')
1152 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001153
Walter Dörwald28256f22003-01-19 16:59:20 +00001154 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001155 str('strings are converted to unicode'),
1156 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001157 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001158
Walter Dörwald28256f22003-01-19 16:59:20 +00001159 class StringCompat:
1160 def __init__(self, x):
1161 self.x = x
1162 def __str__(self):
1163 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001164
Walter Dörwald28256f22003-01-19 16:59:20 +00001165 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001166 str(StringCompat('__str__ compatible objects are recognized')),
1167 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001168 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001169
Walter Dörwald28256f22003-01-19 16:59:20 +00001170 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001171
Walter Dörwald28256f22003-01-19 16:59:20 +00001172 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001173 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001174 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001175
Guido van Rossume2a383d2007-01-15 16:59:06 +00001176 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001177 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001178
Walter Dörwald28256f22003-01-19 16:59:20 +00001179 # unicode(obj, encoding, error) tests (this maps to
1180 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001181
Walter Dörwald28256f22003-01-19 16:59:20 +00001182 if not sys.platform.startswith('java'):
1183 self.assertRaises(
1184 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001185 str,
1186 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001187 'utf-8',
1188 'strict'
1189 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001190
Walter Dörwald28256f22003-01-19 16:59:20 +00001191 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001192 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001193 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001194 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001195
Walter Dörwald28256f22003-01-19 16:59:20 +00001196 if not sys.platform.startswith('java'):
1197 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001198 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001199 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001200 'utf-8',
1201 'strict'
1202 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001203 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001204 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001205
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001206 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001207
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001208 def test_constructor_keyword_args(self):
1209 """Pass various keyword argument combinations to the constructor."""
1210 # The object argument can be passed as a keyword.
1211 self.assertEqual(str(object='foo'), 'foo')
1212 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1213 # The errors argument without encoding triggers "decode" mode.
1214 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1215 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1216
1217 def test_constructor_defaults(self):
1218 """Check the constructor argument defaults."""
1219 # The object argument defaults to '' or b''.
1220 self.assertEqual(str(), '')
1221 self.assertEqual(str(errors='strict'), '')
1222 utf8_cent = '¢'.encode('utf-8')
1223 # The encoding argument defaults to utf-8.
1224 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1225 # The errors argument defaults to strict.
1226 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1227
Walter Dörwald28256f22003-01-19 16:59:20 +00001228 def test_codecs_utf7(self):
1229 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001230 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1231 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1232 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1233 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1234 ('+', b'+-'),
1235 ('+-', b'+--'),
1236 ('+?', b'+-?'),
1237 ('\?', b'+AFw?'),
1238 ('+?', b'+-?'),
1239 (r'\\?', b'+AFwAXA?'),
1240 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001241 (r'++--', b'+-+---'),
1242 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1243 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001244 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001245
Walter Dörwald28256f22003-01-19 16:59:20 +00001246 for (x, y) in utfTests:
1247 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001248
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001249 # Unpaired surrogates are passed through
1250 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1251 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1252 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1253 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1254 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1255 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1256 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1257 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001258
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001259 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1260 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001261
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001262 # Issue #2242: crash on some Windows/MSVC versions
Antoine Pitrou244651a2009-05-04 18:56:13 +00001263 self.assertEqual(b'+\xc1'.decode('utf-7'), '\xc1')
1264
1265 # Direct encoded characters
1266 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1267 # Optional direct characters
1268 set_o = '!"#$%&*;<=>@[]^_`{|}'
1269 for c in set_d:
1270 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1271 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1272 for c in set_o:
1273 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001274
Walter Dörwald28256f22003-01-19 16:59:20 +00001275 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001276 self.assertEqual(''.encode('utf-8'), b'')
1277 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001278 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1279 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001280 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1281 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001282 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1283 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001284 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001285 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1286 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1287 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1288 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1289 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1290 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001291 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1292 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1293 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1294 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1295 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1296 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1297 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1298 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1299 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1300 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001301 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001302
Walter Dörwald28256f22003-01-19 16:59:20 +00001303 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001304 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1305 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1306 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001307
Walter Dörwald28256f22003-01-19 16:59:20 +00001308 # Other possible utf-8 test cases:
1309 # * strict decoding testing for all of the
1310 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001311
Ezio Melotti57221d02010-07-01 07:32:02 +00001312 def test_utf8_decode_valid_sequences(self):
1313 sequences = [
1314 # single byte
1315 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1316 # 2 bytes
1317 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1318 # 3 bytes
1319 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1320 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1321 # 4 bytes
1322 (b'\xF0\x90\x80\x80', '\U00010000'),
1323 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1324 ]
1325 for seq, res in sequences:
1326 self.assertEqual(seq.decode('utf-8'), res)
1327
1328
1329 def test_utf8_decode_invalid_sequences(self):
1330 # continuation bytes in a sequence of 2, 3, or 4 bytes
1331 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
1332 # start bytes of a 2-byte sequence equivalent to codepoints < 0x7F
1333 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
1334 # start bytes of a 4-byte sequence equivalent to codepoints > 0x10FFFF
1335 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1336 invalid_start_bytes = (
1337 continuation_bytes + invalid_2B_seq_start_bytes +
1338 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1339 )
1340
1341 for byte in invalid_start_bytes:
1342 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1343
1344 for sb in invalid_2B_seq_start_bytes:
1345 for cb in continuation_bytes:
1346 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1347
1348 for sb in invalid_4B_seq_start_bytes:
1349 for cb1 in continuation_bytes[:3]:
1350 for cb3 in continuation_bytes[:3]:
1351 self.assertRaises(UnicodeDecodeError,
1352 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1353
1354 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1355 self.assertRaises(UnicodeDecodeError,
1356 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1357 self.assertRaises(UnicodeDecodeError,
1358 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1359 # surrogates
1360 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1361 self.assertRaises(UnicodeDecodeError,
1362 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1363 self.assertRaises(UnicodeDecodeError,
1364 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1365 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1366 self.assertRaises(UnicodeDecodeError,
1367 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1368 self.assertRaises(UnicodeDecodeError,
1369 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1370 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1371 self.assertRaises(UnicodeDecodeError,
1372 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1373 self.assertRaises(UnicodeDecodeError,
1374 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1375
1376 def test_issue8271(self):
1377 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1378 # only the start byte and the continuation byte(s) are now considered
1379 # invalid, instead of the number of bytes specified by the start byte.
1380 # See http://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
1381 # table 3-8, Row 2) for more information about the algorithm used.
1382 FFFD = '\ufffd'
1383 sequences = [
1384 # invalid start bytes
1385 (b'\x80', FFFD), # continuation byte
1386 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1387 (b'\xc0', FFFD),
1388 (b'\xc0\xc0', FFFD*2),
1389 (b'\xc1', FFFD),
1390 (b'\xc1\xc0', FFFD*2),
1391 (b'\xc0\xc1', FFFD*2),
1392 # with start byte of a 2-byte sequence
1393 (b'\xc2', FFFD), # only the start byte
1394 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001395 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001396 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1397 # with start byte of a 3-byte sequence
1398 (b'\xe1', FFFD), # only the start byte
1399 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1400 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1401 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1402 (b'\xe1\x80', FFFD), # only 1 continuation byte
1403 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1404 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1405 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1406 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1407 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1408 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1409 # with start byte of a 4-byte sequence
1410 (b'\xf1', FFFD), # only the start byte
1411 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1412 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1413 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1414 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1415 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1416 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1417 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1418 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1419 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1420 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1421 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1422 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1423 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1424 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1425 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1426 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1427 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1428 # with invalid start byte of a 4-byte sequence (rfc2279)
1429 (b'\xf5', FFFD), # only the start byte
1430 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1431 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1432 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1433 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1434 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1435 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1436 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1437 # with invalid start byte of a 5-byte sequence (rfc2279)
1438 (b'\xf8', FFFD), # only the start byte
1439 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1440 (b'\xf8\x80', FFFD*2), # only one continuation byte
1441 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1442 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1443 # with invalid start byte of a 6-byte sequence (rfc2279)
1444 (b'\xfc', FFFD), # only the start byte
1445 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1446 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1447 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1448 # invalid start byte
1449 (b'\xfe', FFFD),
1450 (b'\xfe\x80\x80', FFFD*3),
1451 # other sequences
1452 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1453 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1454 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1455 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1456 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1457 ]
1458 for n, (seq, res) in enumerate(sequences):
1459 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1460 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1461 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1462 self.assertEqual(seq.decode('utf-8', 'ignore'),
1463 res.replace('\uFFFD', ''))
1464
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001465 def to_bytestring(self, seq):
1466 return bytes(int(c, 16) for c in seq.split())
1467
1468 def assertCorrectUTF8Decoding(self, seq, res, err):
1469 """
1470 Check that an invalid UTF-8 sequence raises an UnicodeDecodeError when
1471 'strict' is used, returns res when 'replace' is used, and that doesn't
1472 return anything when 'ignore' is used.
1473 """
1474 with self.assertRaises(UnicodeDecodeError) as cm:
1475 seq.decode('utf-8')
1476 exc = cm.exception
1477
1478 self.assertIn(err, str(exc))
1479 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1480 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1481 'aaaa' + res + 'bbbb')
1482 res = res.replace('\ufffd', '')
1483 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1484 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1485 'aaaa' + res + 'bbbb')
1486
1487 def test_invalid_start_byte(self):
1488 """
1489 Test that an 'invalid start byte' error is raised when the first byte
1490 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1491 4-bytes sequence. The invalid start byte is replaced with a single
1492 U+FFFD when errors='replace'.
1493 E.g. <80> is a continuation byte and can appear only after a start byte.
1494 """
1495 FFFD = '\ufffd'
1496 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1497 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1498 'invalid start byte')
1499
1500 def test_unexpected_end_of_data(self):
1501 """
1502 Test that an 'unexpected end of data' error is raised when the string
1503 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1504 enough continuation bytes. The incomplete sequence is replaced with a
1505 single U+FFFD when errors='replace'.
1506 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1507 sequence, but it's followed by only 2 valid continuation bytes and the
1508 last continuation bytes is missing.
1509 Note: the continuation bytes must be all valid, if one of them is
1510 invalid another error will be raised.
1511 """
1512 sequences = [
1513 'C2', 'DF',
1514 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1515 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1516 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1517 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1518 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1519 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1520 ]
1521 FFFD = '\ufffd'
1522 for seq in sequences:
1523 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), '\ufffd',
1524 'unexpected end of data')
1525
1526 def test_invalid_cb_for_2bytes_seq(self):
1527 """
1528 Test that an 'invalid continuation byte' error is raised when the
1529 continuation byte of a 2-bytes sequence is invalid. The start byte
1530 is replaced by a single U+FFFD and the second byte is handled
1531 separately when errors='replace'.
1532 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1533 sequence, but 41 is not a valid continuation byte because it's the
1534 ASCII letter 'A'.
1535 """
1536 FFFD = '\ufffd'
1537 FFFDx2 = FFFD * 2
1538 sequences = [
1539 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1540 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1541 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1542 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1543 ]
1544 for seq, res in sequences:
1545 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1546 'invalid continuation byte')
1547
1548 def test_invalid_cb_for_3bytes_seq(self):
1549 """
1550 Test that an 'invalid continuation byte' error is raised when the
1551 continuation byte(s) of a 3-bytes sequence are invalid. When
1552 errors='replace', if the first continuation byte is valid, the first
1553 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1554 third byte is handled separately, otherwise only the start byte is
1555 replaced with a U+FFFD and the other continuation bytes are handled
1556 separately.
1557 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1558 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1559 because it's the ASCII letter 'A'.
1560 Note: when the start byte is E0 or ED, the valid ranges for the first
1561 continuation byte are limited to A0..BF and 80..9F respectively.
1562 Python 2 used to consider all the bytes in range 80..BF valid when the
1563 start byte was ED. This is fixed in Python 3.
1564 """
1565 FFFD = '\ufffd'
1566 FFFDx2 = FFFD * 2
1567 sequences = [
1568 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1569 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1570 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1571 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1572 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1573 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1574 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1575 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1576 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1577 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1578 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1579 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1580 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1581 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1582 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1583 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1584 ('ED 7F', FFFD+'\x7f'),
1585 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1586 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1587 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1588 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1589 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1590 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1591 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1592 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1593 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1594 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1595 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1596 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1597 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1598 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1599 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1600 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1601 ]
1602 for seq, res in sequences:
1603 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1604 'invalid continuation byte')
1605
1606 def test_invalid_cb_for_4bytes_seq(self):
1607 """
1608 Test that an 'invalid continuation byte' error is raised when the
1609 continuation byte(s) of a 4-bytes sequence are invalid. When
1610 errors='replace',the start byte and all the following valid
1611 continuation bytes are replaced with a single U+FFFD, and all the bytes
1612 starting from the first invalid continuation bytes (included) are
1613 handled separately.
1614 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1615 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1616 because it's the ASCII letter 'A'.
1617 Note: when the start byte is E0 or ED, the valid ranges for the first
1618 continuation byte are limited to A0..BF and 80..9F respectively.
1619 However, when the start byte is ED, Python 2 considers all the bytes
1620 in range 80..BF valid. This is fixed in Python 3.
1621 """
1622 FFFD = '\ufffd'
1623 FFFDx2 = FFFD * 2
1624 sequences = [
1625 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
1626 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
1627 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
1628 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
1629 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
1630 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
1631 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
1632 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
1633 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
1634 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
1635 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
1636 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
1637 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
1638 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
1639 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
1640 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
1641 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
1642 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
1643 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
1644 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
1645 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
1646 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
1647 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
1648 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
1649 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
1650 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
1651 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
1652 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
1653 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
1654 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
1655 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
1656 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
1657 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
1658 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
1659 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
1660 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
1661 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
1662 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
1663 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
1664 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
1665 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
1666 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
1667 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
1668 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
1669 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
1670 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
1671 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
1672 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
1673 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
1674 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
1675 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
1676 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
1677 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
1678 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
1679 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
1680 ]
1681 for seq, res in sequences:
1682 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1683 'invalid continuation byte')
1684
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00001685 def test_codecs_idna(self):
1686 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00001687 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00001688
Walter Dörwald28256f22003-01-19 16:59:20 +00001689 def test_codecs_errors(self):
1690 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001691 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
1692 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00001693 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
1694 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00001695 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
1696 'Andr\202 x'.encode('ascii', errors='replace'))
1697 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
1698 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001699
Walter Dörwald28256f22003-01-19 16:59:20 +00001700 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00001701 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
1702 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
1703 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
1704 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001705
Walter Dörwald28256f22003-01-19 16:59:20 +00001706 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00001707 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00001708
Walter Dörwald28256f22003-01-19 16:59:20 +00001709 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00001710 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00001711
Guido van Rossum9c627722007-08-27 18:31:48 +00001712 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
1713 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001714 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
1715 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00001716
Walter Dörwald28256f22003-01-19 16:59:20 +00001717 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001718 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001719
Alexander Belopolsky942af5a2010-12-04 03:38:46 +00001720 # Error handling (lone surrogate in PyUnicode_TransformDecimalToASCII())
1721 self.assertRaises(UnicodeError, int, "\ud800")
1722 self.assertRaises(UnicodeError, int, "\udf00")
1723 self.assertRaises(UnicodeError, float, "\ud800")
1724 self.assertRaises(UnicodeError, float, "\udf00")
1725 self.assertRaises(UnicodeError, complex, "\ud800")
1726 self.assertRaises(UnicodeError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00001727
Walter Dörwald28256f22003-01-19 16:59:20 +00001728 def test_codecs(self):
1729 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00001730 self.assertEqual('hello'.encode('ascii'), b'hello')
1731 self.assertEqual('hello'.encode('utf-7'), b'hello')
1732 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00001733 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00001734 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
1735 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
1736 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00001737
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00001738 # Default encoding is utf-8
1739 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
1740
Walter Dörwald28256f22003-01-19 16:59:20 +00001741 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001742 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001743 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001744 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
1745 'utf-16-be', 'raw_unicode_escape',
1746 'unicode_escape', 'unicode_internal'):
Victor Stinner040e16e2011-11-15 22:44:05 +01001747 with warnings.catch_warnings():
1748 # unicode-internal has been deprecated
1749 warnings.simplefilter("ignore", DeprecationWarning)
1750
1751 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00001752
Walter Dörwald28256f22003-01-19 16:59:20 +00001753 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001754 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001755 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001756 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001757 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001758
Walter Dörwald28256f22003-01-19 16:59:20 +00001759 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001760 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001761 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001762 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001763 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001764
Walter Dörwald28256f22003-01-19 16:59:20 +00001765 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01001766 with warnings.catch_warnings():
1767 # unicode-internal has been deprecated
1768 warnings.simplefilter("ignore", DeprecationWarning)
1769
1770 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
1771 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
1772 'raw_unicode_escape',
1773 'unicode_escape', 'unicode_internal'):
1774 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001775
Antoine Pitrou51f66482011-11-11 13:35:44 +01001776 # UTF-8 must be roundtrip safe for all code points
1777 # (except surrogates, which are forbidden).
1778 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02001779 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00001780 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001781 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001782
Walter Dörwald28256f22003-01-19 16:59:20 +00001783 def test_codecs_charmap(self):
1784 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00001785 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00001786 for encoding in (
1787 'cp037', 'cp1026',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00001788 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
1789 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Walter Dörwald28256f22003-01-19 16:59:20 +00001790 'cp863', 'cp865', 'cp866',
1791 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
1792 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
1793 'iso8859_7', 'iso8859_9', 'koi8_r', 'latin_1',
1794 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00001795
Walter Dörwald28256f22003-01-19 16:59:20 +00001796 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
1797 'cp1256', 'cp1257', 'cp1258',
1798 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00001799
Walter Dörwald28256f22003-01-19 16:59:20 +00001800 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
1801 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00001802
Walter Dörwald28256f22003-01-19 16:59:20 +00001803 ### These have undefined mappings:
1804 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00001805
Walter Dörwald28256f22003-01-19 16:59:20 +00001806 ### These fail the round-trip:
1807 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00001808
Walter Dörwald28256f22003-01-19 16:59:20 +00001809 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001810 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001811
Walter Dörwald28256f22003-01-19 16:59:20 +00001812 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00001813 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00001814 for encoding in (
1815 'cp037', 'cp1026',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00001816 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
1817 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Walter Dörwald28256f22003-01-19 16:59:20 +00001818 'cp863', 'cp865', 'cp866',
1819 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
1820 'iso8859_2', 'iso8859_4', 'iso8859_5',
1821 'iso8859_9', 'koi8_r', 'latin_1',
1822 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00001823
Walter Dörwald28256f22003-01-19 16:59:20 +00001824 ### These have undefined mappings:
1825 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
1826 #'cp1256', 'cp1257', 'cp1258',
1827 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
1828 #'iso8859_3', 'iso8859_6', 'iso8859_7',
1829 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00001830
Walter Dörwald28256f22003-01-19 16:59:20 +00001831 ### These fail the round-trip:
1832 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00001833
Walter Dörwald28256f22003-01-19 16:59:20 +00001834 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001835 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001836
Walter Dörwald28256f22003-01-19 16:59:20 +00001837 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001838 self.assertEqual(("abc" "def"), "abcdef")
1839 self.assertEqual(("abc" "def"), "abcdef")
1840 self.assertEqual(("abc" "def"), "abcdef")
1841 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
1842 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00001843
Walter Dörwald28256f22003-01-19 16:59:20 +00001844 def test_printing(self):
1845 class BitBucket:
1846 def write(self, text):
1847 pass
Fred Drake004d5e62000-10-23 17:22:08 +00001848
Walter Dörwald28256f22003-01-19 16:59:20 +00001849 out = BitBucket()
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001850 print('abc', file=out)
1851 print('abc', 'def', file=out)
1852 print('abc', 'def', file=out)
1853 print('abc', 'def', file=out)
1854 print('abc\n', file=out)
1855 print('abc\n', end=' ', file=out)
1856 print('abc\n', end=' ', file=out)
1857 print('def\n', file=out)
1858 print('def\n', file=out)
Fred Drake004d5e62000-10-23 17:22:08 +00001859
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00001860 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001861 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00001862 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
1863 self.assertEqual(x, y)
1864
Florent Xiclunaa87b3832010-09-13 02:28:18 +00001865 y = br'\U00100000'
1866 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
1867 self.assertEqual(x, y)
1868 y = br'\U00010000'
1869 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
1870 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00001871
Florent Xiclunaa87b3832010-09-13 02:28:18 +00001872 try:
1873 br'\U11111111'.decode("raw-unicode-escape")
1874 except UnicodeDecodeError as e:
1875 self.assertEqual(e.start, 0)
1876 self.assertEqual(e.end, 10)
1877 else:
1878 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00001879
Brett Cannonc3647ac2005-04-26 03:45:26 +00001880 def test_conversion(self):
1881 # Make sure __unicode__() works properly
1882 class Foo0:
1883 def __str__(self):
1884 return "foo"
1885
1886 class Foo1:
Guido van Rossum98297ee2007-11-06 21:34:58 +00001887 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001888 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001889
1890 class Foo2(object):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001891 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001892 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001893
1894 class Foo3(object):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001895 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001896 return "foo"
1897
1898 class Foo4(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001899 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001900 return "foo"
1901
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001902 class Foo5(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00001903 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001904 return "foo"
1905
1906 class Foo6(str):
1907 def __str__(self):
1908 return "foos"
1909
Guido van Rossum98297ee2007-11-06 21:34:58 +00001910 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001911 return "foou"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001912
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001913 class Foo7(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001914 def __str__(self):
1915 return "foos"
Guido van Rossum98297ee2007-11-06 21:34:58 +00001916 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001917 return "foou"
Brett Cannonc3647ac2005-04-26 03:45:26 +00001918
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001919 class Foo8(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001920 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001921 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00001922 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001923 return self
1924
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001925 class Foo9(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001926 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00001927 return "not unicode"
1928
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001929 self.assertEqual(str(Foo0()), "foo")
1930 self.assertEqual(str(Foo1()), "foo")
1931 self.assertEqual(str(Foo2()), "foo")
1932 self.assertEqual(str(Foo3()), "foo")
1933 self.assertEqual(str(Foo4("bar")), "foo")
1934 self.assertEqual(str(Foo5("bar")), "foo")
1935 self.assertEqual(str(Foo6("bar")), "foou")
1936 self.assertEqual(str(Foo7("bar")), "foou")
1937 self.assertEqual(str(Foo8("foo")), "foofoo")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001938 self.assertEqual(str(Foo9("foo")), "not unicode")
Brett Cannonc3647ac2005-04-26 03:45:26 +00001939
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001940 def test_unicode_repr(self):
1941 class s1:
1942 def __repr__(self):
1943 return '\\n'
1944
1945 class s2:
1946 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001947 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001948
1949 self.assertEqual(repr(s1()), '\\n')
1950 self.assertEqual(repr(s2()), '\\n')
1951
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00001952 def test_printable_repr(self):
1953 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00001954 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00001955
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001956 def test_expandtabs_overflows_gracefully(self):
1957 # This test only affects 32-bit platforms because expandtabs can only take
1958 # an int as the max value, not a 64-bit C long. If expandtabs is changed
1959 # to take a 64-bit long, this test should apply to all platforms.
Christian Heimesa37d4c62007-12-04 23:02:19 +00001960 if sys.maxsize > (1 << 32) or struct.calcsize('P') != 4:
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001961 return
Christian Heimesa37d4c62007-12-04 23:02:19 +00001962 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001963
Victor Stinner1d972ad2011-10-07 13:31:46 +02001964 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02001965 def test_expandtabs_optimization(self):
1966 s = 'abc'
1967 self.assertIs(s.expandtabs(), s)
1968
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00001969 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001970 if struct.calcsize('P') == 8:
1971 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02001972 ascii_struct_size = 48
1973 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001974 else:
1975 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02001976 ascii_struct_size = 24
1977 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001978
1979 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
1980 code = ord(char)
1981 if code < 0x100:
1982 char_size = 1 # sizeof(Py_UCS1)
1983 struct_size = ascii_struct_size
1984 elif code < 0x10000:
1985 char_size = 2 # sizeof(Py_UCS2)
1986 struct_size = compact_struct_size
1987 else:
1988 char_size = 4 # sizeof(Py_UCS4)
1989 struct_size = compact_struct_size
1990 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02001991 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
1992 # be allocatable, given enough memory.
1993 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001994 alloc = lambda: char * maxlen
1995 self.assertRaises(MemoryError, alloc)
1996 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00001997
Victor Stinner808fc0a2010-03-22 12:50:40 +00001998 def test_format_subclass(self):
1999 class S(str):
2000 def __str__(self):
2001 return '__str__ overridden'
2002 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002003 self.assertEqual("%s" % s, '__str__ overridden')
2004 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00002005
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002006 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00002007 def test_from_format(self):
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002008 support.import_module('ctypes')
Victor Stinner6d970f42011-03-02 00:04:25 +00002009 from ctypes import (pythonapi, py_object,
2010 c_int, c_long, c_longlong, c_ssize_t,
2011 c_uint, c_ulong, c_ulonglong, c_size_t)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002012 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002013 _PyUnicode_FromFormat = getattr(pythonapi, name)
2014 _PyUnicode_FromFormat.restype = py_object
2015
2016 def PyUnicode_FromFormat(format, *args):
2017 cargs = tuple(
2018 py_object(arg) if isinstance(arg, str) else arg
2019 for arg in args)
2020 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00002021
2022 # ascii format, non-ascii argument
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002023 text = PyUnicode_FromFormat(b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002024 self.assertEqual(text, 'ascii\x7f=unicode\xe9')
2025
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002026 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2027 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002028 self.assertRaisesRegex(ValueError,
Victor Stinner1205f272010-09-11 00:54:47 +00002029 '^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002030 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002031 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002032
Victor Stinner96865452011-03-01 23:44:09 +00002033 # test "%c"
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002034 self.assertEqual(PyUnicode_FromFormat(b'%c', c_int(0xabcd)), '\uabcd')
2035 self.assertEqual(PyUnicode_FromFormat(b'%c', c_int(0x10ffff)), '\U0010ffff')
Serhiy Storchaka8eeae212013-06-23 20:12:14 +03002036 with self.assertRaises(OverflowError):
2037 PyUnicode_FromFormat(b'%c', c_int(0x110000))
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +03002038 # Issue #18183
2039 self.assertEqual(
2040 PyUnicode_FromFormat(b'%c%c', c_int(0x10000), c_int(0x100000)),
2041 '\U00010000\U00100000')
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002042
Victor Stinner96865452011-03-01 23:44:09 +00002043 # test "%"
2044 self.assertEqual(PyUnicode_FromFormat(b'%'), '%')
2045 self.assertEqual(PyUnicode_FromFormat(b'%%'), '%')
2046 self.assertEqual(PyUnicode_FromFormat(b'%%s'), '%s')
2047 self.assertEqual(PyUnicode_FromFormat(b'[%%]'), '[%]')
2048 self.assertEqual(PyUnicode_FromFormat(b'%%%s', b'abc'), '%abc')
2049
Victor Stinner6d970f42011-03-02 00:04:25 +00002050 # test integer formats (%i, %d, %u)
Victor Stinner96865452011-03-01 23:44:09 +00002051 self.assertEqual(PyUnicode_FromFormat(b'%03i', c_int(10)), '010')
2052 self.assertEqual(PyUnicode_FromFormat(b'%0.4i', c_int(10)), '0010')
Victor Stinner6d970f42011-03-02 00:04:25 +00002053 self.assertEqual(PyUnicode_FromFormat(b'%i', c_int(-123)), '-123')
2054 self.assertEqual(PyUnicode_FromFormat(b'%li', c_long(-123)), '-123')
2055 self.assertEqual(PyUnicode_FromFormat(b'%lli', c_longlong(-123)), '-123')
2056 self.assertEqual(PyUnicode_FromFormat(b'%zi', c_ssize_t(-123)), '-123')
Victor Stinner96865452011-03-01 23:44:09 +00002057
Victor Stinner6d970f42011-03-02 00:04:25 +00002058 self.assertEqual(PyUnicode_FromFormat(b'%d', c_int(-123)), '-123')
2059 self.assertEqual(PyUnicode_FromFormat(b'%ld', c_long(-123)), '-123')
2060 self.assertEqual(PyUnicode_FromFormat(b'%lld', c_longlong(-123)), '-123')
2061 self.assertEqual(PyUnicode_FromFormat(b'%zd', c_ssize_t(-123)), '-123')
Victor Stinner96865452011-03-01 23:44:09 +00002062
Victor Stinner6d970f42011-03-02 00:04:25 +00002063 self.assertEqual(PyUnicode_FromFormat(b'%u', c_uint(123)), '123')
2064 self.assertEqual(PyUnicode_FromFormat(b'%lu', c_ulong(123)), '123')
2065 self.assertEqual(PyUnicode_FromFormat(b'%llu', c_ulonglong(123)), '123')
2066 self.assertEqual(PyUnicode_FromFormat(b'%zu', c_size_t(123)), '123')
2067
2068 # test %A
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002069 text = PyUnicode_FromFormat(b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002070 self.assertEqual(text, r"%A:'abc\xe9\uabcd\U0010ffff'")
2071
Victor Stinner6d970f42011-03-02 00:04:25 +00002072 # test %V
Victor Stinner2512a8b2011-03-01 22:46:52 +00002073 text = PyUnicode_FromFormat(b'repr=%V', 'abc', b'xyz')
2074 self.assertEqual(text, 'repr=abc')
2075
2076 # Test string decode from parameter of %s using utf-8.
2077 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2078 # '\u4eba\u6c11'
2079 text = PyUnicode_FromFormat(b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
2080 self.assertEqual(text, 'repr=\u4eba\u6c11')
2081
2082 #Test replace error handler.
2083 text = PyUnicode_FromFormat(b'repr=%V', None, b'abc\xff')
2084 self.assertEqual(text, 'repr=abc\ufffd')
2085
Victor Stinner6d970f42011-03-02 00:04:25 +00002086 # not supported: copy the raw format string. these tests are just here
2087 # to check for crashs and should not be considered as specifications
2088 self.assertEqual(PyUnicode_FromFormat(b'%1%s', b'abc'), '%s')
2089 self.assertEqual(PyUnicode_FromFormat(b'%1abc'), '%1abc')
2090 self.assertEqual(PyUnicode_FromFormat(b'%+i', c_int(10)), '%+i')
2091 self.assertEqual(PyUnicode_FromFormat(b'%.%s', b'abc'), '%.%s')
2092
Victor Stinner1c24bd02010-10-02 11:03:13 +00002093 # Test PyUnicode_AsWideChar()
2094 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002095 from _testcapi import unicode_aswidechar
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002096 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002097 from ctypes import c_wchar, sizeof
2098
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002099 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002100 self.assertEqual(size, 2)
2101 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002102
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002103 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002104 self.assertEqual(size, 3)
2105 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002106
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002107 wchar, size = unicode_aswidechar('abc', 4)
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', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002112 self.assertEqual(size, 3)
2113 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002114
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002115 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002116 self.assertEqual(size, 7)
2117 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002118
Victor Stinner5593d8a2010-10-02 11:11:27 +00002119 nonbmp = chr(0x10ffff)
2120 if sizeof(c_wchar) == 2:
2121 buflen = 3
2122 nchar = 2
2123 else: # sizeof(c_wchar) == 4
2124 buflen = 2
2125 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002126 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002127 self.assertEqual(size, nchar)
2128 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002129
Victor Stinner1c24bd02010-10-02 11:03:13 +00002130 # Test PyUnicode_AsWideCharString()
2131 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002132 from _testcapi import unicode_aswidecharstring
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002133 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002134 from ctypes import c_wchar, sizeof
2135
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002136 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002137 self.assertEqual(size, 3)
2138 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002139
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002140 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002141 self.assertEqual(size, 7)
2142 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002143
Victor Stinner5593d8a2010-10-02 11:11:27 +00002144 nonbmp = chr(0x10ffff)
2145 if sizeof(c_wchar) == 2:
2146 nchar = 2
2147 else: # sizeof(c_wchar) == 4
2148 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002149 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002150 self.assertEqual(size, nchar)
2151 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002152
Benjamin Peterson811c2f12011-09-30 21:31:21 -04002153 def test_subclass_add(self):
2154 class S(str):
2155 def __add__(self, o):
2156 return "3"
2157 self.assertEqual(S("4") + S("5"), "3")
2158 class S(str):
2159 def __iadd__(self, o):
2160 return "3"
2161 s = S("1")
2162 s += "4"
2163 self.assertEqual(s, "3")
2164
Victor Stinner42bf7752011-11-21 22:52:58 +01002165 def test_encode_decimal(self):
2166 from _testcapi import unicode_encodedecimal
2167 self.assertEqual(unicode_encodedecimal('123'),
2168 b'123')
2169 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2170 b'3.14')
2171 self.assertEqual(unicode_encodedecimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2172 b' 3.14 ')
2173 self.assertRaises(UnicodeEncodeError,
2174 unicode_encodedecimal, "123\u20ac", "strict")
Victor Stinner6345be92011-11-25 20:09:01 +01002175 self.assertRaisesRegex(
2176 ValueError,
2177 "^'decimal' codec can't encode character",
2178 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002179
2180 def test_transform_decimal(self):
2181 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
2182 self.assertEqual(transform_decimal('123'),
2183 '123')
2184 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2185 '3.14')
2186 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2187 "\N{EM SPACE}3.14\N{EN SPACE}")
2188 self.assertEqual(transform_decimal('123\u20ac'),
2189 '123\u20ac')
2190
Victor Stinnerc814a382011-11-22 01:06:15 +01002191 def test_getnewargs(self):
2192 text = 'abc'
2193 args = text.__getnewargs__()
2194 self.assertIsNot(args[0], text)
2195 self.assertEqual(args[0], text)
2196 self.assertEqual(len(args), 1)
2197
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002198 def test_resize(self):
2199 for length in range(1, 100, 7):
2200 # generate a fresh string (refcount=1)
2201 text = 'a' * length + 'b'
2202
Ezio Melotti51e243f2013-02-20 23:56:01 +02002203 with support.check_warnings(('unicode_internal codec has been '
2204 'deprecated', DeprecationWarning)):
2205 # fill wstr internal field
2206 abc = text.encode('unicode_internal')
2207 self.assertEqual(abc.decode('unicode_internal'), text)
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002208
Ezio Melotti51e243f2013-02-20 23:56:01 +02002209 # resize text: wstr field must be cleared and then recomputed
2210 text += 'c'
2211 abcdef = text.encode('unicode_internal')
2212 self.assertNotEqual(abc, abcdef)
2213 self.assertEqual(abcdef.decode('unicode_internal'), text)
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002214
Victor Stinner1c24bd02010-10-02 11:03:13 +00002215
Eric Smitha1eac722011-01-29 11:15:35 +00002216class StringModuleTest(unittest.TestCase):
2217 def test_formatter_parser(self):
2218 def parse(format):
2219 return list(_string.formatter_parser(format))
2220
2221 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2222 self.assertEqual(formatter, [
2223 ('prefix ', '2', '', 's'),
2224 ('xxx', '0', '^+10.3f', None),
2225 ('', 'obj.attr', '', 's'),
2226 (' ', 'z[0]', '10', 's'),
2227 ])
2228
2229 formatter = parse("prefix {} suffix")
2230 self.assertEqual(formatter, [
2231 ('prefix ', '', '', None),
2232 (' suffix', None, None, None),
2233 ])
2234
2235 formatter = parse("str")
2236 self.assertEqual(formatter, [
2237 ('str', None, None, None),
2238 ])
2239
2240 formatter = parse("")
2241 self.assertEqual(formatter, [])
2242
2243 formatter = parse("{0}")
2244 self.assertEqual(formatter, [
2245 ('', '0', '', None),
2246 ])
2247
2248 self.assertRaises(TypeError, _string.formatter_parser, 1)
2249
2250 def test_formatter_field_name_split(self):
2251 def split(name):
2252 items = list(_string.formatter_field_name_split(name))
2253 items[1] = list(items[1])
2254 return items
2255 self.assertEqual(split("obj"), ["obj", []])
2256 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
2257 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
2258 self.assertEqual(split("obj.arg[key1][key2]"), [
2259 "obj",
2260 [(True, 'arg'),
2261 (False, 'key1'),
2262 (False, 'key2'),
2263 ]])
2264 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
2265
2266
Walter Dörwald28256f22003-01-19 16:59:20 +00002267if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02002268 unittest.main()