blob: 36b72e40c7e4193962c6aceac9a1194344fcd369 [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
Serhiy Storchaka9c0e1f82016-10-08 22:45:38 +03007"""
Victor Stinner040e16e2011-11-15 22:44:05 +01008import _string
Guido van Rossum98297ee2007-11-06 21:34:58 +00009import codecs
Victor Stinner9fc59812013-04-08 22:34:43 +020010import itertools
Ethan Furman9ab74802014-03-21 06:38:46 -070011import operator
Guido van Rossum98297ee2007-11-06 21:34:58 +000012import struct
13import sys
14import unittest
15import warnings
Benjamin Petersonee8712c2008-05-20 21:35:26 +000016from test import support, string_tests
Guido van Rossuma831cac2000-03-10 23:23:21 +000017
Neal Norwitz430f68b2005-11-24 22:00:56 +000018# Error handling (bad decoder return)
19def search_function(encoding):
20 def decode1(input, errors="strict"):
21 return 42 # not a tuple
22 def encode1(input, errors="strict"):
23 return 42 # not a tuple
24 def encode2(input, errors="strict"):
25 return (42, 42) # no unicode
26 def decode2(input, errors="strict"):
27 return (42, 42) # no unicode
28 if encoding=="test.unicode1":
29 return (encode1, decode1, None, None)
30 elif encoding=="test.unicode2":
31 return (encode2, decode2, None, None)
32 else:
33 return None
34codecs.register(search_function)
35
Victor Stinner9fc59812013-04-08 22:34:43 +020036def duplicate_string(text):
37 """
38 Try to get a fresh clone of the specified text:
39 new object with a reference count of 1.
40
41 This is a best-effort: latin1 single letters and the empty
42 string ('') are singletons and cannot be cloned.
43 """
44 return text.encode().decode()
45
Serhiy Storchaka15095802015-11-25 15:47:01 +020046class StrSubclass(str):
47 pass
48
Brett Cannon226b2302010-03-20 22:22:22 +000049class UnicodeTest(string_tests.CommonTest,
50 string_tests.MixinStrUnicodeUserStringTest,
Ezio Melotti0dceb562013-01-10 07:43:26 +020051 string_tests.MixinStrUnicodeTest,
52 unittest.TestCase):
Brett Cannon226b2302010-03-20 22:22:22 +000053
Guido van Rossumef87d6e2007-05-02 19:09:54 +000054 type2test = str
Walter Dörwald0fd583c2003-02-21 12:53:50 +000055
56 def checkequalnofix(self, result, object, methodname, *args):
57 method = getattr(object, methodname)
58 realresult = method(*args)
59 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000060 self.assertTrue(type(realresult) is type(result))
Walter Dörwald0fd583c2003-02-21 12:53:50 +000061
62 # if the original is returned make sure that
63 # this doesn't happen with subclasses
64 if realresult is object:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000065 class usub(str):
Walter Dörwald0fd583c2003-02-21 12:53:50 +000066 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000067 return 'usub(%r)' % str.__repr__(self)
Walter Dörwald0fd583c2003-02-21 12:53:50 +000068 object = usub(object)
69 method = getattr(object, methodname)
70 realresult = method(*args)
71 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000072 self.assertTrue(object is not realresult)
Guido van Rossume4874ae2001-09-21 15:36:41 +000073
Jeremy Hylton504de6b2003-10-06 05:08:26 +000074 def test_literals(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000075 self.assertEqual('\xff', '\u00ff')
76 self.assertEqual('\uffff', '\U0000ffff')
Guido van Rossum36e0a922007-07-20 04:05:57 +000077 self.assertRaises(SyntaxError, eval, '\'\\Ufffffffe\'')
78 self.assertRaises(SyntaxError, eval, '\'\\Uffffffff\'')
79 self.assertRaises(SyntaxError, eval, '\'\\U%08x\'' % 0x110000)
Benjamin Petersoncd76c272008-04-05 15:09:30 +000080 # raw strings should not have unicode escapes
Florent Xiclunaa87b3832010-09-13 02:28:18 +000081 self.assertNotEqual(r"\u0020", " ")
Jeremy Hylton504de6b2003-10-06 05:08:26 +000082
Georg Brandl559e5d72008-06-11 18:37:52 +000083 def test_ascii(self):
84 if not sys.platform.startswith('java'):
85 # Test basic sanity of repr()
86 self.assertEqual(ascii('abc'), "'abc'")
87 self.assertEqual(ascii('ab\\c'), "'ab\\\\c'")
88 self.assertEqual(ascii('ab\\'), "'ab\\\\'")
89 self.assertEqual(ascii('\\c'), "'\\\\c'")
90 self.assertEqual(ascii('\\'), "'\\\\'")
91 self.assertEqual(ascii('\n'), "'\\n'")
92 self.assertEqual(ascii('\r'), "'\\r'")
93 self.assertEqual(ascii('\t'), "'\\t'")
94 self.assertEqual(ascii('\b'), "'\\x08'")
95 self.assertEqual(ascii("'\""), """'\\'"'""")
96 self.assertEqual(ascii("'\""), """'\\'"'""")
97 self.assertEqual(ascii("'"), '''"'"''')
98 self.assertEqual(ascii('"'), """'"'""")
99 latin1repr = (
100 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
101 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
102 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
103 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
104 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
105 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
106 "\\x9c\\x9d\\x9e\\x9f\\xa0\\xa1\\xa2\\xa3\\xa4\\xa5\\xa6\\xa7\\xa8\\xa9"
107 "\\xaa\\xab\\xac\\xad\\xae\\xaf\\xb0\\xb1\\xb2\\xb3\\xb4\\xb5\\xb6\\xb7"
108 "\\xb8\\xb9\\xba\\xbb\\xbc\\xbd\\xbe\\xbf\\xc0\\xc1\\xc2\\xc3\\xc4\\xc5"
109 "\\xc6\\xc7\\xc8\\xc9\\xca\\xcb\\xcc\\xcd\\xce\\xcf\\xd0\\xd1\\xd2\\xd3"
110 "\\xd4\\xd5\\xd6\\xd7\\xd8\\xd9\\xda\\xdb\\xdc\\xdd\\xde\\xdf\\xe0\\xe1"
111 "\\xe2\\xe3\\xe4\\xe5\\xe6\\xe7\\xe8\\xe9\\xea\\xeb\\xec\\xed\\xee\\xef"
112 "\\xf0\\xf1\\xf2\\xf3\\xf4\\xf5\\xf6\\xf7\\xf8\\xf9\\xfa\\xfb\\xfc\\xfd"
113 "\\xfe\\xff'")
114 testrepr = ascii(''.join(map(chr, range(256))))
115 self.assertEqual(testrepr, latin1repr)
116 # Test ascii works on wide unicode escapes without overflow.
117 self.assertEqual(ascii("\U00010000" * 39 + "\uffff" * 4096),
118 ascii("\U00010000" * 39 + "\uffff" * 4096))
119
120 class WrongRepr:
121 def __repr__(self):
122 return b'byte-repr'
123 self.assertRaises(TypeError, ascii, WrongRepr())
124
Walter Dörwald28256f22003-01-19 16:59:20 +0000125 def test_repr(self):
126 if not sys.platform.startswith('java'):
127 # Test basic sanity of repr()
Walter Dörwald67e83882007-05-05 12:26:27 +0000128 self.assertEqual(repr('abc'), "'abc'")
129 self.assertEqual(repr('ab\\c'), "'ab\\\\c'")
130 self.assertEqual(repr('ab\\'), "'ab\\\\'")
131 self.assertEqual(repr('\\c'), "'\\\\c'")
132 self.assertEqual(repr('\\'), "'\\\\'")
133 self.assertEqual(repr('\n'), "'\\n'")
134 self.assertEqual(repr('\r'), "'\\r'")
135 self.assertEqual(repr('\t'), "'\\t'")
136 self.assertEqual(repr('\b'), "'\\x08'")
137 self.assertEqual(repr("'\""), """'\\'"'""")
138 self.assertEqual(repr("'\""), """'\\'"'""")
139 self.assertEqual(repr("'"), '''"'"''')
140 self.assertEqual(repr('"'), """'"'""")
Walter Dörwald28256f22003-01-19 16:59:20 +0000141 latin1repr = (
Walter Dörwald67e83882007-05-05 12:26:27 +0000142 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
Walter Dörwald28256f22003-01-19 16:59:20 +0000143 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
144 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
145 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
146 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
147 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
Georg Brandl559e5d72008-06-11 18:37:52 +0000148 "\\x9c\\x9d\\x9e\\x9f\\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9"
149 "\xaa\xab\xac\\xad\xae\xaf\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7"
150 "\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf\xc0\xc1\xc2\xc3\xc4\xc5"
151 "\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf\xd0\xd1\xd2\xd3"
152 "\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf\xe0\xe1"
153 "\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef"
154 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd"
155 "\xfe\xff'")
Guido van Rossum805365e2007-05-07 22:24:25 +0000156 testrepr = repr(''.join(map(chr, range(256))))
Walter Dörwald28256f22003-01-19 16:59:20 +0000157 self.assertEqual(testrepr, latin1repr)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000158 # Test repr works on wide unicode escapes without overflow.
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000159 self.assertEqual(repr("\U00010000" * 39 + "\uffff" * 4096),
160 repr("\U00010000" * 39 + "\uffff" * 4096))
Walter Dörwald28256f22003-01-19 16:59:20 +0000161
Georg Brandl559e5d72008-06-11 18:37:52 +0000162 class WrongRepr:
163 def __repr__(self):
164 return b'byte-repr'
165 self.assertRaises(TypeError, repr, WrongRepr())
166
Guido van Rossum49d6b072006-08-17 21:11:47 +0000167 def test_iterators(self):
168 # Make sure unicode objects have an __iter__ method
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000169 it = "\u1111\u2222\u3333".__iter__()
170 self.assertEqual(next(it), "\u1111")
171 self.assertEqual(next(it), "\u2222")
172 self.assertEqual(next(it), "\u3333")
Georg Brandla18af4e2007-04-21 15:47:16 +0000173 self.assertRaises(StopIteration, next, it)
Guido van Rossum49d6b072006-08-17 21:11:47 +0000174
Walter Dörwald28256f22003-01-19 16:59:20 +0000175 def test_count(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000176 string_tests.CommonTest.test_count(self)
177 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000178 self.checkequalnofix(3, 'aaa', 'count', 'a')
179 self.checkequalnofix(0, 'aaa', 'count', 'b')
180 self.checkequalnofix(3, 'aaa', 'count', 'a')
181 self.checkequalnofix(0, 'aaa', 'count', 'b')
182 self.checkequalnofix(0, 'aaa', 'count', 'b')
183 self.checkequalnofix(1, 'aaa', 'count', 'a', -1)
184 self.checkequalnofix(3, 'aaa', 'count', 'a', -10)
185 self.checkequalnofix(2, 'aaa', 'count', 'a', 0, -1)
186 self.checkequalnofix(0, 'aaa', 'count', 'a', 0, -10)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200187 # test mixed kinds
188 self.checkequal(10, '\u0102' + 'a' * 10, 'count', 'a')
189 self.checkequal(10, '\U00100304' + 'a' * 10, 'count', 'a')
190 self.checkequal(10, '\U00100304' + '\u0102' * 10, 'count', '\u0102')
191 self.checkequal(0, 'a' * 10, 'count', '\u0102')
192 self.checkequal(0, 'a' * 10, 'count', '\U00100304')
193 self.checkequal(0, '\u0102' * 10, 'count', '\U00100304')
194 self.checkequal(10, '\u0102' + 'a_' * 10, 'count', 'a_')
195 self.checkequal(10, '\U00100304' + 'a_' * 10, 'count', 'a_')
196 self.checkequal(10, '\U00100304' + '\u0102_' * 10, 'count', '\u0102_')
197 self.checkequal(0, 'a' * 10, 'count', 'a\u0102')
198 self.checkequal(0, 'a' * 10, 'count', 'a\U00100304')
199 self.checkequal(0, '\u0102' * 10, 'count', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000200
Walter Dörwald28256f22003-01-19 16:59:20 +0000201 def test_find(self):
Antoine Pitrouc0bbe7d2011-10-08 22:41:35 +0200202 string_tests.CommonTest.test_find(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200203 # test implementation details of the memchr fast path
204 self.checkequal(100, 'a' * 100 + '\u0102', 'find', '\u0102')
205 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0201')
206 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0120')
207 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0220')
208 self.checkequal(100, 'a' * 100 + '\U00100304', 'find', '\U00100304')
209 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00100204')
210 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00102004')
211 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000212 self.checkequalnofix(0, 'abcdefghiabc', 'find', 'abc')
213 self.checkequalnofix(9, 'abcdefghiabc', 'find', 'abc', 1)
214 self.checkequalnofix(-1, 'abcdefghiabc', 'find', 'def', 4)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000215
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000216 self.assertRaises(TypeError, 'hello'.find)
217 self.assertRaises(TypeError, 'hello'.find, 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200218 # test mixed kinds
219 self.checkequal(100, '\u0102' * 100 + 'a', 'find', 'a')
220 self.checkequal(100, '\U00100304' * 100 + 'a', 'find', 'a')
221 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'find', '\u0102')
222 self.checkequal(-1, 'a' * 100, 'find', '\u0102')
223 self.checkequal(-1, 'a' * 100, 'find', '\U00100304')
224 self.checkequal(-1, '\u0102' * 100, 'find', '\U00100304')
225 self.checkequal(100, '\u0102' * 100 + 'a_', 'find', 'a_')
226 self.checkequal(100, '\U00100304' * 100 + 'a_', 'find', 'a_')
227 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'find', '\u0102_')
228 self.checkequal(-1, 'a' * 100, 'find', 'a\u0102')
229 self.checkequal(-1, 'a' * 100, 'find', 'a\U00100304')
230 self.checkequal(-1, '\u0102' * 100, 'find', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000231
Walter Dörwald28256f22003-01-19 16:59:20 +0000232 def test_rfind(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000233 string_tests.CommonTest.test_rfind(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200234 # test implementation details of the memrchr fast path
235 self.checkequal(0, '\u0102' + 'a' * 100 , 'rfind', '\u0102')
236 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0201')
237 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0120')
238 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0220')
239 self.checkequal(0, '\U00100304' + 'a' * 100, 'rfind', '\U00100304')
240 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00100204')
241 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00102004')
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000242 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000243 self.checkequalnofix(9, 'abcdefghiabc', 'rfind', 'abc')
244 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
245 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200246 # test mixed kinds
247 self.checkequal(0, 'a' + '\u0102' * 100, 'rfind', 'a')
248 self.checkequal(0, 'a' + '\U00100304' * 100, 'rfind', 'a')
249 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rfind', '\u0102')
250 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102')
251 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304')
252 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304')
253 self.checkequal(0, '_a' + '\u0102' * 100, 'rfind', '_a')
254 self.checkequal(0, '_a' + '\U00100304' * 100, 'rfind', '_a')
255 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rfind', '_\u0102')
256 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102a')
257 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304a')
258 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304\u0102')
Guido van Rossum8b264542000-12-19 02:22:31 +0000259
Walter Dörwald28256f22003-01-19 16:59:20 +0000260 def test_index(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000261 string_tests.CommonTest.test_index(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000262 self.checkequalnofix(0, 'abcdefghiabc', 'index', '')
263 self.checkequalnofix(3, 'abcdefghiabc', 'index', 'def')
264 self.checkequalnofix(0, 'abcdefghiabc', 'index', 'abc')
265 self.checkequalnofix(9, 'abcdefghiabc', 'index', 'abc', 1)
266 self.assertRaises(ValueError, 'abcdefghiabc'.index, 'hib')
267 self.assertRaises(ValueError, 'abcdefghiab'.index, 'abc', 1)
268 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', 8)
269 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200270 # test mixed kinds
271 self.checkequal(100, '\u0102' * 100 + 'a', 'index', 'a')
272 self.checkequal(100, '\U00100304' * 100 + 'a', 'index', 'a')
273 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'index', '\u0102')
274 self.assertRaises(ValueError, ('a' * 100).index, '\u0102')
275 self.assertRaises(ValueError, ('a' * 100).index, '\U00100304')
276 self.assertRaises(ValueError, ('\u0102' * 100).index, '\U00100304')
277 self.checkequal(100, '\u0102' * 100 + 'a_', 'index', 'a_')
278 self.checkequal(100, '\U00100304' * 100 + 'a_', 'index', 'a_')
279 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'index', '\u0102_')
280 self.assertRaises(ValueError, ('a' * 100).index, 'a\u0102')
281 self.assertRaises(ValueError, ('a' * 100).index, 'a\U00100304')
282 self.assertRaises(ValueError, ('\u0102' * 100).index, '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000283
Walter Dörwald28256f22003-01-19 16:59:20 +0000284 def test_rindex(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000285 string_tests.CommonTest.test_rindex(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000286 self.checkequalnofix(12, 'abcdefghiabc', 'rindex', '')
287 self.checkequalnofix(3, 'abcdefghiabc', 'rindex', 'def')
288 self.checkequalnofix(9, 'abcdefghiabc', 'rindex', 'abc')
289 self.checkequalnofix(0, 'abcdefghiabc', 'rindex', 'abc', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000290
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000291 self.assertRaises(ValueError, 'abcdefghiabc'.rindex, 'hib')
292 self.assertRaises(ValueError, 'defghiabc'.rindex, 'def', 1)
293 self.assertRaises(ValueError, 'defghiabc'.rindex, 'abc', 0, -1)
294 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, 8)
295 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200296 # test mixed kinds
297 self.checkequal(0, 'a' + '\u0102' * 100, 'rindex', 'a')
298 self.checkequal(0, 'a' + '\U00100304' * 100, 'rindex', 'a')
299 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rindex', '\u0102')
300 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102')
301 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304')
302 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304')
303 self.checkequal(0, '_a' + '\u0102' * 100, 'rindex', '_a')
304 self.checkequal(0, '_a' + '\U00100304' * 100, 'rindex', '_a')
305 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rindex', '_\u0102')
306 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102a')
307 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304a')
308 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304\u0102')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000309
Georg Brandlceee0772007-11-27 23:48:05 +0000310 def test_maketrans_translate(self):
311 # these work with plain translate()
312 self.checkequalnofix('bbbc', 'abababc', 'translate',
313 {ord('a'): None})
314 self.checkequalnofix('iiic', 'abababc', 'translate',
315 {ord('a'): None, ord('b'): ord('i')})
316 self.checkequalnofix('iiix', 'abababc', 'translate',
317 {ord('a'): None, ord('b'): ord('i'), ord('c'): 'x'})
318 self.checkequalnofix('c', 'abababc', 'translate',
319 {ord('a'): None, ord('b'): ''})
320 self.checkequalnofix('xyyx', 'xzx', 'translate',
321 {ord('z'): 'yy'})
Victor Stinner5a29f252014-04-05 00:17:51 +0200322
Georg Brandlceee0772007-11-27 23:48:05 +0000323 # this needs maketrans()
324 self.checkequalnofix('abababc', 'abababc', 'translate',
325 {'b': '<i>'})
326 tbl = self.type2test.maketrans({'a': None, 'b': '<i>'})
327 self.checkequalnofix('<i><i><i>c', 'abababc', 'translate', tbl)
328 # test alternative way of calling maketrans()
329 tbl = self.type2test.maketrans('abc', 'xyz', 'd')
330 self.checkequalnofix('xyzzy', 'abdcdcbdddd', 'translate', tbl)
331
Victor Stinner5a29f252014-04-05 00:17:51 +0200332 # various tests switching from ASCII to latin1 or the opposite;
333 # same length, remove a letter, or replace with a longer string.
334 self.assertEqual("[a]".translate(str.maketrans('a', 'X')),
335 "[X]")
336 self.assertEqual("[a]".translate(str.maketrans({'a': 'X'})),
337 "[X]")
338 self.assertEqual("[a]".translate(str.maketrans({'a': None})),
339 "[]")
340 self.assertEqual("[a]".translate(str.maketrans({'a': 'XXX'})),
341 "[XXX]")
342 self.assertEqual("[a]".translate(str.maketrans({'a': '\xe9'})),
343 "[\xe9]")
Victor Stinner33798672016-03-01 21:59:58 +0100344 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '123'})),
345 "x123")
346 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '\xe9'})),
347 "x\xe9")
348
349 # test non-ASCII (don't take the fast-path)
Victor Stinner5a29f252014-04-05 00:17:51 +0200350 self.assertEqual("[a]".translate(str.maketrans({'a': '<\xe9>'})),
351 "[<\xe9>]")
352 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': 'a'})),
353 "[a]")
354 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': None})),
355 "[]")
Victor Stinner33798672016-03-01 21:59:58 +0100356 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': '123'})),
357 "[123]")
358 self.assertEqual("[a\xe9]".translate(str.maketrans({'a': '<\u20ac>'})),
359 "[<\u20ac>\xe9]")
Victor Stinner5a29f252014-04-05 00:17:51 +0200360
Victor Stinner4ff33af2014-04-05 11:56:37 +0200361 # invalid Unicode characters
362 invalid_char = 0x10ffff+1
363 for before in "a\xe9\u20ac\U0010ffff":
364 mapping = str.maketrans({before: invalid_char})
365 text = "[%s]" % before
366 self.assertRaises(ValueError, text.translate, mapping)
367
368 # errors
Georg Brandlceee0772007-11-27 23:48:05 +0000369 self.assertRaises(TypeError, self.type2test.maketrans)
370 self.assertRaises(ValueError, self.type2test.maketrans, 'abc', 'defg')
371 self.assertRaises(TypeError, self.type2test.maketrans, 2, 'def')
372 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 2)
373 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 'def', 2)
374 self.assertRaises(ValueError, self.type2test.maketrans, {'xy': 2})
375 self.assertRaises(TypeError, self.type2test.maketrans, {(1,): 2})
Guido van Rossuma831cac2000-03-10 23:23:21 +0000376
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000377 self.assertRaises(TypeError, 'hello'.translate)
Walter Dörwald67e83882007-05-05 12:26:27 +0000378 self.assertRaises(TypeError, 'abababc'.translate, 'abc', 'xyz')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000379
Walter Dörwald28256f22003-01-19 16:59:20 +0000380 def test_split(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000381 string_tests.CommonTest.test_split(self)
Andrew M. Kuchlingeddd68d2002-03-29 16:21:44 +0000382
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200383 # test mixed kinds
384 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
385 left *= 9
386 right *= 9
387 for delim in ('c', '\u0102', '\U00010302'):
388 self.checkequal([left + right],
389 left + right, 'split', delim)
390 self.checkequal([left, right],
391 left + delim + right, 'split', delim)
392 self.checkequal([left + right],
393 left + right, 'split', delim * 2)
394 self.checkequal([left, right],
395 left + delim * 2 + right, 'split', delim *2)
396
397 def test_rsplit(self):
398 string_tests.CommonTest.test_rsplit(self)
399 # test mixed kinds
400 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
401 left *= 9
402 right *= 9
403 for delim in ('c', '\u0102', '\U00010302'):
404 self.checkequal([left + right],
405 left + right, 'rsplit', delim)
406 self.checkequal([left, right],
407 left + delim + right, 'rsplit', delim)
408 self.checkequal([left + right],
409 left + right, 'rsplit', delim * 2)
410 self.checkequal([left, right],
411 left + delim * 2 + right, 'rsplit', delim *2)
412
413 def test_partition(self):
414 string_tests.MixinStrUnicodeUserStringTest.test_partition(self)
415 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300416 self.checkequal(('ABCDEFGH', '', ''), 'ABCDEFGH', 'partition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200417 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
418 left *= 9
419 right *= 9
420 for delim in ('c', '\u0102', '\U00010302'):
421 self.checkequal((left + right, '', ''),
422 left + right, 'partition', delim)
423 self.checkequal((left, delim, right),
424 left + delim + right, 'partition', delim)
425 self.checkequal((left + right, '', ''),
426 left + right, 'partition', delim * 2)
427 self.checkequal((left, delim * 2, right),
428 left + delim * 2 + right, 'partition', delim * 2)
429
430 def test_rpartition(self):
431 string_tests.MixinStrUnicodeUserStringTest.test_rpartition(self)
432 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300433 self.checkequal(('', '', 'ABCDEFGH'), 'ABCDEFGH', 'rpartition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200434 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
435 left *= 9
436 right *= 9
437 for delim in ('c', '\u0102', '\U00010302'):
438 self.checkequal(('', '', left + right),
439 left + right, 'rpartition', delim)
440 self.checkequal((left, delim, right),
441 left + delim + right, 'rpartition', delim)
442 self.checkequal(('', '', left + right),
443 left + right, 'rpartition', delim * 2)
444 self.checkequal((left, delim * 2, right),
445 left + delim * 2 + right, 'rpartition', delim * 2)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000446
Walter Dörwald28256f22003-01-19 16:59:20 +0000447 def test_join(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000448 string_tests.MixinStrUnicodeUserStringTest.test_join(self)
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +0000449
Guido van Rossumf1044292007-09-27 18:01:22 +0000450 class MyWrapper:
451 def __init__(self, sval): self.sval = sval
452 def __str__(self): return self.sval
453
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000454 # mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000455 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
456 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
457 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
458 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
459 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
460 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
461 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
Guido van Rossum98297ee2007-11-06 21:34:58 +0000462 self.checkraises(TypeError, ' ', 'join', ['1', '2', MyWrapper('foo')])
463 self.checkraises(TypeError, ' ', 'join', ['1', '2', '3', bytes()])
464 self.checkraises(TypeError, ' ', 'join', [1, 2, 3])
465 self.checkraises(TypeError, ' ', 'join', ['1', '2', 3])
Marc-André Lemburge5034372000-08-08 08:04:29 +0000466
Martin Panterb71c0952017-01-12 11:54:59 +0000467 @unittest.skipIf(sys.maxsize > 2**32,
468 'needs too much memory on a 64-bit platform')
469 def test_join_overflow(self):
470 size = int(sys.maxsize**0.5) + 1
471 seq = ('A' * size,) * size
472 self.assertRaises(OverflowError, ''.join, seq)
473
Walter Dörwald28256f22003-01-19 16:59:20 +0000474 def test_replace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000475 string_tests.CommonTest.test_replace(self)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000476
Walter Dörwald28256f22003-01-19 16:59:20 +0000477 # method call forwarded from str implementation because of unicode argument
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000478 self.checkequalnofix('one@two!three!', 'one!two!three!', 'replace', '!', '@', 1)
479 self.assertRaises(TypeError, 'replace'.replace, "r", 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200480 # test mixed kinds
481 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
482 left *= 9
483 right *= 9
484 for delim in ('c', '\u0102', '\U00010302'):
485 for repl in ('d', '\u0103', '\U00010303'):
486 self.checkequal(left + right,
487 left + right, 'replace', delim, repl)
488 self.checkequal(left + repl + right,
489 left + delim + right,
490 'replace', delim, repl)
491 self.checkequal(left + right,
492 left + right, 'replace', delim * 2, repl)
493 self.checkequal(left + repl + right,
494 left + delim * 2 + right,
495 'replace', delim * 2, repl)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000496
Victor Stinner59de0ee2011-10-07 10:01:28 +0200497 @support.cpython_only
498 def test_replace_id(self):
Victor Stinner1d972ad2011-10-07 13:31:46 +0200499 pattern = 'abc'
500 text = 'abc def'
501 self.assertIs(text.replace(pattern, pattern), text)
Victor Stinner59de0ee2011-10-07 10:01:28 +0200502
Guido van Rossum98297ee2007-11-06 21:34:58 +0000503 def test_bytes_comparison(self):
Brett Cannon226b2302010-03-20 22:22:22 +0000504 with support.check_warnings():
505 warnings.simplefilter('ignore', BytesWarning)
506 self.assertEqual('abc' == b'abc', False)
507 self.assertEqual('abc' != b'abc', True)
508 self.assertEqual('abc' == bytearray(b'abc'), False)
509 self.assertEqual('abc' != bytearray(b'abc'), True)
Brett Cannon40430012007-10-22 20:24:51 +0000510
Walter Dörwald28256f22003-01-19 16:59:20 +0000511 def test_comparison(self):
512 # Comparisons:
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000513 self.assertEqual('abc', 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000514 self.assertTrue('abcd' > 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000515 self.assertTrue('abc' < 'abcd')
Walter Dörwald28256f22003-01-19 16:59:20 +0000516
517 if 0:
518 # Move these tests to a Unicode collation module test...
519 # Testing UTF-16 code point order comparisons...
520
521 # No surrogates, no fixup required.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000522 self.assertTrue('\u0061' < '\u20ac')
Walter Dörwald28256f22003-01-19 16:59:20 +0000523 # Non surrogate below surrogate value, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000524 self.assertTrue('\u0061' < '\ud800\udc02')
Walter Dörwald28256f22003-01-19 16:59:20 +0000525
526 # Non surrogate above surrogate value, fixup required
527 def test_lecmp(s, s2):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000528 self.assertTrue(s < s2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000529
530 def test_fixup(s):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000531 s2 = '\ud800\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000532 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000533 s2 = '\ud900\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000534 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000535 s2 = '\uda00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000536 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000537 s2 = '\udb00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000538 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000539 s2 = '\ud800\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000540 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000541 s2 = '\ud900\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000542 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000543 s2 = '\uda00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000544 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000545 s2 = '\udb00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000546 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000547 s2 = '\ud800\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000548 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000549 s2 = '\ud900\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000550 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000551 s2 = '\uda00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000552 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000553 s2 = '\udb00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000554 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000555 s2 = '\ud800\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000556 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000557 s2 = '\ud900\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000558 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000559 s2 = '\uda00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000560 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000561 s2 = '\udb00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000562 test_lecmp(s, s2)
563
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000564 test_fixup('\ue000')
565 test_fixup('\uff61')
Walter Dörwald28256f22003-01-19 16:59:20 +0000566
567 # Surrogates on both sides, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000568 self.assertTrue('\ud800\udc02' < '\ud84d\udc56')
Walter Dörwald28256f22003-01-19 16:59:20 +0000569
Walter Dörwald28256f22003-01-19 16:59:20 +0000570 def test_islower(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000571 super().test_islower()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000572 self.checkequalnofix(False, '\u1FFc', 'islower')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500573 self.assertFalse('\u2167'.islower())
574 self.assertTrue('\u2177'.islower())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300575 # non-BMP, uppercase
576 self.assertFalse('\U00010401'.islower())
577 self.assertFalse('\U00010427'.islower())
578 # non-BMP, lowercase
579 self.assertTrue('\U00010429'.islower())
580 self.assertTrue('\U0001044E'.islower())
581 # non-BMP, non-cased
582 self.assertFalse('\U0001F40D'.islower())
583 self.assertFalse('\U0001F46F'.islower())
Walter Dörwald28256f22003-01-19 16:59:20 +0000584
585 def test_isupper(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000586 super().test_isupper()
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000587 if not sys.platform.startswith('java'):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000588 self.checkequalnofix(False, '\u1FFc', 'isupper')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500589 self.assertTrue('\u2167'.isupper())
590 self.assertFalse('\u2177'.isupper())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300591 # non-BMP, uppercase
592 self.assertTrue('\U00010401'.isupper())
593 self.assertTrue('\U00010427'.isupper())
594 # non-BMP, lowercase
595 self.assertFalse('\U00010429'.isupper())
596 self.assertFalse('\U0001044E'.isupper())
597 # non-BMP, non-cased
598 self.assertFalse('\U0001F40D'.isupper())
599 self.assertFalse('\U0001F46F'.isupper())
Walter Dörwald28256f22003-01-19 16:59:20 +0000600
601 def test_istitle(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000602 super().test_istitle()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000603 self.checkequalnofix(True, '\u1FFc', 'istitle')
604 self.checkequalnofix(True, 'Greek \u1FFcitlecases ...', 'istitle')
Walter Dörwald28256f22003-01-19 16:59:20 +0000605
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300606 # non-BMP, uppercase + lowercase
607 self.assertTrue('\U00010401\U00010429'.istitle())
608 self.assertTrue('\U00010427\U0001044E'.istitle())
609 # apparently there are no titlecased (Lt) non-BMP chars in Unicode 6
610 for ch in ['\U00010429', '\U0001044E', '\U0001F40D', '\U0001F46F']:
611 self.assertFalse(ch.istitle(), '{!a} is not title'.format(ch))
612
Walter Dörwald28256f22003-01-19 16:59:20 +0000613 def test_isspace(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000614 super().test_isspace()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000615 self.checkequalnofix(True, '\u2000', 'isspace')
616 self.checkequalnofix(True, '\u200a', 'isspace')
617 self.checkequalnofix(False, '\u2014', 'isspace')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300618 # apparently there are no non-BMP spaces chars in Unicode 6
619 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
620 '\U0001F40D', '\U0001F46F']:
621 self.assertFalse(ch.isspace(), '{!a} is not space.'.format(ch))
622
623 def test_isalnum(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000624 super().test_isalnum()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300625 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
626 '\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
627 self.assertTrue(ch.isalnum(), '{!a} is alnum.'.format(ch))
Walter Dörwald28256f22003-01-19 16:59:20 +0000628
629 def test_isalpha(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000630 super().test_isalpha()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000631 self.checkequalnofix(True, '\u1FFc', 'isalpha')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300632 # non-BMP, cased
633 self.assertTrue('\U00010401'.isalpha())
634 self.assertTrue('\U00010427'.isalpha())
635 self.assertTrue('\U00010429'.isalpha())
636 self.assertTrue('\U0001044E'.isalpha())
637 # non-BMP, non-cased
638 self.assertFalse('\U0001F40D'.isalpha())
639 self.assertFalse('\U0001F46F'.isalpha())
Walter Dörwald28256f22003-01-19 16:59:20 +0000640
INADA Naokia49ac992018-01-27 14:06:21 +0900641 def test_isascii(self):
642 super().test_isascii()
643 self.assertFalse("\u20ac".isascii())
644 self.assertFalse("\U0010ffff".isascii())
645
Walter Dörwald28256f22003-01-19 16:59:20 +0000646 def test_isdecimal(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000647 self.checkequalnofix(False, '', 'isdecimal')
648 self.checkequalnofix(False, 'a', 'isdecimal')
649 self.checkequalnofix(True, '0', 'isdecimal')
650 self.checkequalnofix(False, '\u2460', 'isdecimal') # CIRCLED DIGIT ONE
651 self.checkequalnofix(False, '\xbc', 'isdecimal') # VULGAR FRACTION ONE QUARTER
652 self.checkequalnofix(True, '\u0660', 'isdecimal') # ARABIC-INDIC DIGIT ZERO
653 self.checkequalnofix(True, '0123456789', 'isdecimal')
654 self.checkequalnofix(False, '0123456789a', 'isdecimal')
Walter Dörwald28256f22003-01-19 16:59:20 +0000655
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000656 self.checkraises(TypeError, 'abc', 'isdecimal', 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000657
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300658 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
659 '\U0001F40D', '\U0001F46F', '\U00011065', '\U0001F107']:
660 self.assertFalse(ch.isdecimal(), '{!a} is not decimal.'.format(ch))
661 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0']:
662 self.assertTrue(ch.isdecimal(), '{!a} is decimal.'.format(ch))
663
Walter Dörwald28256f22003-01-19 16:59:20 +0000664 def test_isdigit(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000665 super().test_isdigit()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000666 self.checkequalnofix(True, '\u2460', 'isdigit')
667 self.checkequalnofix(False, '\xbc', 'isdigit')
668 self.checkequalnofix(True, '\u0660', 'isdigit')
Walter Dörwald28256f22003-01-19 16:59:20 +0000669
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300670 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
671 '\U0001F40D', '\U0001F46F', '\U00011065']:
672 self.assertFalse(ch.isdigit(), '{!a} is not a digit.'.format(ch))
673 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
674 self.assertTrue(ch.isdigit(), '{!a} is a digit.'.format(ch))
675
Walter Dörwald28256f22003-01-19 16:59:20 +0000676 def test_isnumeric(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000677 self.checkequalnofix(False, '', 'isnumeric')
678 self.checkequalnofix(False, 'a', 'isnumeric')
679 self.checkequalnofix(True, '0', 'isnumeric')
680 self.checkequalnofix(True, '\u2460', 'isnumeric')
681 self.checkequalnofix(True, '\xbc', 'isnumeric')
682 self.checkequalnofix(True, '\u0660', 'isnumeric')
683 self.checkequalnofix(True, '0123456789', 'isnumeric')
684 self.checkequalnofix(False, '0123456789a', 'isnumeric')
Walter Dörwald28256f22003-01-19 16:59:20 +0000685
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000686 self.assertRaises(TypeError, "abc".isnumeric, 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000687
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300688 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
689 '\U0001F40D', '\U0001F46F']:
690 self.assertFalse(ch.isnumeric(), '{!a} is not numeric.'.format(ch))
691 for ch in ['\U00011065', '\U0001D7F6', '\U00011066',
692 '\U000104A0', '\U0001F107']:
693 self.assertTrue(ch.isnumeric(), '{!a} is numeric.'.format(ch))
694
Martin v. Löwis47383402007-08-15 07:32:56 +0000695 def test_isidentifier(self):
696 self.assertTrue("a".isidentifier())
697 self.assertTrue("Z".isidentifier())
698 self.assertTrue("_".isidentifier())
699 self.assertTrue("b0".isidentifier())
700 self.assertTrue("bc".isidentifier())
701 self.assertTrue("b_".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000702 self.assertTrue("µ".isidentifier())
Benjamin Petersonf413b802011-08-12 22:17:18 -0500703 self.assertTrue("𝔘𝔫𝔦𝔠𝔬𝔡𝔢".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000704
705 self.assertFalse(" ".isidentifier())
706 self.assertFalse("[".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000707 self.assertFalse("©".isidentifier())
Georg Brandld52429f2008-07-04 15:55:02 +0000708 self.assertFalse("0".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000709
Georg Brandl559e5d72008-06-11 18:37:52 +0000710 def test_isprintable(self):
711 self.assertTrue("".isprintable())
Benjamin Peterson09832742009-03-26 17:15:46 +0000712 self.assertTrue(" ".isprintable())
Georg Brandl559e5d72008-06-11 18:37:52 +0000713 self.assertTrue("abcdefg".isprintable())
714 self.assertFalse("abcdefg\n".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000715 # some defined Unicode character
716 self.assertTrue("\u0374".isprintable())
717 # undefined character
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000718 self.assertFalse("\u0378".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000719 # single surrogate character
Georg Brandl559e5d72008-06-11 18:37:52 +0000720 self.assertFalse("\ud800".isprintable())
721
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300722 self.assertTrue('\U0001F46F'.isprintable())
723 self.assertFalse('\U000E0020'.isprintable())
724
725 def test_surrogates(self):
726 for s in ('a\uD800b\uDFFF', 'a\uDFFFb\uD800',
727 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
728 self.assertTrue(s.islower())
729 self.assertFalse(s.isupper())
730 self.assertFalse(s.istitle())
731 for s in ('A\uD800B\uDFFF', 'A\uDFFFB\uD800',
732 'A\uD800B\uDFFFA', 'A\uDFFFB\uD800A'):
733 self.assertFalse(s.islower())
734 self.assertTrue(s.isupper())
735 self.assertTrue(s.istitle())
736
737 for meth_name in ('islower', 'isupper', 'istitle'):
738 meth = getattr(str, meth_name)
739 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF'):
740 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
741
742 for meth_name in ('isalpha', 'isalnum', 'isdigit', 'isspace',
743 'isdecimal', 'isnumeric',
744 'isidentifier', 'isprintable'):
745 meth = getattr(str, meth_name)
746 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF',
747 'a\uD800b\uDFFF', 'a\uDFFFb\uD800',
748 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
749 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
750
751
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300752 def test_lower(self):
753 string_tests.CommonTest.test_lower(self)
754 self.assertEqual('\U00010427'.lower(), '\U0001044F')
755 self.assertEqual('\U00010427\U00010427'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300756 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300757 self.assertEqual('\U00010427\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300758 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300759 self.assertEqual('X\U00010427x\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300760 'x\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500761 self.assertEqual('fi'.lower(), 'fi')
762 self.assertEqual('\u0130'.lower(), '\u0069\u0307')
763 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
764 self.assertEqual('\u03a3'.lower(), '\u03c3')
765 self.assertEqual('\u0345\u03a3'.lower(), '\u0345\u03c3')
766 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
767 self.assertEqual('A\u0345\u03a3a'.lower(), 'a\u0345\u03c3a')
768 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
769 self.assertEqual('A\u03a3\u0345'.lower(), 'a\u03c2\u0345')
770 self.assertEqual('\u03a3\u0345 '.lower(), '\u03c3\u0345 ')
771 self.assertEqual('\U0008fffe'.lower(), '\U0008fffe')
772 self.assertEqual('\u2177'.lower(), '\u2177')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300773
Benjamin Petersond5890c82012-01-14 13:23:30 -0500774 def test_casefold(self):
775 self.assertEqual('hello'.casefold(), 'hello')
776 self.assertEqual('hELlo'.casefold(), 'hello')
777 self.assertEqual('ß'.casefold(), 'ss')
778 self.assertEqual('fi'.casefold(), 'fi')
779 self.assertEqual('\u03a3'.casefold(), '\u03c3')
780 self.assertEqual('A\u0345\u03a3'.casefold(), 'a\u03b9\u03c3')
Benjamin Peterson4eda9372012-08-05 15:05:34 -0700781 self.assertEqual('\u00b5'.casefold(), '\u03bc')
Benjamin Petersond5890c82012-01-14 13:23:30 -0500782
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300783 def test_upper(self):
784 string_tests.CommonTest.test_upper(self)
785 self.assertEqual('\U0001044F'.upper(), '\U00010427')
786 self.assertEqual('\U0001044F\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300787 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300788 self.assertEqual('\U00010427\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300789 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300790 self.assertEqual('X\U00010427x\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300791 'X\U00010427X\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500792 self.assertEqual('fi'.upper(), 'FI')
793 self.assertEqual('\u0130'.upper(), '\u0130')
794 self.assertEqual('\u03a3'.upper(), '\u03a3')
795 self.assertEqual('ß'.upper(), 'SS')
796 self.assertEqual('\u1fd2'.upper(), '\u0399\u0308\u0300')
797 self.assertEqual('\U0008fffe'.upper(), '\U0008fffe')
798 self.assertEqual('\u2177'.upper(), '\u2167')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300799
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300800 def test_capitalize(self):
801 string_tests.CommonTest.test_capitalize(self)
802 self.assertEqual('\U0001044F'.capitalize(), '\U00010427')
803 self.assertEqual('\U0001044F\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300804 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300805 self.assertEqual('\U00010427\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300806 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300807 self.assertEqual('\U0001044F\U00010427'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300808 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300809 self.assertEqual('X\U00010427x\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300810 'X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500811 self.assertEqual('h\u0130'.capitalize(), 'H\u0069\u0307')
812 exp = '\u0399\u0308\u0300\u0069\u0307'
813 self.assertEqual('\u1fd2\u0130'.capitalize(), exp)
Kingsley Mb015fc82019-04-12 16:35:39 +0100814 self.assertEqual('finnish'.capitalize(), 'Finnish')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500815 self.assertEqual('A\u0345\u03a3'.capitalize(), 'A\u0345\u03c2')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300816
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300817 def test_title(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000818 super().test_title()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300819 self.assertEqual('\U0001044F'.title(), '\U00010427')
820 self.assertEqual('\U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300821 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300822 self.assertEqual('\U0001044F\U0001044F \U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300823 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300824 self.assertEqual('\U00010427\U0001044F \U00010427\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300825 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300826 self.assertEqual('\U0001044F\U00010427 \U0001044F\U00010427'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300827 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300828 self.assertEqual('X\U00010427x\U0001044F X\U00010427x\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300829 'X\U0001044Fx\U0001044F X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500830 self.assertEqual('fiNNISH'.title(), 'Finnish')
831 self.assertEqual('A\u03a3 \u1fa1xy'.title(), 'A\u03c2 \u1fa9xy')
832 self.assertEqual('A\u03a3A'.title(), 'A\u03c3a')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300833
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300834 def test_swapcase(self):
835 string_tests.CommonTest.test_swapcase(self)
836 self.assertEqual('\U0001044F'.swapcase(), '\U00010427')
837 self.assertEqual('\U00010427'.swapcase(), '\U0001044F')
838 self.assertEqual('\U0001044F\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300839 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300840 self.assertEqual('\U00010427\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300841 '\U0001044F\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300842 self.assertEqual('\U0001044F\U00010427'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300843 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300844 self.assertEqual('X\U00010427x\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300845 'x\U0001044FX\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500846 self.assertEqual('fi'.swapcase(), 'FI')
847 self.assertEqual('\u0130'.swapcase(), '\u0069\u0307')
848 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
849 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
850 self.assertEqual('\u0345\u03a3'.swapcase(), '\u0399\u03c3')
851 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
852 self.assertEqual('A\u0345\u03a3a'.swapcase(), 'a\u0399\u03c3A')
853 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
854 self.assertEqual('A\u03a3\u0345'.swapcase(), 'a\u03c2\u0399')
855 self.assertEqual('\u03a3\u0345 '.swapcase(), '\u03c3\u0399 ')
856 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
857 self.assertEqual('ß'.swapcase(), 'SS')
858 self.assertEqual('\u1fd2'.swapcase(), '\u0399\u0308\u0300')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300859
Ezio Melottif84e01d2013-07-08 17:48:29 +0200860 def test_center(self):
861 string_tests.CommonTest.test_center(self)
862 self.assertEqual('x'.center(2, '\U0010FFFF'),
863 'x\U0010FFFF')
864 self.assertEqual('x'.center(3, '\U0010FFFF'),
865 '\U0010FFFFx\U0010FFFF')
866 self.assertEqual('x'.center(4, '\U0010FFFF'),
867 '\U0010FFFFx\U0010FFFF\U0010FFFF')
868
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400869 @unittest.skipUnless(sys.maxsize == 2**31 - 1, "requires 32-bit system")
Benjamin Peterson4d856892014-10-15 13:39:46 -0400870 @support.cpython_only
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400871 def test_case_operation_overflow(self):
872 # Issue #22643
Serhiy Storchaka411dfd82015-11-07 16:54:48 +0200873 size = 2**32//12 + 1
874 try:
875 s = "ü" * size
876 except MemoryError:
877 self.skipTest('no enough memory (%.0f MiB required)' % (size / 2**20))
878 try:
879 self.assertRaises(OverflowError, s.upper)
880 finally:
881 del s
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400882
Walter Dörwald28256f22003-01-19 16:59:20 +0000883 def test_contains(self):
884 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000885 self.assertIn('a', 'abdb')
886 self.assertIn('a', 'bdab')
887 self.assertIn('a', 'bdaba')
888 self.assertIn('a', 'bdba')
889 self.assertNotIn('a', 'bdb')
890 self.assertIn('a', 'bdba')
891 self.assertIn('a', ('a',1,None))
892 self.assertIn('a', (1,None,'a'))
893 self.assertIn('a', ('a',1,None))
894 self.assertIn('a', (1,None,'a'))
895 self.assertNotIn('a', ('x',1,'y'))
896 self.assertNotIn('a', ('x',1,None))
897 self.assertNotIn('abcd', 'abcxxxx')
898 self.assertIn('ab', 'abcd')
899 self.assertIn('ab', 'abc')
900 self.assertIn('ab', (1,None,'ab'))
901 self.assertIn('', 'abc')
902 self.assertIn('', '')
903 self.assertIn('', 'abc')
904 self.assertNotIn('\0', 'abc')
905 self.assertIn('\0', '\0abc')
906 self.assertIn('\0', 'abc\0')
907 self.assertIn('a', '\0abc')
908 self.assertIn('asdf', 'asdf')
909 self.assertNotIn('asdf', 'asd')
910 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000911
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000912 self.assertRaises(TypeError, "abc".__contains__)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200913 # test mixed kinds
914 for fill in ('a', '\u0100', '\U00010300'):
915 fill *= 9
916 for delim in ('c', '\u0102', '\U00010302'):
917 self.assertNotIn(delim, fill)
918 self.assertIn(delim, fill + delim)
919 self.assertNotIn(delim * 2, fill)
920 self.assertIn(delim * 2, fill + delim * 2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000921
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +0300922 def test_issue18183(self):
923 '\U00010000\U00100000'.lower()
924 '\U00010000\U00100000'.casefold()
925 '\U00010000\U00100000'.upper()
926 '\U00010000\U00100000'.capitalize()
927 '\U00010000\U00100000'.title()
928 '\U00010000\U00100000'.swapcase()
929 '\U00100000'.center(3, '\U00010000')
930 '\U00100000'.ljust(3, '\U00010000')
931 '\U00100000'.rjust(3, '\U00010000')
932
Eric Smith8c663262007-08-25 02:26:07 +0000933 def test_format(self):
934 self.assertEqual(''.format(), '')
935 self.assertEqual('a'.format(), 'a')
936 self.assertEqual('ab'.format(), 'ab')
937 self.assertEqual('a{{'.format(), 'a{')
938 self.assertEqual('a}}'.format(), 'a}')
939 self.assertEqual('{{b'.format(), '{b')
940 self.assertEqual('}}b'.format(), '}b')
941 self.assertEqual('a{{b'.format(), 'a{b')
942
943 # examples from the PEP:
944 import datetime
945 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
946 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
947 "My name is Fred")
948 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
949 "My name is Fred :-{}")
950
951 d = datetime.date(2007, 8, 18)
952 self.assertEqual("The year is {0.year}".format(d),
953 "The year is 2007")
954
Eric Smith8c663262007-08-25 02:26:07 +0000955 # classes we'll use for testing
956 class C:
957 def __init__(self, x=100):
958 self._x = x
959 def __format__(self, spec):
960 return spec
961
962 class D:
963 def __init__(self, x):
964 self.x = x
965 def __format__(self, spec):
966 return str(self.x)
967
968 # class with __str__, but no __format__
969 class E:
970 def __init__(self, x):
971 self.x = x
972 def __str__(self):
973 return 'E(' + self.x + ')'
974
975 # class with __repr__, but no __format__ or __str__
976 class F:
977 def __init__(self, x):
978 self.x = x
979 def __repr__(self):
980 return 'F(' + self.x + ')'
981
982 # class with __format__ that forwards to string, for some format_spec's
983 class G:
984 def __init__(self, x):
985 self.x = x
986 def __str__(self):
987 return "string is " + self.x
988 def __format__(self, format_spec):
989 if format_spec == 'd':
990 return 'G(' + self.x + ')'
991 return object.__format__(self, format_spec)
992
Eric Smith739e2ad2007-08-27 19:07:22 +0000993 class I(datetime.date):
994 def __format__(self, format_spec):
995 return self.strftime(format_spec)
996
Eric Smith185e30c2007-08-30 22:23:08 +0000997 class J(int):
998 def __format__(self, format_spec):
999 return int.__format__(self * 2, format_spec)
1000
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001001 class M:
1002 def __init__(self, x):
1003 self.x = x
1004 def __repr__(self):
1005 return 'M(' + self.x + ')'
1006 __str__ = None
1007
1008 class N:
1009 def __init__(self, x):
1010 self.x = x
1011 def __repr__(self):
1012 return 'N(' + self.x + ')'
1013 __format__ = None
Eric Smith8c663262007-08-25 02:26:07 +00001014
1015 self.assertEqual(''.format(), '')
1016 self.assertEqual('abc'.format(), 'abc')
1017 self.assertEqual('{0}'.format('abc'), 'abc')
1018 self.assertEqual('{0:}'.format('abc'), 'abc')
1019# self.assertEqual('{ 0 }'.format('abc'), 'abc')
1020 self.assertEqual('X{0}'.format('abc'), 'Xabc')
1021 self.assertEqual('{0}X'.format('abc'), 'abcX')
1022 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
1023 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
1024 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
1025 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
1026 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
1027 self.assertEqual('{0}'.format(-15), '-15')
1028 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
1029 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
1030 self.assertEqual('{{'.format(), '{')
1031 self.assertEqual('}}'.format(), '}')
1032 self.assertEqual('{{}}'.format(), '{}')
1033 self.assertEqual('{{x}}'.format(), '{x}')
1034 self.assertEqual('{{{0}}}'.format(123), '{123}')
1035 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
1036 self.assertEqual('}}{{'.format(), '}{')
1037 self.assertEqual('}}x{{'.format(), '}x{')
1038
Eric Smith7ade6482007-08-26 22:27:13 +00001039 # weird field names
1040 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
1041 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001042 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +00001043
Eric Smith8c663262007-08-25 02:26:07 +00001044 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
1045 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
1046 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
1047 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
1048 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
1049 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
1050 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
1051
Eric Smith8c663262007-08-25 02:26:07 +00001052 # strings
1053 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
1054 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
1055 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
1056 self.assertEqual('{0:.0s}'.format('abcdef'), '')
1057 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
1058 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
1059 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
1060 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
1061 self.assertEqual('{0:x<0s}'.format('result'), 'result')
1062 self.assertEqual('{0:x<5s}'.format('result'), 'result')
1063 self.assertEqual('{0:x<6s}'.format('result'), 'result')
1064 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
1065 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
1066 self.assertEqual('{0: <7s}'.format('result'), 'result ')
1067 self.assertEqual('{0:<7s}'.format('result'), 'result ')
1068 self.assertEqual('{0:>7s}'.format('result'), ' result')
1069 self.assertEqual('{0:>8s}'.format('result'), ' result')
1070 self.assertEqual('{0:^8s}'.format('result'), ' result ')
1071 self.assertEqual('{0:^9s}'.format('result'), ' result ')
1072 self.assertEqual('{0:^10s}'.format('result'), ' result ')
1073 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
1074 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
1075 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
1076
Eric V. Smith2ea97122014-04-14 11:55:10 -04001077 # issue 12546: use \x00 as a fill character
1078 self.assertEqual('{0:\x00<6s}'.format('foo'), 'foo\x00\x00\x00')
1079 self.assertEqual('{0:\x01<6s}'.format('foo'), 'foo\x01\x01\x01')
1080 self.assertEqual('{0:\x00^6s}'.format('foo'), '\x00foo\x00\x00')
1081 self.assertEqual('{0:^6s}'.format('foo'), ' foo ')
1082
1083 self.assertEqual('{0:\x00<6}'.format(3), '3\x00\x00\x00\x00\x00')
1084 self.assertEqual('{0:\x01<6}'.format(3), '3\x01\x01\x01\x01\x01')
1085 self.assertEqual('{0:\x00^6}'.format(3), '\x00\x003\x00\x00\x00')
1086 self.assertEqual('{0:<6}'.format(3), '3 ')
1087
1088 self.assertEqual('{0:\x00<6}'.format(3.14), '3.14\x00\x00')
1089 self.assertEqual('{0:\x01<6}'.format(3.14), '3.14\x01\x01')
1090 self.assertEqual('{0:\x00^6}'.format(3.14), '\x003.14\x00')
1091 self.assertEqual('{0:^6}'.format(3.14), ' 3.14 ')
1092
1093 self.assertEqual('{0:\x00<12}'.format(3+2.0j), '(3+2j)\x00\x00\x00\x00\x00\x00')
1094 self.assertEqual('{0:\x01<12}'.format(3+2.0j), '(3+2j)\x01\x01\x01\x01\x01\x01')
1095 self.assertEqual('{0:\x00^12}'.format(3+2.0j), '\x00\x00\x00(3+2j)\x00\x00\x00')
1096 self.assertEqual('{0:^12}'.format(3+2.0j), ' (3+2j) ')
1097
Eric Smith8c663262007-08-25 02:26:07 +00001098 # format specifiers for user defined type
1099 self.assertEqual('{0:abc}'.format(C()), 'abc')
1100
Georg Brandld52429f2008-07-04 15:55:02 +00001101 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +00001102 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
1103 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
1104 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
1105 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
1106 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
1107 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
1108 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001109 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001110 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
1111 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +00001112 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001113 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001114 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +00001115 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
1116 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +00001117 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +00001118
Eric Smith8c663262007-08-25 02:26:07 +00001119 # test fallback to object.__format__
1120 self.assertEqual('{0}'.format({}), '{}')
1121 self.assertEqual('{0}'.format([]), '[]')
1122 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +00001123
Eric Smith8c663262007-08-25 02:26:07 +00001124 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +00001125 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
1126
Andrew Svetlov2cd8ce42012-12-23 14:27:17 +02001127 self.assertRaises(TypeError, '{0:^10}'.format, E('data'))
1128 self.assertRaises(TypeError, '{0:^10s}'.format, E('data'))
1129 self.assertRaises(TypeError, '{0:>15s}'.format, G('data'))
Eric Smithe4d63172010-09-13 20:48:43 +00001130
Eric Smith739e2ad2007-08-27 19:07:22 +00001131 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
1132 month=8,
1133 day=27)),
1134 "date: 2007-08-27")
1135
Eric Smith185e30c2007-08-30 22:23:08 +00001136 # test deriving from a builtin type and overriding __format__
1137 self.assertEqual("{0}".format(J(10)), "20")
1138
1139
Eric Smith8c663262007-08-25 02:26:07 +00001140 # string format specifiers
1141 self.assertEqual('{0:}'.format('a'), 'a')
1142
1143 # computed format specifiers
1144 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
1145 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
1146 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
1147 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
1148 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
1149
1150 # test various errors
1151 self.assertRaises(ValueError, '{'.format)
1152 self.assertRaises(ValueError, '}'.format)
1153 self.assertRaises(ValueError, 'a{'.format)
1154 self.assertRaises(ValueError, 'a}'.format)
1155 self.assertRaises(ValueError, '{a'.format)
1156 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +00001157 self.assertRaises(IndexError, '{0}'.format)
1158 self.assertRaises(IndexError, '{1}'.format, 'abc')
1159 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +00001160 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +00001161 self.assertRaises(ValueError, "abc{0:{}".format)
1162 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +00001163 self.assertRaises(IndexError, "{0.}".format)
1164 self.assertRaises(ValueError, "{0.}".format, 0)
Benjamin Peterson4d944742013-05-17 18:22:31 -05001165 self.assertRaises(ValueError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001166 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +00001167 self.assertRaises(KeyError, "{0]}".format)
1168 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +00001169 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +00001170 self.assertRaises(ValueError, "{0[0}".format, 0)
1171 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
1172 self.assertRaises(KeyError, "{c]}".format)
1173 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
1174 self.assertRaises(ValueError, "{0}}".format, 0)
1175 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +00001176 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +00001177 self.assertRaises(ValueError, "{0!}".format, 0)
1178 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +00001179 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +00001180 self.assertRaises(IndexError, "{:}".format)
1181 self.assertRaises(IndexError, "{:s}".format)
1182 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +00001183 big = "23098475029384702983476098230754973209482573"
1184 self.assertRaises(ValueError, ("{" + big + "}").format)
1185 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +00001186
Eric Smith41669ca2009-05-23 14:23:22 +00001187 # issue 6089
1188 self.assertRaises(ValueError, "{0[0]x}".format, [None])
1189 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
1190
Eric Smith8c663262007-08-25 02:26:07 +00001191 # can't have a replacement on the field name portion
1192 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
1193
1194 # exceed maximum recursion depth
1195 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
1196 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
1197 0, 1, 2, 3, 4, 5, 6, 7)
1198
1199 # string format spec errors
1200 self.assertRaises(ValueError, "{0:-s}".format, '')
1201 self.assertRaises(ValueError, format, "", "-")
1202 self.assertRaises(ValueError, "{0:=s}".format, '')
1203
Eric Smithb1ebcc62008-07-15 13:02:41 +00001204 # Alternate formatting is not supported
1205 self.assertRaises(ValueError, format, '', '#')
1206 self.assertRaises(ValueError, format, '', '#20')
1207
Victor Stinnerece58de2012-04-23 23:36:38 +02001208 # Non-ASCII
1209 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
1210 'ABC\u0410\u0411\u0412')
1211 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
1212 'ABC')
1213 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
1214 '')
1215
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001216 self.assertEqual("{[{}]}".format({"{}": 5}), "5")
Benjamin Peterson4d944742013-05-17 18:22:31 -05001217 self.assertEqual("{[{}]}".format({"{}" : "a"}), "a")
1218 self.assertEqual("{[{]}".format({"{" : "a"}), "a")
1219 self.assertEqual("{[}]}".format({"}" : "a"}), "a")
1220 self.assertEqual("{[[]}".format({"[" : "a"}), "a")
1221 self.assertEqual("{[!]}".format({"!" : "a"}), "a")
1222 self.assertRaises(ValueError, "{a{}b}".format, 42)
1223 self.assertRaises(ValueError, "{a{b}".format, 42)
1224 self.assertRaises(ValueError, "{[}".format, 42)
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001225
Benjamin Peterson0ee22bf2013-11-26 19:22:36 -06001226 self.assertEqual("0x{:0{:d}X}".format(0x0,16), "0x0000000000000000")
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001227
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001228 # Blocking fallback
1229 m = M('data')
1230 self.assertEqual("{!r}".format(m), 'M(data)')
1231 self.assertRaises(TypeError, "{!s}".format, m)
1232 self.assertRaises(TypeError, "{}".format, m)
1233 n = N('data')
1234 self.assertEqual("{!r}".format(n), 'N(data)')
1235 self.assertEqual("{!s}".format(n), 'N(data)')
1236 self.assertRaises(TypeError, "{}".format, n)
1237
Eric Smith27bbca62010-11-04 17:06:58 +00001238 def test_format_map(self):
1239 self.assertEqual(''.format_map({}), '')
1240 self.assertEqual('a'.format_map({}), 'a')
1241 self.assertEqual('ab'.format_map({}), 'ab')
1242 self.assertEqual('a{{'.format_map({}), 'a{')
1243 self.assertEqual('a}}'.format_map({}), 'a}')
1244 self.assertEqual('{{b'.format_map({}), '{b')
1245 self.assertEqual('}}b'.format_map({}), '}b')
1246 self.assertEqual('a{{b'.format_map({}), 'a{b')
1247
1248 # using mappings
1249 class Mapping(dict):
1250 def __missing__(self, key):
1251 return key
1252 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
1253 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
1254
1255 class InternalMapping:
1256 def __init__(self):
1257 self.mapping = {'a': 'hello'}
1258 def __getitem__(self, key):
1259 return self.mapping[key]
1260 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
1261
1262
Eric Smith27bbca62010-11-04 17:06:58 +00001263 class C:
1264 def __init__(self, x=100):
1265 self._x = x
1266 def __format__(self, spec):
1267 return spec
Eric Smith27bbca62010-11-04 17:06:58 +00001268 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
1269
1270 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -07001271 self.assertRaises(TypeError, ''.format_map)
1272 self.assertRaises(TypeError, 'a'.format_map)
1273
1274 self.assertRaises(ValueError, '{'.format_map, {})
1275 self.assertRaises(ValueError, '}'.format_map, {})
1276 self.assertRaises(ValueError, 'a{'.format_map, {})
1277 self.assertRaises(ValueError, 'a}'.format_map, {})
1278 self.assertRaises(ValueError, '{a'.format_map, {})
1279 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +00001280
Eric V. Smith12ebefc2011-07-18 14:03:41 -04001281 # issue #12579: can't supply positional params to format_map
1282 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
1283 self.assertRaises(ValueError, '{}'.format_map, 'a')
1284 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
1285
Serhiy Storchaka50754162017-08-03 11:45:23 +03001286 class BadMapping:
1287 def __getitem__(self, key):
1288 return 1/0
1289 self.assertRaises(KeyError, '{a}'.format_map, {})
1290 self.assertRaises(TypeError, '{a}'.format_map, [])
1291 self.assertRaises(ZeroDivisionError, '{a}'.format_map, BadMapping())
1292
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001293 def test_format_huge_precision(self):
1294 format_string = ".{}f".format(sys.maxsize + 1)
1295 with self.assertRaises(ValueError):
1296 result = format(2.34, format_string)
1297
1298 def test_format_huge_width(self):
1299 format_string = "{}f".format(sys.maxsize + 1)
1300 with self.assertRaises(ValueError):
1301 result = format(2.34, format_string)
1302
1303 def test_format_huge_item_number(self):
1304 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
1305 with self.assertRaises(ValueError):
1306 result = format_string.format(2.34)
1307
Eric Smith8ec90442009-03-14 12:29:34 +00001308 def test_format_auto_numbering(self):
1309 class C:
1310 def __init__(self, x=100):
1311 self._x = x
1312 def __format__(self, spec):
1313 return spec
1314
1315 self.assertEqual('{}'.format(10), '10')
1316 self.assertEqual('{:5}'.format('s'), 's ')
1317 self.assertEqual('{!r}'.format('s'), "'s'")
1318 self.assertEqual('{._x}'.format(C(10)), '10')
1319 self.assertEqual('{[1]}'.format([1, 2]), '2')
1320 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1321 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1322
1323 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1324 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1325
1326 # can't mix and match numbering and auto-numbering
1327 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1328 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1329 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1330 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1331
1332 # can mix and match auto-numbering and named
1333 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1334 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1335 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1336 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1337
Walter Dörwald28256f22003-01-19 16:59:20 +00001338 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001339 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001340 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001341 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1342 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1343 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1344 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1345 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1346 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 +00001347 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001348 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001349 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1350 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001351 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1352 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001353
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001354 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001355 self.assertEqual('%c' % 0x21483, '\U00021483')
1356 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1357 self.assertEqual('%c' % '\U00021483', '\U00021483')
1358 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001359 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001360 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001361
1362 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001363 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001364 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1365 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1366 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1367 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1368 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1369 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1370 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1371 self.assertEqual('...%s...' % "abc", '...abc...')
1372 self.assertEqual('%*s' % (5,'abc',), ' abc')
1373 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1374 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1375 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1376 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1377 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1378 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001379 class Wrapper:
1380 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001381 return '\u1234'
1382 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001383
Eric Smith741191f2009-05-06 13:08:15 +00001384 # issue 3382
1385 NAN = float('nan')
1386 INF = float('inf')
1387 self.assertEqual('%f' % NAN, 'nan')
1388 self.assertEqual('%F' % NAN, 'NAN')
1389 self.assertEqual('%f' % INF, 'inf')
1390 self.assertEqual('%F' % INF, 'INF')
1391
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001392 # PEP 393
1393 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1394 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1395
Ethan Furmandf3ed242014-01-05 06:50:30 -08001396 #issue 19995
Ethan Furman9ab74802014-03-21 06:38:46 -07001397 class PseudoInt:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001398 def __init__(self, value):
1399 self.value = int(value)
1400 def __int__(self):
1401 return self.value
1402 def __index__(self):
1403 return self.value
Ethan Furman9ab74802014-03-21 06:38:46 -07001404 class PseudoFloat:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001405 def __init__(self, value):
1406 self.value = float(value)
1407 def __int__(self):
1408 return int(self.value)
Ethan Furman9ab74802014-03-21 06:38:46 -07001409 pi = PseudoFloat(3.1415)
1410 letter_m = PseudoInt(109)
Antoine Pitroueb168042014-01-10 00:02:38 +01001411 self.assertEqual('%x' % 42, '2a')
1412 self.assertEqual('%X' % 15, 'F')
1413 self.assertEqual('%o' % 9, '11')
1414 self.assertEqual('%c' % 109, 'm')
1415 self.assertEqual('%x' % letter_m, '6d')
1416 self.assertEqual('%X' % letter_m, '6D')
1417 self.assertEqual('%o' % letter_m, '155')
1418 self.assertEqual('%c' % letter_m, 'm')
Ethan Furman9ab74802014-03-21 06:38:46 -07001419 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not float', operator.mod, '%x', 3.14),
1420 self.assertRaisesRegex(TypeError, '%X format: an integer is required, not float', operator.mod, '%X', 2.11),
1421 self.assertRaisesRegex(TypeError, '%o format: an integer is required, not float', operator.mod, '%o', 1.79),
1422 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not PseudoFloat', operator.mod, '%x', pi),
1423 self.assertRaises(TypeError, operator.mod, '%c', pi),
Ethan Furmandf3ed242014-01-05 06:50:30 -08001424
Ethan Furmanfb137212013-08-31 10:18:55 -07001425 def test_formatting_with_enum(self):
1426 # issue18780
1427 import enum
1428 class Float(float, enum.Enum):
1429 PI = 3.1415926
1430 class Int(enum.IntEnum):
1431 IDES = 15
1432 class Str(str, enum.Enum):
1433 ABC = 'abc'
1434 # Testing Unicode formatting strings...
Ethan Furman13bdfa72013-08-31 12:48:51 -07001435 self.assertEqual("%s, %s" % (Str.ABC, Str.ABC),
1436 'Str.ABC, Str.ABC')
1437 self.assertEqual("%s, %s, %d, %i, %u, %f, %5.2f" %
1438 (Str.ABC, Str.ABC,
1439 Int.IDES, Int.IDES, Int.IDES,
1440 Float.PI, Float.PI),
1441 'Str.ABC, Str.ABC, 15, 15, 15, 3.141593, 3.14')
Ethan Furmanfb137212013-08-31 10:18:55 -07001442
1443 # formatting jobs delegated from the string implementation:
Ethan Furman13bdfa72013-08-31 12:48:51 -07001444 self.assertEqual('...%(foo)s...' % {'foo':Str.ABC},
1445 '...Str.ABC...')
1446 self.assertEqual('...%(foo)s...' % {'foo':Int.IDES},
1447 '...Int.IDES...')
1448 self.assertEqual('...%(foo)i...' % {'foo':Int.IDES},
1449 '...15...')
1450 self.assertEqual('...%(foo)d...' % {'foo':Int.IDES},
1451 '...15...')
1452 self.assertEqual('...%(foo)u...' % {'foo':Int.IDES, 'def':Float.PI},
1453 '...15...')
1454 self.assertEqual('...%(foo)f...' % {'foo':Float.PI,'def':123},
1455 '...3.141593...')
Ethan Furmanfb137212013-08-31 10:18:55 -07001456
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001457 def test_formatting_huge_precision(self):
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001458 format_string = "%.{}f".format(sys.maxsize + 1)
1459 with self.assertRaises(ValueError):
1460 result = format_string % 2.34
1461
Martijn Pietersd7e64332017-02-23 13:38:04 +00001462 def test_issue28598_strsubclass_rhs(self):
1463 # A subclass of str with an __rmod__ method should be able to hook
1464 # into the % operator
1465 class SubclassedStr(str):
1466 def __rmod__(self, other):
1467 return 'Success, self.__rmod__({!r}) was called'.format(other)
1468 self.assertEqual('lhs %% %r' % SubclassedStr('rhs'),
1469 "Success, self.__rmod__('lhs %% %r') was called")
1470
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001471 @support.cpython_only
1472 def test_formatting_huge_precision_c_limits(self):
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001473 from _testcapi import INT_MAX
1474 format_string = "%.{}f".format(INT_MAX + 1)
1475 with self.assertRaises(ValueError):
1476 result = format_string % 2.34
1477
1478 def test_formatting_huge_width(self):
1479 format_string = "%{}f".format(sys.maxsize + 1)
1480 with self.assertRaises(ValueError):
1481 result = format_string % 2.34
1482
Ezio Melottiba42fd52011-04-26 06:09:45 +03001483 def test_startswith_endswith_errors(self):
1484 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001485 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001486 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001487 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001488 self.assertIn('str', exc)
1489 self.assertIn('tuple', exc)
1490
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001491 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001492 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001493 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001494 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001495
Walter Dörwald28256f22003-01-19 16:59:20 +00001496 def test_constructor(self):
1497 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1498
1499 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001500 str('unicode remains unicode'),
1501 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001502 )
1503
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001504 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
Serhiy Storchaka15095802015-11-25 15:47:01 +02001505 subclass = StrSubclass(text)
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001506 self.assertEqual(str(subclass), text)
1507 self.assertEqual(len(subclass), len(text))
1508 if text == 'ascii':
1509 self.assertEqual(subclass.encode('ascii'), b'ascii')
1510 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001511
Walter Dörwald28256f22003-01-19 16:59:20 +00001512 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001513 str('strings are converted to unicode'),
1514 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001515 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001516
Walter Dörwald28256f22003-01-19 16:59:20 +00001517 class StringCompat:
1518 def __init__(self, x):
1519 self.x = x
1520 def __str__(self):
1521 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001522
Walter Dörwald28256f22003-01-19 16:59:20 +00001523 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001524 str(StringCompat('__str__ compatible objects are recognized')),
1525 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001526 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001527
Walter Dörwald28256f22003-01-19 16:59:20 +00001528 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001529
Walter Dörwald28256f22003-01-19 16:59:20 +00001530 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001531 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001532 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001533
Guido van Rossume2a383d2007-01-15 16:59:06 +00001534 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001535 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001536
Walter Dörwald28256f22003-01-19 16:59:20 +00001537 # unicode(obj, encoding, error) tests (this maps to
1538 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001539
Walter Dörwald28256f22003-01-19 16:59:20 +00001540 if not sys.platform.startswith('java'):
1541 self.assertRaises(
1542 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001543 str,
1544 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001545 'utf-8',
1546 'strict'
1547 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001548
Walter Dörwald28256f22003-01-19 16:59:20 +00001549 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001550 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001551 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001552 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001553
Walter Dörwald28256f22003-01-19 16:59:20 +00001554 if not sys.platform.startswith('java'):
1555 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001556 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001557 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001558 'utf-8',
1559 'strict'
1560 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001561 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001562 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001563
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001564 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001565
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001566 def test_constructor_keyword_args(self):
1567 """Pass various keyword argument combinations to the constructor."""
1568 # The object argument can be passed as a keyword.
1569 self.assertEqual(str(object='foo'), 'foo')
1570 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1571 # The errors argument without encoding triggers "decode" mode.
1572 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1573 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1574
1575 def test_constructor_defaults(self):
1576 """Check the constructor argument defaults."""
1577 # The object argument defaults to '' or b''.
1578 self.assertEqual(str(), '')
1579 self.assertEqual(str(errors='strict'), '')
1580 utf8_cent = '¢'.encode('utf-8')
1581 # The encoding argument defaults to utf-8.
1582 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1583 # The errors argument defaults to strict.
1584 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1585
Walter Dörwald28256f22003-01-19 16:59:20 +00001586 def test_codecs_utf7(self):
1587 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001588 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1589 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1590 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1591 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1592 ('+', b'+-'),
1593 ('+-', b'+--'),
1594 ('+?', b'+-?'),
R David Murray44b548d2016-09-08 13:59:53 -04001595 (r'\?', b'+AFw?'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001596 ('+?', b'+-?'),
1597 (r'\\?', b'+AFwAXA?'),
1598 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001599 (r'++--', b'+-+---'),
1600 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1601 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001602 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001603
Walter Dörwald28256f22003-01-19 16:59:20 +00001604 for (x, y) in utfTests:
1605 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001606
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001607 # Unpaired surrogates are passed through
1608 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1609 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1610 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1611 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1612 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1613 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1614 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1615 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001616
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001617 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1618 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001619
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001620 # Issue #2242: crash on some Windows/MSVC versions
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03001621 self.assertEqual(b'+\xc1'.decode('utf-7', 'ignore'), '')
Antoine Pitrou244651a2009-05-04 18:56:13 +00001622
1623 # Direct encoded characters
1624 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1625 # Optional direct characters
1626 set_o = '!"#$%&*;<=>@[]^_`{|}'
1627 for c in set_d:
1628 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1629 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1630 for c in set_o:
1631 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001632
Zackery Spytze349bf22018-08-18 22:43:38 -06001633 with self.assertRaisesRegex(UnicodeDecodeError,
1634 'ill-formed sequence'):
1635 b'+@'.decode('utf-7')
1636
Walter Dörwald28256f22003-01-19 16:59:20 +00001637 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001638 self.assertEqual(''.encode('utf-8'), b'')
1639 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001640 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1641 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001642 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1643 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001644 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1645 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001646 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001647 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1648 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1649 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1650 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1651 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1652 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001653 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1654 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1655 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1656 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1657 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1658 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1659 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1660 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1661 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1662 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001663 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001664
Walter Dörwald28256f22003-01-19 16:59:20 +00001665 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001666 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1667 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1668 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001669
Walter Dörwald28256f22003-01-19 16:59:20 +00001670 # Other possible utf-8 test cases:
1671 # * strict decoding testing for all of the
1672 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001673
Ezio Melotti57221d02010-07-01 07:32:02 +00001674 def test_utf8_decode_valid_sequences(self):
1675 sequences = [
1676 # single byte
1677 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1678 # 2 bytes
1679 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1680 # 3 bytes
1681 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1682 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1683 # 4 bytes
1684 (b'\xF0\x90\x80\x80', '\U00010000'),
1685 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1686 ]
1687 for seq, res in sequences:
1688 self.assertEqual(seq.decode('utf-8'), res)
1689
1690
1691 def test_utf8_decode_invalid_sequences(self):
1692 # continuation bytes in a sequence of 2, 3, or 4 bytes
1693 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001694 # start bytes of a 2-byte sequence equivalent to code points < 0x7F
Ezio Melotti57221d02010-07-01 07:32:02 +00001695 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001696 # start bytes of a 4-byte sequence equivalent to code points > 0x10FFFF
Ezio Melotti57221d02010-07-01 07:32:02 +00001697 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1698 invalid_start_bytes = (
1699 continuation_bytes + invalid_2B_seq_start_bytes +
1700 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1701 )
1702
1703 for byte in invalid_start_bytes:
1704 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1705
1706 for sb in invalid_2B_seq_start_bytes:
1707 for cb in continuation_bytes:
1708 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1709
1710 for sb in invalid_4B_seq_start_bytes:
1711 for cb1 in continuation_bytes[:3]:
1712 for cb3 in continuation_bytes[:3]:
1713 self.assertRaises(UnicodeDecodeError,
1714 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1715
1716 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1717 self.assertRaises(UnicodeDecodeError,
1718 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1719 self.assertRaises(UnicodeDecodeError,
1720 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1721 # surrogates
1722 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1723 self.assertRaises(UnicodeDecodeError,
1724 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1725 self.assertRaises(UnicodeDecodeError,
1726 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1727 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1728 self.assertRaises(UnicodeDecodeError,
1729 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1730 self.assertRaises(UnicodeDecodeError,
1731 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1732 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1733 self.assertRaises(UnicodeDecodeError,
1734 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1735 self.assertRaises(UnicodeDecodeError,
1736 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1737
1738 def test_issue8271(self):
1739 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1740 # only the start byte and the continuation byte(s) are now considered
1741 # invalid, instead of the number of bytes specified by the start byte.
1742 # See http://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
1743 # table 3-8, Row 2) for more information about the algorithm used.
1744 FFFD = '\ufffd'
1745 sequences = [
1746 # invalid start bytes
1747 (b'\x80', FFFD), # continuation byte
1748 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1749 (b'\xc0', FFFD),
1750 (b'\xc0\xc0', FFFD*2),
1751 (b'\xc1', FFFD),
1752 (b'\xc1\xc0', FFFD*2),
1753 (b'\xc0\xc1', FFFD*2),
1754 # with start byte of a 2-byte sequence
1755 (b'\xc2', FFFD), # only the start byte
1756 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001757 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001758 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1759 # with start byte of a 3-byte sequence
1760 (b'\xe1', FFFD), # only the start byte
1761 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1762 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1763 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1764 (b'\xe1\x80', FFFD), # only 1 continuation byte
1765 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1766 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1767 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1768 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1769 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1770 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1771 # with start byte of a 4-byte sequence
1772 (b'\xf1', FFFD), # only the start byte
1773 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1774 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1775 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1776 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1777 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1778 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1779 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1780 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1781 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1782 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1783 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1784 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1785 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1786 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1787 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1788 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1789 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1790 # with invalid start byte of a 4-byte sequence (rfc2279)
1791 (b'\xf5', FFFD), # only the start byte
1792 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1793 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1794 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1795 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1796 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1797 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1798 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1799 # with invalid start byte of a 5-byte sequence (rfc2279)
1800 (b'\xf8', FFFD), # only the start byte
1801 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1802 (b'\xf8\x80', FFFD*2), # only one continuation byte
1803 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1804 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1805 # with invalid start byte of a 6-byte sequence (rfc2279)
1806 (b'\xfc', FFFD), # only the start byte
1807 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1808 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1809 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1810 # invalid start byte
1811 (b'\xfe', FFFD),
1812 (b'\xfe\x80\x80', FFFD*3),
1813 # other sequences
1814 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1815 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1816 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1817 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1818 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1819 ]
1820 for n, (seq, res) in enumerate(sequences):
1821 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1822 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1823 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1824 self.assertEqual(seq.decode('utf-8', 'ignore'),
1825 res.replace('\uFFFD', ''))
1826
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001827 def assertCorrectUTF8Decoding(self, seq, res, err):
1828 """
Martin Panter6245cb32016-04-15 02:14:19 +00001829 Check that an invalid UTF-8 sequence raises a UnicodeDecodeError when
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001830 'strict' is used, returns res when 'replace' is used, and that doesn't
1831 return anything when 'ignore' is used.
1832 """
1833 with self.assertRaises(UnicodeDecodeError) as cm:
1834 seq.decode('utf-8')
1835 exc = cm.exception
1836
1837 self.assertIn(err, str(exc))
1838 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1839 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1840 'aaaa' + res + 'bbbb')
1841 res = res.replace('\ufffd', '')
1842 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1843 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1844 'aaaa' + res + 'bbbb')
1845
1846 def test_invalid_start_byte(self):
1847 """
1848 Test that an 'invalid start byte' error is raised when the first byte
1849 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1850 4-bytes sequence. The invalid start byte is replaced with a single
1851 U+FFFD when errors='replace'.
1852 E.g. <80> is a continuation byte and can appear only after a start byte.
1853 """
1854 FFFD = '\ufffd'
1855 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1856 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1857 'invalid start byte')
1858
1859 def test_unexpected_end_of_data(self):
1860 """
1861 Test that an 'unexpected end of data' error is raised when the string
1862 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1863 enough continuation bytes. The incomplete sequence is replaced with a
1864 single U+FFFD when errors='replace'.
1865 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1866 sequence, but it's followed by only 2 valid continuation bytes and the
1867 last continuation bytes is missing.
1868 Note: the continuation bytes must be all valid, if one of them is
1869 invalid another error will be raised.
1870 """
1871 sequences = [
1872 'C2', 'DF',
1873 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1874 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1875 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1876 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1877 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1878 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1879 ]
1880 FFFD = '\ufffd'
1881 for seq in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001882 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), '\ufffd',
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001883 'unexpected end of data')
1884
1885 def test_invalid_cb_for_2bytes_seq(self):
1886 """
1887 Test that an 'invalid continuation byte' error is raised when the
1888 continuation byte of a 2-bytes sequence is invalid. The start byte
1889 is replaced by a single U+FFFD and the second byte is handled
1890 separately when errors='replace'.
1891 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1892 sequence, but 41 is not a valid continuation byte because it's the
1893 ASCII letter 'A'.
1894 """
1895 FFFD = '\ufffd'
1896 FFFDx2 = FFFD * 2
1897 sequences = [
1898 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1899 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1900 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1901 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1902 ]
1903 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001904 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001905 'invalid continuation byte')
1906
1907 def test_invalid_cb_for_3bytes_seq(self):
1908 """
1909 Test that an 'invalid continuation byte' error is raised when the
1910 continuation byte(s) of a 3-bytes sequence are invalid. When
1911 errors='replace', if the first continuation byte is valid, the first
1912 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1913 third byte is handled separately, otherwise only the start byte is
1914 replaced with a U+FFFD and the other continuation bytes are handled
1915 separately.
1916 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1917 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1918 because it's the ASCII letter 'A'.
1919 Note: when the start byte is E0 or ED, the valid ranges for the first
1920 continuation byte are limited to A0..BF and 80..9F respectively.
1921 Python 2 used to consider all the bytes in range 80..BF valid when the
1922 start byte was ED. This is fixed in Python 3.
1923 """
1924 FFFD = '\ufffd'
1925 FFFDx2 = FFFD * 2
1926 sequences = [
1927 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1928 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1929 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1930 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1931 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1932 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1933 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1934 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1935 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1936 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1937 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1938 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1939 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1940 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1941 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1942 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1943 ('ED 7F', FFFD+'\x7f'),
1944 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1945 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1946 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1947 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1948 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1949 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1950 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1951 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1952 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1953 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1954 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1955 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1956 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1957 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1958 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1959 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1960 ]
1961 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001962 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001963 'invalid continuation byte')
1964
1965 def test_invalid_cb_for_4bytes_seq(self):
1966 """
1967 Test that an 'invalid continuation byte' error is raised when the
1968 continuation byte(s) of a 4-bytes sequence are invalid. When
1969 errors='replace',the start byte and all the following valid
1970 continuation bytes are replaced with a single U+FFFD, and all the bytes
1971 starting from the first invalid continuation bytes (included) are
1972 handled separately.
1973 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1974 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1975 because it's the ASCII letter 'A'.
1976 Note: when the start byte is E0 or ED, the valid ranges for the first
1977 continuation byte are limited to A0..BF and 80..9F respectively.
1978 However, when the start byte is ED, Python 2 considers all the bytes
1979 in range 80..BF valid. This is fixed in Python 3.
1980 """
1981 FFFD = '\ufffd'
1982 FFFDx2 = FFFD * 2
1983 sequences = [
1984 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
1985 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
1986 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
1987 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
1988 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
1989 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
1990 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
1991 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
1992 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
1993 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
1994 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
1995 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
1996 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
1997 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
1998 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
1999 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
2000 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
2001 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
2002 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
2003 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
2004 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
2005 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
2006 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
2007 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
2008 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
2009 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
2010 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
2011 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
2012 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
2013 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
2014 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
2015 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
2016 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
2017 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
2018 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
2019 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
2020 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
2021 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
2022 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
2023 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
2024 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
2025 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
2026 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
2027 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
2028 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
2029 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
2030 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
2031 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
2032 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
2033 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
2034 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
2035 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
2036 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
2037 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
2038 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
2039 ]
2040 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02002041 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02002042 'invalid continuation byte')
2043
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002044 def test_codecs_idna(self):
2045 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00002046 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002047
Walter Dörwald28256f22003-01-19 16:59:20 +00002048 def test_codecs_errors(self):
2049 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002050 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
2051 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00002052 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
2053 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00002054 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
2055 'Andr\202 x'.encode('ascii', errors='replace'))
2056 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
2057 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002058
Walter Dörwald28256f22003-01-19 16:59:20 +00002059 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00002060 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
2061 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
2062 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
2063 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03002064 self.assertEqual(str(b'\202 x', 'ascii', 'replace'), '\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002065
Walter Dörwald28256f22003-01-19 16:59:20 +00002066 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00002067 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00002068
Walter Dörwald28256f22003-01-19 16:59:20 +00002069 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00002070 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002071
Guido van Rossum9c627722007-08-27 18:31:48 +00002072 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
2073 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002074 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
2075 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002076
Walter Dörwald28256f22003-01-19 16:59:20 +00002077 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002078 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002079
Serhiy Storchaka9b6c60c2017-11-13 21:23:48 +02002080 # Error handling (lone surrogate in
2081 # _PyUnicode_TransformDecimalAndSpaceToASCII())
2082 self.assertRaises(ValueError, int, "\ud800")
2083 self.assertRaises(ValueError, int, "\udf00")
2084 self.assertRaises(ValueError, float, "\ud800")
2085 self.assertRaises(ValueError, float, "\udf00")
2086 self.assertRaises(ValueError, complex, "\ud800")
2087 self.assertRaises(ValueError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00002088
Walter Dörwald28256f22003-01-19 16:59:20 +00002089 def test_codecs(self):
2090 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00002091 self.assertEqual('hello'.encode('ascii'), b'hello')
2092 self.assertEqual('hello'.encode('utf-7'), b'hello')
2093 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002094 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00002095 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
2096 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
2097 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00002098
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002099 # Default encoding is utf-8
2100 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
2101
Walter Dörwald28256f22003-01-19 16:59:20 +00002102 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002103 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002104 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002105 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
2106 'utf-16-be', 'raw_unicode_escape',
Inada Naoki6a16b182019-03-18 15:44:11 +09002107 'unicode_escape'):
2108 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00002109
Walter Dörwald28256f22003-01-19 16:59:20 +00002110 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002111 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002112 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002113 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002114 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002115
Walter Dörwald28256f22003-01-19 16:59:20 +00002116 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002117 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002118 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002119 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002120 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002121
Walter Dörwald28256f22003-01-19 16:59:20 +00002122 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01002123 with warnings.catch_warnings():
Victor Stinner040e16e2011-11-15 22:44:05 +01002124 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
2125 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
Inada Naoki6a16b182019-03-18 15:44:11 +09002126 'raw_unicode_escape', 'unicode_escape'):
Victor Stinner040e16e2011-11-15 22:44:05 +01002127 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002128
Antoine Pitrou51f66482011-11-11 13:35:44 +01002129 # UTF-8 must be roundtrip safe for all code points
2130 # (except surrogates, which are forbidden).
2131 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02002132 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00002133 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002134 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002135
Walter Dörwald28256f22003-01-19 16:59:20 +00002136 def test_codecs_charmap(self):
2137 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00002138 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00002139 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002140 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002141 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2142 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002143 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002144 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2145 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002146 'iso8859_7', 'iso8859_9',
2147 'koi8_r', 'koi8_t', 'koi8_u', 'kz1048', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002148 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002149
Walter Dörwald28256f22003-01-19 16:59:20 +00002150 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2151 'cp1256', 'cp1257', 'cp1258',
2152 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002153
Walter Dörwald28256f22003-01-19 16:59:20 +00002154 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
2155 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002156
Walter Dörwald28256f22003-01-19 16:59:20 +00002157 ### These have undefined mappings:
2158 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002159
Walter Dörwald28256f22003-01-19 16:59:20 +00002160 ### These fail the round-trip:
2161 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00002162
Walter Dörwald28256f22003-01-19 16:59:20 +00002163 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002164 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002165
Walter Dörwald28256f22003-01-19 16:59:20 +00002166 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00002167 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00002168 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002169 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002170 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2171 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002172 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002173 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2174 'iso8859_2', 'iso8859_4', 'iso8859_5',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002175 'iso8859_9', 'koi8_r', 'koi8_u', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002176 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00002177
Walter Dörwald28256f22003-01-19 16:59:20 +00002178 ### These have undefined mappings:
2179 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2180 #'cp1256', 'cp1257', 'cp1258',
2181 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002182 #'iso8859_3', 'iso8859_6', 'iso8859_7', 'koi8_t', 'kz1048',
Walter Dörwald28256f22003-01-19 16:59:20 +00002183 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00002184
Walter Dörwald28256f22003-01-19 16:59:20 +00002185 ### These fail the round-trip:
2186 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00002187
Walter Dörwald28256f22003-01-19 16:59:20 +00002188 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002189 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002190
Walter Dörwald28256f22003-01-19 16:59:20 +00002191 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002192 self.assertEqual(("abc" "def"), "abcdef")
2193 self.assertEqual(("abc" "def"), "abcdef")
2194 self.assertEqual(("abc" "def"), "abcdef")
2195 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
2196 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00002197
Walter Dörwald28256f22003-01-19 16:59:20 +00002198 def test_printing(self):
2199 class BitBucket:
2200 def write(self, text):
2201 pass
Fred Drake004d5e62000-10-23 17:22:08 +00002202
Walter Dörwald28256f22003-01-19 16:59:20 +00002203 out = BitBucket()
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002204 print('abc', file=out)
2205 print('abc', 'def', file=out)
2206 print('abc', 'def', file=out)
2207 print('abc', 'def', file=out)
2208 print('abc\n', file=out)
2209 print('abc\n', end=' ', file=out)
2210 print('abc\n', end=' ', file=out)
2211 print('def\n', file=out)
2212 print('def\n', file=out)
Fred Drake004d5e62000-10-23 17:22:08 +00002213
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002214 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002215 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002216 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
2217 self.assertEqual(x, y)
2218
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002219 y = br'\U00100000'
2220 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2221 self.assertEqual(x, y)
2222 y = br'\U00010000'
2223 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2224 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00002225
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002226 try:
2227 br'\U11111111'.decode("raw-unicode-escape")
2228 except UnicodeDecodeError as e:
2229 self.assertEqual(e.start, 0)
2230 self.assertEqual(e.end, 10)
2231 else:
2232 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00002233
Brett Cannonc3647ac2005-04-26 03:45:26 +00002234 def test_conversion(self):
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002235 # Make sure __str__() works properly
2236 class ObjectToStr:
Brett Cannonc3647ac2005-04-26 03:45:26 +00002237 def __str__(self):
2238 return "foo"
2239
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002240 class StrSubclassToStr(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002241 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002242 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002243
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002244 class StrSubclassToStrSubclass(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002245 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002246 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00002247 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002248 return self
2249
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002250 self.assertEqual(str(ObjectToStr()), "foo")
2251 self.assertEqual(str(StrSubclassToStr("bar")), "foo")
2252 s = str(StrSubclassToStrSubclass("foo"))
2253 self.assertEqual(s, "foofoo")
2254 self.assertIs(type(s), StrSubclassToStrSubclass)
Serhiy Storchaka15095802015-11-25 15:47:01 +02002255 s = StrSubclass(StrSubclassToStrSubclass("foo"))
2256 self.assertEqual(s, "foofoo")
2257 self.assertIs(type(s), StrSubclass)
Brett Cannonc3647ac2005-04-26 03:45:26 +00002258
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002259 def test_unicode_repr(self):
2260 class s1:
2261 def __repr__(self):
2262 return '\\n'
2263
2264 class s2:
2265 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002266 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002267
2268 self.assertEqual(repr(s1()), '\\n')
2269 self.assertEqual(repr(s2()), '\\n')
2270
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002271 def test_printable_repr(self):
2272 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00002273 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002274
Zachary Ware9fe6d862013-12-08 00:20:35 -06002275 # This test only affects 32-bit platforms because expandtabs can only take
2276 # an int as the max value, not a 64-bit C long. If expandtabs is changed
2277 # to take a 64-bit long, this test should apply to all platforms.
2278 @unittest.skipIf(sys.maxsize > (1 << 32) or struct.calcsize('P') != 4,
2279 'only applies to 32-bit platforms')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00002280 def test_expandtabs_overflows_gracefully(self):
Christian Heimesa37d4c62007-12-04 23:02:19 +00002281 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002282
Victor Stinner1d972ad2011-10-07 13:31:46 +02002283 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02002284 def test_expandtabs_optimization(self):
2285 s = 'abc'
2286 self.assertIs(s.expandtabs(), s)
2287
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002288 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002289 if struct.calcsize('P') == 8:
2290 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002291 ascii_struct_size = 48
2292 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002293 else:
2294 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002295 ascii_struct_size = 24
2296 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002297
2298 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
2299 code = ord(char)
2300 if code < 0x100:
2301 char_size = 1 # sizeof(Py_UCS1)
2302 struct_size = ascii_struct_size
2303 elif code < 0x10000:
2304 char_size = 2 # sizeof(Py_UCS2)
2305 struct_size = compact_struct_size
2306 else:
2307 char_size = 4 # sizeof(Py_UCS4)
2308 struct_size = compact_struct_size
2309 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02002310 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
2311 # be allocatable, given enough memory.
2312 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002313 alloc = lambda: char * maxlen
2314 self.assertRaises(MemoryError, alloc)
2315 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00002316
Victor Stinner808fc0a2010-03-22 12:50:40 +00002317 def test_format_subclass(self):
2318 class S(str):
2319 def __str__(self):
2320 return '__str__ overridden'
2321 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002322 self.assertEqual("%s" % s, '__str__ overridden')
2323 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00002324
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002325 def test_subclass_add(self):
2326 class S(str):
2327 def __add__(self, o):
2328 return "3"
2329 self.assertEqual(S("4") + S("5"), "3")
2330 class S(str):
2331 def __iadd__(self, o):
2332 return "3"
2333 s = S("1")
2334 s += "4"
2335 self.assertEqual(s, "3")
2336
2337 def test_getnewargs(self):
2338 text = 'abc'
2339 args = text.__getnewargs__()
2340 self.assertIsNot(args[0], text)
2341 self.assertEqual(args[0], text)
2342 self.assertEqual(len(args), 1)
2343
Inada Naoki6a16b182019-03-18 15:44:11 +09002344 @support.cpython_only
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002345 def test_resize(self):
Inada Naoki6a16b182019-03-18 15:44:11 +09002346 from _testcapi import getargs_u
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002347 for length in range(1, 100, 7):
2348 # generate a fresh string (refcount=1)
2349 text = 'a' * length + 'b'
2350
Inada Naoki6a16b182019-03-18 15:44:11 +09002351 # fill wstr internal field
2352 abc = getargs_u(text)
2353 self.assertEqual(abc, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002354
Inada Naoki6a16b182019-03-18 15:44:11 +09002355 # resize text: wstr field must be cleared and then recomputed
2356 text += 'c'
2357 abcdef = getargs_u(text)
2358 self.assertNotEqual(abc, abcdef)
2359 self.assertEqual(abcdef, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002360
2361 def test_compare(self):
2362 # Issue #17615
2363 N = 10
2364 ascii = 'a' * N
2365 ascii2 = 'z' * N
2366 latin = '\x80' * N
2367 latin2 = '\xff' * N
2368 bmp = '\u0100' * N
2369 bmp2 = '\uffff' * N
2370 astral = '\U00100000' * N
2371 astral2 = '\U0010ffff' * N
2372 strings = (
2373 ascii, ascii2,
2374 latin, latin2,
2375 bmp, bmp2,
2376 astral, astral2)
2377 for text1, text2 in itertools.combinations(strings, 2):
2378 equal = (text1 is text2)
2379 self.assertEqual(text1 == text2, equal)
2380 self.assertEqual(text1 != text2, not equal)
2381
2382 if equal:
2383 self.assertTrue(text1 <= text2)
2384 self.assertTrue(text1 >= text2)
2385
2386 # text1 is text2: duplicate strings to skip the "str1 == str2"
2387 # optimization in unicode_compare_eq() and really compare
2388 # character per character
2389 copy1 = duplicate_string(text1)
2390 copy2 = duplicate_string(text2)
2391 self.assertIsNot(copy1, copy2)
2392
2393 self.assertTrue(copy1 == copy2)
2394 self.assertFalse(copy1 != copy2)
2395
2396 self.assertTrue(copy1 <= copy2)
2397 self.assertTrue(copy2 >= copy2)
2398
2399 self.assertTrue(ascii < ascii2)
2400 self.assertTrue(ascii < latin)
2401 self.assertTrue(ascii < bmp)
2402 self.assertTrue(ascii < astral)
2403 self.assertFalse(ascii >= ascii2)
2404 self.assertFalse(ascii >= latin)
2405 self.assertFalse(ascii >= bmp)
2406 self.assertFalse(ascii >= astral)
2407
2408 self.assertFalse(latin < ascii)
2409 self.assertTrue(latin < latin2)
2410 self.assertTrue(latin < bmp)
2411 self.assertTrue(latin < astral)
2412 self.assertTrue(latin >= ascii)
2413 self.assertFalse(latin >= latin2)
2414 self.assertFalse(latin >= bmp)
2415 self.assertFalse(latin >= astral)
2416
2417 self.assertFalse(bmp < ascii)
2418 self.assertFalse(bmp < latin)
2419 self.assertTrue(bmp < bmp2)
2420 self.assertTrue(bmp < astral)
2421 self.assertTrue(bmp >= ascii)
2422 self.assertTrue(bmp >= latin)
2423 self.assertFalse(bmp >= bmp2)
2424 self.assertFalse(bmp >= astral)
2425
2426 self.assertFalse(astral < ascii)
2427 self.assertFalse(astral < latin)
2428 self.assertFalse(astral < bmp2)
2429 self.assertTrue(astral < astral2)
2430 self.assertTrue(astral >= ascii)
2431 self.assertTrue(astral >= latin)
2432 self.assertTrue(astral >= bmp2)
2433 self.assertFalse(astral >= astral2)
2434
2435 def test_free_after_iterating(self):
2436 support.check_free_after_iterating(self, iter, str)
2437 support.check_free_after_iterating(self, reversed, str)
2438
2439
2440class CAPITest(unittest.TestCase):
2441
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002442 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00002443 def test_from_format(self):
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002444 support.import_module('ctypes')
Victor Stinner15a11362012-10-06 23:48:20 +02002445 from ctypes import (
2446 pythonapi, py_object, sizeof,
Victor Stinner6d970f42011-03-02 00:04:25 +00002447 c_int, c_long, c_longlong, c_ssize_t,
Victor Stinner15a11362012-10-06 23:48:20 +02002448 c_uint, c_ulong, c_ulonglong, c_size_t, c_void_p)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002449 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002450 _PyUnicode_FromFormat = getattr(pythonapi, name)
2451 _PyUnicode_FromFormat.restype = py_object
2452
2453 def PyUnicode_FromFormat(format, *args):
2454 cargs = tuple(
2455 py_object(arg) if isinstance(arg, str) else arg
2456 for arg in args)
2457 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00002458
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002459 def check_format(expected, format, *args):
2460 text = PyUnicode_FromFormat(format, *args)
2461 self.assertEqual(expected, text)
2462
Victor Stinner1205f272010-09-11 00:54:47 +00002463 # ascii format, non-ascii argument
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002464 check_format('ascii\x7f=unicode\xe9',
2465 b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002466
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002467 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2468 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002469 self.assertRaisesRegex(ValueError,
R David Murray44b548d2016-09-08 13:59:53 -04002470 r'^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002471 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002472 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002473
Victor Stinner96865452011-03-01 23:44:09 +00002474 # test "%c"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002475 check_format('\uabcd',
2476 b'%c', c_int(0xabcd))
2477 check_format('\U0010ffff',
2478 b'%c', c_int(0x10ffff))
Serhiy Storchaka8eeae212013-06-23 20:12:14 +03002479 with self.assertRaises(OverflowError):
2480 PyUnicode_FromFormat(b'%c', c_int(0x110000))
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +03002481 # Issue #18183
Serhiy Storchakaf15ffe02013-06-12 09:28:20 +03002482 check_format('\U00010000\U00100000',
2483 b'%c%c', c_int(0x10000), c_int(0x100000))
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002484
Victor Stinner96865452011-03-01 23:44:09 +00002485 # test "%"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002486 check_format('%',
2487 b'%')
2488 check_format('%',
2489 b'%%')
2490 check_format('%s',
2491 b'%%s')
2492 check_format('[%]',
2493 b'[%%]')
2494 check_format('%abc',
2495 b'%%%s', b'abc')
2496
2497 # truncated string
2498 check_format('abc',
2499 b'%.3s', b'abcdef')
2500 check_format('abc[\ufffd',
2501 b'%.5s', 'abc[\u20ac]'.encode('utf8'))
2502 check_format("'\\u20acABC'",
2503 b'%A', '\u20acABC')
2504 check_format("'\\u20",
2505 b'%.5A', '\u20acABCDEF')
2506 check_format("'\u20acABC'",
2507 b'%R', '\u20acABC')
2508 check_format("'\u20acA",
2509 b'%.3R', '\u20acABCDEF')
2510 check_format('\u20acAB',
2511 b'%.3S', '\u20acABCDEF')
2512 check_format('\u20acAB',
2513 b'%.3U', '\u20acABCDEF')
2514 check_format('\u20acAB',
2515 b'%.3V', '\u20acABCDEF', None)
2516 check_format('abc[\ufffd',
2517 b'%.5V', None, 'abc[\u20ac]'.encode('utf8'))
2518
2519 # following tests comes from #7330
2520 # test width modifier and precision modifier with %S
2521 check_format("repr= abc",
2522 b'repr=%5S', 'abc')
2523 check_format("repr=ab",
2524 b'repr=%.2S', 'abc')
2525 check_format("repr= ab",
2526 b'repr=%5.2S', 'abc')
2527
2528 # test width modifier and precision modifier with %R
2529 check_format("repr= 'abc'",
2530 b'repr=%8R', 'abc')
2531 check_format("repr='ab",
2532 b'repr=%.3R', 'abc')
2533 check_format("repr= 'ab",
2534 b'repr=%5.3R', 'abc')
2535
2536 # test width modifier and precision modifier with %A
2537 check_format("repr= 'abc'",
2538 b'repr=%8A', 'abc')
2539 check_format("repr='ab",
2540 b'repr=%.3A', 'abc')
2541 check_format("repr= 'ab",
2542 b'repr=%5.3A', 'abc')
2543
2544 # test width modifier and precision modifier with %s
2545 check_format("repr= abc",
2546 b'repr=%5s', b'abc')
2547 check_format("repr=ab",
2548 b'repr=%.2s', b'abc')
2549 check_format("repr= ab",
2550 b'repr=%5.2s', b'abc')
2551
2552 # test width modifier and precision modifier with %U
2553 check_format("repr= abc",
2554 b'repr=%5U', 'abc')
2555 check_format("repr=ab",
2556 b'repr=%.2U', 'abc')
2557 check_format("repr= ab",
2558 b'repr=%5.2U', 'abc')
2559
2560 # test width modifier and precision modifier with %V
2561 check_format("repr= abc",
2562 b'repr=%5V', 'abc', b'123')
2563 check_format("repr=ab",
2564 b'repr=%.2V', 'abc', b'123')
2565 check_format("repr= ab",
2566 b'repr=%5.2V', 'abc', b'123')
2567 check_format("repr= 123",
2568 b'repr=%5V', None, b'123')
2569 check_format("repr=12",
2570 b'repr=%.2V', None, b'123')
2571 check_format("repr= 12",
2572 b'repr=%5.2V', None, b'123')
Victor Stinner96865452011-03-01 23:44:09 +00002573
Victor Stinner6d970f42011-03-02 00:04:25 +00002574 # test integer formats (%i, %d, %u)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002575 check_format('010',
2576 b'%03i', c_int(10))
2577 check_format('0010',
2578 b'%0.4i', c_int(10))
2579 check_format('-123',
2580 b'%i', c_int(-123))
2581 check_format('-123',
2582 b'%li', c_long(-123))
2583 check_format('-123',
2584 b'%lli', c_longlong(-123))
2585 check_format('-123',
2586 b'%zi', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002587
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002588 check_format('-123',
2589 b'%d', c_int(-123))
2590 check_format('-123',
2591 b'%ld', c_long(-123))
2592 check_format('-123',
2593 b'%lld', c_longlong(-123))
2594 check_format('-123',
2595 b'%zd', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002596
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002597 check_format('123',
2598 b'%u', c_uint(123))
2599 check_format('123',
2600 b'%lu', c_ulong(123))
2601 check_format('123',
2602 b'%llu', c_ulonglong(123))
2603 check_format('123',
2604 b'%zu', c_size_t(123))
Victor Stinner6d970f42011-03-02 00:04:25 +00002605
Victor Stinner15a11362012-10-06 23:48:20 +02002606 # test long output
2607 min_longlong = -(2 ** (8 * sizeof(c_longlong) - 1))
2608 max_longlong = -min_longlong - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002609 check_format(str(min_longlong),
2610 b'%lld', c_longlong(min_longlong))
2611 check_format(str(max_longlong),
2612 b'%lld', c_longlong(max_longlong))
Victor Stinner15a11362012-10-06 23:48:20 +02002613 max_ulonglong = 2 ** (8 * sizeof(c_ulonglong)) - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002614 check_format(str(max_ulonglong),
2615 b'%llu', c_ulonglong(max_ulonglong))
Victor Stinner15a11362012-10-06 23:48:20 +02002616 PyUnicode_FromFormat(b'%p', c_void_p(-1))
2617
Victor Stinnere215d962012-10-06 23:03:36 +02002618 # test padding (width and/or precision)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002619 check_format('123'.rjust(10, '0'),
2620 b'%010i', c_int(123))
2621 check_format('123'.rjust(100),
2622 b'%100i', c_int(123))
2623 check_format('123'.rjust(100, '0'),
2624 b'%.100i', c_int(123))
2625 check_format('123'.rjust(80, '0').rjust(100),
2626 b'%100.80i', c_int(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002627
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002628 check_format('123'.rjust(10, '0'),
2629 b'%010u', c_uint(123))
2630 check_format('123'.rjust(100),
2631 b'%100u', c_uint(123))
2632 check_format('123'.rjust(100, '0'),
2633 b'%.100u', c_uint(123))
2634 check_format('123'.rjust(80, '0').rjust(100),
2635 b'%100.80u', c_uint(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002636
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002637 check_format('123'.rjust(10, '0'),
2638 b'%010x', c_int(0x123))
2639 check_format('123'.rjust(100),
2640 b'%100x', c_int(0x123))
2641 check_format('123'.rjust(100, '0'),
2642 b'%.100x', c_int(0x123))
2643 check_format('123'.rjust(80, '0').rjust(100),
2644 b'%100.80x', c_int(0x123))
Victor Stinnere215d962012-10-06 23:03:36 +02002645
Victor Stinner6d970f42011-03-02 00:04:25 +00002646 # test %A
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002647 check_format(r"%A:'abc\xe9\uabcd\U0010ffff'",
2648 b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002649
Victor Stinner6d970f42011-03-02 00:04:25 +00002650 # test %V
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002651 check_format('repr=abc',
2652 b'repr=%V', 'abc', b'xyz')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002653
2654 # Test string decode from parameter of %s using utf-8.
2655 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2656 # '\u4eba\u6c11'
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002657 check_format('repr=\u4eba\u6c11',
2658 b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002659
2660 #Test replace error handler.
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002661 check_format('repr=abc\ufffd',
2662 b'repr=%V', None, b'abc\xff')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002663
Victor Stinner6d970f42011-03-02 00:04:25 +00002664 # not supported: copy the raw format string. these tests are just here
Martin Panter2f9171d2016-12-18 01:23:09 +00002665 # to check for crashes and should not be considered as specifications
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002666 check_format('%s',
2667 b'%1%s', b'abc')
2668 check_format('%1abc',
2669 b'%1abc')
2670 check_format('%+i',
2671 b'%+i', c_int(10))
2672 check_format('%.%s',
2673 b'%.%s', b'abc')
Victor Stinner6d970f42011-03-02 00:04:25 +00002674
Serhiy Storchaka44cc4822019-01-12 09:22:29 +02002675 # Issue #33817: empty strings
2676 check_format('',
2677 b'')
2678 check_format('',
2679 b'%s', b'')
2680
Victor Stinner1c24bd02010-10-02 11:03:13 +00002681 # Test PyUnicode_AsWideChar()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002682 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002683 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002684 from _testcapi import unicode_aswidechar
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002685 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002686 from ctypes import c_wchar, sizeof
2687
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002688 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002689 self.assertEqual(size, 2)
2690 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002691
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002692 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002693 self.assertEqual(size, 3)
2694 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002695
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002696 wchar, size = unicode_aswidechar('abc', 4)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002697 self.assertEqual(size, 3)
2698 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002699
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002700 wchar, size = unicode_aswidechar('abc', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002701 self.assertEqual(size, 3)
2702 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002703
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002704 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002705 self.assertEqual(size, 7)
2706 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002707
Victor Stinner5593d8a2010-10-02 11:11:27 +00002708 nonbmp = chr(0x10ffff)
2709 if sizeof(c_wchar) == 2:
2710 buflen = 3
2711 nchar = 2
2712 else: # sizeof(c_wchar) == 4
2713 buflen = 2
2714 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002715 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002716 self.assertEqual(size, nchar)
2717 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002718
Victor Stinner1c24bd02010-10-02 11:03:13 +00002719 # Test PyUnicode_AsWideCharString()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002720 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002721 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002722 from _testcapi import unicode_aswidecharstring
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002723 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002724 from ctypes import c_wchar, sizeof
2725
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002726 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002727 self.assertEqual(size, 3)
2728 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002729
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002730 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002731 self.assertEqual(size, 7)
2732 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002733
Victor Stinner5593d8a2010-10-02 11:11:27 +00002734 nonbmp = chr(0x10ffff)
2735 if sizeof(c_wchar) == 2:
2736 nchar = 2
2737 else: # sizeof(c_wchar) == 4
2738 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002739 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002740 self.assertEqual(size, nchar)
2741 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002742
Serhiy Storchakacc164232016-10-02 21:29:26 +03002743 # Test PyUnicode_AsUCS4()
2744 @support.cpython_only
2745 def test_asucs4(self):
2746 from _testcapi import unicode_asucs4
2747 for s in ['abc', '\xa1\xa2', '\u4f60\u597d', 'a\U0001f600',
2748 'a\ud800b\udfffc', '\ud834\udd1e']:
2749 l = len(s)
2750 self.assertEqual(unicode_asucs4(s, l, 1), s+'\0')
2751 self.assertEqual(unicode_asucs4(s, l, 0), s+'\uffff')
2752 self.assertEqual(unicode_asucs4(s, l+1, 1), s+'\0\uffff')
2753 self.assertEqual(unicode_asucs4(s, l+1, 0), s+'\0\uffff')
2754 self.assertRaises(SystemError, unicode_asucs4, s, l-1, 1)
2755 self.assertRaises(SystemError, unicode_asucs4, s, l-2, 0)
2756 s = '\0'.join([s, s])
2757 self.assertEqual(unicode_asucs4(s, len(s), 1), s+'\0')
2758 self.assertEqual(unicode_asucs4(s, len(s), 0), s+'\uffff')
2759
Xiang Zhangb2110682016-12-20 22:52:33 +08002760 # Test PyUnicode_FindChar()
2761 @support.cpython_only
2762 def test_findchar(self):
2763 from _testcapi import unicode_findchar
2764
2765 for str in "\xa1", "\u8000\u8080", "\ud800\udc02", "\U0001f100\U0001f1f1":
2766 for i, ch in enumerate(str):
2767 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), 1), i)
2768 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), -1), i)
2769
2770 str = "!>_<!"
2771 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), 1), -1)
2772 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), -1), -1)
2773 # start < end
2774 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, 1), 4)
2775 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, -1), 4)
2776 # start >= end
2777 self.assertEqual(unicode_findchar(str, ord('!'), 0, 0, 1), -1)
2778 self.assertEqual(unicode_findchar(str, ord('!'), len(str), 0, 1), -1)
2779 # negative
2780 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, 1), 0)
2781 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, -1), 0)
2782
Serhiy Storchaka9c0e1f82016-10-08 22:45:38 +03002783 # Test PyUnicode_CopyCharacters()
2784 @support.cpython_only
2785 def test_copycharacters(self):
2786 from _testcapi import unicode_copycharacters
2787
2788 strings = [
2789 'abcde', '\xa1\xa2\xa3\xa4\xa5',
2790 '\u4f60\u597d\u4e16\u754c\uff01',
2791 '\U0001f600\U0001f601\U0001f602\U0001f603\U0001f604'
2792 ]
2793
2794 for idx, from_ in enumerate(strings):
2795 # wide -> narrow: exceed maxchar limitation
2796 for to in strings[:idx]:
2797 self.assertRaises(
2798 SystemError,
2799 unicode_copycharacters, to, 0, from_, 0, 5
2800 )
2801 # same kind
2802 for from_start in range(5):
2803 self.assertEqual(
2804 unicode_copycharacters(from_, 0, from_, from_start, 5),
2805 (from_[from_start:from_start+5].ljust(5, '\0'),
2806 5-from_start)
2807 )
2808 for to_start in range(5):
2809 self.assertEqual(
2810 unicode_copycharacters(from_, to_start, from_, to_start, 5),
2811 (from_[to_start:to_start+5].rjust(5, '\0'),
2812 5-to_start)
2813 )
2814 # narrow -> wide
2815 # Tests omitted since this creates invalid strings.
2816
2817 s = strings[0]
2818 self.assertRaises(IndexError, unicode_copycharacters, s, 6, s, 0, 5)
2819 self.assertRaises(IndexError, unicode_copycharacters, s, -1, s, 0, 5)
2820 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, 6, 5)
2821 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, -1, 5)
2822 self.assertRaises(SystemError, unicode_copycharacters, s, 1, s, 0, 5)
2823 self.assertRaises(SystemError, unicode_copycharacters, s, 0, s, 0, -1)
2824 self.assertRaises(SystemError, unicode_copycharacters, s, 0, b'', 0, 0)
2825
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002826 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002827 def test_encode_decimal(self):
2828 from _testcapi import unicode_encodedecimal
2829 self.assertEqual(unicode_encodedecimal('123'),
2830 b'123')
2831 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2832 b'3.14')
2833 self.assertEqual(unicode_encodedecimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2834 b' 3.14 ')
2835 self.assertRaises(UnicodeEncodeError,
2836 unicode_encodedecimal, "123\u20ac", "strict")
Victor Stinner6345be92011-11-25 20:09:01 +01002837 self.assertRaisesRegex(
2838 ValueError,
2839 "^'decimal' codec can't encode character",
2840 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002841
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002842 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002843 def test_transform_decimal(self):
2844 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
2845 self.assertEqual(transform_decimal('123'),
2846 '123')
2847 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2848 '3.14')
2849 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2850 "\N{EM SPACE}3.14\N{EN SPACE}")
2851 self.assertEqual(transform_decimal('123\u20ac'),
2852 '123\u20ac')
2853
Serhiy Storchaka7aa69082015-12-03 01:02:03 +02002854 @support.cpython_only
2855 def test_pep393_utf8_caching_bug(self):
2856 # Issue #25709: Problem with string concatenation and utf-8 cache
2857 from _testcapi import getargs_s_hash
2858 for k in 0x24, 0xa4, 0x20ac, 0x1f40d:
2859 s = ''
2860 for i in range(5):
2861 # Due to CPython specific optimization the 's' string can be
2862 # resized in-place.
2863 s += chr(k)
2864 # Parsing with the "s#" format code calls indirectly
2865 # PyUnicode_AsUTF8AndSize() which creates the UTF-8
2866 # encoded string cached in the Unicode object.
2867 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2868 # Check that the second call returns the same result
2869 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2870
Eric Smitha1eac722011-01-29 11:15:35 +00002871class StringModuleTest(unittest.TestCase):
2872 def test_formatter_parser(self):
2873 def parse(format):
2874 return list(_string.formatter_parser(format))
2875
2876 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2877 self.assertEqual(formatter, [
2878 ('prefix ', '2', '', 's'),
2879 ('xxx', '0', '^+10.3f', None),
2880 ('', 'obj.attr', '', 's'),
2881 (' ', 'z[0]', '10', 's'),
2882 ])
2883
2884 formatter = parse("prefix {} suffix")
2885 self.assertEqual(formatter, [
2886 ('prefix ', '', '', None),
2887 (' suffix', None, None, None),
2888 ])
2889
2890 formatter = parse("str")
2891 self.assertEqual(formatter, [
2892 ('str', None, None, None),
2893 ])
2894
2895 formatter = parse("")
2896 self.assertEqual(formatter, [])
2897
2898 formatter = parse("{0}")
2899 self.assertEqual(formatter, [
2900 ('', '0', '', None),
2901 ])
2902
2903 self.assertRaises(TypeError, _string.formatter_parser, 1)
2904
2905 def test_formatter_field_name_split(self):
2906 def split(name):
2907 items = list(_string.formatter_field_name_split(name))
2908 items[1] = list(items[1])
2909 return items
2910 self.assertEqual(split("obj"), ["obj", []])
2911 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
2912 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
2913 self.assertEqual(split("obj.arg[key1][key2]"), [
2914 "obj",
2915 [(True, 'arg'),
2916 (False, 'key1'),
2917 (False, 'key2'),
2918 ]])
2919 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
2920
2921
Walter Dörwald28256f22003-01-19 16:59:20 +00002922if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02002923 unittest.main()