blob: 2b77863e52e4902b0a652bf34b955028fc5d979c [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
641 def test_isdecimal(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000642 self.checkequalnofix(False, '', 'isdecimal')
643 self.checkequalnofix(False, 'a', 'isdecimal')
644 self.checkequalnofix(True, '0', 'isdecimal')
645 self.checkequalnofix(False, '\u2460', 'isdecimal') # CIRCLED DIGIT ONE
646 self.checkequalnofix(False, '\xbc', 'isdecimal') # VULGAR FRACTION ONE QUARTER
647 self.checkequalnofix(True, '\u0660', 'isdecimal') # ARABIC-INDIC DIGIT ZERO
648 self.checkequalnofix(True, '0123456789', 'isdecimal')
649 self.checkequalnofix(False, '0123456789a', 'isdecimal')
Walter Dörwald28256f22003-01-19 16:59:20 +0000650
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000651 self.checkraises(TypeError, 'abc', 'isdecimal', 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000652
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300653 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
654 '\U0001F40D', '\U0001F46F', '\U00011065', '\U0001F107']:
655 self.assertFalse(ch.isdecimal(), '{!a} is not decimal.'.format(ch))
656 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0']:
657 self.assertTrue(ch.isdecimal(), '{!a} is decimal.'.format(ch))
658
Walter Dörwald28256f22003-01-19 16:59:20 +0000659 def test_isdigit(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000660 super().test_isdigit()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000661 self.checkequalnofix(True, '\u2460', 'isdigit')
662 self.checkequalnofix(False, '\xbc', 'isdigit')
663 self.checkequalnofix(True, '\u0660', 'isdigit')
Walter Dörwald28256f22003-01-19 16:59:20 +0000664
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300665 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
666 '\U0001F40D', '\U0001F46F', '\U00011065']:
667 self.assertFalse(ch.isdigit(), '{!a} is not a digit.'.format(ch))
668 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
669 self.assertTrue(ch.isdigit(), '{!a} is a digit.'.format(ch))
670
Walter Dörwald28256f22003-01-19 16:59:20 +0000671 def test_isnumeric(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000672 self.checkequalnofix(False, '', 'isnumeric')
673 self.checkequalnofix(False, 'a', 'isnumeric')
674 self.checkequalnofix(True, '0', 'isnumeric')
675 self.checkequalnofix(True, '\u2460', 'isnumeric')
676 self.checkequalnofix(True, '\xbc', 'isnumeric')
677 self.checkequalnofix(True, '\u0660', 'isnumeric')
678 self.checkequalnofix(True, '0123456789', 'isnumeric')
679 self.checkequalnofix(False, '0123456789a', 'isnumeric')
Walter Dörwald28256f22003-01-19 16:59:20 +0000680
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000681 self.assertRaises(TypeError, "abc".isnumeric, 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000682
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300683 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
684 '\U0001F40D', '\U0001F46F']:
685 self.assertFalse(ch.isnumeric(), '{!a} is not numeric.'.format(ch))
686 for ch in ['\U00011065', '\U0001D7F6', '\U00011066',
687 '\U000104A0', '\U0001F107']:
688 self.assertTrue(ch.isnumeric(), '{!a} is numeric.'.format(ch))
689
Martin v. Löwis47383402007-08-15 07:32:56 +0000690 def test_isidentifier(self):
691 self.assertTrue("a".isidentifier())
692 self.assertTrue("Z".isidentifier())
693 self.assertTrue("_".isidentifier())
694 self.assertTrue("b0".isidentifier())
695 self.assertTrue("bc".isidentifier())
696 self.assertTrue("b_".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000697 self.assertTrue("µ".isidentifier())
Benjamin Petersonf413b802011-08-12 22:17:18 -0500698 self.assertTrue("𝔘𝔫𝔦𝔠𝔬𝔡𝔢".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000699
700 self.assertFalse(" ".isidentifier())
701 self.assertFalse("[".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000702 self.assertFalse("©".isidentifier())
Georg Brandld52429f2008-07-04 15:55:02 +0000703 self.assertFalse("0".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000704
Georg Brandl559e5d72008-06-11 18:37:52 +0000705 def test_isprintable(self):
706 self.assertTrue("".isprintable())
Benjamin Peterson09832742009-03-26 17:15:46 +0000707 self.assertTrue(" ".isprintable())
Georg Brandl559e5d72008-06-11 18:37:52 +0000708 self.assertTrue("abcdefg".isprintable())
709 self.assertFalse("abcdefg\n".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000710 # some defined Unicode character
711 self.assertTrue("\u0374".isprintable())
712 # undefined character
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000713 self.assertFalse("\u0378".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000714 # single surrogate character
Georg Brandl559e5d72008-06-11 18:37:52 +0000715 self.assertFalse("\ud800".isprintable())
716
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300717 self.assertTrue('\U0001F46F'.isprintable())
718 self.assertFalse('\U000E0020'.isprintable())
719
720 def test_surrogates(self):
721 for s in ('a\uD800b\uDFFF', 'a\uDFFFb\uD800',
722 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
723 self.assertTrue(s.islower())
724 self.assertFalse(s.isupper())
725 self.assertFalse(s.istitle())
726 for s in ('A\uD800B\uDFFF', 'A\uDFFFB\uD800',
727 'A\uD800B\uDFFFA', 'A\uDFFFB\uD800A'):
728 self.assertFalse(s.islower())
729 self.assertTrue(s.isupper())
730 self.assertTrue(s.istitle())
731
732 for meth_name in ('islower', 'isupper', 'istitle'):
733 meth = getattr(str, meth_name)
734 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF'):
735 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
736
737 for meth_name in ('isalpha', 'isalnum', 'isdigit', 'isspace',
738 'isdecimal', 'isnumeric',
739 'isidentifier', 'isprintable'):
740 meth = getattr(str, meth_name)
741 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF',
742 'a\uD800b\uDFFF', 'a\uDFFFb\uD800',
743 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
744 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
745
746
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300747 def test_lower(self):
748 string_tests.CommonTest.test_lower(self)
749 self.assertEqual('\U00010427'.lower(), '\U0001044F')
750 self.assertEqual('\U00010427\U00010427'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300751 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300752 self.assertEqual('\U00010427\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300753 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300754 self.assertEqual('X\U00010427x\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300755 'x\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500756 self.assertEqual('fi'.lower(), 'fi')
757 self.assertEqual('\u0130'.lower(), '\u0069\u0307')
758 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
759 self.assertEqual('\u03a3'.lower(), '\u03c3')
760 self.assertEqual('\u0345\u03a3'.lower(), '\u0345\u03c3')
761 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
762 self.assertEqual('A\u0345\u03a3a'.lower(), 'a\u0345\u03c3a')
763 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
764 self.assertEqual('A\u03a3\u0345'.lower(), 'a\u03c2\u0345')
765 self.assertEqual('\u03a3\u0345 '.lower(), '\u03c3\u0345 ')
766 self.assertEqual('\U0008fffe'.lower(), '\U0008fffe')
767 self.assertEqual('\u2177'.lower(), '\u2177')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300768
Benjamin Petersond5890c82012-01-14 13:23:30 -0500769 def test_casefold(self):
770 self.assertEqual('hello'.casefold(), 'hello')
771 self.assertEqual('hELlo'.casefold(), 'hello')
772 self.assertEqual('ß'.casefold(), 'ss')
773 self.assertEqual('fi'.casefold(), 'fi')
774 self.assertEqual('\u03a3'.casefold(), '\u03c3')
775 self.assertEqual('A\u0345\u03a3'.casefold(), 'a\u03b9\u03c3')
Benjamin Peterson4eda9372012-08-05 15:05:34 -0700776 self.assertEqual('\u00b5'.casefold(), '\u03bc')
Benjamin Petersond5890c82012-01-14 13:23:30 -0500777
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300778 def test_upper(self):
779 string_tests.CommonTest.test_upper(self)
780 self.assertEqual('\U0001044F'.upper(), '\U00010427')
781 self.assertEqual('\U0001044F\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300782 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300783 self.assertEqual('\U00010427\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300784 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300785 self.assertEqual('X\U00010427x\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300786 'X\U00010427X\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500787 self.assertEqual('fi'.upper(), 'FI')
788 self.assertEqual('\u0130'.upper(), '\u0130')
789 self.assertEqual('\u03a3'.upper(), '\u03a3')
790 self.assertEqual('ß'.upper(), 'SS')
791 self.assertEqual('\u1fd2'.upper(), '\u0399\u0308\u0300')
792 self.assertEqual('\U0008fffe'.upper(), '\U0008fffe')
793 self.assertEqual('\u2177'.upper(), '\u2167')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300794
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300795 def test_capitalize(self):
796 string_tests.CommonTest.test_capitalize(self)
797 self.assertEqual('\U0001044F'.capitalize(), '\U00010427')
798 self.assertEqual('\U0001044F\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300799 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300800 self.assertEqual('\U00010427\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300801 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300802 self.assertEqual('\U0001044F\U00010427'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300803 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300804 self.assertEqual('X\U00010427x\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300805 'X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500806 self.assertEqual('h\u0130'.capitalize(), 'H\u0069\u0307')
807 exp = '\u0399\u0308\u0300\u0069\u0307'
808 self.assertEqual('\u1fd2\u0130'.capitalize(), exp)
809 self.assertEqual('finnish'.capitalize(), 'FInnish')
810 self.assertEqual('A\u0345\u03a3'.capitalize(), 'A\u0345\u03c2')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300811
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300812 def test_title(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000813 super().test_title()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300814 self.assertEqual('\U0001044F'.title(), '\U00010427')
815 self.assertEqual('\U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300816 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300817 self.assertEqual('\U0001044F\U0001044F \U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300818 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300819 self.assertEqual('\U00010427\U0001044F \U00010427\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300820 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300821 self.assertEqual('\U0001044F\U00010427 \U0001044F\U00010427'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300822 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300823 self.assertEqual('X\U00010427x\U0001044F X\U00010427x\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300824 'X\U0001044Fx\U0001044F X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500825 self.assertEqual('fiNNISH'.title(), 'Finnish')
826 self.assertEqual('A\u03a3 \u1fa1xy'.title(), 'A\u03c2 \u1fa9xy')
827 self.assertEqual('A\u03a3A'.title(), 'A\u03c3a')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300828
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300829 def test_swapcase(self):
830 string_tests.CommonTest.test_swapcase(self)
831 self.assertEqual('\U0001044F'.swapcase(), '\U00010427')
832 self.assertEqual('\U00010427'.swapcase(), '\U0001044F')
833 self.assertEqual('\U0001044F\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300834 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300835 self.assertEqual('\U00010427\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300836 '\U0001044F\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300837 self.assertEqual('\U0001044F\U00010427'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300838 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300839 self.assertEqual('X\U00010427x\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300840 'x\U0001044FX\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500841 self.assertEqual('fi'.swapcase(), 'FI')
842 self.assertEqual('\u0130'.swapcase(), '\u0069\u0307')
843 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
844 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
845 self.assertEqual('\u0345\u03a3'.swapcase(), '\u0399\u03c3')
846 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
847 self.assertEqual('A\u0345\u03a3a'.swapcase(), 'a\u0399\u03c3A')
848 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
849 self.assertEqual('A\u03a3\u0345'.swapcase(), 'a\u03c2\u0399')
850 self.assertEqual('\u03a3\u0345 '.swapcase(), '\u03c3\u0399 ')
851 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
852 self.assertEqual('ß'.swapcase(), 'SS')
853 self.assertEqual('\u1fd2'.swapcase(), '\u0399\u0308\u0300')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300854
Ezio Melottif84e01d2013-07-08 17:48:29 +0200855 def test_center(self):
856 string_tests.CommonTest.test_center(self)
857 self.assertEqual('x'.center(2, '\U0010FFFF'),
858 'x\U0010FFFF')
859 self.assertEqual('x'.center(3, '\U0010FFFF'),
860 '\U0010FFFFx\U0010FFFF')
861 self.assertEqual('x'.center(4, '\U0010FFFF'),
862 '\U0010FFFFx\U0010FFFF\U0010FFFF')
863
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400864 @unittest.skipUnless(sys.maxsize == 2**31 - 1, "requires 32-bit system")
Benjamin Peterson4d856892014-10-15 13:39:46 -0400865 @support.cpython_only
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400866 def test_case_operation_overflow(self):
867 # Issue #22643
Serhiy Storchaka411dfd82015-11-07 16:54:48 +0200868 size = 2**32//12 + 1
869 try:
870 s = "ü" * size
871 except MemoryError:
872 self.skipTest('no enough memory (%.0f MiB required)' % (size / 2**20))
873 try:
874 self.assertRaises(OverflowError, s.upper)
875 finally:
876 del s
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400877
Walter Dörwald28256f22003-01-19 16:59:20 +0000878 def test_contains(self):
879 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000880 self.assertIn('a', 'abdb')
881 self.assertIn('a', 'bdab')
882 self.assertIn('a', 'bdaba')
883 self.assertIn('a', 'bdba')
884 self.assertNotIn('a', 'bdb')
885 self.assertIn('a', 'bdba')
886 self.assertIn('a', ('a',1,None))
887 self.assertIn('a', (1,None,'a'))
888 self.assertIn('a', ('a',1,None))
889 self.assertIn('a', (1,None,'a'))
890 self.assertNotIn('a', ('x',1,'y'))
891 self.assertNotIn('a', ('x',1,None))
892 self.assertNotIn('abcd', 'abcxxxx')
893 self.assertIn('ab', 'abcd')
894 self.assertIn('ab', 'abc')
895 self.assertIn('ab', (1,None,'ab'))
896 self.assertIn('', 'abc')
897 self.assertIn('', '')
898 self.assertIn('', 'abc')
899 self.assertNotIn('\0', 'abc')
900 self.assertIn('\0', '\0abc')
901 self.assertIn('\0', 'abc\0')
902 self.assertIn('a', '\0abc')
903 self.assertIn('asdf', 'asdf')
904 self.assertNotIn('asdf', 'asd')
905 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000906
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000907 self.assertRaises(TypeError, "abc".__contains__)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200908 # test mixed kinds
909 for fill in ('a', '\u0100', '\U00010300'):
910 fill *= 9
911 for delim in ('c', '\u0102', '\U00010302'):
912 self.assertNotIn(delim, fill)
913 self.assertIn(delim, fill + delim)
914 self.assertNotIn(delim * 2, fill)
915 self.assertIn(delim * 2, fill + delim * 2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000916
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +0300917 def test_issue18183(self):
918 '\U00010000\U00100000'.lower()
919 '\U00010000\U00100000'.casefold()
920 '\U00010000\U00100000'.upper()
921 '\U00010000\U00100000'.capitalize()
922 '\U00010000\U00100000'.title()
923 '\U00010000\U00100000'.swapcase()
924 '\U00100000'.center(3, '\U00010000')
925 '\U00100000'.ljust(3, '\U00010000')
926 '\U00100000'.rjust(3, '\U00010000')
927
Eric Smith8c663262007-08-25 02:26:07 +0000928 def test_format(self):
929 self.assertEqual(''.format(), '')
930 self.assertEqual('a'.format(), 'a')
931 self.assertEqual('ab'.format(), 'ab')
932 self.assertEqual('a{{'.format(), 'a{')
933 self.assertEqual('a}}'.format(), 'a}')
934 self.assertEqual('{{b'.format(), '{b')
935 self.assertEqual('}}b'.format(), '}b')
936 self.assertEqual('a{{b'.format(), 'a{b')
937
938 # examples from the PEP:
939 import datetime
940 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
941 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
942 "My name is Fred")
943 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
944 "My name is Fred :-{}")
945
946 d = datetime.date(2007, 8, 18)
947 self.assertEqual("The year is {0.year}".format(d),
948 "The year is 2007")
949
Eric Smith8c663262007-08-25 02:26:07 +0000950 # classes we'll use for testing
951 class C:
952 def __init__(self, x=100):
953 self._x = x
954 def __format__(self, spec):
955 return spec
956
957 class D:
958 def __init__(self, x):
959 self.x = x
960 def __format__(self, spec):
961 return str(self.x)
962
963 # class with __str__, but no __format__
964 class E:
965 def __init__(self, x):
966 self.x = x
967 def __str__(self):
968 return 'E(' + self.x + ')'
969
970 # class with __repr__, but no __format__ or __str__
971 class F:
972 def __init__(self, x):
973 self.x = x
974 def __repr__(self):
975 return 'F(' + self.x + ')'
976
977 # class with __format__ that forwards to string, for some format_spec's
978 class G:
979 def __init__(self, x):
980 self.x = x
981 def __str__(self):
982 return "string is " + self.x
983 def __format__(self, format_spec):
984 if format_spec == 'd':
985 return 'G(' + self.x + ')'
986 return object.__format__(self, format_spec)
987
Eric Smith739e2ad2007-08-27 19:07:22 +0000988 class I(datetime.date):
989 def __format__(self, format_spec):
990 return self.strftime(format_spec)
991
Eric Smith185e30c2007-08-30 22:23:08 +0000992 class J(int):
993 def __format__(self, format_spec):
994 return int.__format__(self * 2, format_spec)
995
Guido van Rossum97c1adf2016-08-18 09:22:23 -0700996 class M:
997 def __init__(self, x):
998 self.x = x
999 def __repr__(self):
1000 return 'M(' + self.x + ')'
1001 __str__ = None
1002
1003 class N:
1004 def __init__(self, x):
1005 self.x = x
1006 def __repr__(self):
1007 return 'N(' + self.x + ')'
1008 __format__ = None
Eric Smith8c663262007-08-25 02:26:07 +00001009
1010 self.assertEqual(''.format(), '')
1011 self.assertEqual('abc'.format(), 'abc')
1012 self.assertEqual('{0}'.format('abc'), 'abc')
1013 self.assertEqual('{0:}'.format('abc'), 'abc')
1014# self.assertEqual('{ 0 }'.format('abc'), 'abc')
1015 self.assertEqual('X{0}'.format('abc'), 'Xabc')
1016 self.assertEqual('{0}X'.format('abc'), 'abcX')
1017 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
1018 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
1019 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
1020 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
1021 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
1022 self.assertEqual('{0}'.format(-15), '-15')
1023 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
1024 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
1025 self.assertEqual('{{'.format(), '{')
1026 self.assertEqual('}}'.format(), '}')
1027 self.assertEqual('{{}}'.format(), '{}')
1028 self.assertEqual('{{x}}'.format(), '{x}')
1029 self.assertEqual('{{{0}}}'.format(123), '{123}')
1030 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
1031 self.assertEqual('}}{{'.format(), '}{')
1032 self.assertEqual('}}x{{'.format(), '}x{')
1033
Eric Smith7ade6482007-08-26 22:27:13 +00001034 # weird field names
1035 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
1036 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001037 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +00001038
Eric Smith8c663262007-08-25 02:26:07 +00001039 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
1040 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
1041 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
1042 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
1043 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
1044 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
1045 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
1046
Eric Smith8c663262007-08-25 02:26:07 +00001047 # strings
1048 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
1049 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
1050 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
1051 self.assertEqual('{0:.0s}'.format('abcdef'), '')
1052 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
1053 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
1054 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
1055 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
1056 self.assertEqual('{0:x<0s}'.format('result'), 'result')
1057 self.assertEqual('{0:x<5s}'.format('result'), 'result')
1058 self.assertEqual('{0:x<6s}'.format('result'), 'result')
1059 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
1060 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
1061 self.assertEqual('{0: <7s}'.format('result'), 'result ')
1062 self.assertEqual('{0:<7s}'.format('result'), 'result ')
1063 self.assertEqual('{0:>7s}'.format('result'), ' result')
1064 self.assertEqual('{0:>8s}'.format('result'), ' result')
1065 self.assertEqual('{0:^8s}'.format('result'), ' result ')
1066 self.assertEqual('{0:^9s}'.format('result'), ' result ')
1067 self.assertEqual('{0:^10s}'.format('result'), ' result ')
1068 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
1069 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
1070 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
1071
Eric V. Smith2ea97122014-04-14 11:55:10 -04001072 # issue 12546: use \x00 as a fill character
1073 self.assertEqual('{0:\x00<6s}'.format('foo'), 'foo\x00\x00\x00')
1074 self.assertEqual('{0:\x01<6s}'.format('foo'), 'foo\x01\x01\x01')
1075 self.assertEqual('{0:\x00^6s}'.format('foo'), '\x00foo\x00\x00')
1076 self.assertEqual('{0:^6s}'.format('foo'), ' foo ')
1077
1078 self.assertEqual('{0:\x00<6}'.format(3), '3\x00\x00\x00\x00\x00')
1079 self.assertEqual('{0:\x01<6}'.format(3), '3\x01\x01\x01\x01\x01')
1080 self.assertEqual('{0:\x00^6}'.format(3), '\x00\x003\x00\x00\x00')
1081 self.assertEqual('{0:<6}'.format(3), '3 ')
1082
1083 self.assertEqual('{0:\x00<6}'.format(3.14), '3.14\x00\x00')
1084 self.assertEqual('{0:\x01<6}'.format(3.14), '3.14\x01\x01')
1085 self.assertEqual('{0:\x00^6}'.format(3.14), '\x003.14\x00')
1086 self.assertEqual('{0:^6}'.format(3.14), ' 3.14 ')
1087
1088 self.assertEqual('{0:\x00<12}'.format(3+2.0j), '(3+2j)\x00\x00\x00\x00\x00\x00')
1089 self.assertEqual('{0:\x01<12}'.format(3+2.0j), '(3+2j)\x01\x01\x01\x01\x01\x01')
1090 self.assertEqual('{0:\x00^12}'.format(3+2.0j), '\x00\x00\x00(3+2j)\x00\x00\x00')
1091 self.assertEqual('{0:^12}'.format(3+2.0j), ' (3+2j) ')
1092
Eric Smith8c663262007-08-25 02:26:07 +00001093 # format specifiers for user defined type
1094 self.assertEqual('{0:abc}'.format(C()), 'abc')
1095
Georg Brandld52429f2008-07-04 15:55:02 +00001096 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +00001097 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
1098 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
1099 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
1100 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
1101 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
1102 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
1103 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001104 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001105 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
1106 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +00001107 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001108 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001109 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +00001110 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
1111 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +00001112 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +00001113
Eric Smith8c663262007-08-25 02:26:07 +00001114 # test fallback to object.__format__
1115 self.assertEqual('{0}'.format({}), '{}')
1116 self.assertEqual('{0}'.format([]), '[]')
1117 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +00001118
Eric Smith8c663262007-08-25 02:26:07 +00001119 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +00001120 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
1121
Andrew Svetlov2cd8ce42012-12-23 14:27:17 +02001122 self.assertRaises(TypeError, '{0:^10}'.format, E('data'))
1123 self.assertRaises(TypeError, '{0:^10s}'.format, E('data'))
1124 self.assertRaises(TypeError, '{0:>15s}'.format, G('data'))
Eric Smithe4d63172010-09-13 20:48:43 +00001125
Eric Smith739e2ad2007-08-27 19:07:22 +00001126 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
1127 month=8,
1128 day=27)),
1129 "date: 2007-08-27")
1130
Eric Smith185e30c2007-08-30 22:23:08 +00001131 # test deriving from a builtin type and overriding __format__
1132 self.assertEqual("{0}".format(J(10)), "20")
1133
1134
Eric Smith8c663262007-08-25 02:26:07 +00001135 # string format specifiers
1136 self.assertEqual('{0:}'.format('a'), 'a')
1137
1138 # computed format specifiers
1139 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
1140 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
1141 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
1142 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
1143 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
1144
1145 # test various errors
1146 self.assertRaises(ValueError, '{'.format)
1147 self.assertRaises(ValueError, '}'.format)
1148 self.assertRaises(ValueError, 'a{'.format)
1149 self.assertRaises(ValueError, 'a}'.format)
1150 self.assertRaises(ValueError, '{a'.format)
1151 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +00001152 self.assertRaises(IndexError, '{0}'.format)
1153 self.assertRaises(IndexError, '{1}'.format, 'abc')
1154 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +00001155 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +00001156 self.assertRaises(ValueError, "abc{0:{}".format)
1157 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +00001158 self.assertRaises(IndexError, "{0.}".format)
1159 self.assertRaises(ValueError, "{0.}".format, 0)
Benjamin Peterson4d944742013-05-17 18:22:31 -05001160 self.assertRaises(ValueError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001161 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +00001162 self.assertRaises(KeyError, "{0]}".format)
1163 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +00001164 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +00001165 self.assertRaises(ValueError, "{0[0}".format, 0)
1166 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
1167 self.assertRaises(KeyError, "{c]}".format)
1168 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
1169 self.assertRaises(ValueError, "{0}}".format, 0)
1170 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +00001171 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +00001172 self.assertRaises(ValueError, "{0!}".format, 0)
1173 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +00001174 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +00001175 self.assertRaises(IndexError, "{:}".format)
1176 self.assertRaises(IndexError, "{:s}".format)
1177 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +00001178 big = "23098475029384702983476098230754973209482573"
1179 self.assertRaises(ValueError, ("{" + big + "}").format)
1180 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +00001181
Eric Smith41669ca2009-05-23 14:23:22 +00001182 # issue 6089
1183 self.assertRaises(ValueError, "{0[0]x}".format, [None])
1184 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
1185
Eric Smith8c663262007-08-25 02:26:07 +00001186 # can't have a replacement on the field name portion
1187 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
1188
1189 # exceed maximum recursion depth
1190 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
1191 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
1192 0, 1, 2, 3, 4, 5, 6, 7)
1193
1194 # string format spec errors
1195 self.assertRaises(ValueError, "{0:-s}".format, '')
1196 self.assertRaises(ValueError, format, "", "-")
1197 self.assertRaises(ValueError, "{0:=s}".format, '')
1198
Eric Smithb1ebcc62008-07-15 13:02:41 +00001199 # Alternate formatting is not supported
1200 self.assertRaises(ValueError, format, '', '#')
1201 self.assertRaises(ValueError, format, '', '#20')
1202
Victor Stinnerece58de2012-04-23 23:36:38 +02001203 # Non-ASCII
1204 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
1205 'ABC\u0410\u0411\u0412')
1206 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
1207 'ABC')
1208 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
1209 '')
1210
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001211 self.assertEqual("{[{}]}".format({"{}": 5}), "5")
Benjamin Peterson4d944742013-05-17 18:22:31 -05001212 self.assertEqual("{[{}]}".format({"{}" : "a"}), "a")
1213 self.assertEqual("{[{]}".format({"{" : "a"}), "a")
1214 self.assertEqual("{[}]}".format({"}" : "a"}), "a")
1215 self.assertEqual("{[[]}".format({"[" : "a"}), "a")
1216 self.assertEqual("{[!]}".format({"!" : "a"}), "a")
1217 self.assertRaises(ValueError, "{a{}b}".format, 42)
1218 self.assertRaises(ValueError, "{a{b}".format, 42)
1219 self.assertRaises(ValueError, "{[}".format, 42)
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001220
Benjamin Peterson0ee22bf2013-11-26 19:22:36 -06001221 self.assertEqual("0x{:0{:d}X}".format(0x0,16), "0x0000000000000000")
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001222
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001223 # Blocking fallback
1224 m = M('data')
1225 self.assertEqual("{!r}".format(m), 'M(data)')
1226 self.assertRaises(TypeError, "{!s}".format, m)
1227 self.assertRaises(TypeError, "{}".format, m)
1228 n = N('data')
1229 self.assertEqual("{!r}".format(n), 'N(data)')
1230 self.assertEqual("{!s}".format(n), 'N(data)')
1231 self.assertRaises(TypeError, "{}".format, n)
1232
Eric Smith27bbca62010-11-04 17:06:58 +00001233 def test_format_map(self):
1234 self.assertEqual(''.format_map({}), '')
1235 self.assertEqual('a'.format_map({}), 'a')
1236 self.assertEqual('ab'.format_map({}), 'ab')
1237 self.assertEqual('a{{'.format_map({}), 'a{')
1238 self.assertEqual('a}}'.format_map({}), 'a}')
1239 self.assertEqual('{{b'.format_map({}), '{b')
1240 self.assertEqual('}}b'.format_map({}), '}b')
1241 self.assertEqual('a{{b'.format_map({}), 'a{b')
1242
1243 # using mappings
1244 class Mapping(dict):
1245 def __missing__(self, key):
1246 return key
1247 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
1248 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
1249
1250 class InternalMapping:
1251 def __init__(self):
1252 self.mapping = {'a': 'hello'}
1253 def __getitem__(self, key):
1254 return self.mapping[key]
1255 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
1256
1257
Eric Smith27bbca62010-11-04 17:06:58 +00001258 class C:
1259 def __init__(self, x=100):
1260 self._x = x
1261 def __format__(self, spec):
1262 return spec
Eric Smith27bbca62010-11-04 17:06:58 +00001263 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
1264
1265 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -07001266 self.assertRaises(TypeError, ''.format_map)
1267 self.assertRaises(TypeError, 'a'.format_map)
1268
1269 self.assertRaises(ValueError, '{'.format_map, {})
1270 self.assertRaises(ValueError, '}'.format_map, {})
1271 self.assertRaises(ValueError, 'a{'.format_map, {})
1272 self.assertRaises(ValueError, 'a}'.format_map, {})
1273 self.assertRaises(ValueError, '{a'.format_map, {})
1274 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +00001275
Eric V. Smith12ebefc2011-07-18 14:03:41 -04001276 # issue #12579: can't supply positional params to format_map
1277 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
1278 self.assertRaises(ValueError, '{}'.format_map, 'a')
1279 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
1280
Serhiy Storchaka50754162017-08-03 11:45:23 +03001281 class BadMapping:
1282 def __getitem__(self, key):
1283 return 1/0
1284 self.assertRaises(KeyError, '{a}'.format_map, {})
1285 self.assertRaises(TypeError, '{a}'.format_map, [])
1286 self.assertRaises(ZeroDivisionError, '{a}'.format_map, BadMapping())
1287
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001288 def test_format_huge_precision(self):
1289 format_string = ".{}f".format(sys.maxsize + 1)
1290 with self.assertRaises(ValueError):
1291 result = format(2.34, format_string)
1292
1293 def test_format_huge_width(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_item_number(self):
1299 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
1300 with self.assertRaises(ValueError):
1301 result = format_string.format(2.34)
1302
Eric Smith8ec90442009-03-14 12:29:34 +00001303 def test_format_auto_numbering(self):
1304 class C:
1305 def __init__(self, x=100):
1306 self._x = x
1307 def __format__(self, spec):
1308 return spec
1309
1310 self.assertEqual('{}'.format(10), '10')
1311 self.assertEqual('{:5}'.format('s'), 's ')
1312 self.assertEqual('{!r}'.format('s'), "'s'")
1313 self.assertEqual('{._x}'.format(C(10)), '10')
1314 self.assertEqual('{[1]}'.format([1, 2]), '2')
1315 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1316 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1317
1318 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1319 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1320
1321 # can't mix and match numbering and auto-numbering
1322 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1323 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1324 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1325 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1326
1327 # can mix and match auto-numbering and named
1328 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1329 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1330 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1331 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1332
Walter Dörwald28256f22003-01-19 16:59:20 +00001333 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001334 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001335 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001336 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1337 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1338 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1339 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1340 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1341 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 +00001342 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001343 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001344 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1345 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001346 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1347 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001348
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001349 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001350 self.assertEqual('%c' % 0x21483, '\U00021483')
1351 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1352 self.assertEqual('%c' % '\U00021483', '\U00021483')
1353 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001354 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001355 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001356
1357 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001358 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001359 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1360 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1361 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1362 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1363 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1364 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1365 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1366 self.assertEqual('...%s...' % "abc", '...abc...')
1367 self.assertEqual('%*s' % (5,'abc',), ' abc')
1368 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1369 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1370 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1371 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1372 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1373 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001374 class Wrapper:
1375 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001376 return '\u1234'
1377 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001378
Eric Smith741191f2009-05-06 13:08:15 +00001379 # issue 3382
1380 NAN = float('nan')
1381 INF = float('inf')
1382 self.assertEqual('%f' % NAN, 'nan')
1383 self.assertEqual('%F' % NAN, 'NAN')
1384 self.assertEqual('%f' % INF, 'inf')
1385 self.assertEqual('%F' % INF, 'INF')
1386
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001387 # PEP 393
1388 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1389 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1390
Ethan Furmandf3ed242014-01-05 06:50:30 -08001391 #issue 19995
Ethan Furman9ab74802014-03-21 06:38:46 -07001392 class PseudoInt:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001393 def __init__(self, value):
1394 self.value = int(value)
1395 def __int__(self):
1396 return self.value
1397 def __index__(self):
1398 return self.value
Ethan Furman9ab74802014-03-21 06:38:46 -07001399 class PseudoFloat:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001400 def __init__(self, value):
1401 self.value = float(value)
1402 def __int__(self):
1403 return int(self.value)
Ethan Furman9ab74802014-03-21 06:38:46 -07001404 pi = PseudoFloat(3.1415)
1405 letter_m = PseudoInt(109)
Antoine Pitroueb168042014-01-10 00:02:38 +01001406 self.assertEqual('%x' % 42, '2a')
1407 self.assertEqual('%X' % 15, 'F')
1408 self.assertEqual('%o' % 9, '11')
1409 self.assertEqual('%c' % 109, 'm')
1410 self.assertEqual('%x' % letter_m, '6d')
1411 self.assertEqual('%X' % letter_m, '6D')
1412 self.assertEqual('%o' % letter_m, '155')
1413 self.assertEqual('%c' % letter_m, 'm')
Ethan Furman9ab74802014-03-21 06:38:46 -07001414 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not float', operator.mod, '%x', 3.14),
1415 self.assertRaisesRegex(TypeError, '%X format: an integer is required, not float', operator.mod, '%X', 2.11),
1416 self.assertRaisesRegex(TypeError, '%o format: an integer is required, not float', operator.mod, '%o', 1.79),
1417 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not PseudoFloat', operator.mod, '%x', pi),
1418 self.assertRaises(TypeError, operator.mod, '%c', pi),
Ethan Furmandf3ed242014-01-05 06:50:30 -08001419
Ethan Furmanfb137212013-08-31 10:18:55 -07001420 def test_formatting_with_enum(self):
1421 # issue18780
1422 import enum
1423 class Float(float, enum.Enum):
1424 PI = 3.1415926
1425 class Int(enum.IntEnum):
1426 IDES = 15
1427 class Str(str, enum.Enum):
1428 ABC = 'abc'
1429 # Testing Unicode formatting strings...
Ethan Furman13bdfa72013-08-31 12:48:51 -07001430 self.assertEqual("%s, %s" % (Str.ABC, Str.ABC),
1431 'Str.ABC, Str.ABC')
1432 self.assertEqual("%s, %s, %d, %i, %u, %f, %5.2f" %
1433 (Str.ABC, Str.ABC,
1434 Int.IDES, Int.IDES, Int.IDES,
1435 Float.PI, Float.PI),
1436 'Str.ABC, Str.ABC, 15, 15, 15, 3.141593, 3.14')
Ethan Furmanfb137212013-08-31 10:18:55 -07001437
1438 # formatting jobs delegated from the string implementation:
Ethan Furman13bdfa72013-08-31 12:48:51 -07001439 self.assertEqual('...%(foo)s...' % {'foo':Str.ABC},
1440 '...Str.ABC...')
1441 self.assertEqual('...%(foo)s...' % {'foo':Int.IDES},
1442 '...Int.IDES...')
1443 self.assertEqual('...%(foo)i...' % {'foo':Int.IDES},
1444 '...15...')
1445 self.assertEqual('...%(foo)d...' % {'foo':Int.IDES},
1446 '...15...')
1447 self.assertEqual('...%(foo)u...' % {'foo':Int.IDES, 'def':Float.PI},
1448 '...15...')
1449 self.assertEqual('...%(foo)f...' % {'foo':Float.PI,'def':123},
1450 '...3.141593...')
Ethan Furmanfb137212013-08-31 10:18:55 -07001451
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001452 def test_formatting_huge_precision(self):
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001453 format_string = "%.{}f".format(sys.maxsize + 1)
1454 with self.assertRaises(ValueError):
1455 result = format_string % 2.34
1456
Martijn Pietersd7e64332017-02-23 13:38:04 +00001457 def test_issue28598_strsubclass_rhs(self):
1458 # A subclass of str with an __rmod__ method should be able to hook
1459 # into the % operator
1460 class SubclassedStr(str):
1461 def __rmod__(self, other):
1462 return 'Success, self.__rmod__({!r}) was called'.format(other)
1463 self.assertEqual('lhs %% %r' % SubclassedStr('rhs'),
1464 "Success, self.__rmod__('lhs %% %r') was called")
1465
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001466 @support.cpython_only
1467 def test_formatting_huge_precision_c_limits(self):
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001468 from _testcapi import INT_MAX
1469 format_string = "%.{}f".format(INT_MAX + 1)
1470 with self.assertRaises(ValueError):
1471 result = format_string % 2.34
1472
1473 def test_formatting_huge_width(self):
1474 format_string = "%{}f".format(sys.maxsize + 1)
1475 with self.assertRaises(ValueError):
1476 result = format_string % 2.34
1477
Ezio Melottiba42fd52011-04-26 06:09:45 +03001478 def test_startswith_endswith_errors(self):
1479 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001480 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001481 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001482 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001483 self.assertIn('str', exc)
1484 self.assertIn('tuple', exc)
1485
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001486 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001487 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001488 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001489 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001490
Walter Dörwald28256f22003-01-19 16:59:20 +00001491 def test_constructor(self):
1492 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1493
1494 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001495 str('unicode remains unicode'),
1496 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001497 )
1498
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001499 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
Serhiy Storchaka15095802015-11-25 15:47:01 +02001500 subclass = StrSubclass(text)
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001501 self.assertEqual(str(subclass), text)
1502 self.assertEqual(len(subclass), len(text))
1503 if text == 'ascii':
1504 self.assertEqual(subclass.encode('ascii'), b'ascii')
1505 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001506
Walter Dörwald28256f22003-01-19 16:59:20 +00001507 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001508 str('strings are converted to unicode'),
1509 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001510 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001511
Walter Dörwald28256f22003-01-19 16:59:20 +00001512 class StringCompat:
1513 def __init__(self, x):
1514 self.x = x
1515 def __str__(self):
1516 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001517
Walter Dörwald28256f22003-01-19 16:59:20 +00001518 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001519 str(StringCompat('__str__ compatible objects are recognized')),
1520 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001521 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001522
Walter Dörwald28256f22003-01-19 16:59:20 +00001523 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001524
Walter Dörwald28256f22003-01-19 16:59:20 +00001525 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001526 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001527 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001528
Guido van Rossume2a383d2007-01-15 16:59:06 +00001529 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001530 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001531
Walter Dörwald28256f22003-01-19 16:59:20 +00001532 # unicode(obj, encoding, error) tests (this maps to
1533 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001534
Walter Dörwald28256f22003-01-19 16:59:20 +00001535 if not sys.platform.startswith('java'):
1536 self.assertRaises(
1537 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001538 str,
1539 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001540 'utf-8',
1541 'strict'
1542 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001543
Walter Dörwald28256f22003-01-19 16:59:20 +00001544 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001545 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001546 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001547 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001548
Walter Dörwald28256f22003-01-19 16:59:20 +00001549 if not sys.platform.startswith('java'):
1550 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001551 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001552 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001553 'utf-8',
1554 'strict'
1555 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001556 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001557 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001558
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001559 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001560
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001561 def test_constructor_keyword_args(self):
1562 """Pass various keyword argument combinations to the constructor."""
1563 # The object argument can be passed as a keyword.
1564 self.assertEqual(str(object='foo'), 'foo')
1565 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1566 # The errors argument without encoding triggers "decode" mode.
1567 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1568 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1569
1570 def test_constructor_defaults(self):
1571 """Check the constructor argument defaults."""
1572 # The object argument defaults to '' or b''.
1573 self.assertEqual(str(), '')
1574 self.assertEqual(str(errors='strict'), '')
1575 utf8_cent = '¢'.encode('utf-8')
1576 # The encoding argument defaults to utf-8.
1577 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1578 # The errors argument defaults to strict.
1579 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1580
Walter Dörwald28256f22003-01-19 16:59:20 +00001581 def test_codecs_utf7(self):
1582 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001583 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1584 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1585 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1586 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1587 ('+', b'+-'),
1588 ('+-', b'+--'),
1589 ('+?', b'+-?'),
R David Murray44b548d2016-09-08 13:59:53 -04001590 (r'\?', b'+AFw?'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001591 ('+?', b'+-?'),
1592 (r'\\?', b'+AFwAXA?'),
1593 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001594 (r'++--', b'+-+---'),
1595 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1596 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001597 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001598
Walter Dörwald28256f22003-01-19 16:59:20 +00001599 for (x, y) in utfTests:
1600 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001601
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001602 # Unpaired surrogates are passed through
1603 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1604 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1605 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1606 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1607 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1608 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1609 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1610 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001611
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001612 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1613 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001614
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001615 # Issue #2242: crash on some Windows/MSVC versions
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03001616 self.assertEqual(b'+\xc1'.decode('utf-7', 'ignore'), '')
Antoine Pitrou244651a2009-05-04 18:56:13 +00001617
1618 # Direct encoded characters
1619 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1620 # Optional direct characters
1621 set_o = '!"#$%&*;<=>@[]^_`{|}'
1622 for c in set_d:
1623 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1624 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1625 for c in set_o:
1626 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001627
Walter Dörwald28256f22003-01-19 16:59:20 +00001628 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001629 self.assertEqual(''.encode('utf-8'), b'')
1630 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001631 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1632 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001633 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1634 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001635 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1636 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001637 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001638 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1639 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1640 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1641 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1642 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1643 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001644 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1645 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1646 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1647 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1648 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1649 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1650 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1651 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1652 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1653 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001654 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001655
Walter Dörwald28256f22003-01-19 16:59:20 +00001656 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001657 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1658 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1659 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001660
Walter Dörwald28256f22003-01-19 16:59:20 +00001661 # Other possible utf-8 test cases:
1662 # * strict decoding testing for all of the
1663 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001664
Ezio Melotti57221d02010-07-01 07:32:02 +00001665 def test_utf8_decode_valid_sequences(self):
1666 sequences = [
1667 # single byte
1668 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1669 # 2 bytes
1670 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1671 # 3 bytes
1672 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1673 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1674 # 4 bytes
1675 (b'\xF0\x90\x80\x80', '\U00010000'),
1676 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1677 ]
1678 for seq, res in sequences:
1679 self.assertEqual(seq.decode('utf-8'), res)
1680
1681
1682 def test_utf8_decode_invalid_sequences(self):
1683 # continuation bytes in a sequence of 2, 3, or 4 bytes
1684 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001685 # start bytes of a 2-byte sequence equivalent to code points < 0x7F
Ezio Melotti57221d02010-07-01 07:32:02 +00001686 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001687 # start bytes of a 4-byte sequence equivalent to code points > 0x10FFFF
Ezio Melotti57221d02010-07-01 07:32:02 +00001688 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1689 invalid_start_bytes = (
1690 continuation_bytes + invalid_2B_seq_start_bytes +
1691 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1692 )
1693
1694 for byte in invalid_start_bytes:
1695 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1696
1697 for sb in invalid_2B_seq_start_bytes:
1698 for cb in continuation_bytes:
1699 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1700
1701 for sb in invalid_4B_seq_start_bytes:
1702 for cb1 in continuation_bytes[:3]:
1703 for cb3 in continuation_bytes[:3]:
1704 self.assertRaises(UnicodeDecodeError,
1705 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1706
1707 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1708 self.assertRaises(UnicodeDecodeError,
1709 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1710 self.assertRaises(UnicodeDecodeError,
1711 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1712 # surrogates
1713 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1714 self.assertRaises(UnicodeDecodeError,
1715 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1716 self.assertRaises(UnicodeDecodeError,
1717 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1718 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1719 self.assertRaises(UnicodeDecodeError,
1720 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1721 self.assertRaises(UnicodeDecodeError,
1722 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1723 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1724 self.assertRaises(UnicodeDecodeError,
1725 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1726 self.assertRaises(UnicodeDecodeError,
1727 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1728
1729 def test_issue8271(self):
1730 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1731 # only the start byte and the continuation byte(s) are now considered
1732 # invalid, instead of the number of bytes specified by the start byte.
1733 # See http://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
1734 # table 3-8, Row 2) for more information about the algorithm used.
1735 FFFD = '\ufffd'
1736 sequences = [
1737 # invalid start bytes
1738 (b'\x80', FFFD), # continuation byte
1739 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1740 (b'\xc0', FFFD),
1741 (b'\xc0\xc0', FFFD*2),
1742 (b'\xc1', FFFD),
1743 (b'\xc1\xc0', FFFD*2),
1744 (b'\xc0\xc1', FFFD*2),
1745 # with start byte of a 2-byte sequence
1746 (b'\xc2', FFFD), # only the start byte
1747 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001748 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001749 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1750 # with start byte of a 3-byte sequence
1751 (b'\xe1', FFFD), # only the start byte
1752 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1753 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1754 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1755 (b'\xe1\x80', FFFD), # only 1 continuation byte
1756 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1757 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1758 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1759 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1760 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1761 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1762 # with start byte of a 4-byte sequence
1763 (b'\xf1', FFFD), # only the start byte
1764 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1765 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1766 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1767 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1768 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1769 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1770 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1771 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1772 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1773 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1774 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1775 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1776 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1777 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1778 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1779 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1780 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1781 # with invalid start byte of a 4-byte sequence (rfc2279)
1782 (b'\xf5', FFFD), # only the start byte
1783 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1784 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1785 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1786 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1787 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1788 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1789 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1790 # with invalid start byte of a 5-byte sequence (rfc2279)
1791 (b'\xf8', FFFD), # only the start byte
1792 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1793 (b'\xf8\x80', FFFD*2), # only one continuation byte
1794 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1795 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1796 # with invalid start byte of a 6-byte sequence (rfc2279)
1797 (b'\xfc', FFFD), # only the start byte
1798 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1799 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1800 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1801 # invalid start byte
1802 (b'\xfe', FFFD),
1803 (b'\xfe\x80\x80', FFFD*3),
1804 # other sequences
1805 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1806 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1807 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1808 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1809 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1810 ]
1811 for n, (seq, res) in enumerate(sequences):
1812 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1813 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1814 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1815 self.assertEqual(seq.decode('utf-8', 'ignore'),
1816 res.replace('\uFFFD', ''))
1817
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001818 def assertCorrectUTF8Decoding(self, seq, res, err):
1819 """
Martin Panter6245cb32016-04-15 02:14:19 +00001820 Check that an invalid UTF-8 sequence raises a UnicodeDecodeError when
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001821 'strict' is used, returns res when 'replace' is used, and that doesn't
1822 return anything when 'ignore' is used.
1823 """
1824 with self.assertRaises(UnicodeDecodeError) as cm:
1825 seq.decode('utf-8')
1826 exc = cm.exception
1827
1828 self.assertIn(err, str(exc))
1829 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1830 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1831 'aaaa' + res + 'bbbb')
1832 res = res.replace('\ufffd', '')
1833 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1834 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1835 'aaaa' + res + 'bbbb')
1836
1837 def test_invalid_start_byte(self):
1838 """
1839 Test that an 'invalid start byte' error is raised when the first byte
1840 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1841 4-bytes sequence. The invalid start byte is replaced with a single
1842 U+FFFD when errors='replace'.
1843 E.g. <80> is a continuation byte and can appear only after a start byte.
1844 """
1845 FFFD = '\ufffd'
1846 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1847 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1848 'invalid start byte')
1849
1850 def test_unexpected_end_of_data(self):
1851 """
1852 Test that an 'unexpected end of data' error is raised when the string
1853 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1854 enough continuation bytes. The incomplete sequence is replaced with a
1855 single U+FFFD when errors='replace'.
1856 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1857 sequence, but it's followed by only 2 valid continuation bytes and the
1858 last continuation bytes is missing.
1859 Note: the continuation bytes must be all valid, if one of them is
1860 invalid another error will be raised.
1861 """
1862 sequences = [
1863 'C2', 'DF',
1864 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1865 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1866 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1867 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1868 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1869 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1870 ]
1871 FFFD = '\ufffd'
1872 for seq in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001873 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), '\ufffd',
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001874 'unexpected end of data')
1875
1876 def test_invalid_cb_for_2bytes_seq(self):
1877 """
1878 Test that an 'invalid continuation byte' error is raised when the
1879 continuation byte of a 2-bytes sequence is invalid. The start byte
1880 is replaced by a single U+FFFD and the second byte is handled
1881 separately when errors='replace'.
1882 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1883 sequence, but 41 is not a valid continuation byte because it's the
1884 ASCII letter 'A'.
1885 """
1886 FFFD = '\ufffd'
1887 FFFDx2 = FFFD * 2
1888 sequences = [
1889 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1890 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1891 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1892 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1893 ]
1894 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001895 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001896 'invalid continuation byte')
1897
1898 def test_invalid_cb_for_3bytes_seq(self):
1899 """
1900 Test that an 'invalid continuation byte' error is raised when the
1901 continuation byte(s) of a 3-bytes sequence are invalid. When
1902 errors='replace', if the first continuation byte is valid, the first
1903 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1904 third byte is handled separately, otherwise only the start byte is
1905 replaced with a U+FFFD and the other continuation bytes are handled
1906 separately.
1907 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1908 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1909 because it's the ASCII letter 'A'.
1910 Note: when the start byte is E0 or ED, the valid ranges for the first
1911 continuation byte are limited to A0..BF and 80..9F respectively.
1912 Python 2 used to consider all the bytes in range 80..BF valid when the
1913 start byte was ED. This is fixed in Python 3.
1914 """
1915 FFFD = '\ufffd'
1916 FFFDx2 = FFFD * 2
1917 sequences = [
1918 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1919 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1920 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1921 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1922 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1923 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1924 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1925 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1926 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1927 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1928 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1929 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1930 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1931 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1932 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1933 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1934 ('ED 7F', FFFD+'\x7f'),
1935 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1936 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1937 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1938 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1939 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1940 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1941 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1942 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1943 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1944 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1945 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1946 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1947 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1948 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1949 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1950 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1951 ]
1952 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001953 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001954 'invalid continuation byte')
1955
1956 def test_invalid_cb_for_4bytes_seq(self):
1957 """
1958 Test that an 'invalid continuation byte' error is raised when the
1959 continuation byte(s) of a 4-bytes sequence are invalid. When
1960 errors='replace',the start byte and all the following valid
1961 continuation bytes are replaced with a single U+FFFD, and all the bytes
1962 starting from the first invalid continuation bytes (included) are
1963 handled separately.
1964 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1965 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1966 because it's the ASCII letter 'A'.
1967 Note: when the start byte is E0 or ED, the valid ranges for the first
1968 continuation byte are limited to A0..BF and 80..9F respectively.
1969 However, when the start byte is ED, Python 2 considers all the bytes
1970 in range 80..BF valid. This is fixed in Python 3.
1971 """
1972 FFFD = '\ufffd'
1973 FFFDx2 = FFFD * 2
1974 sequences = [
1975 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
1976 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
1977 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
1978 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
1979 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
1980 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
1981 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
1982 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
1983 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
1984 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
1985 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
1986 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
1987 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
1988 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
1989 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
1990 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
1991 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
1992 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
1993 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
1994 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
1995 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
1996 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
1997 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
1998 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
1999 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
2000 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
2001 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
2002 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
2003 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
2004 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
2005 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
2006 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
2007 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
2008 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
2009 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
2010 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
2011 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
2012 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
2013 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
2014 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
2015 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
2016 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
2017 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
2018 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
2019 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
2020 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
2021 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
2022 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
2023 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
2024 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
2025 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
2026 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
2027 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
2028 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
2029 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
2030 ]
2031 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02002032 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02002033 'invalid continuation byte')
2034
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002035 def test_codecs_idna(self):
2036 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00002037 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002038
Walter Dörwald28256f22003-01-19 16:59:20 +00002039 def test_codecs_errors(self):
2040 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002041 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
2042 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00002043 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
2044 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00002045 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
2046 'Andr\202 x'.encode('ascii', errors='replace'))
2047 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
2048 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002049
Walter Dörwald28256f22003-01-19 16:59:20 +00002050 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00002051 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
2052 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
2053 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
2054 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03002055 self.assertEqual(str(b'\202 x', 'ascii', 'replace'), '\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002056
Walter Dörwald28256f22003-01-19 16:59:20 +00002057 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00002058 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00002059
Walter Dörwald28256f22003-01-19 16:59:20 +00002060 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00002061 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002062
Guido van Rossum9c627722007-08-27 18:31:48 +00002063 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
2064 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002065 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
2066 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002067
Walter Dörwald28256f22003-01-19 16:59:20 +00002068 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002069 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002070
Serhiy Storchaka9b6c60c2017-11-13 21:23:48 +02002071 # Error handling (lone surrogate in
2072 # _PyUnicode_TransformDecimalAndSpaceToASCII())
2073 self.assertRaises(ValueError, int, "\ud800")
2074 self.assertRaises(ValueError, int, "\udf00")
2075 self.assertRaises(ValueError, float, "\ud800")
2076 self.assertRaises(ValueError, float, "\udf00")
2077 self.assertRaises(ValueError, complex, "\ud800")
2078 self.assertRaises(ValueError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00002079
Walter Dörwald28256f22003-01-19 16:59:20 +00002080 def test_codecs(self):
2081 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00002082 self.assertEqual('hello'.encode('ascii'), b'hello')
2083 self.assertEqual('hello'.encode('utf-7'), b'hello')
2084 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002085 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00002086 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
2087 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
2088 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00002089
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002090 # Default encoding is utf-8
2091 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
2092
Walter Dörwald28256f22003-01-19 16:59:20 +00002093 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002094 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002095 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002096 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
2097 'utf-16-be', 'raw_unicode_escape',
2098 'unicode_escape', 'unicode_internal'):
Victor Stinner040e16e2011-11-15 22:44:05 +01002099 with warnings.catch_warnings():
2100 # unicode-internal has been deprecated
2101 warnings.simplefilter("ignore", DeprecationWarning)
2102
2103 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00002104
Walter Dörwald28256f22003-01-19 16:59:20 +00002105 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002106 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002107 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002108 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002109 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002110
Walter Dörwald28256f22003-01-19 16:59:20 +00002111 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002112 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002113 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002114 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002115 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002116
Walter Dörwald28256f22003-01-19 16:59:20 +00002117 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01002118 with warnings.catch_warnings():
2119 # unicode-internal has been deprecated
2120 warnings.simplefilter("ignore", DeprecationWarning)
2121
2122 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
2123 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
2124 'raw_unicode_escape',
2125 'unicode_escape', 'unicode_internal'):
2126 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002127
Antoine Pitrou51f66482011-11-11 13:35:44 +01002128 # UTF-8 must be roundtrip safe for all code points
2129 # (except surrogates, which are forbidden).
2130 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02002131 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00002132 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002133 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002134
Walter Dörwald28256f22003-01-19 16:59:20 +00002135 def test_codecs_charmap(self):
2136 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00002137 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00002138 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002139 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002140 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2141 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002142 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002143 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2144 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002145 'iso8859_7', 'iso8859_9',
2146 'koi8_r', 'koi8_t', 'koi8_u', 'kz1048', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002147 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002148
Walter Dörwald28256f22003-01-19 16:59:20 +00002149 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2150 'cp1256', 'cp1257', 'cp1258',
2151 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002152
Walter Dörwald28256f22003-01-19 16:59:20 +00002153 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
2154 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002155
Walter Dörwald28256f22003-01-19 16:59:20 +00002156 ### These have undefined mappings:
2157 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002158
Walter Dörwald28256f22003-01-19 16:59:20 +00002159 ### These fail the round-trip:
2160 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00002161
Walter Dörwald28256f22003-01-19 16:59:20 +00002162 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002163 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002164
Walter Dörwald28256f22003-01-19 16:59:20 +00002165 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00002166 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00002167 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002168 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002169 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2170 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002171 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002172 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2173 'iso8859_2', 'iso8859_4', 'iso8859_5',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002174 'iso8859_9', 'koi8_r', 'koi8_u', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002175 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00002176
Walter Dörwald28256f22003-01-19 16:59:20 +00002177 ### These have undefined mappings:
2178 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2179 #'cp1256', 'cp1257', 'cp1258',
2180 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002181 #'iso8859_3', 'iso8859_6', 'iso8859_7', 'koi8_t', 'kz1048',
Walter Dörwald28256f22003-01-19 16:59:20 +00002182 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00002183
Walter Dörwald28256f22003-01-19 16:59:20 +00002184 ### These fail the round-trip:
2185 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00002186
Walter Dörwald28256f22003-01-19 16:59:20 +00002187 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002188 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002189
Walter Dörwald28256f22003-01-19 16:59:20 +00002190 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002191 self.assertEqual(("abc" "def"), "abcdef")
2192 self.assertEqual(("abc" "def"), "abcdef")
2193 self.assertEqual(("abc" "def"), "abcdef")
2194 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
2195 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00002196
Walter Dörwald28256f22003-01-19 16:59:20 +00002197 def test_printing(self):
2198 class BitBucket:
2199 def write(self, text):
2200 pass
Fred Drake004d5e62000-10-23 17:22:08 +00002201
Walter Dörwald28256f22003-01-19 16:59:20 +00002202 out = BitBucket()
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002203 print('abc', file=out)
2204 print('abc', 'def', file=out)
2205 print('abc', 'def', file=out)
2206 print('abc', 'def', file=out)
2207 print('abc\n', file=out)
2208 print('abc\n', end=' ', file=out)
2209 print('abc\n', end=' ', file=out)
2210 print('def\n', file=out)
2211 print('def\n', file=out)
Fred Drake004d5e62000-10-23 17:22:08 +00002212
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002213 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002214 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002215 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
2216 self.assertEqual(x, y)
2217
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002218 y = br'\U00100000'
2219 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2220 self.assertEqual(x, y)
2221 y = br'\U00010000'
2222 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2223 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00002224
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002225 try:
2226 br'\U11111111'.decode("raw-unicode-escape")
2227 except UnicodeDecodeError as e:
2228 self.assertEqual(e.start, 0)
2229 self.assertEqual(e.end, 10)
2230 else:
2231 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00002232
Brett Cannonc3647ac2005-04-26 03:45:26 +00002233 def test_conversion(self):
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002234 # Make sure __str__() works properly
2235 class ObjectToStr:
Brett Cannonc3647ac2005-04-26 03:45:26 +00002236 def __str__(self):
2237 return "foo"
2238
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002239 class StrSubclassToStr(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002240 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002241 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002242
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002243 class StrSubclassToStrSubclass(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002244 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002245 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00002246 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002247 return self
2248
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002249 self.assertEqual(str(ObjectToStr()), "foo")
2250 self.assertEqual(str(StrSubclassToStr("bar")), "foo")
2251 s = str(StrSubclassToStrSubclass("foo"))
2252 self.assertEqual(s, "foofoo")
2253 self.assertIs(type(s), StrSubclassToStrSubclass)
Serhiy Storchaka15095802015-11-25 15:47:01 +02002254 s = StrSubclass(StrSubclassToStrSubclass("foo"))
2255 self.assertEqual(s, "foofoo")
2256 self.assertIs(type(s), StrSubclass)
Brett Cannonc3647ac2005-04-26 03:45:26 +00002257
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002258 def test_unicode_repr(self):
2259 class s1:
2260 def __repr__(self):
2261 return '\\n'
2262
2263 class s2:
2264 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002265 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002266
2267 self.assertEqual(repr(s1()), '\\n')
2268 self.assertEqual(repr(s2()), '\\n')
2269
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002270 def test_printable_repr(self):
2271 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00002272 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002273
Zachary Ware9fe6d862013-12-08 00:20:35 -06002274 # This test only affects 32-bit platforms because expandtabs can only take
2275 # an int as the max value, not a 64-bit C long. If expandtabs is changed
2276 # to take a 64-bit long, this test should apply to all platforms.
2277 @unittest.skipIf(sys.maxsize > (1 << 32) or struct.calcsize('P') != 4,
2278 'only applies to 32-bit platforms')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00002279 def test_expandtabs_overflows_gracefully(self):
Christian Heimesa37d4c62007-12-04 23:02:19 +00002280 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002281
Victor Stinner1d972ad2011-10-07 13:31:46 +02002282 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02002283 def test_expandtabs_optimization(self):
2284 s = 'abc'
2285 self.assertIs(s.expandtabs(), s)
2286
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002287 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002288 if struct.calcsize('P') == 8:
2289 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002290 ascii_struct_size = 48
2291 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002292 else:
2293 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002294 ascii_struct_size = 24
2295 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002296
2297 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
2298 code = ord(char)
2299 if code < 0x100:
2300 char_size = 1 # sizeof(Py_UCS1)
2301 struct_size = ascii_struct_size
2302 elif code < 0x10000:
2303 char_size = 2 # sizeof(Py_UCS2)
2304 struct_size = compact_struct_size
2305 else:
2306 char_size = 4 # sizeof(Py_UCS4)
2307 struct_size = compact_struct_size
2308 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02002309 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
2310 # be allocatable, given enough memory.
2311 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002312 alloc = lambda: char * maxlen
2313 self.assertRaises(MemoryError, alloc)
2314 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00002315
Victor Stinner808fc0a2010-03-22 12:50:40 +00002316 def test_format_subclass(self):
2317 class S(str):
2318 def __str__(self):
2319 return '__str__ overridden'
2320 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002321 self.assertEqual("%s" % s, '__str__ overridden')
2322 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00002323
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002324 def test_subclass_add(self):
2325 class S(str):
2326 def __add__(self, o):
2327 return "3"
2328 self.assertEqual(S("4") + S("5"), "3")
2329 class S(str):
2330 def __iadd__(self, o):
2331 return "3"
2332 s = S("1")
2333 s += "4"
2334 self.assertEqual(s, "3")
2335
2336 def test_getnewargs(self):
2337 text = 'abc'
2338 args = text.__getnewargs__()
2339 self.assertIsNot(args[0], text)
2340 self.assertEqual(args[0], text)
2341 self.assertEqual(len(args), 1)
2342
2343 def test_resize(self):
2344 for length in range(1, 100, 7):
2345 # generate a fresh string (refcount=1)
2346 text = 'a' * length + 'b'
2347
2348 with support.check_warnings(('unicode_internal codec has been '
2349 'deprecated', DeprecationWarning)):
2350 # fill wstr internal field
2351 abc = text.encode('unicode_internal')
2352 self.assertEqual(abc.decode('unicode_internal'), text)
2353
2354 # resize text: wstr field must be cleared and then recomputed
2355 text += 'c'
2356 abcdef = text.encode('unicode_internal')
2357 self.assertNotEqual(abc, abcdef)
2358 self.assertEqual(abcdef.decode('unicode_internal'), text)
2359
2360 def test_compare(self):
2361 # Issue #17615
2362 N = 10
2363 ascii = 'a' * N
2364 ascii2 = 'z' * N
2365 latin = '\x80' * N
2366 latin2 = '\xff' * N
2367 bmp = '\u0100' * N
2368 bmp2 = '\uffff' * N
2369 astral = '\U00100000' * N
2370 astral2 = '\U0010ffff' * N
2371 strings = (
2372 ascii, ascii2,
2373 latin, latin2,
2374 bmp, bmp2,
2375 astral, astral2)
2376 for text1, text2 in itertools.combinations(strings, 2):
2377 equal = (text1 is text2)
2378 self.assertEqual(text1 == text2, equal)
2379 self.assertEqual(text1 != text2, not equal)
2380
2381 if equal:
2382 self.assertTrue(text1 <= text2)
2383 self.assertTrue(text1 >= text2)
2384
2385 # text1 is text2: duplicate strings to skip the "str1 == str2"
2386 # optimization in unicode_compare_eq() and really compare
2387 # character per character
2388 copy1 = duplicate_string(text1)
2389 copy2 = duplicate_string(text2)
2390 self.assertIsNot(copy1, copy2)
2391
2392 self.assertTrue(copy1 == copy2)
2393 self.assertFalse(copy1 != copy2)
2394
2395 self.assertTrue(copy1 <= copy2)
2396 self.assertTrue(copy2 >= copy2)
2397
2398 self.assertTrue(ascii < ascii2)
2399 self.assertTrue(ascii < latin)
2400 self.assertTrue(ascii < bmp)
2401 self.assertTrue(ascii < astral)
2402 self.assertFalse(ascii >= ascii2)
2403 self.assertFalse(ascii >= latin)
2404 self.assertFalse(ascii >= bmp)
2405 self.assertFalse(ascii >= astral)
2406
2407 self.assertFalse(latin < ascii)
2408 self.assertTrue(latin < latin2)
2409 self.assertTrue(latin < bmp)
2410 self.assertTrue(latin < astral)
2411 self.assertTrue(latin >= ascii)
2412 self.assertFalse(latin >= latin2)
2413 self.assertFalse(latin >= bmp)
2414 self.assertFalse(latin >= astral)
2415
2416 self.assertFalse(bmp < ascii)
2417 self.assertFalse(bmp < latin)
2418 self.assertTrue(bmp < bmp2)
2419 self.assertTrue(bmp < astral)
2420 self.assertTrue(bmp >= ascii)
2421 self.assertTrue(bmp >= latin)
2422 self.assertFalse(bmp >= bmp2)
2423 self.assertFalse(bmp >= astral)
2424
2425 self.assertFalse(astral < ascii)
2426 self.assertFalse(astral < latin)
2427 self.assertFalse(astral < bmp2)
2428 self.assertTrue(astral < astral2)
2429 self.assertTrue(astral >= ascii)
2430 self.assertTrue(astral >= latin)
2431 self.assertTrue(astral >= bmp2)
2432 self.assertFalse(astral >= astral2)
2433
2434 def test_free_after_iterating(self):
2435 support.check_free_after_iterating(self, iter, str)
2436 support.check_free_after_iterating(self, reversed, str)
2437
2438
2439class CAPITest(unittest.TestCase):
2440
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002441 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00002442 def test_from_format(self):
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002443 support.import_module('ctypes')
Victor Stinner15a11362012-10-06 23:48:20 +02002444 from ctypes import (
2445 pythonapi, py_object, sizeof,
Victor Stinner6d970f42011-03-02 00:04:25 +00002446 c_int, c_long, c_longlong, c_ssize_t,
Victor Stinner15a11362012-10-06 23:48:20 +02002447 c_uint, c_ulong, c_ulonglong, c_size_t, c_void_p)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002448 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002449 _PyUnicode_FromFormat = getattr(pythonapi, name)
2450 _PyUnicode_FromFormat.restype = py_object
2451
2452 def PyUnicode_FromFormat(format, *args):
2453 cargs = tuple(
2454 py_object(arg) if isinstance(arg, str) else arg
2455 for arg in args)
2456 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00002457
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002458 def check_format(expected, format, *args):
2459 text = PyUnicode_FromFormat(format, *args)
2460 self.assertEqual(expected, text)
2461
Victor Stinner1205f272010-09-11 00:54:47 +00002462 # ascii format, non-ascii argument
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002463 check_format('ascii\x7f=unicode\xe9',
2464 b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002465
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002466 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2467 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002468 self.assertRaisesRegex(ValueError,
R David Murray44b548d2016-09-08 13:59:53 -04002469 r'^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002470 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002471 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002472
Victor Stinner96865452011-03-01 23:44:09 +00002473 # test "%c"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002474 check_format('\uabcd',
2475 b'%c', c_int(0xabcd))
2476 check_format('\U0010ffff',
2477 b'%c', c_int(0x10ffff))
Serhiy Storchaka8eeae212013-06-23 20:12:14 +03002478 with self.assertRaises(OverflowError):
2479 PyUnicode_FromFormat(b'%c', c_int(0x110000))
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +03002480 # Issue #18183
Serhiy Storchakaf15ffe02013-06-12 09:28:20 +03002481 check_format('\U00010000\U00100000',
2482 b'%c%c', c_int(0x10000), c_int(0x100000))
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002483
Victor Stinner96865452011-03-01 23:44:09 +00002484 # test "%"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002485 check_format('%',
2486 b'%')
2487 check_format('%',
2488 b'%%')
2489 check_format('%s',
2490 b'%%s')
2491 check_format('[%]',
2492 b'[%%]')
2493 check_format('%abc',
2494 b'%%%s', b'abc')
2495
2496 # truncated string
2497 check_format('abc',
2498 b'%.3s', b'abcdef')
2499 check_format('abc[\ufffd',
2500 b'%.5s', 'abc[\u20ac]'.encode('utf8'))
2501 check_format("'\\u20acABC'",
2502 b'%A', '\u20acABC')
2503 check_format("'\\u20",
2504 b'%.5A', '\u20acABCDEF')
2505 check_format("'\u20acABC'",
2506 b'%R', '\u20acABC')
2507 check_format("'\u20acA",
2508 b'%.3R', '\u20acABCDEF')
2509 check_format('\u20acAB',
2510 b'%.3S', '\u20acABCDEF')
2511 check_format('\u20acAB',
2512 b'%.3U', '\u20acABCDEF')
2513 check_format('\u20acAB',
2514 b'%.3V', '\u20acABCDEF', None)
2515 check_format('abc[\ufffd',
2516 b'%.5V', None, 'abc[\u20ac]'.encode('utf8'))
2517
2518 # following tests comes from #7330
2519 # test width modifier and precision modifier with %S
2520 check_format("repr= abc",
2521 b'repr=%5S', 'abc')
2522 check_format("repr=ab",
2523 b'repr=%.2S', 'abc')
2524 check_format("repr= ab",
2525 b'repr=%5.2S', 'abc')
2526
2527 # test width modifier and precision modifier with %R
2528 check_format("repr= 'abc'",
2529 b'repr=%8R', 'abc')
2530 check_format("repr='ab",
2531 b'repr=%.3R', 'abc')
2532 check_format("repr= 'ab",
2533 b'repr=%5.3R', 'abc')
2534
2535 # test width modifier and precision modifier with %A
2536 check_format("repr= 'abc'",
2537 b'repr=%8A', 'abc')
2538 check_format("repr='ab",
2539 b'repr=%.3A', 'abc')
2540 check_format("repr= 'ab",
2541 b'repr=%5.3A', 'abc')
2542
2543 # test width modifier and precision modifier with %s
2544 check_format("repr= abc",
2545 b'repr=%5s', b'abc')
2546 check_format("repr=ab",
2547 b'repr=%.2s', b'abc')
2548 check_format("repr= ab",
2549 b'repr=%5.2s', b'abc')
2550
2551 # test width modifier and precision modifier with %U
2552 check_format("repr= abc",
2553 b'repr=%5U', 'abc')
2554 check_format("repr=ab",
2555 b'repr=%.2U', 'abc')
2556 check_format("repr= ab",
2557 b'repr=%5.2U', 'abc')
2558
2559 # test width modifier and precision modifier with %V
2560 check_format("repr= abc",
2561 b'repr=%5V', 'abc', b'123')
2562 check_format("repr=ab",
2563 b'repr=%.2V', 'abc', b'123')
2564 check_format("repr= ab",
2565 b'repr=%5.2V', 'abc', b'123')
2566 check_format("repr= 123",
2567 b'repr=%5V', None, b'123')
2568 check_format("repr=12",
2569 b'repr=%.2V', None, b'123')
2570 check_format("repr= 12",
2571 b'repr=%5.2V', None, b'123')
Victor Stinner96865452011-03-01 23:44:09 +00002572
Victor Stinner6d970f42011-03-02 00:04:25 +00002573 # test integer formats (%i, %d, %u)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002574 check_format('010',
2575 b'%03i', c_int(10))
2576 check_format('0010',
2577 b'%0.4i', c_int(10))
2578 check_format('-123',
2579 b'%i', c_int(-123))
2580 check_format('-123',
2581 b'%li', c_long(-123))
2582 check_format('-123',
2583 b'%lli', c_longlong(-123))
2584 check_format('-123',
2585 b'%zi', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002586
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002587 check_format('-123',
2588 b'%d', c_int(-123))
2589 check_format('-123',
2590 b'%ld', c_long(-123))
2591 check_format('-123',
2592 b'%lld', c_longlong(-123))
2593 check_format('-123',
2594 b'%zd', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002595
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002596 check_format('123',
2597 b'%u', c_uint(123))
2598 check_format('123',
2599 b'%lu', c_ulong(123))
2600 check_format('123',
2601 b'%llu', c_ulonglong(123))
2602 check_format('123',
2603 b'%zu', c_size_t(123))
Victor Stinner6d970f42011-03-02 00:04:25 +00002604
Victor Stinner15a11362012-10-06 23:48:20 +02002605 # test long output
2606 min_longlong = -(2 ** (8 * sizeof(c_longlong) - 1))
2607 max_longlong = -min_longlong - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002608 check_format(str(min_longlong),
2609 b'%lld', c_longlong(min_longlong))
2610 check_format(str(max_longlong),
2611 b'%lld', c_longlong(max_longlong))
Victor Stinner15a11362012-10-06 23:48:20 +02002612 max_ulonglong = 2 ** (8 * sizeof(c_ulonglong)) - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002613 check_format(str(max_ulonglong),
2614 b'%llu', c_ulonglong(max_ulonglong))
Victor Stinner15a11362012-10-06 23:48:20 +02002615 PyUnicode_FromFormat(b'%p', c_void_p(-1))
2616
Victor Stinnere215d962012-10-06 23:03:36 +02002617 # test padding (width and/or precision)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002618 check_format('123'.rjust(10, '0'),
2619 b'%010i', c_int(123))
2620 check_format('123'.rjust(100),
2621 b'%100i', c_int(123))
2622 check_format('123'.rjust(100, '0'),
2623 b'%.100i', c_int(123))
2624 check_format('123'.rjust(80, '0').rjust(100),
2625 b'%100.80i', c_int(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002626
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002627 check_format('123'.rjust(10, '0'),
2628 b'%010u', c_uint(123))
2629 check_format('123'.rjust(100),
2630 b'%100u', c_uint(123))
2631 check_format('123'.rjust(100, '0'),
2632 b'%.100u', c_uint(123))
2633 check_format('123'.rjust(80, '0').rjust(100),
2634 b'%100.80u', c_uint(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002635
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002636 check_format('123'.rjust(10, '0'),
2637 b'%010x', c_int(0x123))
2638 check_format('123'.rjust(100),
2639 b'%100x', c_int(0x123))
2640 check_format('123'.rjust(100, '0'),
2641 b'%.100x', c_int(0x123))
2642 check_format('123'.rjust(80, '0').rjust(100),
2643 b'%100.80x', c_int(0x123))
Victor Stinnere215d962012-10-06 23:03:36 +02002644
Victor Stinner6d970f42011-03-02 00:04:25 +00002645 # test %A
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002646 check_format(r"%A:'abc\xe9\uabcd\U0010ffff'",
2647 b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002648
Victor Stinner6d970f42011-03-02 00:04:25 +00002649 # test %V
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002650 check_format('repr=abc',
2651 b'repr=%V', 'abc', b'xyz')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002652
2653 # Test string decode from parameter of %s using utf-8.
2654 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2655 # '\u4eba\u6c11'
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002656 check_format('repr=\u4eba\u6c11',
2657 b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002658
2659 #Test replace error handler.
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002660 check_format('repr=abc\ufffd',
2661 b'repr=%V', None, b'abc\xff')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002662
Victor Stinner6d970f42011-03-02 00:04:25 +00002663 # not supported: copy the raw format string. these tests are just here
Martin Panter2f9171d2016-12-18 01:23:09 +00002664 # to check for crashes and should not be considered as specifications
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002665 check_format('%s',
2666 b'%1%s', b'abc')
2667 check_format('%1abc',
2668 b'%1abc')
2669 check_format('%+i',
2670 b'%+i', c_int(10))
2671 check_format('%.%s',
2672 b'%.%s', b'abc')
Victor Stinner6d970f42011-03-02 00:04:25 +00002673
Victor Stinner1c24bd02010-10-02 11:03:13 +00002674 # Test PyUnicode_AsWideChar()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002675 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002676 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002677 from _testcapi import unicode_aswidechar
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002678 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002679 from ctypes import c_wchar, sizeof
2680
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002681 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002682 self.assertEqual(size, 2)
2683 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002684
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002685 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002686 self.assertEqual(size, 3)
2687 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002688
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002689 wchar, size = unicode_aswidechar('abc', 4)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002690 self.assertEqual(size, 3)
2691 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002692
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002693 wchar, size = unicode_aswidechar('abc', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002694 self.assertEqual(size, 3)
2695 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002696
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002697 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002698 self.assertEqual(size, 7)
2699 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002700
Victor Stinner5593d8a2010-10-02 11:11:27 +00002701 nonbmp = chr(0x10ffff)
2702 if sizeof(c_wchar) == 2:
2703 buflen = 3
2704 nchar = 2
2705 else: # sizeof(c_wchar) == 4
2706 buflen = 2
2707 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002708 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002709 self.assertEqual(size, nchar)
2710 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002711
Victor Stinner1c24bd02010-10-02 11:03:13 +00002712 # Test PyUnicode_AsWideCharString()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002713 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002714 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002715 from _testcapi import unicode_aswidecharstring
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002716 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002717 from ctypes import c_wchar, sizeof
2718
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002719 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002720 self.assertEqual(size, 3)
2721 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002722
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002723 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002724 self.assertEqual(size, 7)
2725 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002726
Victor Stinner5593d8a2010-10-02 11:11:27 +00002727 nonbmp = chr(0x10ffff)
2728 if sizeof(c_wchar) == 2:
2729 nchar = 2
2730 else: # sizeof(c_wchar) == 4
2731 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002732 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002733 self.assertEqual(size, nchar)
2734 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002735
Serhiy Storchakacc164232016-10-02 21:29:26 +03002736 # Test PyUnicode_AsUCS4()
2737 @support.cpython_only
2738 def test_asucs4(self):
2739 from _testcapi import unicode_asucs4
2740 for s in ['abc', '\xa1\xa2', '\u4f60\u597d', 'a\U0001f600',
2741 'a\ud800b\udfffc', '\ud834\udd1e']:
2742 l = len(s)
2743 self.assertEqual(unicode_asucs4(s, l, 1), s+'\0')
2744 self.assertEqual(unicode_asucs4(s, l, 0), s+'\uffff')
2745 self.assertEqual(unicode_asucs4(s, l+1, 1), s+'\0\uffff')
2746 self.assertEqual(unicode_asucs4(s, l+1, 0), s+'\0\uffff')
2747 self.assertRaises(SystemError, unicode_asucs4, s, l-1, 1)
2748 self.assertRaises(SystemError, unicode_asucs4, s, l-2, 0)
2749 s = '\0'.join([s, s])
2750 self.assertEqual(unicode_asucs4(s, len(s), 1), s+'\0')
2751 self.assertEqual(unicode_asucs4(s, len(s), 0), s+'\uffff')
2752
Xiang Zhangb2110682016-12-20 22:52:33 +08002753 # Test PyUnicode_FindChar()
2754 @support.cpython_only
2755 def test_findchar(self):
2756 from _testcapi import unicode_findchar
2757
2758 for str in "\xa1", "\u8000\u8080", "\ud800\udc02", "\U0001f100\U0001f1f1":
2759 for i, ch in enumerate(str):
2760 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), 1), i)
2761 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), -1), i)
2762
2763 str = "!>_<!"
2764 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), 1), -1)
2765 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), -1), -1)
2766 # start < end
2767 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, 1), 4)
2768 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, -1), 4)
2769 # start >= end
2770 self.assertEqual(unicode_findchar(str, ord('!'), 0, 0, 1), -1)
2771 self.assertEqual(unicode_findchar(str, ord('!'), len(str), 0, 1), -1)
2772 # negative
2773 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, 1), 0)
2774 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, -1), 0)
2775
Serhiy Storchaka9c0e1f82016-10-08 22:45:38 +03002776 # Test PyUnicode_CopyCharacters()
2777 @support.cpython_only
2778 def test_copycharacters(self):
2779 from _testcapi import unicode_copycharacters
2780
2781 strings = [
2782 'abcde', '\xa1\xa2\xa3\xa4\xa5',
2783 '\u4f60\u597d\u4e16\u754c\uff01',
2784 '\U0001f600\U0001f601\U0001f602\U0001f603\U0001f604'
2785 ]
2786
2787 for idx, from_ in enumerate(strings):
2788 # wide -> narrow: exceed maxchar limitation
2789 for to in strings[:idx]:
2790 self.assertRaises(
2791 SystemError,
2792 unicode_copycharacters, to, 0, from_, 0, 5
2793 )
2794 # same kind
2795 for from_start in range(5):
2796 self.assertEqual(
2797 unicode_copycharacters(from_, 0, from_, from_start, 5),
2798 (from_[from_start:from_start+5].ljust(5, '\0'),
2799 5-from_start)
2800 )
2801 for to_start in range(5):
2802 self.assertEqual(
2803 unicode_copycharacters(from_, to_start, from_, to_start, 5),
2804 (from_[to_start:to_start+5].rjust(5, '\0'),
2805 5-to_start)
2806 )
2807 # narrow -> wide
2808 # Tests omitted since this creates invalid strings.
2809
2810 s = strings[0]
2811 self.assertRaises(IndexError, unicode_copycharacters, s, 6, s, 0, 5)
2812 self.assertRaises(IndexError, unicode_copycharacters, s, -1, s, 0, 5)
2813 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, 6, 5)
2814 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, -1, 5)
2815 self.assertRaises(SystemError, unicode_copycharacters, s, 1, s, 0, 5)
2816 self.assertRaises(SystemError, unicode_copycharacters, s, 0, s, 0, -1)
2817 self.assertRaises(SystemError, unicode_copycharacters, s, 0, b'', 0, 0)
2818
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002819 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002820 def test_encode_decimal(self):
2821 from _testcapi import unicode_encodedecimal
2822 self.assertEqual(unicode_encodedecimal('123'),
2823 b'123')
2824 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2825 b'3.14')
2826 self.assertEqual(unicode_encodedecimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2827 b' 3.14 ')
2828 self.assertRaises(UnicodeEncodeError,
2829 unicode_encodedecimal, "123\u20ac", "strict")
Victor Stinner6345be92011-11-25 20:09:01 +01002830 self.assertRaisesRegex(
2831 ValueError,
2832 "^'decimal' codec can't encode character",
2833 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002834
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002835 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002836 def test_transform_decimal(self):
2837 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
2838 self.assertEqual(transform_decimal('123'),
2839 '123')
2840 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2841 '3.14')
2842 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2843 "\N{EM SPACE}3.14\N{EN SPACE}")
2844 self.assertEqual(transform_decimal('123\u20ac'),
2845 '123\u20ac')
2846
Serhiy Storchaka7aa69082015-12-03 01:02:03 +02002847 @support.cpython_only
2848 def test_pep393_utf8_caching_bug(self):
2849 # Issue #25709: Problem with string concatenation and utf-8 cache
2850 from _testcapi import getargs_s_hash
2851 for k in 0x24, 0xa4, 0x20ac, 0x1f40d:
2852 s = ''
2853 for i in range(5):
2854 # Due to CPython specific optimization the 's' string can be
2855 # resized in-place.
2856 s += chr(k)
2857 # Parsing with the "s#" format code calls indirectly
2858 # PyUnicode_AsUTF8AndSize() which creates the UTF-8
2859 # encoded string cached in the Unicode object.
2860 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2861 # Check that the second call returns the same result
2862 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2863
Eric Smitha1eac722011-01-29 11:15:35 +00002864class StringModuleTest(unittest.TestCase):
2865 def test_formatter_parser(self):
2866 def parse(format):
2867 return list(_string.formatter_parser(format))
2868
2869 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2870 self.assertEqual(formatter, [
2871 ('prefix ', '2', '', 's'),
2872 ('xxx', '0', '^+10.3f', None),
2873 ('', 'obj.attr', '', 's'),
2874 (' ', 'z[0]', '10', 's'),
2875 ])
2876
2877 formatter = parse("prefix {} suffix")
2878 self.assertEqual(formatter, [
2879 ('prefix ', '', '', None),
2880 (' suffix', None, None, None),
2881 ])
2882
2883 formatter = parse("str")
2884 self.assertEqual(formatter, [
2885 ('str', None, None, None),
2886 ])
2887
2888 formatter = parse("")
2889 self.assertEqual(formatter, [])
2890
2891 formatter = parse("{0}")
2892 self.assertEqual(formatter, [
2893 ('', '0', '', None),
2894 ])
2895
2896 self.assertRaises(TypeError, _string.formatter_parser, 1)
2897
2898 def test_formatter_field_name_split(self):
2899 def split(name):
2900 items = list(_string.formatter_field_name_split(name))
2901 items[1] = list(items[1])
2902 return items
2903 self.assertEqual(split("obj"), ["obj", []])
2904 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
2905 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
2906 self.assertEqual(split("obj.arg[key1][key2]"), [
2907 "obj",
2908 [(True, 'arg'),
2909 (False, 'key1'),
2910 (False, 'key2'),
2911 ]])
2912 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
2913
2914
Walter Dörwald28256f22003-01-19 16:59:20 +00002915if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02002916 unittest.main()