blob: 2839889646789857062d904bdc5e6629b7a0abea [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
Victor Stinner22eb6892019-06-26 00:51:05 +020014import textwrap
Greg Price6bccbe72019-08-14 04:05:19 -070015import unicodedata
Guido van Rossum98297ee2007-11-06 21:34:58 +000016import unittest
17import warnings
Benjamin Petersonee8712c2008-05-20 21:35:26 +000018from test import support, string_tests
Victor Stinner22eb6892019-06-26 00:51:05 +020019from test.support.script_helper import assert_python_failure
Guido van Rossuma831cac2000-03-10 23:23:21 +000020
Neal Norwitz430f68b2005-11-24 22:00:56 +000021# Error handling (bad decoder return)
22def search_function(encoding):
23 def decode1(input, errors="strict"):
24 return 42 # not a tuple
25 def encode1(input, errors="strict"):
26 return 42 # not a tuple
27 def encode2(input, errors="strict"):
28 return (42, 42) # no unicode
29 def decode2(input, errors="strict"):
30 return (42, 42) # no unicode
31 if encoding=="test.unicode1":
32 return (encode1, decode1, None, None)
33 elif encoding=="test.unicode2":
34 return (encode2, decode2, None, None)
35 else:
36 return None
37codecs.register(search_function)
38
Victor Stinner9fc59812013-04-08 22:34:43 +020039def duplicate_string(text):
40 """
41 Try to get a fresh clone of the specified text:
42 new object with a reference count of 1.
43
44 This is a best-effort: latin1 single letters and the empty
45 string ('') are singletons and cannot be cloned.
46 """
47 return text.encode().decode()
48
Serhiy Storchaka15095802015-11-25 15:47:01 +020049class StrSubclass(str):
50 pass
51
Brett Cannon226b2302010-03-20 22:22:22 +000052class UnicodeTest(string_tests.CommonTest,
53 string_tests.MixinStrUnicodeUserStringTest,
Ezio Melotti0dceb562013-01-10 07:43:26 +020054 string_tests.MixinStrUnicodeTest,
55 unittest.TestCase):
Brett Cannon226b2302010-03-20 22:22:22 +000056
Guido van Rossumef87d6e2007-05-02 19:09:54 +000057 type2test = str
Walter Dörwald0fd583c2003-02-21 12:53:50 +000058
59 def checkequalnofix(self, result, object, methodname, *args):
60 method = getattr(object, methodname)
61 realresult = method(*args)
62 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000063 self.assertTrue(type(realresult) is type(result))
Walter Dörwald0fd583c2003-02-21 12:53:50 +000064
65 # if the original is returned make sure that
66 # this doesn't happen with subclasses
67 if realresult is object:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000068 class usub(str):
Walter Dörwald0fd583c2003-02-21 12:53:50 +000069 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000070 return 'usub(%r)' % str.__repr__(self)
Walter Dörwald0fd583c2003-02-21 12:53:50 +000071 object = usub(object)
72 method = getattr(object, methodname)
73 realresult = method(*args)
74 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000075 self.assertTrue(object is not realresult)
Guido van Rossume4874ae2001-09-21 15:36:41 +000076
Jeremy Hylton504de6b2003-10-06 05:08:26 +000077 def test_literals(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000078 self.assertEqual('\xff', '\u00ff')
79 self.assertEqual('\uffff', '\U0000ffff')
Guido van Rossum36e0a922007-07-20 04:05:57 +000080 self.assertRaises(SyntaxError, eval, '\'\\Ufffffffe\'')
81 self.assertRaises(SyntaxError, eval, '\'\\Uffffffff\'')
82 self.assertRaises(SyntaxError, eval, '\'\\U%08x\'' % 0x110000)
Benjamin Petersoncd76c272008-04-05 15:09:30 +000083 # raw strings should not have unicode escapes
Florent Xiclunaa87b3832010-09-13 02:28:18 +000084 self.assertNotEqual(r"\u0020", " ")
Jeremy Hylton504de6b2003-10-06 05:08:26 +000085
Georg Brandl559e5d72008-06-11 18:37:52 +000086 def test_ascii(self):
87 if not sys.platform.startswith('java'):
88 # Test basic sanity of repr()
89 self.assertEqual(ascii('abc'), "'abc'")
90 self.assertEqual(ascii('ab\\c'), "'ab\\\\c'")
91 self.assertEqual(ascii('ab\\'), "'ab\\\\'")
92 self.assertEqual(ascii('\\c'), "'\\\\c'")
93 self.assertEqual(ascii('\\'), "'\\\\'")
94 self.assertEqual(ascii('\n'), "'\\n'")
95 self.assertEqual(ascii('\r'), "'\\r'")
96 self.assertEqual(ascii('\t'), "'\\t'")
97 self.assertEqual(ascii('\b'), "'\\x08'")
98 self.assertEqual(ascii("'\""), """'\\'"'""")
99 self.assertEqual(ascii("'\""), """'\\'"'""")
100 self.assertEqual(ascii("'"), '''"'"''')
101 self.assertEqual(ascii('"'), """'"'""")
102 latin1repr = (
103 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
104 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
105 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
106 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
107 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
108 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
109 "\\x9c\\x9d\\x9e\\x9f\\xa0\\xa1\\xa2\\xa3\\xa4\\xa5\\xa6\\xa7\\xa8\\xa9"
110 "\\xaa\\xab\\xac\\xad\\xae\\xaf\\xb0\\xb1\\xb2\\xb3\\xb4\\xb5\\xb6\\xb7"
111 "\\xb8\\xb9\\xba\\xbb\\xbc\\xbd\\xbe\\xbf\\xc0\\xc1\\xc2\\xc3\\xc4\\xc5"
112 "\\xc6\\xc7\\xc8\\xc9\\xca\\xcb\\xcc\\xcd\\xce\\xcf\\xd0\\xd1\\xd2\\xd3"
113 "\\xd4\\xd5\\xd6\\xd7\\xd8\\xd9\\xda\\xdb\\xdc\\xdd\\xde\\xdf\\xe0\\xe1"
114 "\\xe2\\xe3\\xe4\\xe5\\xe6\\xe7\\xe8\\xe9\\xea\\xeb\\xec\\xed\\xee\\xef"
115 "\\xf0\\xf1\\xf2\\xf3\\xf4\\xf5\\xf6\\xf7\\xf8\\xf9\\xfa\\xfb\\xfc\\xfd"
116 "\\xfe\\xff'")
117 testrepr = ascii(''.join(map(chr, range(256))))
118 self.assertEqual(testrepr, latin1repr)
119 # Test ascii works on wide unicode escapes without overflow.
120 self.assertEqual(ascii("\U00010000" * 39 + "\uffff" * 4096),
121 ascii("\U00010000" * 39 + "\uffff" * 4096))
122
123 class WrongRepr:
124 def __repr__(self):
125 return b'byte-repr'
126 self.assertRaises(TypeError, ascii, WrongRepr())
127
Walter Dörwald28256f22003-01-19 16:59:20 +0000128 def test_repr(self):
129 if not sys.platform.startswith('java'):
130 # Test basic sanity of repr()
Walter Dörwald67e83882007-05-05 12:26:27 +0000131 self.assertEqual(repr('abc'), "'abc'")
132 self.assertEqual(repr('ab\\c'), "'ab\\\\c'")
133 self.assertEqual(repr('ab\\'), "'ab\\\\'")
134 self.assertEqual(repr('\\c'), "'\\\\c'")
135 self.assertEqual(repr('\\'), "'\\\\'")
136 self.assertEqual(repr('\n'), "'\\n'")
137 self.assertEqual(repr('\r'), "'\\r'")
138 self.assertEqual(repr('\t'), "'\\t'")
139 self.assertEqual(repr('\b'), "'\\x08'")
140 self.assertEqual(repr("'\""), """'\\'"'""")
141 self.assertEqual(repr("'\""), """'\\'"'""")
142 self.assertEqual(repr("'"), '''"'"''')
143 self.assertEqual(repr('"'), """'"'""")
Walter Dörwald28256f22003-01-19 16:59:20 +0000144 latin1repr = (
Walter Dörwald67e83882007-05-05 12:26:27 +0000145 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
Walter Dörwald28256f22003-01-19 16:59:20 +0000146 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
147 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
148 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
149 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
150 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
Georg Brandl559e5d72008-06-11 18:37:52 +0000151 "\\x9c\\x9d\\x9e\\x9f\\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9"
152 "\xaa\xab\xac\\xad\xae\xaf\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7"
153 "\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf\xc0\xc1\xc2\xc3\xc4\xc5"
154 "\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf\xd0\xd1\xd2\xd3"
155 "\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf\xe0\xe1"
156 "\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef"
157 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd"
158 "\xfe\xff'")
Guido van Rossum805365e2007-05-07 22:24:25 +0000159 testrepr = repr(''.join(map(chr, range(256))))
Walter Dörwald28256f22003-01-19 16:59:20 +0000160 self.assertEqual(testrepr, latin1repr)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000161 # Test repr works on wide unicode escapes without overflow.
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000162 self.assertEqual(repr("\U00010000" * 39 + "\uffff" * 4096),
163 repr("\U00010000" * 39 + "\uffff" * 4096))
Walter Dörwald28256f22003-01-19 16:59:20 +0000164
Georg Brandl559e5d72008-06-11 18:37:52 +0000165 class WrongRepr:
166 def __repr__(self):
167 return b'byte-repr'
168 self.assertRaises(TypeError, repr, WrongRepr())
169
Guido van Rossum49d6b072006-08-17 21:11:47 +0000170 def test_iterators(self):
171 # Make sure unicode objects have an __iter__ method
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000172 it = "\u1111\u2222\u3333".__iter__()
173 self.assertEqual(next(it), "\u1111")
174 self.assertEqual(next(it), "\u2222")
175 self.assertEqual(next(it), "\u3333")
Georg Brandla18af4e2007-04-21 15:47:16 +0000176 self.assertRaises(StopIteration, next, it)
Guido van Rossum49d6b072006-08-17 21:11:47 +0000177
Walter Dörwald28256f22003-01-19 16:59:20 +0000178 def test_count(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000179 string_tests.CommonTest.test_count(self)
180 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000181 self.checkequalnofix(3, 'aaa', 'count', 'a')
182 self.checkequalnofix(0, 'aaa', 'count', 'b')
183 self.checkequalnofix(3, 'aaa', 'count', 'a')
184 self.checkequalnofix(0, 'aaa', 'count', 'b')
185 self.checkequalnofix(0, 'aaa', 'count', 'b')
186 self.checkequalnofix(1, 'aaa', 'count', 'a', -1)
187 self.checkequalnofix(3, 'aaa', 'count', 'a', -10)
188 self.checkequalnofix(2, 'aaa', 'count', 'a', 0, -1)
189 self.checkequalnofix(0, 'aaa', 'count', 'a', 0, -10)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200190 # test mixed kinds
191 self.checkequal(10, '\u0102' + 'a' * 10, 'count', 'a')
192 self.checkequal(10, '\U00100304' + 'a' * 10, 'count', 'a')
193 self.checkequal(10, '\U00100304' + '\u0102' * 10, 'count', '\u0102')
194 self.checkequal(0, 'a' * 10, 'count', '\u0102')
195 self.checkequal(0, 'a' * 10, 'count', '\U00100304')
196 self.checkequal(0, '\u0102' * 10, 'count', '\U00100304')
197 self.checkequal(10, '\u0102' + 'a_' * 10, 'count', 'a_')
198 self.checkequal(10, '\U00100304' + 'a_' * 10, 'count', 'a_')
199 self.checkequal(10, '\U00100304' + '\u0102_' * 10, 'count', '\u0102_')
200 self.checkequal(0, 'a' * 10, 'count', 'a\u0102')
201 self.checkequal(0, 'a' * 10, 'count', 'a\U00100304')
202 self.checkequal(0, '\u0102' * 10, 'count', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000203
Walter Dörwald28256f22003-01-19 16:59:20 +0000204 def test_find(self):
Antoine Pitrouc0bbe7d2011-10-08 22:41:35 +0200205 string_tests.CommonTest.test_find(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200206 # test implementation details of the memchr fast path
207 self.checkequal(100, 'a' * 100 + '\u0102', 'find', '\u0102')
208 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0201')
209 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0120')
210 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0220')
211 self.checkequal(100, 'a' * 100 + '\U00100304', 'find', '\U00100304')
212 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00100204')
213 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00102004')
214 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000215 self.checkequalnofix(0, 'abcdefghiabc', 'find', 'abc')
216 self.checkequalnofix(9, 'abcdefghiabc', 'find', 'abc', 1)
217 self.checkequalnofix(-1, 'abcdefghiabc', 'find', 'def', 4)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000218
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000219 self.assertRaises(TypeError, 'hello'.find)
220 self.assertRaises(TypeError, 'hello'.find, 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200221 # test mixed kinds
222 self.checkequal(100, '\u0102' * 100 + 'a', 'find', 'a')
223 self.checkequal(100, '\U00100304' * 100 + 'a', 'find', 'a')
224 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'find', '\u0102')
225 self.checkequal(-1, 'a' * 100, 'find', '\u0102')
226 self.checkequal(-1, 'a' * 100, 'find', '\U00100304')
227 self.checkequal(-1, '\u0102' * 100, 'find', '\U00100304')
228 self.checkequal(100, '\u0102' * 100 + 'a_', 'find', 'a_')
229 self.checkequal(100, '\U00100304' * 100 + 'a_', 'find', 'a_')
230 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'find', '\u0102_')
231 self.checkequal(-1, 'a' * 100, 'find', 'a\u0102')
232 self.checkequal(-1, 'a' * 100, 'find', 'a\U00100304')
233 self.checkequal(-1, '\u0102' * 100, 'find', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000234
Walter Dörwald28256f22003-01-19 16:59:20 +0000235 def test_rfind(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000236 string_tests.CommonTest.test_rfind(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200237 # test implementation details of the memrchr fast path
238 self.checkequal(0, '\u0102' + 'a' * 100 , 'rfind', '\u0102')
239 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0201')
240 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0120')
241 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0220')
242 self.checkequal(0, '\U00100304' + 'a' * 100, 'rfind', '\U00100304')
243 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00100204')
244 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00102004')
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000245 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000246 self.checkequalnofix(9, 'abcdefghiabc', 'rfind', 'abc')
247 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
248 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200249 # test mixed kinds
250 self.checkequal(0, 'a' + '\u0102' * 100, 'rfind', 'a')
251 self.checkequal(0, 'a' + '\U00100304' * 100, 'rfind', 'a')
252 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rfind', '\u0102')
253 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102')
254 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304')
255 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304')
256 self.checkequal(0, '_a' + '\u0102' * 100, 'rfind', '_a')
257 self.checkequal(0, '_a' + '\U00100304' * 100, 'rfind', '_a')
258 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rfind', '_\u0102')
259 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102a')
260 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304a')
261 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304\u0102')
Guido van Rossum8b264542000-12-19 02:22:31 +0000262
Walter Dörwald28256f22003-01-19 16:59:20 +0000263 def test_index(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000264 string_tests.CommonTest.test_index(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000265 self.checkequalnofix(0, 'abcdefghiabc', 'index', '')
266 self.checkequalnofix(3, 'abcdefghiabc', 'index', 'def')
267 self.checkequalnofix(0, 'abcdefghiabc', 'index', 'abc')
268 self.checkequalnofix(9, 'abcdefghiabc', 'index', 'abc', 1)
269 self.assertRaises(ValueError, 'abcdefghiabc'.index, 'hib')
270 self.assertRaises(ValueError, 'abcdefghiab'.index, 'abc', 1)
271 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', 8)
272 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200273 # test mixed kinds
274 self.checkequal(100, '\u0102' * 100 + 'a', 'index', 'a')
275 self.checkequal(100, '\U00100304' * 100 + 'a', 'index', 'a')
276 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'index', '\u0102')
277 self.assertRaises(ValueError, ('a' * 100).index, '\u0102')
278 self.assertRaises(ValueError, ('a' * 100).index, '\U00100304')
279 self.assertRaises(ValueError, ('\u0102' * 100).index, '\U00100304')
280 self.checkequal(100, '\u0102' * 100 + 'a_', 'index', 'a_')
281 self.checkequal(100, '\U00100304' * 100 + 'a_', 'index', 'a_')
282 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'index', '\u0102_')
283 self.assertRaises(ValueError, ('a' * 100).index, 'a\u0102')
284 self.assertRaises(ValueError, ('a' * 100).index, 'a\U00100304')
285 self.assertRaises(ValueError, ('\u0102' * 100).index, '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000286
Walter Dörwald28256f22003-01-19 16:59:20 +0000287 def test_rindex(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000288 string_tests.CommonTest.test_rindex(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000289 self.checkequalnofix(12, 'abcdefghiabc', 'rindex', '')
290 self.checkequalnofix(3, 'abcdefghiabc', 'rindex', 'def')
291 self.checkequalnofix(9, 'abcdefghiabc', 'rindex', 'abc')
292 self.checkequalnofix(0, 'abcdefghiabc', 'rindex', 'abc', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000293
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000294 self.assertRaises(ValueError, 'abcdefghiabc'.rindex, 'hib')
295 self.assertRaises(ValueError, 'defghiabc'.rindex, 'def', 1)
296 self.assertRaises(ValueError, 'defghiabc'.rindex, 'abc', 0, -1)
297 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, 8)
298 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200299 # test mixed kinds
300 self.checkequal(0, 'a' + '\u0102' * 100, 'rindex', 'a')
301 self.checkequal(0, 'a' + '\U00100304' * 100, 'rindex', 'a')
302 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rindex', '\u0102')
303 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102')
304 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304')
305 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304')
306 self.checkequal(0, '_a' + '\u0102' * 100, 'rindex', '_a')
307 self.checkequal(0, '_a' + '\U00100304' * 100, 'rindex', '_a')
308 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rindex', '_\u0102')
309 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102a')
310 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304a')
311 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304\u0102')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000312
Georg Brandlceee0772007-11-27 23:48:05 +0000313 def test_maketrans_translate(self):
314 # these work with plain translate()
315 self.checkequalnofix('bbbc', 'abababc', 'translate',
316 {ord('a'): None})
317 self.checkequalnofix('iiic', 'abababc', 'translate',
318 {ord('a'): None, ord('b'): ord('i')})
319 self.checkequalnofix('iiix', 'abababc', 'translate',
320 {ord('a'): None, ord('b'): ord('i'), ord('c'): 'x'})
321 self.checkequalnofix('c', 'abababc', 'translate',
322 {ord('a'): None, ord('b'): ''})
323 self.checkequalnofix('xyyx', 'xzx', 'translate',
324 {ord('z'): 'yy'})
Victor Stinner5a29f252014-04-05 00:17:51 +0200325
Georg Brandlceee0772007-11-27 23:48:05 +0000326 # this needs maketrans()
327 self.checkequalnofix('abababc', 'abababc', 'translate',
328 {'b': '<i>'})
329 tbl = self.type2test.maketrans({'a': None, 'b': '<i>'})
330 self.checkequalnofix('<i><i><i>c', 'abababc', 'translate', tbl)
331 # test alternative way of calling maketrans()
332 tbl = self.type2test.maketrans('abc', 'xyz', 'd')
333 self.checkequalnofix('xyzzy', 'abdcdcbdddd', 'translate', tbl)
334
Victor Stinner5a29f252014-04-05 00:17:51 +0200335 # various tests switching from ASCII to latin1 or the opposite;
336 # same length, remove a letter, or replace with a longer string.
337 self.assertEqual("[a]".translate(str.maketrans('a', 'X')),
338 "[X]")
339 self.assertEqual("[a]".translate(str.maketrans({'a': 'X'})),
340 "[X]")
341 self.assertEqual("[a]".translate(str.maketrans({'a': None})),
342 "[]")
343 self.assertEqual("[a]".translate(str.maketrans({'a': 'XXX'})),
344 "[XXX]")
345 self.assertEqual("[a]".translate(str.maketrans({'a': '\xe9'})),
346 "[\xe9]")
Victor Stinner33798672016-03-01 21:59:58 +0100347 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '123'})),
348 "x123")
349 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '\xe9'})),
350 "x\xe9")
351
352 # test non-ASCII (don't take the fast-path)
Victor Stinner5a29f252014-04-05 00:17:51 +0200353 self.assertEqual("[a]".translate(str.maketrans({'a': '<\xe9>'})),
354 "[<\xe9>]")
355 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': 'a'})),
356 "[a]")
357 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': None})),
358 "[]")
Victor Stinner33798672016-03-01 21:59:58 +0100359 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': '123'})),
360 "[123]")
361 self.assertEqual("[a\xe9]".translate(str.maketrans({'a': '<\u20ac>'})),
362 "[<\u20ac>\xe9]")
Victor Stinner5a29f252014-04-05 00:17:51 +0200363
Victor Stinner4ff33af2014-04-05 11:56:37 +0200364 # invalid Unicode characters
365 invalid_char = 0x10ffff+1
366 for before in "a\xe9\u20ac\U0010ffff":
367 mapping = str.maketrans({before: invalid_char})
368 text = "[%s]" % before
369 self.assertRaises(ValueError, text.translate, mapping)
370
371 # errors
Georg Brandlceee0772007-11-27 23:48:05 +0000372 self.assertRaises(TypeError, self.type2test.maketrans)
373 self.assertRaises(ValueError, self.type2test.maketrans, 'abc', 'defg')
374 self.assertRaises(TypeError, self.type2test.maketrans, 2, 'def')
375 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 2)
376 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 'def', 2)
377 self.assertRaises(ValueError, self.type2test.maketrans, {'xy': 2})
378 self.assertRaises(TypeError, self.type2test.maketrans, {(1,): 2})
Guido van Rossuma831cac2000-03-10 23:23:21 +0000379
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000380 self.assertRaises(TypeError, 'hello'.translate)
Walter Dörwald67e83882007-05-05 12:26:27 +0000381 self.assertRaises(TypeError, 'abababc'.translate, 'abc', 'xyz')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000382
Walter Dörwald28256f22003-01-19 16:59:20 +0000383 def test_split(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000384 string_tests.CommonTest.test_split(self)
Andrew M. Kuchlingeddd68d2002-03-29 16:21:44 +0000385
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200386 # test mixed kinds
387 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
388 left *= 9
389 right *= 9
390 for delim in ('c', '\u0102', '\U00010302'):
391 self.checkequal([left + right],
392 left + right, 'split', delim)
393 self.checkequal([left, right],
394 left + delim + right, 'split', delim)
395 self.checkequal([left + right],
396 left + right, 'split', delim * 2)
397 self.checkequal([left, right],
398 left + delim * 2 + right, 'split', delim *2)
399
400 def test_rsplit(self):
401 string_tests.CommonTest.test_rsplit(self)
402 # test mixed kinds
403 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
404 left *= 9
405 right *= 9
406 for delim in ('c', '\u0102', '\U00010302'):
407 self.checkequal([left + right],
408 left + right, 'rsplit', delim)
409 self.checkequal([left, right],
410 left + delim + right, 'rsplit', delim)
411 self.checkequal([left + right],
412 left + right, 'rsplit', delim * 2)
413 self.checkequal([left, right],
414 left + delim * 2 + right, 'rsplit', delim *2)
415
416 def test_partition(self):
417 string_tests.MixinStrUnicodeUserStringTest.test_partition(self)
418 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300419 self.checkequal(('ABCDEFGH', '', ''), 'ABCDEFGH', 'partition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200420 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
421 left *= 9
422 right *= 9
423 for delim in ('c', '\u0102', '\U00010302'):
424 self.checkequal((left + right, '', ''),
425 left + right, 'partition', delim)
426 self.checkequal((left, delim, right),
427 left + delim + right, 'partition', delim)
428 self.checkequal((left + right, '', ''),
429 left + right, 'partition', delim * 2)
430 self.checkequal((left, delim * 2, right),
431 left + delim * 2 + right, 'partition', delim * 2)
432
433 def test_rpartition(self):
434 string_tests.MixinStrUnicodeUserStringTest.test_rpartition(self)
435 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300436 self.checkequal(('', '', 'ABCDEFGH'), 'ABCDEFGH', 'rpartition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200437 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
438 left *= 9
439 right *= 9
440 for delim in ('c', '\u0102', '\U00010302'):
441 self.checkequal(('', '', left + right),
442 left + right, 'rpartition', delim)
443 self.checkequal((left, delim, right),
444 left + delim + right, 'rpartition', delim)
445 self.checkequal(('', '', left + right),
446 left + right, 'rpartition', delim * 2)
447 self.checkequal((left, delim * 2, right),
448 left + delim * 2 + right, 'rpartition', delim * 2)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000449
Walter Dörwald28256f22003-01-19 16:59:20 +0000450 def test_join(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000451 string_tests.MixinStrUnicodeUserStringTest.test_join(self)
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +0000452
Guido van Rossumf1044292007-09-27 18:01:22 +0000453 class MyWrapper:
454 def __init__(self, sval): self.sval = sval
455 def __str__(self): return self.sval
456
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000457 # mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000458 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
459 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
460 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
461 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
462 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
463 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
464 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
Guido van Rossum98297ee2007-11-06 21:34:58 +0000465 self.checkraises(TypeError, ' ', 'join', ['1', '2', MyWrapper('foo')])
466 self.checkraises(TypeError, ' ', 'join', ['1', '2', '3', bytes()])
467 self.checkraises(TypeError, ' ', 'join', [1, 2, 3])
468 self.checkraises(TypeError, ' ', 'join', ['1', '2', 3])
Marc-André Lemburge5034372000-08-08 08:04:29 +0000469
Martin Panterb71c0952017-01-12 11:54:59 +0000470 @unittest.skipIf(sys.maxsize > 2**32,
471 'needs too much memory on a 64-bit platform')
472 def test_join_overflow(self):
473 size = int(sys.maxsize**0.5) + 1
474 seq = ('A' * size,) * size
475 self.assertRaises(OverflowError, ''.join, seq)
476
Walter Dörwald28256f22003-01-19 16:59:20 +0000477 def test_replace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000478 string_tests.CommonTest.test_replace(self)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000479
Walter Dörwald28256f22003-01-19 16:59:20 +0000480 # method call forwarded from str implementation because of unicode argument
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000481 self.checkequalnofix('one@two!three!', 'one!two!three!', 'replace', '!', '@', 1)
482 self.assertRaises(TypeError, 'replace'.replace, "r", 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200483 # test mixed kinds
484 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
485 left *= 9
486 right *= 9
487 for delim in ('c', '\u0102', '\U00010302'):
488 for repl in ('d', '\u0103', '\U00010303'):
489 self.checkequal(left + right,
490 left + right, 'replace', delim, repl)
491 self.checkequal(left + repl + right,
492 left + delim + right,
493 'replace', delim, repl)
494 self.checkequal(left + right,
495 left + right, 'replace', delim * 2, repl)
496 self.checkequal(left + repl + right,
497 left + delim * 2 + right,
498 'replace', delim * 2, repl)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000499
Victor Stinner59de0ee2011-10-07 10:01:28 +0200500 @support.cpython_only
501 def test_replace_id(self):
Victor Stinner1d972ad2011-10-07 13:31:46 +0200502 pattern = 'abc'
503 text = 'abc def'
504 self.assertIs(text.replace(pattern, pattern), text)
Victor Stinner59de0ee2011-10-07 10:01:28 +0200505
Guido van Rossum98297ee2007-11-06 21:34:58 +0000506 def test_bytes_comparison(self):
Brett Cannon226b2302010-03-20 22:22:22 +0000507 with support.check_warnings():
508 warnings.simplefilter('ignore', BytesWarning)
509 self.assertEqual('abc' == b'abc', False)
510 self.assertEqual('abc' != b'abc', True)
511 self.assertEqual('abc' == bytearray(b'abc'), False)
512 self.assertEqual('abc' != bytearray(b'abc'), True)
Brett Cannon40430012007-10-22 20:24:51 +0000513
Walter Dörwald28256f22003-01-19 16:59:20 +0000514 def test_comparison(self):
515 # Comparisons:
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000516 self.assertEqual('abc', 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000517 self.assertTrue('abcd' > 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000518 self.assertTrue('abc' < 'abcd')
Walter Dörwald28256f22003-01-19 16:59:20 +0000519
520 if 0:
521 # Move these tests to a Unicode collation module test...
522 # Testing UTF-16 code point order comparisons...
523
524 # No surrogates, no fixup required.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000525 self.assertTrue('\u0061' < '\u20ac')
Walter Dörwald28256f22003-01-19 16:59:20 +0000526 # Non surrogate below surrogate value, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000527 self.assertTrue('\u0061' < '\ud800\udc02')
Walter Dörwald28256f22003-01-19 16:59:20 +0000528
529 # Non surrogate above surrogate value, fixup required
530 def test_lecmp(s, s2):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000531 self.assertTrue(s < s2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000532
533 def test_fixup(s):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000534 s2 = '\ud800\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000535 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000536 s2 = '\ud900\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000537 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000538 s2 = '\uda00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000539 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000540 s2 = '\udb00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000541 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000542 s2 = '\ud800\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000543 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000544 s2 = '\ud900\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000545 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000546 s2 = '\uda00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000547 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000548 s2 = '\udb00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000549 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000550 s2 = '\ud800\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000551 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000552 s2 = '\ud900\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000553 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000554 s2 = '\uda00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000555 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000556 s2 = '\udb00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000557 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000558 s2 = '\ud800\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000559 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000560 s2 = '\ud900\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000561 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000562 s2 = '\uda00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000563 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000564 s2 = '\udb00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000565 test_lecmp(s, s2)
566
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000567 test_fixup('\ue000')
568 test_fixup('\uff61')
Walter Dörwald28256f22003-01-19 16:59:20 +0000569
570 # Surrogates on both sides, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000571 self.assertTrue('\ud800\udc02' < '\ud84d\udc56')
Walter Dörwald28256f22003-01-19 16:59:20 +0000572
Walter Dörwald28256f22003-01-19 16:59:20 +0000573 def test_islower(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000574 super().test_islower()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000575 self.checkequalnofix(False, '\u1FFc', 'islower')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500576 self.assertFalse('\u2167'.islower())
577 self.assertTrue('\u2177'.islower())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300578 # non-BMP, uppercase
579 self.assertFalse('\U00010401'.islower())
580 self.assertFalse('\U00010427'.islower())
581 # non-BMP, lowercase
582 self.assertTrue('\U00010429'.islower())
583 self.assertTrue('\U0001044E'.islower())
584 # non-BMP, non-cased
585 self.assertFalse('\U0001F40D'.islower())
586 self.assertFalse('\U0001F46F'.islower())
Walter Dörwald28256f22003-01-19 16:59:20 +0000587
588 def test_isupper(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000589 super().test_isupper()
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000590 if not sys.platform.startswith('java'):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000591 self.checkequalnofix(False, '\u1FFc', 'isupper')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500592 self.assertTrue('\u2167'.isupper())
593 self.assertFalse('\u2177'.isupper())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300594 # non-BMP, uppercase
595 self.assertTrue('\U00010401'.isupper())
596 self.assertTrue('\U00010427'.isupper())
597 # non-BMP, lowercase
598 self.assertFalse('\U00010429'.isupper())
599 self.assertFalse('\U0001044E'.isupper())
600 # non-BMP, non-cased
601 self.assertFalse('\U0001F40D'.isupper())
602 self.assertFalse('\U0001F46F'.isupper())
Walter Dörwald28256f22003-01-19 16:59:20 +0000603
604 def test_istitle(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000605 super().test_istitle()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000606 self.checkequalnofix(True, '\u1FFc', 'istitle')
607 self.checkequalnofix(True, 'Greek \u1FFcitlecases ...', 'istitle')
Walter Dörwald28256f22003-01-19 16:59:20 +0000608
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300609 # non-BMP, uppercase + lowercase
610 self.assertTrue('\U00010401\U00010429'.istitle())
611 self.assertTrue('\U00010427\U0001044E'.istitle())
612 # apparently there are no titlecased (Lt) non-BMP chars in Unicode 6
613 for ch in ['\U00010429', '\U0001044E', '\U0001F40D', '\U0001F46F']:
614 self.assertFalse(ch.istitle(), '{!a} is not title'.format(ch))
615
Walter Dörwald28256f22003-01-19 16:59:20 +0000616 def test_isspace(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000617 super().test_isspace()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000618 self.checkequalnofix(True, '\u2000', 'isspace')
619 self.checkequalnofix(True, '\u200a', 'isspace')
620 self.checkequalnofix(False, '\u2014', 'isspace')
Greg Price6bccbe72019-08-14 04:05:19 -0700621 # There are no non-BMP whitespace chars as of Unicode 12.
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300622 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
623 '\U0001F40D', '\U0001F46F']:
624 self.assertFalse(ch.isspace(), '{!a} is not space.'.format(ch))
625
Greg Price6bccbe72019-08-14 04:05:19 -0700626 @support.requires_resource('cpu')
627 def test_isspace_invariant(self):
628 for codepoint in range(sys.maxunicode + 1):
629 char = chr(codepoint)
630 bidirectional = unicodedata.bidirectional(char)
631 category = unicodedata.category(char)
632 self.assertEqual(char.isspace(),
633 (bidirectional in ('WS', 'B', 'S')
634 or category == 'Zs'))
635
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300636 def test_isalnum(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000637 super().test_isalnum()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300638 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
639 '\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
640 self.assertTrue(ch.isalnum(), '{!a} is alnum.'.format(ch))
Walter Dörwald28256f22003-01-19 16:59:20 +0000641
642 def test_isalpha(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000643 super().test_isalpha()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000644 self.checkequalnofix(True, '\u1FFc', 'isalpha')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300645 # non-BMP, cased
646 self.assertTrue('\U00010401'.isalpha())
647 self.assertTrue('\U00010427'.isalpha())
648 self.assertTrue('\U00010429'.isalpha())
649 self.assertTrue('\U0001044E'.isalpha())
650 # non-BMP, non-cased
651 self.assertFalse('\U0001F40D'.isalpha())
652 self.assertFalse('\U0001F46F'.isalpha())
Walter Dörwald28256f22003-01-19 16:59:20 +0000653
INADA Naokia49ac992018-01-27 14:06:21 +0900654 def test_isascii(self):
655 super().test_isascii()
656 self.assertFalse("\u20ac".isascii())
657 self.assertFalse("\U0010ffff".isascii())
658
Walter Dörwald28256f22003-01-19 16:59:20 +0000659 def test_isdecimal(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000660 self.checkequalnofix(False, '', 'isdecimal')
661 self.checkequalnofix(False, 'a', 'isdecimal')
662 self.checkequalnofix(True, '0', 'isdecimal')
663 self.checkequalnofix(False, '\u2460', 'isdecimal') # CIRCLED DIGIT ONE
664 self.checkequalnofix(False, '\xbc', 'isdecimal') # VULGAR FRACTION ONE QUARTER
665 self.checkequalnofix(True, '\u0660', 'isdecimal') # ARABIC-INDIC DIGIT ZERO
666 self.checkequalnofix(True, '0123456789', 'isdecimal')
667 self.checkequalnofix(False, '0123456789a', 'isdecimal')
Walter Dörwald28256f22003-01-19 16:59:20 +0000668
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000669 self.checkraises(TypeError, 'abc', 'isdecimal', 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000670
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300671 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
672 '\U0001F40D', '\U0001F46F', '\U00011065', '\U0001F107']:
673 self.assertFalse(ch.isdecimal(), '{!a} is not decimal.'.format(ch))
674 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0']:
675 self.assertTrue(ch.isdecimal(), '{!a} is decimal.'.format(ch))
676
Walter Dörwald28256f22003-01-19 16:59:20 +0000677 def test_isdigit(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000678 super().test_isdigit()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000679 self.checkequalnofix(True, '\u2460', 'isdigit')
680 self.checkequalnofix(False, '\xbc', 'isdigit')
681 self.checkequalnofix(True, '\u0660', 'isdigit')
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', '\U00011065']:
685 self.assertFalse(ch.isdigit(), '{!a} is not a digit.'.format(ch))
686 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
687 self.assertTrue(ch.isdigit(), '{!a} is a digit.'.format(ch))
688
Walter Dörwald28256f22003-01-19 16:59:20 +0000689 def test_isnumeric(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000690 self.checkequalnofix(False, '', 'isnumeric')
691 self.checkequalnofix(False, 'a', 'isnumeric')
692 self.checkequalnofix(True, '0', 'isnumeric')
693 self.checkequalnofix(True, '\u2460', 'isnumeric')
694 self.checkequalnofix(True, '\xbc', 'isnumeric')
695 self.checkequalnofix(True, '\u0660', 'isnumeric')
696 self.checkequalnofix(True, '0123456789', 'isnumeric')
697 self.checkequalnofix(False, '0123456789a', 'isnumeric')
Walter Dörwald28256f22003-01-19 16:59:20 +0000698
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000699 self.assertRaises(TypeError, "abc".isnumeric, 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000700
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300701 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
702 '\U0001F40D', '\U0001F46F']:
703 self.assertFalse(ch.isnumeric(), '{!a} is not numeric.'.format(ch))
704 for ch in ['\U00011065', '\U0001D7F6', '\U00011066',
705 '\U000104A0', '\U0001F107']:
706 self.assertTrue(ch.isnumeric(), '{!a} is numeric.'.format(ch))
707
Martin v. Löwis47383402007-08-15 07:32:56 +0000708 def test_isidentifier(self):
709 self.assertTrue("a".isidentifier())
710 self.assertTrue("Z".isidentifier())
711 self.assertTrue("_".isidentifier())
712 self.assertTrue("b0".isidentifier())
713 self.assertTrue("bc".isidentifier())
714 self.assertTrue("b_".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000715 self.assertTrue("µ".isidentifier())
Benjamin Petersonf413b802011-08-12 22:17:18 -0500716 self.assertTrue("𝔘𝔫𝔦𝔠𝔬𝔡𝔢".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000717
718 self.assertFalse(" ".isidentifier())
719 self.assertFalse("[".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000720 self.assertFalse("©".isidentifier())
Georg Brandld52429f2008-07-04 15:55:02 +0000721 self.assertFalse("0".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000722
Georg Brandl559e5d72008-06-11 18:37:52 +0000723 def test_isprintable(self):
724 self.assertTrue("".isprintable())
Benjamin Peterson09832742009-03-26 17:15:46 +0000725 self.assertTrue(" ".isprintable())
Georg Brandl559e5d72008-06-11 18:37:52 +0000726 self.assertTrue("abcdefg".isprintable())
727 self.assertFalse("abcdefg\n".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000728 # some defined Unicode character
729 self.assertTrue("\u0374".isprintable())
730 # undefined character
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000731 self.assertFalse("\u0378".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000732 # single surrogate character
Georg Brandl559e5d72008-06-11 18:37:52 +0000733 self.assertFalse("\ud800".isprintable())
734
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300735 self.assertTrue('\U0001F46F'.isprintable())
736 self.assertFalse('\U000E0020'.isprintable())
737
738 def test_surrogates(self):
739 for s in ('a\uD800b\uDFFF', 'a\uDFFFb\uD800',
740 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
741 self.assertTrue(s.islower())
742 self.assertFalse(s.isupper())
743 self.assertFalse(s.istitle())
744 for s in ('A\uD800B\uDFFF', 'A\uDFFFB\uD800',
745 'A\uD800B\uDFFFA', 'A\uDFFFB\uD800A'):
746 self.assertFalse(s.islower())
747 self.assertTrue(s.isupper())
748 self.assertTrue(s.istitle())
749
750 for meth_name in ('islower', 'isupper', 'istitle'):
751 meth = getattr(str, meth_name)
752 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF'):
753 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
754
755 for meth_name in ('isalpha', 'isalnum', 'isdigit', 'isspace',
756 'isdecimal', 'isnumeric',
757 'isidentifier', 'isprintable'):
758 meth = getattr(str, meth_name)
759 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF',
760 'a\uD800b\uDFFF', 'a\uDFFFb\uD800',
761 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
762 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
763
764
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300765 def test_lower(self):
766 string_tests.CommonTest.test_lower(self)
767 self.assertEqual('\U00010427'.lower(), '\U0001044F')
768 self.assertEqual('\U00010427\U00010427'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300769 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300770 self.assertEqual('\U00010427\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300771 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300772 self.assertEqual('X\U00010427x\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300773 'x\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500774 self.assertEqual('fi'.lower(), 'fi')
775 self.assertEqual('\u0130'.lower(), '\u0069\u0307')
776 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
777 self.assertEqual('\u03a3'.lower(), '\u03c3')
778 self.assertEqual('\u0345\u03a3'.lower(), '\u0345\u03c3')
779 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
780 self.assertEqual('A\u0345\u03a3a'.lower(), 'a\u0345\u03c3a')
781 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
782 self.assertEqual('A\u03a3\u0345'.lower(), 'a\u03c2\u0345')
783 self.assertEqual('\u03a3\u0345 '.lower(), '\u03c3\u0345 ')
784 self.assertEqual('\U0008fffe'.lower(), '\U0008fffe')
785 self.assertEqual('\u2177'.lower(), '\u2177')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300786
Benjamin Petersond5890c82012-01-14 13:23:30 -0500787 def test_casefold(self):
788 self.assertEqual('hello'.casefold(), 'hello')
789 self.assertEqual('hELlo'.casefold(), 'hello')
790 self.assertEqual('ß'.casefold(), 'ss')
791 self.assertEqual('fi'.casefold(), 'fi')
792 self.assertEqual('\u03a3'.casefold(), '\u03c3')
793 self.assertEqual('A\u0345\u03a3'.casefold(), 'a\u03b9\u03c3')
Benjamin Peterson4eda9372012-08-05 15:05:34 -0700794 self.assertEqual('\u00b5'.casefold(), '\u03bc')
Benjamin Petersond5890c82012-01-14 13:23:30 -0500795
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300796 def test_upper(self):
797 string_tests.CommonTest.test_upper(self)
798 self.assertEqual('\U0001044F'.upper(), '\U00010427')
799 self.assertEqual('\U0001044F\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300800 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300801 self.assertEqual('\U00010427\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300802 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300803 self.assertEqual('X\U00010427x\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300804 'X\U00010427X\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500805 self.assertEqual('fi'.upper(), 'FI')
806 self.assertEqual('\u0130'.upper(), '\u0130')
807 self.assertEqual('\u03a3'.upper(), '\u03a3')
808 self.assertEqual('ß'.upper(), 'SS')
809 self.assertEqual('\u1fd2'.upper(), '\u0399\u0308\u0300')
810 self.assertEqual('\U0008fffe'.upper(), '\U0008fffe')
811 self.assertEqual('\u2177'.upper(), '\u2167')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300812
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300813 def test_capitalize(self):
814 string_tests.CommonTest.test_capitalize(self)
815 self.assertEqual('\U0001044F'.capitalize(), '\U00010427')
816 self.assertEqual('\U0001044F\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300817 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300818 self.assertEqual('\U00010427\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300819 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300820 self.assertEqual('\U0001044F\U00010427'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300821 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300822 self.assertEqual('X\U00010427x\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300823 'X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500824 self.assertEqual('h\u0130'.capitalize(), 'H\u0069\u0307')
825 exp = '\u0399\u0308\u0300\u0069\u0307'
826 self.assertEqual('\u1fd2\u0130'.capitalize(), exp)
Kingsley Mb015fc82019-04-12 16:35:39 +0100827 self.assertEqual('finnish'.capitalize(), 'Finnish')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500828 self.assertEqual('A\u0345\u03a3'.capitalize(), 'A\u0345\u03c2')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300829
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300830 def test_title(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000831 super().test_title()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300832 self.assertEqual('\U0001044F'.title(), '\U00010427')
833 self.assertEqual('\U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300834 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300835 self.assertEqual('\U0001044F\U0001044F \U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300836 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300837 self.assertEqual('\U00010427\U0001044F \U00010427\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300838 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300839 self.assertEqual('\U0001044F\U00010427 \U0001044F\U00010427'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300840 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300841 self.assertEqual('X\U00010427x\U0001044F X\U00010427x\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300842 'X\U0001044Fx\U0001044F X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500843 self.assertEqual('fiNNISH'.title(), 'Finnish')
844 self.assertEqual('A\u03a3 \u1fa1xy'.title(), 'A\u03c2 \u1fa9xy')
845 self.assertEqual('A\u03a3A'.title(), 'A\u03c3a')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300846
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300847 def test_swapcase(self):
848 string_tests.CommonTest.test_swapcase(self)
849 self.assertEqual('\U0001044F'.swapcase(), '\U00010427')
850 self.assertEqual('\U00010427'.swapcase(), '\U0001044F')
851 self.assertEqual('\U0001044F\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300852 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300853 self.assertEqual('\U00010427\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300854 '\U0001044F\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300855 self.assertEqual('\U0001044F\U00010427'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300856 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300857 self.assertEqual('X\U00010427x\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300858 'x\U0001044FX\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500859 self.assertEqual('fi'.swapcase(), 'FI')
860 self.assertEqual('\u0130'.swapcase(), '\u0069\u0307')
861 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
862 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
863 self.assertEqual('\u0345\u03a3'.swapcase(), '\u0399\u03c3')
864 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
865 self.assertEqual('A\u0345\u03a3a'.swapcase(), 'a\u0399\u03c3A')
866 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
867 self.assertEqual('A\u03a3\u0345'.swapcase(), 'a\u03c2\u0399')
868 self.assertEqual('\u03a3\u0345 '.swapcase(), '\u03c3\u0399 ')
869 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
870 self.assertEqual('ß'.swapcase(), 'SS')
871 self.assertEqual('\u1fd2'.swapcase(), '\u0399\u0308\u0300')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300872
Ezio Melottif84e01d2013-07-08 17:48:29 +0200873 def test_center(self):
874 string_tests.CommonTest.test_center(self)
875 self.assertEqual('x'.center(2, '\U0010FFFF'),
876 'x\U0010FFFF')
877 self.assertEqual('x'.center(3, '\U0010FFFF'),
878 '\U0010FFFFx\U0010FFFF')
879 self.assertEqual('x'.center(4, '\U0010FFFF'),
880 '\U0010FFFFx\U0010FFFF\U0010FFFF')
881
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400882 @unittest.skipUnless(sys.maxsize == 2**31 - 1, "requires 32-bit system")
Benjamin Peterson4d856892014-10-15 13:39:46 -0400883 @support.cpython_only
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400884 def test_case_operation_overflow(self):
885 # Issue #22643
Serhiy Storchaka411dfd82015-11-07 16:54:48 +0200886 size = 2**32//12 + 1
887 try:
888 s = "ü" * size
889 except MemoryError:
890 self.skipTest('no enough memory (%.0f MiB required)' % (size / 2**20))
891 try:
892 self.assertRaises(OverflowError, s.upper)
893 finally:
894 del s
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400895
Walter Dörwald28256f22003-01-19 16:59:20 +0000896 def test_contains(self):
897 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000898 self.assertIn('a', 'abdb')
899 self.assertIn('a', 'bdab')
900 self.assertIn('a', 'bdaba')
901 self.assertIn('a', 'bdba')
902 self.assertNotIn('a', 'bdb')
903 self.assertIn('a', 'bdba')
904 self.assertIn('a', ('a',1,None))
905 self.assertIn('a', (1,None,'a'))
906 self.assertIn('a', ('a',1,None))
907 self.assertIn('a', (1,None,'a'))
908 self.assertNotIn('a', ('x',1,'y'))
909 self.assertNotIn('a', ('x',1,None))
910 self.assertNotIn('abcd', 'abcxxxx')
911 self.assertIn('ab', 'abcd')
912 self.assertIn('ab', 'abc')
913 self.assertIn('ab', (1,None,'ab'))
914 self.assertIn('', 'abc')
915 self.assertIn('', '')
916 self.assertIn('', 'abc')
917 self.assertNotIn('\0', 'abc')
918 self.assertIn('\0', '\0abc')
919 self.assertIn('\0', 'abc\0')
920 self.assertIn('a', '\0abc')
921 self.assertIn('asdf', 'asdf')
922 self.assertNotIn('asdf', 'asd')
923 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000924
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000925 self.assertRaises(TypeError, "abc".__contains__)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200926 # test mixed kinds
927 for fill in ('a', '\u0100', '\U00010300'):
928 fill *= 9
929 for delim in ('c', '\u0102', '\U00010302'):
930 self.assertNotIn(delim, fill)
931 self.assertIn(delim, fill + delim)
932 self.assertNotIn(delim * 2, fill)
933 self.assertIn(delim * 2, fill + delim * 2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000934
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +0300935 def test_issue18183(self):
936 '\U00010000\U00100000'.lower()
937 '\U00010000\U00100000'.casefold()
938 '\U00010000\U00100000'.upper()
939 '\U00010000\U00100000'.capitalize()
940 '\U00010000\U00100000'.title()
941 '\U00010000\U00100000'.swapcase()
942 '\U00100000'.center(3, '\U00010000')
943 '\U00100000'.ljust(3, '\U00010000')
944 '\U00100000'.rjust(3, '\U00010000')
945
Eric Smith8c663262007-08-25 02:26:07 +0000946 def test_format(self):
947 self.assertEqual(''.format(), '')
948 self.assertEqual('a'.format(), 'a')
949 self.assertEqual('ab'.format(), 'ab')
950 self.assertEqual('a{{'.format(), 'a{')
951 self.assertEqual('a}}'.format(), 'a}')
952 self.assertEqual('{{b'.format(), '{b')
953 self.assertEqual('}}b'.format(), '}b')
954 self.assertEqual('a{{b'.format(), 'a{b')
955
956 # examples from the PEP:
957 import datetime
958 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
959 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
960 "My name is Fred")
961 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
962 "My name is Fred :-{}")
963
964 d = datetime.date(2007, 8, 18)
965 self.assertEqual("The year is {0.year}".format(d),
966 "The year is 2007")
967
Eric Smith8c663262007-08-25 02:26:07 +0000968 # classes we'll use for testing
969 class C:
970 def __init__(self, x=100):
971 self._x = x
972 def __format__(self, spec):
973 return spec
974
975 class D:
976 def __init__(self, x):
977 self.x = x
978 def __format__(self, spec):
979 return str(self.x)
980
981 # class with __str__, but no __format__
982 class E:
983 def __init__(self, x):
984 self.x = x
985 def __str__(self):
986 return 'E(' + self.x + ')'
987
988 # class with __repr__, but no __format__ or __str__
989 class F:
990 def __init__(self, x):
991 self.x = x
992 def __repr__(self):
993 return 'F(' + self.x + ')'
994
995 # class with __format__ that forwards to string, for some format_spec's
996 class G:
997 def __init__(self, x):
998 self.x = x
999 def __str__(self):
1000 return "string is " + self.x
1001 def __format__(self, format_spec):
1002 if format_spec == 'd':
1003 return 'G(' + self.x + ')'
1004 return object.__format__(self, format_spec)
1005
Eric Smith739e2ad2007-08-27 19:07:22 +00001006 class I(datetime.date):
1007 def __format__(self, format_spec):
1008 return self.strftime(format_spec)
1009
Eric Smith185e30c2007-08-30 22:23:08 +00001010 class J(int):
1011 def __format__(self, format_spec):
1012 return int.__format__(self * 2, format_spec)
1013
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001014 class M:
1015 def __init__(self, x):
1016 self.x = x
1017 def __repr__(self):
1018 return 'M(' + self.x + ')'
1019 __str__ = None
1020
1021 class N:
1022 def __init__(self, x):
1023 self.x = x
1024 def __repr__(self):
1025 return 'N(' + self.x + ')'
1026 __format__ = None
Eric Smith8c663262007-08-25 02:26:07 +00001027
1028 self.assertEqual(''.format(), '')
1029 self.assertEqual('abc'.format(), 'abc')
1030 self.assertEqual('{0}'.format('abc'), 'abc')
1031 self.assertEqual('{0:}'.format('abc'), 'abc')
1032# self.assertEqual('{ 0 }'.format('abc'), 'abc')
1033 self.assertEqual('X{0}'.format('abc'), 'Xabc')
1034 self.assertEqual('{0}X'.format('abc'), 'abcX')
1035 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
1036 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
1037 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
1038 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
1039 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
1040 self.assertEqual('{0}'.format(-15), '-15')
1041 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
1042 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
1043 self.assertEqual('{{'.format(), '{')
1044 self.assertEqual('}}'.format(), '}')
1045 self.assertEqual('{{}}'.format(), '{}')
1046 self.assertEqual('{{x}}'.format(), '{x}')
1047 self.assertEqual('{{{0}}}'.format(123), '{123}')
1048 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
1049 self.assertEqual('}}{{'.format(), '}{')
1050 self.assertEqual('}}x{{'.format(), '}x{')
1051
Eric Smith7ade6482007-08-26 22:27:13 +00001052 # weird field names
1053 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
1054 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001055 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +00001056
Eric Smith8c663262007-08-25 02:26:07 +00001057 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
1058 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
1059 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
1060 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
1061 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
1062 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
1063 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
1064
Eric Smith8c663262007-08-25 02:26:07 +00001065 # strings
1066 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
1067 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
1068 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
1069 self.assertEqual('{0:.0s}'.format('abcdef'), '')
1070 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
1071 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
1072 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
1073 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
1074 self.assertEqual('{0:x<0s}'.format('result'), 'result')
1075 self.assertEqual('{0:x<5s}'.format('result'), 'result')
1076 self.assertEqual('{0:x<6s}'.format('result'), 'result')
1077 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
1078 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
1079 self.assertEqual('{0: <7s}'.format('result'), 'result ')
1080 self.assertEqual('{0:<7s}'.format('result'), 'result ')
1081 self.assertEqual('{0:>7s}'.format('result'), ' result')
1082 self.assertEqual('{0:>8s}'.format('result'), ' result')
1083 self.assertEqual('{0:^8s}'.format('result'), ' result ')
1084 self.assertEqual('{0:^9s}'.format('result'), ' result ')
1085 self.assertEqual('{0:^10s}'.format('result'), ' result ')
1086 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
1087 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
1088 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
1089
Eric V. Smith2ea97122014-04-14 11:55:10 -04001090 # issue 12546: use \x00 as a fill character
1091 self.assertEqual('{0:\x00<6s}'.format('foo'), 'foo\x00\x00\x00')
1092 self.assertEqual('{0:\x01<6s}'.format('foo'), 'foo\x01\x01\x01')
1093 self.assertEqual('{0:\x00^6s}'.format('foo'), '\x00foo\x00\x00')
1094 self.assertEqual('{0:^6s}'.format('foo'), ' foo ')
1095
1096 self.assertEqual('{0:\x00<6}'.format(3), '3\x00\x00\x00\x00\x00')
1097 self.assertEqual('{0:\x01<6}'.format(3), '3\x01\x01\x01\x01\x01')
1098 self.assertEqual('{0:\x00^6}'.format(3), '\x00\x003\x00\x00\x00')
1099 self.assertEqual('{0:<6}'.format(3), '3 ')
1100
1101 self.assertEqual('{0:\x00<6}'.format(3.14), '3.14\x00\x00')
1102 self.assertEqual('{0:\x01<6}'.format(3.14), '3.14\x01\x01')
1103 self.assertEqual('{0:\x00^6}'.format(3.14), '\x003.14\x00')
1104 self.assertEqual('{0:^6}'.format(3.14), ' 3.14 ')
1105
1106 self.assertEqual('{0:\x00<12}'.format(3+2.0j), '(3+2j)\x00\x00\x00\x00\x00\x00')
1107 self.assertEqual('{0:\x01<12}'.format(3+2.0j), '(3+2j)\x01\x01\x01\x01\x01\x01')
1108 self.assertEqual('{0:\x00^12}'.format(3+2.0j), '\x00\x00\x00(3+2j)\x00\x00\x00')
1109 self.assertEqual('{0:^12}'.format(3+2.0j), ' (3+2j) ')
1110
Eric Smith8c663262007-08-25 02:26:07 +00001111 # format specifiers for user defined type
1112 self.assertEqual('{0:abc}'.format(C()), 'abc')
1113
Georg Brandld52429f2008-07-04 15:55:02 +00001114 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +00001115 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
1116 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
1117 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
1118 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
1119 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
1120 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
1121 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001122 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001123 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
1124 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +00001125 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001126 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001127 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +00001128 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
1129 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +00001130 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +00001131
Eric Smith8c663262007-08-25 02:26:07 +00001132 # test fallback to object.__format__
1133 self.assertEqual('{0}'.format({}), '{}')
1134 self.assertEqual('{0}'.format([]), '[]')
1135 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +00001136
Eric Smith8c663262007-08-25 02:26:07 +00001137 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +00001138 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
1139
Andrew Svetlov2cd8ce42012-12-23 14:27:17 +02001140 self.assertRaises(TypeError, '{0:^10}'.format, E('data'))
1141 self.assertRaises(TypeError, '{0:^10s}'.format, E('data'))
1142 self.assertRaises(TypeError, '{0:>15s}'.format, G('data'))
Eric Smithe4d63172010-09-13 20:48:43 +00001143
Eric Smith739e2ad2007-08-27 19:07:22 +00001144 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
1145 month=8,
1146 day=27)),
1147 "date: 2007-08-27")
1148
Eric Smith185e30c2007-08-30 22:23:08 +00001149 # test deriving from a builtin type and overriding __format__
1150 self.assertEqual("{0}".format(J(10)), "20")
1151
1152
Eric Smith8c663262007-08-25 02:26:07 +00001153 # string format specifiers
1154 self.assertEqual('{0:}'.format('a'), 'a')
1155
1156 # computed format specifiers
1157 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
1158 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
1159 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
1160 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
1161 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
1162
1163 # test various errors
1164 self.assertRaises(ValueError, '{'.format)
1165 self.assertRaises(ValueError, '}'.format)
1166 self.assertRaises(ValueError, 'a{'.format)
1167 self.assertRaises(ValueError, 'a}'.format)
1168 self.assertRaises(ValueError, '{a'.format)
1169 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +00001170 self.assertRaises(IndexError, '{0}'.format)
1171 self.assertRaises(IndexError, '{1}'.format, 'abc')
1172 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +00001173 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +00001174 self.assertRaises(ValueError, "abc{0:{}".format)
1175 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +00001176 self.assertRaises(IndexError, "{0.}".format)
1177 self.assertRaises(ValueError, "{0.}".format, 0)
Benjamin Peterson4d944742013-05-17 18:22:31 -05001178 self.assertRaises(ValueError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001179 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +00001180 self.assertRaises(KeyError, "{0]}".format)
1181 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +00001182 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +00001183 self.assertRaises(ValueError, "{0[0}".format, 0)
1184 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
1185 self.assertRaises(KeyError, "{c]}".format)
1186 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
1187 self.assertRaises(ValueError, "{0}}".format, 0)
1188 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +00001189 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +00001190 self.assertRaises(ValueError, "{0!}".format, 0)
1191 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +00001192 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +00001193 self.assertRaises(IndexError, "{:}".format)
1194 self.assertRaises(IndexError, "{:s}".format)
1195 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +00001196 big = "23098475029384702983476098230754973209482573"
1197 self.assertRaises(ValueError, ("{" + big + "}").format)
1198 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +00001199
Eric Smith41669ca2009-05-23 14:23:22 +00001200 # issue 6089
1201 self.assertRaises(ValueError, "{0[0]x}".format, [None])
1202 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
1203
Eric Smith8c663262007-08-25 02:26:07 +00001204 # can't have a replacement on the field name portion
1205 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
1206
1207 # exceed maximum recursion depth
1208 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
1209 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
1210 0, 1, 2, 3, 4, 5, 6, 7)
1211
1212 # string format spec errors
1213 self.assertRaises(ValueError, "{0:-s}".format, '')
1214 self.assertRaises(ValueError, format, "", "-")
1215 self.assertRaises(ValueError, "{0:=s}".format, '')
1216
Eric Smithb1ebcc62008-07-15 13:02:41 +00001217 # Alternate formatting is not supported
1218 self.assertRaises(ValueError, format, '', '#')
1219 self.assertRaises(ValueError, format, '', '#20')
1220
Victor Stinnerece58de2012-04-23 23:36:38 +02001221 # Non-ASCII
1222 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
1223 'ABC\u0410\u0411\u0412')
1224 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
1225 'ABC')
1226 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
1227 '')
1228
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001229 self.assertEqual("{[{}]}".format({"{}": 5}), "5")
Benjamin Peterson4d944742013-05-17 18:22:31 -05001230 self.assertEqual("{[{}]}".format({"{}" : "a"}), "a")
1231 self.assertEqual("{[{]}".format({"{" : "a"}), "a")
1232 self.assertEqual("{[}]}".format({"}" : "a"}), "a")
1233 self.assertEqual("{[[]}".format({"[" : "a"}), "a")
1234 self.assertEqual("{[!]}".format({"!" : "a"}), "a")
1235 self.assertRaises(ValueError, "{a{}b}".format, 42)
1236 self.assertRaises(ValueError, "{a{b}".format, 42)
1237 self.assertRaises(ValueError, "{[}".format, 42)
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001238
Benjamin Peterson0ee22bf2013-11-26 19:22:36 -06001239 self.assertEqual("0x{:0{:d}X}".format(0x0,16), "0x0000000000000000")
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001240
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001241 # Blocking fallback
1242 m = M('data')
1243 self.assertEqual("{!r}".format(m), 'M(data)')
1244 self.assertRaises(TypeError, "{!s}".format, m)
1245 self.assertRaises(TypeError, "{}".format, m)
1246 n = N('data')
1247 self.assertEqual("{!r}".format(n), 'N(data)')
1248 self.assertEqual("{!s}".format(n), 'N(data)')
1249 self.assertRaises(TypeError, "{}".format, n)
1250
Eric Smith27bbca62010-11-04 17:06:58 +00001251 def test_format_map(self):
1252 self.assertEqual(''.format_map({}), '')
1253 self.assertEqual('a'.format_map({}), 'a')
1254 self.assertEqual('ab'.format_map({}), 'ab')
1255 self.assertEqual('a{{'.format_map({}), 'a{')
1256 self.assertEqual('a}}'.format_map({}), 'a}')
1257 self.assertEqual('{{b'.format_map({}), '{b')
1258 self.assertEqual('}}b'.format_map({}), '}b')
1259 self.assertEqual('a{{b'.format_map({}), 'a{b')
1260
1261 # using mappings
1262 class Mapping(dict):
1263 def __missing__(self, key):
1264 return key
1265 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
1266 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
1267
1268 class InternalMapping:
1269 def __init__(self):
1270 self.mapping = {'a': 'hello'}
1271 def __getitem__(self, key):
1272 return self.mapping[key]
1273 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
1274
1275
Eric Smith27bbca62010-11-04 17:06:58 +00001276 class C:
1277 def __init__(self, x=100):
1278 self._x = x
1279 def __format__(self, spec):
1280 return spec
Eric Smith27bbca62010-11-04 17:06:58 +00001281 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
1282
1283 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -07001284 self.assertRaises(TypeError, ''.format_map)
1285 self.assertRaises(TypeError, 'a'.format_map)
1286
1287 self.assertRaises(ValueError, '{'.format_map, {})
1288 self.assertRaises(ValueError, '}'.format_map, {})
1289 self.assertRaises(ValueError, 'a{'.format_map, {})
1290 self.assertRaises(ValueError, 'a}'.format_map, {})
1291 self.assertRaises(ValueError, '{a'.format_map, {})
1292 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +00001293
Eric V. Smith12ebefc2011-07-18 14:03:41 -04001294 # issue #12579: can't supply positional params to format_map
1295 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
1296 self.assertRaises(ValueError, '{}'.format_map, 'a')
1297 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
1298
Serhiy Storchaka50754162017-08-03 11:45:23 +03001299 class BadMapping:
1300 def __getitem__(self, key):
1301 return 1/0
1302 self.assertRaises(KeyError, '{a}'.format_map, {})
1303 self.assertRaises(TypeError, '{a}'.format_map, [])
1304 self.assertRaises(ZeroDivisionError, '{a}'.format_map, BadMapping())
1305
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001306 def test_format_huge_precision(self):
1307 format_string = ".{}f".format(sys.maxsize + 1)
1308 with self.assertRaises(ValueError):
1309 result = format(2.34, format_string)
1310
1311 def test_format_huge_width(self):
1312 format_string = "{}f".format(sys.maxsize + 1)
1313 with self.assertRaises(ValueError):
1314 result = format(2.34, format_string)
1315
1316 def test_format_huge_item_number(self):
1317 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
1318 with self.assertRaises(ValueError):
1319 result = format_string.format(2.34)
1320
Eric Smith8ec90442009-03-14 12:29:34 +00001321 def test_format_auto_numbering(self):
1322 class C:
1323 def __init__(self, x=100):
1324 self._x = x
1325 def __format__(self, spec):
1326 return spec
1327
1328 self.assertEqual('{}'.format(10), '10')
1329 self.assertEqual('{:5}'.format('s'), 's ')
1330 self.assertEqual('{!r}'.format('s'), "'s'")
1331 self.assertEqual('{._x}'.format(C(10)), '10')
1332 self.assertEqual('{[1]}'.format([1, 2]), '2')
1333 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1334 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1335
1336 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1337 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1338
1339 # can't mix and match numbering and auto-numbering
1340 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1341 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1342 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1343 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1344
1345 # can mix and match auto-numbering and named
1346 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1347 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1348 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1349 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1350
Walter Dörwald28256f22003-01-19 16:59:20 +00001351 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001352 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001353 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001354 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1355 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1356 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1357 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1358 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1359 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 +00001360 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001361 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001362 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1363 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001364 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1365 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001366
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001367 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001368 self.assertEqual('%c' % 0x21483, '\U00021483')
1369 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1370 self.assertEqual('%c' % '\U00021483', '\U00021483')
1371 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001372 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001373 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001374
1375 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001376 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001377 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1378 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1379 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1380 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1381 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1382 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1383 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1384 self.assertEqual('...%s...' % "abc", '...abc...')
1385 self.assertEqual('%*s' % (5,'abc',), ' abc')
1386 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1387 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1388 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1389 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1390 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1391 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001392 class Wrapper:
1393 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001394 return '\u1234'
1395 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001396
Eric Smith741191f2009-05-06 13:08:15 +00001397 # issue 3382
1398 NAN = float('nan')
1399 INF = float('inf')
1400 self.assertEqual('%f' % NAN, 'nan')
1401 self.assertEqual('%F' % NAN, 'NAN')
1402 self.assertEqual('%f' % INF, 'inf')
1403 self.assertEqual('%F' % INF, 'INF')
1404
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001405 # PEP 393
1406 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1407 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1408
Ethan Furmandf3ed242014-01-05 06:50:30 -08001409 #issue 19995
Ethan Furman9ab74802014-03-21 06:38:46 -07001410 class PseudoInt:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001411 def __init__(self, value):
1412 self.value = int(value)
1413 def __int__(self):
1414 return self.value
1415 def __index__(self):
1416 return self.value
Ethan Furman9ab74802014-03-21 06:38:46 -07001417 class PseudoFloat:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001418 def __init__(self, value):
1419 self.value = float(value)
1420 def __int__(self):
1421 return int(self.value)
Ethan Furman9ab74802014-03-21 06:38:46 -07001422 pi = PseudoFloat(3.1415)
1423 letter_m = PseudoInt(109)
Antoine Pitroueb168042014-01-10 00:02:38 +01001424 self.assertEqual('%x' % 42, '2a')
1425 self.assertEqual('%X' % 15, 'F')
1426 self.assertEqual('%o' % 9, '11')
1427 self.assertEqual('%c' % 109, 'm')
1428 self.assertEqual('%x' % letter_m, '6d')
1429 self.assertEqual('%X' % letter_m, '6D')
1430 self.assertEqual('%o' % letter_m, '155')
1431 self.assertEqual('%c' % letter_m, 'm')
Ethan Furman9ab74802014-03-21 06:38:46 -07001432 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not float', operator.mod, '%x', 3.14),
1433 self.assertRaisesRegex(TypeError, '%X format: an integer is required, not float', operator.mod, '%X', 2.11),
1434 self.assertRaisesRegex(TypeError, '%o format: an integer is required, not float', operator.mod, '%o', 1.79),
1435 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not PseudoFloat', operator.mod, '%x', pi),
1436 self.assertRaises(TypeError, operator.mod, '%c', pi),
Ethan Furmandf3ed242014-01-05 06:50:30 -08001437
Ethan Furmanfb137212013-08-31 10:18:55 -07001438 def test_formatting_with_enum(self):
1439 # issue18780
1440 import enum
1441 class Float(float, enum.Enum):
1442 PI = 3.1415926
1443 class Int(enum.IntEnum):
1444 IDES = 15
1445 class Str(str, enum.Enum):
1446 ABC = 'abc'
1447 # Testing Unicode formatting strings...
Ethan Furman13bdfa72013-08-31 12:48:51 -07001448 self.assertEqual("%s, %s" % (Str.ABC, Str.ABC),
1449 'Str.ABC, Str.ABC')
1450 self.assertEqual("%s, %s, %d, %i, %u, %f, %5.2f" %
1451 (Str.ABC, Str.ABC,
1452 Int.IDES, Int.IDES, Int.IDES,
1453 Float.PI, Float.PI),
1454 'Str.ABC, Str.ABC, 15, 15, 15, 3.141593, 3.14')
Ethan Furmanfb137212013-08-31 10:18:55 -07001455
1456 # formatting jobs delegated from the string implementation:
Ethan Furman13bdfa72013-08-31 12:48:51 -07001457 self.assertEqual('...%(foo)s...' % {'foo':Str.ABC},
1458 '...Str.ABC...')
1459 self.assertEqual('...%(foo)s...' % {'foo':Int.IDES},
1460 '...Int.IDES...')
1461 self.assertEqual('...%(foo)i...' % {'foo':Int.IDES},
1462 '...15...')
1463 self.assertEqual('...%(foo)d...' % {'foo':Int.IDES},
1464 '...15...')
1465 self.assertEqual('...%(foo)u...' % {'foo':Int.IDES, 'def':Float.PI},
1466 '...15...')
1467 self.assertEqual('...%(foo)f...' % {'foo':Float.PI,'def':123},
1468 '...3.141593...')
Ethan Furmanfb137212013-08-31 10:18:55 -07001469
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001470 def test_formatting_huge_precision(self):
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001471 format_string = "%.{}f".format(sys.maxsize + 1)
1472 with self.assertRaises(ValueError):
1473 result = format_string % 2.34
1474
Martijn Pietersd7e64332017-02-23 13:38:04 +00001475 def test_issue28598_strsubclass_rhs(self):
1476 # A subclass of str with an __rmod__ method should be able to hook
1477 # into the % operator
1478 class SubclassedStr(str):
1479 def __rmod__(self, other):
1480 return 'Success, self.__rmod__({!r}) was called'.format(other)
1481 self.assertEqual('lhs %% %r' % SubclassedStr('rhs'),
1482 "Success, self.__rmod__('lhs %% %r') was called")
1483
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001484 @support.cpython_only
1485 def test_formatting_huge_precision_c_limits(self):
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001486 from _testcapi import INT_MAX
1487 format_string = "%.{}f".format(INT_MAX + 1)
1488 with self.assertRaises(ValueError):
1489 result = format_string % 2.34
1490
1491 def test_formatting_huge_width(self):
1492 format_string = "%{}f".format(sys.maxsize + 1)
1493 with self.assertRaises(ValueError):
1494 result = format_string % 2.34
1495
Ezio Melottiba42fd52011-04-26 06:09:45 +03001496 def test_startswith_endswith_errors(self):
1497 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001498 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001499 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001500 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001501 self.assertIn('str', exc)
1502 self.assertIn('tuple', exc)
1503
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001504 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001505 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001506 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001507 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001508
Walter Dörwald28256f22003-01-19 16:59:20 +00001509 def test_constructor(self):
1510 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1511
1512 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001513 str('unicode remains unicode'),
1514 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001515 )
1516
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001517 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
Serhiy Storchaka15095802015-11-25 15:47:01 +02001518 subclass = StrSubclass(text)
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001519 self.assertEqual(str(subclass), text)
1520 self.assertEqual(len(subclass), len(text))
1521 if text == 'ascii':
1522 self.assertEqual(subclass.encode('ascii'), b'ascii')
1523 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001524
Walter Dörwald28256f22003-01-19 16:59:20 +00001525 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001526 str('strings are converted to unicode'),
1527 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001528 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001529
Walter Dörwald28256f22003-01-19 16:59:20 +00001530 class StringCompat:
1531 def __init__(self, x):
1532 self.x = x
1533 def __str__(self):
1534 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001535
Walter Dörwald28256f22003-01-19 16:59:20 +00001536 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001537 str(StringCompat('__str__ compatible objects are recognized')),
1538 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001539 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001540
Walter Dörwald28256f22003-01-19 16:59:20 +00001541 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001542
Walter Dörwald28256f22003-01-19 16:59:20 +00001543 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001544 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001545 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001546
Guido van Rossume2a383d2007-01-15 16:59:06 +00001547 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001548 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001549
Walter Dörwald28256f22003-01-19 16:59:20 +00001550 # unicode(obj, encoding, error) tests (this maps to
1551 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001552
Walter Dörwald28256f22003-01-19 16:59:20 +00001553 if not sys.platform.startswith('java'):
1554 self.assertRaises(
1555 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001556 str,
1557 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001558 'utf-8',
1559 'strict'
1560 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001561
Walter Dörwald28256f22003-01-19 16:59:20 +00001562 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001563 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001564 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001565 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001566
Walter Dörwald28256f22003-01-19 16:59:20 +00001567 if not sys.platform.startswith('java'):
1568 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001569 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001570 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001571 'utf-8',
1572 'strict'
1573 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001574 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001575 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001576
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001577 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001578
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001579 def test_constructor_keyword_args(self):
1580 """Pass various keyword argument combinations to the constructor."""
1581 # The object argument can be passed as a keyword.
1582 self.assertEqual(str(object='foo'), 'foo')
1583 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1584 # The errors argument without encoding triggers "decode" mode.
1585 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1586 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1587
1588 def test_constructor_defaults(self):
1589 """Check the constructor argument defaults."""
1590 # The object argument defaults to '' or b''.
1591 self.assertEqual(str(), '')
1592 self.assertEqual(str(errors='strict'), '')
1593 utf8_cent = '¢'.encode('utf-8')
1594 # The encoding argument defaults to utf-8.
1595 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1596 # The errors argument defaults to strict.
1597 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1598
Walter Dörwald28256f22003-01-19 16:59:20 +00001599 def test_codecs_utf7(self):
1600 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001601 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1602 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1603 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1604 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1605 ('+', b'+-'),
1606 ('+-', b'+--'),
1607 ('+?', b'+-?'),
R David Murray44b548d2016-09-08 13:59:53 -04001608 (r'\?', b'+AFw?'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001609 ('+?', b'+-?'),
1610 (r'\\?', b'+AFwAXA?'),
1611 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001612 (r'++--', b'+-+---'),
1613 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1614 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001615 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001616
Walter Dörwald28256f22003-01-19 16:59:20 +00001617 for (x, y) in utfTests:
1618 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001619
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001620 # Unpaired surrogates are passed through
1621 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1622 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1623 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1624 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1625 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1626 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1627 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1628 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001629
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001630 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1631 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001632
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001633 # Issue #2242: crash on some Windows/MSVC versions
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03001634 self.assertEqual(b'+\xc1'.decode('utf-7', 'ignore'), '')
Antoine Pitrou244651a2009-05-04 18:56:13 +00001635
1636 # Direct encoded characters
1637 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1638 # Optional direct characters
1639 set_o = '!"#$%&*;<=>@[]^_`{|}'
1640 for c in set_d:
1641 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1642 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1643 for c in set_o:
1644 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001645
Zackery Spytze349bf22018-08-18 22:43:38 -06001646 with self.assertRaisesRegex(UnicodeDecodeError,
1647 'ill-formed sequence'):
1648 b'+@'.decode('utf-7')
1649
Walter Dörwald28256f22003-01-19 16:59:20 +00001650 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001651 self.assertEqual(''.encode('utf-8'), b'')
1652 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001653 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1654 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001655 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1656 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001657 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1658 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001659 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001660 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1661 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1662 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1663 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1664 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1665 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001666 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1667 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1668 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1669 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1670 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1671 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1672 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1673 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1674 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1675 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001676 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001677
Walter Dörwald28256f22003-01-19 16:59:20 +00001678 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001679 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1680 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1681 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001682
Walter Dörwald28256f22003-01-19 16:59:20 +00001683 # Other possible utf-8 test cases:
1684 # * strict decoding testing for all of the
1685 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001686
Ezio Melotti57221d02010-07-01 07:32:02 +00001687 def test_utf8_decode_valid_sequences(self):
1688 sequences = [
1689 # single byte
1690 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1691 # 2 bytes
1692 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1693 # 3 bytes
1694 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1695 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1696 # 4 bytes
1697 (b'\xF0\x90\x80\x80', '\U00010000'),
1698 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1699 ]
1700 for seq, res in sequences:
1701 self.assertEqual(seq.decode('utf-8'), res)
1702
1703
1704 def test_utf8_decode_invalid_sequences(self):
1705 # continuation bytes in a sequence of 2, 3, or 4 bytes
1706 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001707 # start bytes of a 2-byte sequence equivalent to code points < 0x7F
Ezio Melotti57221d02010-07-01 07:32:02 +00001708 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001709 # start bytes of a 4-byte sequence equivalent to code points > 0x10FFFF
Ezio Melotti57221d02010-07-01 07:32:02 +00001710 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1711 invalid_start_bytes = (
1712 continuation_bytes + invalid_2B_seq_start_bytes +
1713 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1714 )
1715
1716 for byte in invalid_start_bytes:
1717 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1718
1719 for sb in invalid_2B_seq_start_bytes:
1720 for cb in continuation_bytes:
1721 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1722
1723 for sb in invalid_4B_seq_start_bytes:
1724 for cb1 in continuation_bytes[:3]:
1725 for cb3 in continuation_bytes[:3]:
1726 self.assertRaises(UnicodeDecodeError,
1727 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1728
1729 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1730 self.assertRaises(UnicodeDecodeError,
1731 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1732 self.assertRaises(UnicodeDecodeError,
1733 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1734 # surrogates
1735 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1736 self.assertRaises(UnicodeDecodeError,
1737 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1738 self.assertRaises(UnicodeDecodeError,
1739 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1740 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1741 self.assertRaises(UnicodeDecodeError,
1742 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1743 self.assertRaises(UnicodeDecodeError,
1744 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1745 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1746 self.assertRaises(UnicodeDecodeError,
1747 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1748 self.assertRaises(UnicodeDecodeError,
1749 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1750
1751 def test_issue8271(self):
1752 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1753 # only the start byte and the continuation byte(s) are now considered
1754 # invalid, instead of the number of bytes specified by the start byte.
Benjamin Peterson51796e52020-03-10 21:10:59 -07001755 # See https://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
Ezio Melotti57221d02010-07-01 07:32:02 +00001756 # table 3-8, Row 2) for more information about the algorithm used.
1757 FFFD = '\ufffd'
1758 sequences = [
1759 # invalid start bytes
1760 (b'\x80', FFFD), # continuation byte
1761 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1762 (b'\xc0', FFFD),
1763 (b'\xc0\xc0', FFFD*2),
1764 (b'\xc1', FFFD),
1765 (b'\xc1\xc0', FFFD*2),
1766 (b'\xc0\xc1', FFFD*2),
1767 # with start byte of a 2-byte sequence
1768 (b'\xc2', FFFD), # only the start byte
1769 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001770 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001771 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1772 # with start byte of a 3-byte sequence
1773 (b'\xe1', FFFD), # only the start byte
1774 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1775 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1776 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1777 (b'\xe1\x80', FFFD), # only 1 continuation byte
1778 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1779 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1780 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1781 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1782 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1783 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1784 # with start byte of a 4-byte sequence
1785 (b'\xf1', FFFD), # only the start byte
1786 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1787 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1788 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1789 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1790 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1791 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1792 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1793 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1794 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1795 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1796 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1797 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1798 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1799 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1800 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1801 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1802 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1803 # with invalid start byte of a 4-byte sequence (rfc2279)
1804 (b'\xf5', FFFD), # only the start byte
1805 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1806 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1807 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1808 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1809 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1810 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1811 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1812 # with invalid start byte of a 5-byte sequence (rfc2279)
1813 (b'\xf8', FFFD), # only the start byte
1814 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1815 (b'\xf8\x80', FFFD*2), # only one continuation byte
1816 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1817 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1818 # with invalid start byte of a 6-byte sequence (rfc2279)
1819 (b'\xfc', FFFD), # only the start byte
1820 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1821 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1822 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1823 # invalid start byte
1824 (b'\xfe', FFFD),
1825 (b'\xfe\x80\x80', FFFD*3),
1826 # other sequences
1827 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1828 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1829 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1830 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1831 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1832 ]
1833 for n, (seq, res) in enumerate(sequences):
1834 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1835 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1836 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1837 self.assertEqual(seq.decode('utf-8', 'ignore'),
1838 res.replace('\uFFFD', ''))
1839
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001840 def assertCorrectUTF8Decoding(self, seq, res, err):
1841 """
Martin Panter6245cb32016-04-15 02:14:19 +00001842 Check that an invalid UTF-8 sequence raises a UnicodeDecodeError when
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001843 'strict' is used, returns res when 'replace' is used, and that doesn't
1844 return anything when 'ignore' is used.
1845 """
1846 with self.assertRaises(UnicodeDecodeError) as cm:
1847 seq.decode('utf-8')
1848 exc = cm.exception
1849
1850 self.assertIn(err, str(exc))
1851 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1852 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1853 'aaaa' + res + 'bbbb')
1854 res = res.replace('\ufffd', '')
1855 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1856 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1857 'aaaa' + res + 'bbbb')
1858
1859 def test_invalid_start_byte(self):
1860 """
1861 Test that an 'invalid start byte' error is raised when the first byte
1862 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1863 4-bytes sequence. The invalid start byte is replaced with a single
1864 U+FFFD when errors='replace'.
1865 E.g. <80> is a continuation byte and can appear only after a start byte.
1866 """
1867 FFFD = '\ufffd'
1868 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1869 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1870 'invalid start byte')
1871
1872 def test_unexpected_end_of_data(self):
1873 """
1874 Test that an 'unexpected end of data' error is raised when the string
1875 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1876 enough continuation bytes. The incomplete sequence is replaced with a
1877 single U+FFFD when errors='replace'.
1878 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1879 sequence, but it's followed by only 2 valid continuation bytes and the
1880 last continuation bytes is missing.
1881 Note: the continuation bytes must be all valid, if one of them is
1882 invalid another error will be raised.
1883 """
1884 sequences = [
1885 'C2', 'DF',
1886 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1887 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1888 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1889 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1890 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1891 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1892 ]
1893 FFFD = '\ufffd'
1894 for seq in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001895 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), '\ufffd',
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001896 'unexpected end of data')
1897
1898 def test_invalid_cb_for_2bytes_seq(self):
1899 """
1900 Test that an 'invalid continuation byte' error is raised when the
1901 continuation byte of a 2-bytes sequence is invalid. The start byte
1902 is replaced by a single U+FFFD and the second byte is handled
1903 separately when errors='replace'.
1904 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1905 sequence, but 41 is not a valid continuation byte because it's the
1906 ASCII letter 'A'.
1907 """
1908 FFFD = '\ufffd'
1909 FFFDx2 = FFFD * 2
1910 sequences = [
1911 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1912 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1913 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1914 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1915 ]
1916 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001917 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001918 'invalid continuation byte')
1919
1920 def test_invalid_cb_for_3bytes_seq(self):
1921 """
1922 Test that an 'invalid continuation byte' error is raised when the
1923 continuation byte(s) of a 3-bytes sequence are invalid. When
1924 errors='replace', if the first continuation byte is valid, the first
1925 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1926 third byte is handled separately, otherwise only the start byte is
1927 replaced with a U+FFFD and the other continuation bytes are handled
1928 separately.
1929 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1930 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1931 because it's the ASCII letter 'A'.
1932 Note: when the start byte is E0 or ED, the valid ranges for the first
1933 continuation byte are limited to A0..BF and 80..9F respectively.
1934 Python 2 used to consider all the bytes in range 80..BF valid when the
1935 start byte was ED. This is fixed in Python 3.
1936 """
1937 FFFD = '\ufffd'
1938 FFFDx2 = FFFD * 2
1939 sequences = [
1940 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1941 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1942 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1943 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1944 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1945 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1946 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1947 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1948 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1949 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1950 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1951 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1952 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1953 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1954 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1955 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1956 ('ED 7F', FFFD+'\x7f'),
1957 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1958 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1959 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1960 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1961 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1962 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1963 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1964 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1965 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1966 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1967 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1968 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1969 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1970 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1971 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1972 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1973 ]
1974 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001975 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001976 'invalid continuation byte')
1977
1978 def test_invalid_cb_for_4bytes_seq(self):
1979 """
1980 Test that an 'invalid continuation byte' error is raised when the
1981 continuation byte(s) of a 4-bytes sequence are invalid. When
1982 errors='replace',the start byte and all the following valid
1983 continuation bytes are replaced with a single U+FFFD, and all the bytes
1984 starting from the first invalid continuation bytes (included) are
1985 handled separately.
1986 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1987 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1988 because it's the ASCII letter 'A'.
1989 Note: when the start byte is E0 or ED, the valid ranges for the first
1990 continuation byte are limited to A0..BF and 80..9F respectively.
1991 However, when the start byte is ED, Python 2 considers all the bytes
1992 in range 80..BF valid. This is fixed in Python 3.
1993 """
1994 FFFD = '\ufffd'
1995 FFFDx2 = FFFD * 2
1996 sequences = [
1997 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
1998 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
1999 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
2000 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
2001 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
2002 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
2003 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
2004 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
2005 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
2006 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
2007 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
2008 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
2009 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
2010 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
2011 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
2012 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
2013 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
2014 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
2015 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
2016 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
2017 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
2018 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
2019 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
2020 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
2021 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
2022 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
2023 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
2024 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
2025 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
2026 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
2027 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
2028 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
2029 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
2030 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
2031 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
2032 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
2033 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
2034 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
2035 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
2036 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
2037 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
2038 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
2039 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
2040 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
2041 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
2042 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
2043 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
2044 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
2045 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
2046 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
2047 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
2048 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
2049 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
2050 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
2051 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
2052 ]
2053 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02002054 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02002055 'invalid continuation byte')
2056
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002057 def test_codecs_idna(self):
2058 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00002059 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002060
Walter Dörwald28256f22003-01-19 16:59:20 +00002061 def test_codecs_errors(self):
2062 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002063 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
2064 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00002065 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
2066 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00002067 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
2068 'Andr\202 x'.encode('ascii', errors='replace'))
2069 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
2070 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002071
Walter Dörwald28256f22003-01-19 16:59:20 +00002072 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00002073 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
2074 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
2075 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
2076 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03002077 self.assertEqual(str(b'\202 x', 'ascii', 'replace'), '\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002078
Walter Dörwald28256f22003-01-19 16:59:20 +00002079 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00002080 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00002081
Walter Dörwald28256f22003-01-19 16:59:20 +00002082 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00002083 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002084
Guido van Rossum9c627722007-08-27 18:31:48 +00002085 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
2086 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002087 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
2088 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002089
Walter Dörwald28256f22003-01-19 16:59:20 +00002090 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002091 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002092
Serhiy Storchaka9b6c60c2017-11-13 21:23:48 +02002093 # Error handling (lone surrogate in
2094 # _PyUnicode_TransformDecimalAndSpaceToASCII())
2095 self.assertRaises(ValueError, int, "\ud800")
2096 self.assertRaises(ValueError, int, "\udf00")
2097 self.assertRaises(ValueError, float, "\ud800")
2098 self.assertRaises(ValueError, float, "\udf00")
2099 self.assertRaises(ValueError, complex, "\ud800")
2100 self.assertRaises(ValueError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00002101
Walter Dörwald28256f22003-01-19 16:59:20 +00002102 def test_codecs(self):
2103 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00002104 self.assertEqual('hello'.encode('ascii'), b'hello')
2105 self.assertEqual('hello'.encode('utf-7'), b'hello')
2106 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002107 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00002108 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
2109 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
2110 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00002111
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002112 # Default encoding is utf-8
2113 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
2114
Walter Dörwald28256f22003-01-19 16:59:20 +00002115 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002116 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002117 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002118 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
2119 'utf-16-be', 'raw_unicode_escape',
Inada Naoki6a16b182019-03-18 15:44:11 +09002120 'unicode_escape'):
2121 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00002122
Walter Dörwald28256f22003-01-19 16:59:20 +00002123 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002124 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002125 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002126 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002127 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002128
Walter Dörwald28256f22003-01-19 16:59:20 +00002129 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002130 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002131 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002132 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002133 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002134
Walter Dörwald28256f22003-01-19 16:59:20 +00002135 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01002136 with warnings.catch_warnings():
Victor Stinner040e16e2011-11-15 22:44:05 +01002137 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
2138 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
Inada Naoki6a16b182019-03-18 15:44:11 +09002139 'raw_unicode_escape', 'unicode_escape'):
Victor Stinner040e16e2011-11-15 22:44:05 +01002140 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002141
Antoine Pitrou51f66482011-11-11 13:35:44 +01002142 # UTF-8 must be roundtrip safe for all code points
2143 # (except surrogates, which are forbidden).
2144 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02002145 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00002146 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002147 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002148
Walter Dörwald28256f22003-01-19 16:59:20 +00002149 def test_codecs_charmap(self):
2150 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00002151 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00002152 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002153 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002154 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2155 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002156 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002157 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2158 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002159 'iso8859_7', 'iso8859_9',
2160 'koi8_r', 'koi8_t', 'koi8_u', 'kz1048', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002161 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002162
Walter Dörwald28256f22003-01-19 16:59:20 +00002163 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2164 'cp1256', 'cp1257', 'cp1258',
2165 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002166
Walter Dörwald28256f22003-01-19 16:59:20 +00002167 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
2168 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002169
Walter Dörwald28256f22003-01-19 16:59:20 +00002170 ### These have undefined mappings:
2171 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002172
Walter Dörwald28256f22003-01-19 16:59:20 +00002173 ### These fail the round-trip:
2174 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00002175
Walter Dörwald28256f22003-01-19 16:59:20 +00002176 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002177 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002178
Walter Dörwald28256f22003-01-19 16:59:20 +00002179 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00002180 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00002181 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002182 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002183 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2184 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002185 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002186 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2187 'iso8859_2', 'iso8859_4', 'iso8859_5',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002188 'iso8859_9', 'koi8_r', 'koi8_u', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002189 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00002190
Walter Dörwald28256f22003-01-19 16:59:20 +00002191 ### These have undefined mappings:
2192 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2193 #'cp1256', 'cp1257', 'cp1258',
2194 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002195 #'iso8859_3', 'iso8859_6', 'iso8859_7', 'koi8_t', 'kz1048',
Walter Dörwald28256f22003-01-19 16:59:20 +00002196 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00002197
Walter Dörwald28256f22003-01-19 16:59:20 +00002198 ### These fail the round-trip:
2199 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00002200
Walter Dörwald28256f22003-01-19 16:59:20 +00002201 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002202 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002203
Walter Dörwald28256f22003-01-19 16:59:20 +00002204 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002205 self.assertEqual(("abc" "def"), "abcdef")
2206 self.assertEqual(("abc" "def"), "abcdef")
2207 self.assertEqual(("abc" "def"), "abcdef")
2208 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
2209 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00002210
Walter Dörwald28256f22003-01-19 16:59:20 +00002211 def test_printing(self):
2212 class BitBucket:
2213 def write(self, text):
2214 pass
Fred Drake004d5e62000-10-23 17:22:08 +00002215
Walter Dörwald28256f22003-01-19 16:59:20 +00002216 out = BitBucket()
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002217 print('abc', file=out)
2218 print('abc', 'def', file=out)
2219 print('abc', 'def', file=out)
2220 print('abc', 'def', file=out)
2221 print('abc\n', file=out)
2222 print('abc\n', end=' ', file=out)
2223 print('abc\n', end=' ', file=out)
2224 print('def\n', file=out)
2225 print('def\n', file=out)
Fred Drake004d5e62000-10-23 17:22:08 +00002226
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002227 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002228 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002229 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
2230 self.assertEqual(x, y)
2231
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002232 y = br'\U00100000'
2233 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2234 self.assertEqual(x, y)
2235 y = br'\U00010000'
2236 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2237 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00002238
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002239 try:
2240 br'\U11111111'.decode("raw-unicode-escape")
2241 except UnicodeDecodeError as e:
2242 self.assertEqual(e.start, 0)
2243 self.assertEqual(e.end, 10)
2244 else:
2245 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00002246
Brett Cannonc3647ac2005-04-26 03:45:26 +00002247 def test_conversion(self):
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002248 # Make sure __str__() works properly
2249 class ObjectToStr:
Brett Cannonc3647ac2005-04-26 03:45:26 +00002250 def __str__(self):
2251 return "foo"
2252
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002253 class StrSubclassToStr(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002254 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002255 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002256
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002257 class StrSubclassToStrSubclass(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002258 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002259 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00002260 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002261 return self
2262
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002263 self.assertEqual(str(ObjectToStr()), "foo")
2264 self.assertEqual(str(StrSubclassToStr("bar")), "foo")
2265 s = str(StrSubclassToStrSubclass("foo"))
2266 self.assertEqual(s, "foofoo")
2267 self.assertIs(type(s), StrSubclassToStrSubclass)
Serhiy Storchaka15095802015-11-25 15:47:01 +02002268 s = StrSubclass(StrSubclassToStrSubclass("foo"))
2269 self.assertEqual(s, "foofoo")
2270 self.assertIs(type(s), StrSubclass)
Brett Cannonc3647ac2005-04-26 03:45:26 +00002271
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002272 def test_unicode_repr(self):
2273 class s1:
2274 def __repr__(self):
2275 return '\\n'
2276
2277 class s2:
2278 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002279 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002280
2281 self.assertEqual(repr(s1()), '\\n')
2282 self.assertEqual(repr(s2()), '\\n')
2283
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002284 def test_printable_repr(self):
2285 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00002286 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002287
Zachary Ware9fe6d862013-12-08 00:20:35 -06002288 # This test only affects 32-bit platforms because expandtabs can only take
2289 # an int as the max value, not a 64-bit C long. If expandtabs is changed
2290 # to take a 64-bit long, this test should apply to all platforms.
2291 @unittest.skipIf(sys.maxsize > (1 << 32) or struct.calcsize('P') != 4,
2292 'only applies to 32-bit platforms')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00002293 def test_expandtabs_overflows_gracefully(self):
Christian Heimesa37d4c62007-12-04 23:02:19 +00002294 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002295
Victor Stinner1d972ad2011-10-07 13:31:46 +02002296 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02002297 def test_expandtabs_optimization(self):
2298 s = 'abc'
2299 self.assertIs(s.expandtabs(), s)
2300
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002301 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002302 if struct.calcsize('P') == 8:
2303 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002304 ascii_struct_size = 48
2305 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002306 else:
2307 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002308 ascii_struct_size = 24
2309 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002310
2311 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
2312 code = ord(char)
2313 if code < 0x100:
2314 char_size = 1 # sizeof(Py_UCS1)
2315 struct_size = ascii_struct_size
2316 elif code < 0x10000:
2317 char_size = 2 # sizeof(Py_UCS2)
2318 struct_size = compact_struct_size
2319 else:
2320 char_size = 4 # sizeof(Py_UCS4)
2321 struct_size = compact_struct_size
2322 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02002323 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
2324 # be allocatable, given enough memory.
2325 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002326 alloc = lambda: char * maxlen
2327 self.assertRaises(MemoryError, alloc)
2328 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00002329
Victor Stinner808fc0a2010-03-22 12:50:40 +00002330 def test_format_subclass(self):
2331 class S(str):
2332 def __str__(self):
2333 return '__str__ overridden'
2334 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002335 self.assertEqual("%s" % s, '__str__ overridden')
2336 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00002337
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002338 def test_subclass_add(self):
2339 class S(str):
2340 def __add__(self, o):
2341 return "3"
2342 self.assertEqual(S("4") + S("5"), "3")
2343 class S(str):
2344 def __iadd__(self, o):
2345 return "3"
2346 s = S("1")
2347 s += "4"
2348 self.assertEqual(s, "3")
2349
2350 def test_getnewargs(self):
2351 text = 'abc'
2352 args = text.__getnewargs__()
2353 self.assertIsNot(args[0], text)
2354 self.assertEqual(args[0], text)
2355 self.assertEqual(len(args), 1)
2356
Inada Naoki6a16b182019-03-18 15:44:11 +09002357 @support.cpython_only
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002358 def test_resize(self):
Inada Naoki6a16b182019-03-18 15:44:11 +09002359 from _testcapi import getargs_u
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002360 for length in range(1, 100, 7):
2361 # generate a fresh string (refcount=1)
2362 text = 'a' * length + 'b'
2363
Inada Naoki6a16b182019-03-18 15:44:11 +09002364 # fill wstr internal field
2365 abc = getargs_u(text)
2366 self.assertEqual(abc, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002367
Inada Naoki6a16b182019-03-18 15:44:11 +09002368 # resize text: wstr field must be cleared and then recomputed
2369 text += 'c'
2370 abcdef = getargs_u(text)
2371 self.assertNotEqual(abc, abcdef)
2372 self.assertEqual(abcdef, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002373
2374 def test_compare(self):
2375 # Issue #17615
2376 N = 10
2377 ascii = 'a' * N
2378 ascii2 = 'z' * N
2379 latin = '\x80' * N
2380 latin2 = '\xff' * N
2381 bmp = '\u0100' * N
2382 bmp2 = '\uffff' * N
2383 astral = '\U00100000' * N
2384 astral2 = '\U0010ffff' * N
2385 strings = (
2386 ascii, ascii2,
2387 latin, latin2,
2388 bmp, bmp2,
2389 astral, astral2)
2390 for text1, text2 in itertools.combinations(strings, 2):
2391 equal = (text1 is text2)
2392 self.assertEqual(text1 == text2, equal)
2393 self.assertEqual(text1 != text2, not equal)
2394
2395 if equal:
2396 self.assertTrue(text1 <= text2)
2397 self.assertTrue(text1 >= text2)
2398
2399 # text1 is text2: duplicate strings to skip the "str1 == str2"
2400 # optimization in unicode_compare_eq() and really compare
2401 # character per character
2402 copy1 = duplicate_string(text1)
2403 copy2 = duplicate_string(text2)
2404 self.assertIsNot(copy1, copy2)
2405
2406 self.assertTrue(copy1 == copy2)
2407 self.assertFalse(copy1 != copy2)
2408
2409 self.assertTrue(copy1 <= copy2)
2410 self.assertTrue(copy2 >= copy2)
2411
2412 self.assertTrue(ascii < ascii2)
2413 self.assertTrue(ascii < latin)
2414 self.assertTrue(ascii < bmp)
2415 self.assertTrue(ascii < astral)
2416 self.assertFalse(ascii >= ascii2)
2417 self.assertFalse(ascii >= latin)
2418 self.assertFalse(ascii >= bmp)
2419 self.assertFalse(ascii >= astral)
2420
2421 self.assertFalse(latin < ascii)
2422 self.assertTrue(latin < latin2)
2423 self.assertTrue(latin < bmp)
2424 self.assertTrue(latin < astral)
2425 self.assertTrue(latin >= ascii)
2426 self.assertFalse(latin >= latin2)
2427 self.assertFalse(latin >= bmp)
2428 self.assertFalse(latin >= astral)
2429
2430 self.assertFalse(bmp < ascii)
2431 self.assertFalse(bmp < latin)
2432 self.assertTrue(bmp < bmp2)
2433 self.assertTrue(bmp < astral)
2434 self.assertTrue(bmp >= ascii)
2435 self.assertTrue(bmp >= latin)
2436 self.assertFalse(bmp >= bmp2)
2437 self.assertFalse(bmp >= astral)
2438
2439 self.assertFalse(astral < ascii)
2440 self.assertFalse(astral < latin)
2441 self.assertFalse(astral < bmp2)
2442 self.assertTrue(astral < astral2)
2443 self.assertTrue(astral >= ascii)
2444 self.assertTrue(astral >= latin)
2445 self.assertTrue(astral >= bmp2)
2446 self.assertFalse(astral >= astral2)
2447
2448 def test_free_after_iterating(self):
2449 support.check_free_after_iterating(self, iter, str)
2450 support.check_free_after_iterating(self, reversed, str)
2451
Victor Stinner22eb6892019-06-26 00:51:05 +02002452 def test_check_encoding_errors(self):
2453 # bpo-37388: str(bytes) and str.decode() must check encoding and errors
2454 # arguments in dev mode
2455 encodings = ('ascii', 'utf8', 'latin1')
2456 invalid = 'Boom, Shaka Laka, Boom!'
2457 code = textwrap.dedent(f'''
2458 import sys
2459 encodings = {encodings!r}
2460
2461 for data in (b'', b'short string'):
2462 try:
2463 str(data, encoding={invalid!r})
2464 except LookupError:
2465 pass
2466 else:
2467 sys.exit(21)
2468
2469 try:
2470 str(data, errors={invalid!r})
2471 except LookupError:
2472 pass
2473 else:
2474 sys.exit(22)
2475
2476 for encoding in encodings:
2477 try:
2478 str(data, encoding, errors={invalid!r})
2479 except LookupError:
2480 pass
2481 else:
2482 sys.exit(22)
2483
2484 for data in ('', 'short string'):
2485 try:
2486 data.encode(encoding={invalid!r})
2487 except LookupError:
2488 pass
2489 else:
2490 sys.exit(23)
2491
2492 try:
2493 data.encode(errors={invalid!r})
2494 except LookupError:
2495 pass
2496 else:
2497 sys.exit(24)
2498
2499 for encoding in encodings:
2500 try:
2501 data.encode(encoding, errors={invalid!r})
2502 except LookupError:
2503 pass
2504 else:
2505 sys.exit(24)
2506
2507 sys.exit(10)
2508 ''')
2509 proc = assert_python_failure('-X', 'dev', '-c', code)
2510 self.assertEqual(proc.rc, 10, proc)
2511
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002512
2513class CAPITest(unittest.TestCase):
2514
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002515 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00002516 def test_from_format(self):
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002517 support.import_module('ctypes')
Victor Stinner15a11362012-10-06 23:48:20 +02002518 from ctypes import (
2519 pythonapi, py_object, sizeof,
Victor Stinner6d970f42011-03-02 00:04:25 +00002520 c_int, c_long, c_longlong, c_ssize_t,
Victor Stinner15a11362012-10-06 23:48:20 +02002521 c_uint, c_ulong, c_ulonglong, c_size_t, c_void_p)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002522 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002523 _PyUnicode_FromFormat = getattr(pythonapi, name)
2524 _PyUnicode_FromFormat.restype = py_object
2525
2526 def PyUnicode_FromFormat(format, *args):
2527 cargs = tuple(
2528 py_object(arg) if isinstance(arg, str) else arg
2529 for arg in args)
2530 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00002531
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002532 def check_format(expected, format, *args):
2533 text = PyUnicode_FromFormat(format, *args)
2534 self.assertEqual(expected, text)
2535
Victor Stinner1205f272010-09-11 00:54:47 +00002536 # ascii format, non-ascii argument
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002537 check_format('ascii\x7f=unicode\xe9',
2538 b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002539
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002540 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2541 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002542 self.assertRaisesRegex(ValueError,
R David Murray44b548d2016-09-08 13:59:53 -04002543 r'^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002544 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002545 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002546
Victor Stinner96865452011-03-01 23:44:09 +00002547 # test "%c"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002548 check_format('\uabcd',
2549 b'%c', c_int(0xabcd))
2550 check_format('\U0010ffff',
2551 b'%c', c_int(0x10ffff))
Serhiy Storchaka8eeae212013-06-23 20:12:14 +03002552 with self.assertRaises(OverflowError):
2553 PyUnicode_FromFormat(b'%c', c_int(0x110000))
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +03002554 # Issue #18183
Serhiy Storchakaf15ffe02013-06-12 09:28:20 +03002555 check_format('\U00010000\U00100000',
2556 b'%c%c', c_int(0x10000), c_int(0x100000))
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002557
Victor Stinner96865452011-03-01 23:44:09 +00002558 # test "%"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002559 check_format('%',
2560 b'%')
2561 check_format('%',
2562 b'%%')
2563 check_format('%s',
2564 b'%%s')
2565 check_format('[%]',
2566 b'[%%]')
2567 check_format('%abc',
2568 b'%%%s', b'abc')
2569
2570 # truncated string
2571 check_format('abc',
2572 b'%.3s', b'abcdef')
2573 check_format('abc[\ufffd',
2574 b'%.5s', 'abc[\u20ac]'.encode('utf8'))
2575 check_format("'\\u20acABC'",
2576 b'%A', '\u20acABC')
2577 check_format("'\\u20",
2578 b'%.5A', '\u20acABCDEF')
2579 check_format("'\u20acABC'",
2580 b'%R', '\u20acABC')
2581 check_format("'\u20acA",
2582 b'%.3R', '\u20acABCDEF')
2583 check_format('\u20acAB',
2584 b'%.3S', '\u20acABCDEF')
2585 check_format('\u20acAB',
2586 b'%.3U', '\u20acABCDEF')
2587 check_format('\u20acAB',
2588 b'%.3V', '\u20acABCDEF', None)
2589 check_format('abc[\ufffd',
2590 b'%.5V', None, 'abc[\u20ac]'.encode('utf8'))
2591
2592 # following tests comes from #7330
2593 # test width modifier and precision modifier with %S
2594 check_format("repr= abc",
2595 b'repr=%5S', 'abc')
2596 check_format("repr=ab",
2597 b'repr=%.2S', 'abc')
2598 check_format("repr= ab",
2599 b'repr=%5.2S', 'abc')
2600
2601 # test width modifier and precision modifier with %R
2602 check_format("repr= 'abc'",
2603 b'repr=%8R', 'abc')
2604 check_format("repr='ab",
2605 b'repr=%.3R', 'abc')
2606 check_format("repr= 'ab",
2607 b'repr=%5.3R', 'abc')
2608
2609 # test width modifier and precision modifier with %A
2610 check_format("repr= 'abc'",
2611 b'repr=%8A', 'abc')
2612 check_format("repr='ab",
2613 b'repr=%.3A', 'abc')
2614 check_format("repr= 'ab",
2615 b'repr=%5.3A', 'abc')
2616
2617 # test width modifier and precision modifier with %s
2618 check_format("repr= abc",
2619 b'repr=%5s', b'abc')
2620 check_format("repr=ab",
2621 b'repr=%.2s', b'abc')
2622 check_format("repr= ab",
2623 b'repr=%5.2s', b'abc')
2624
2625 # test width modifier and precision modifier with %U
2626 check_format("repr= abc",
2627 b'repr=%5U', 'abc')
2628 check_format("repr=ab",
2629 b'repr=%.2U', 'abc')
2630 check_format("repr= ab",
2631 b'repr=%5.2U', 'abc')
2632
2633 # test width modifier and precision modifier with %V
2634 check_format("repr= abc",
2635 b'repr=%5V', 'abc', b'123')
2636 check_format("repr=ab",
2637 b'repr=%.2V', 'abc', b'123')
2638 check_format("repr= ab",
2639 b'repr=%5.2V', 'abc', b'123')
2640 check_format("repr= 123",
2641 b'repr=%5V', None, b'123')
2642 check_format("repr=12",
2643 b'repr=%.2V', None, b'123')
2644 check_format("repr= 12",
2645 b'repr=%5.2V', None, b'123')
Victor Stinner96865452011-03-01 23:44:09 +00002646
Victor Stinner6d970f42011-03-02 00:04:25 +00002647 # test integer formats (%i, %d, %u)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002648 check_format('010',
2649 b'%03i', c_int(10))
2650 check_format('0010',
2651 b'%0.4i', c_int(10))
2652 check_format('-123',
2653 b'%i', c_int(-123))
2654 check_format('-123',
2655 b'%li', c_long(-123))
2656 check_format('-123',
2657 b'%lli', c_longlong(-123))
2658 check_format('-123',
2659 b'%zi', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002660
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002661 check_format('-123',
2662 b'%d', c_int(-123))
2663 check_format('-123',
2664 b'%ld', c_long(-123))
2665 check_format('-123',
2666 b'%lld', c_longlong(-123))
2667 check_format('-123',
2668 b'%zd', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002669
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002670 check_format('123',
2671 b'%u', c_uint(123))
2672 check_format('123',
2673 b'%lu', c_ulong(123))
2674 check_format('123',
2675 b'%llu', c_ulonglong(123))
2676 check_format('123',
2677 b'%zu', c_size_t(123))
Victor Stinner6d970f42011-03-02 00:04:25 +00002678
Victor Stinner15a11362012-10-06 23:48:20 +02002679 # test long output
2680 min_longlong = -(2 ** (8 * sizeof(c_longlong) - 1))
2681 max_longlong = -min_longlong - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002682 check_format(str(min_longlong),
2683 b'%lld', c_longlong(min_longlong))
2684 check_format(str(max_longlong),
2685 b'%lld', c_longlong(max_longlong))
Victor Stinner15a11362012-10-06 23:48:20 +02002686 max_ulonglong = 2 ** (8 * sizeof(c_ulonglong)) - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002687 check_format(str(max_ulonglong),
2688 b'%llu', c_ulonglong(max_ulonglong))
Victor Stinner15a11362012-10-06 23:48:20 +02002689 PyUnicode_FromFormat(b'%p', c_void_p(-1))
2690
Victor Stinnere215d962012-10-06 23:03:36 +02002691 # test padding (width and/or precision)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002692 check_format('123'.rjust(10, '0'),
2693 b'%010i', c_int(123))
2694 check_format('123'.rjust(100),
2695 b'%100i', c_int(123))
2696 check_format('123'.rjust(100, '0'),
2697 b'%.100i', c_int(123))
2698 check_format('123'.rjust(80, '0').rjust(100),
2699 b'%100.80i', c_int(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002700
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002701 check_format('123'.rjust(10, '0'),
2702 b'%010u', c_uint(123))
2703 check_format('123'.rjust(100),
2704 b'%100u', c_uint(123))
2705 check_format('123'.rjust(100, '0'),
2706 b'%.100u', c_uint(123))
2707 check_format('123'.rjust(80, '0').rjust(100),
2708 b'%100.80u', c_uint(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002709
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002710 check_format('123'.rjust(10, '0'),
2711 b'%010x', c_int(0x123))
2712 check_format('123'.rjust(100),
2713 b'%100x', c_int(0x123))
2714 check_format('123'.rjust(100, '0'),
2715 b'%.100x', c_int(0x123))
2716 check_format('123'.rjust(80, '0').rjust(100),
2717 b'%100.80x', c_int(0x123))
Victor Stinnere215d962012-10-06 23:03:36 +02002718
Victor Stinner6d970f42011-03-02 00:04:25 +00002719 # test %A
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002720 check_format(r"%A:'abc\xe9\uabcd\U0010ffff'",
2721 b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002722
Victor Stinner6d970f42011-03-02 00:04:25 +00002723 # test %V
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002724 check_format('repr=abc',
2725 b'repr=%V', 'abc', b'xyz')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002726
2727 # Test string decode from parameter of %s using utf-8.
2728 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2729 # '\u4eba\u6c11'
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002730 check_format('repr=\u4eba\u6c11',
2731 b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002732
2733 #Test replace error handler.
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002734 check_format('repr=abc\ufffd',
2735 b'repr=%V', None, b'abc\xff')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002736
Victor Stinner6d970f42011-03-02 00:04:25 +00002737 # not supported: copy the raw format string. these tests are just here
Martin Panter2f9171d2016-12-18 01:23:09 +00002738 # to check for crashes and should not be considered as specifications
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002739 check_format('%s',
2740 b'%1%s', b'abc')
2741 check_format('%1abc',
2742 b'%1abc')
2743 check_format('%+i',
2744 b'%+i', c_int(10))
2745 check_format('%.%s',
2746 b'%.%s', b'abc')
Victor Stinner6d970f42011-03-02 00:04:25 +00002747
Serhiy Storchaka44cc4822019-01-12 09:22:29 +02002748 # Issue #33817: empty strings
2749 check_format('',
2750 b'')
2751 check_format('',
2752 b'%s', b'')
2753
Victor Stinner1c24bd02010-10-02 11:03:13 +00002754 # Test PyUnicode_AsWideChar()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002755 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002756 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002757 from _testcapi import unicode_aswidechar
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002758 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002759 from ctypes import c_wchar, sizeof
2760
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002761 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002762 self.assertEqual(size, 2)
2763 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002764
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002765 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002766 self.assertEqual(size, 3)
2767 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002768
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002769 wchar, size = unicode_aswidechar('abc', 4)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002770 self.assertEqual(size, 3)
2771 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002772
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002773 wchar, size = unicode_aswidechar('abc', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002774 self.assertEqual(size, 3)
2775 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002776
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002777 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002778 self.assertEqual(size, 7)
2779 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002780
Victor Stinner5593d8a2010-10-02 11:11:27 +00002781 nonbmp = chr(0x10ffff)
2782 if sizeof(c_wchar) == 2:
2783 buflen = 3
2784 nchar = 2
2785 else: # sizeof(c_wchar) == 4
2786 buflen = 2
2787 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002788 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002789 self.assertEqual(size, nchar)
2790 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002791
Victor Stinner1c24bd02010-10-02 11:03:13 +00002792 # Test PyUnicode_AsWideCharString()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002793 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002794 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002795 from _testcapi import unicode_aswidecharstring
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002796 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002797 from ctypes import c_wchar, sizeof
2798
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002799 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002800 self.assertEqual(size, 3)
2801 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002802
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002803 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002804 self.assertEqual(size, 7)
2805 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002806
Victor Stinner5593d8a2010-10-02 11:11:27 +00002807 nonbmp = chr(0x10ffff)
2808 if sizeof(c_wchar) == 2:
2809 nchar = 2
2810 else: # sizeof(c_wchar) == 4
2811 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002812 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002813 self.assertEqual(size, nchar)
2814 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002815
Serhiy Storchakacc164232016-10-02 21:29:26 +03002816 # Test PyUnicode_AsUCS4()
2817 @support.cpython_only
2818 def test_asucs4(self):
2819 from _testcapi import unicode_asucs4
2820 for s in ['abc', '\xa1\xa2', '\u4f60\u597d', 'a\U0001f600',
2821 'a\ud800b\udfffc', '\ud834\udd1e']:
2822 l = len(s)
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03002823 self.assertEqual(unicode_asucs4(s, l, True), s+'\0')
2824 self.assertEqual(unicode_asucs4(s, l, False), s+'\uffff')
2825 self.assertEqual(unicode_asucs4(s, l+1, True), s+'\0\uffff')
2826 self.assertEqual(unicode_asucs4(s, l+1, False), s+'\0\uffff')
2827 self.assertRaises(SystemError, unicode_asucs4, s, l-1, True)
2828 self.assertRaises(SystemError, unicode_asucs4, s, l-2, False)
Serhiy Storchakacc164232016-10-02 21:29:26 +03002829 s = '\0'.join([s, s])
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03002830 self.assertEqual(unicode_asucs4(s, len(s), True), s+'\0')
2831 self.assertEqual(unicode_asucs4(s, len(s), False), s+'\uffff')
Serhiy Storchakacc164232016-10-02 21:29:26 +03002832
Hai Shi5623ac82019-07-20 02:56:23 -05002833 # Test PyUnicode_AsUTF8()
2834 @support.cpython_only
2835 def test_asutf8(self):
2836 from _testcapi import unicode_asutf8
2837
2838 bmp = '\u0100'
2839 bmp2 = '\uffff'
2840 nonbmp = chr(0x10ffff)
2841
2842 self.assertEqual(unicode_asutf8(bmp), b'\xc4\x80')
2843 self.assertEqual(unicode_asutf8(bmp2), b'\xef\xbf\xbf')
2844 self.assertEqual(unicode_asutf8(nonbmp), b'\xf4\x8f\xbf\xbf')
2845 self.assertRaises(UnicodeEncodeError, unicode_asutf8, 'a\ud800b\udfffc')
2846
2847 # Test PyUnicode_AsUTF8AndSize()
2848 @support.cpython_only
2849 def test_asutf8andsize(self):
2850 from _testcapi import unicode_asutf8andsize
2851
2852 bmp = '\u0100'
2853 bmp2 = '\uffff'
2854 nonbmp = chr(0x10ffff)
2855
2856 self.assertEqual(unicode_asutf8andsize(bmp), (b'\xc4\x80', 2))
2857 self.assertEqual(unicode_asutf8andsize(bmp2), (b'\xef\xbf\xbf', 3))
2858 self.assertEqual(unicode_asutf8andsize(nonbmp), (b'\xf4\x8f\xbf\xbf', 4))
2859 self.assertRaises(UnicodeEncodeError, unicode_asutf8andsize, 'a\ud800b\udfffc')
2860
Xiang Zhangb2110682016-12-20 22:52:33 +08002861 # Test PyUnicode_FindChar()
2862 @support.cpython_only
2863 def test_findchar(self):
2864 from _testcapi import unicode_findchar
2865
2866 for str in "\xa1", "\u8000\u8080", "\ud800\udc02", "\U0001f100\U0001f1f1":
2867 for i, ch in enumerate(str):
2868 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), 1), i)
2869 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), -1), i)
2870
2871 str = "!>_<!"
2872 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), 1), -1)
2873 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), -1), -1)
2874 # start < end
2875 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, 1), 4)
2876 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, -1), 4)
2877 # start >= end
2878 self.assertEqual(unicode_findchar(str, ord('!'), 0, 0, 1), -1)
2879 self.assertEqual(unicode_findchar(str, ord('!'), len(str), 0, 1), -1)
2880 # negative
2881 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, 1), 0)
2882 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, -1), 0)
2883
Serhiy Storchaka9c0e1f82016-10-08 22:45:38 +03002884 # Test PyUnicode_CopyCharacters()
2885 @support.cpython_only
2886 def test_copycharacters(self):
2887 from _testcapi import unicode_copycharacters
2888
2889 strings = [
2890 'abcde', '\xa1\xa2\xa3\xa4\xa5',
2891 '\u4f60\u597d\u4e16\u754c\uff01',
2892 '\U0001f600\U0001f601\U0001f602\U0001f603\U0001f604'
2893 ]
2894
2895 for idx, from_ in enumerate(strings):
2896 # wide -> narrow: exceed maxchar limitation
2897 for to in strings[:idx]:
2898 self.assertRaises(
2899 SystemError,
2900 unicode_copycharacters, to, 0, from_, 0, 5
2901 )
2902 # same kind
2903 for from_start in range(5):
2904 self.assertEqual(
2905 unicode_copycharacters(from_, 0, from_, from_start, 5),
2906 (from_[from_start:from_start+5].ljust(5, '\0'),
2907 5-from_start)
2908 )
2909 for to_start in range(5):
2910 self.assertEqual(
2911 unicode_copycharacters(from_, to_start, from_, to_start, 5),
2912 (from_[to_start:to_start+5].rjust(5, '\0'),
2913 5-to_start)
2914 )
2915 # narrow -> wide
2916 # Tests omitted since this creates invalid strings.
2917
2918 s = strings[0]
2919 self.assertRaises(IndexError, unicode_copycharacters, s, 6, s, 0, 5)
2920 self.assertRaises(IndexError, unicode_copycharacters, s, -1, s, 0, 5)
2921 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, 6, 5)
2922 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, -1, 5)
2923 self.assertRaises(SystemError, unicode_copycharacters, s, 1, s, 0, 5)
2924 self.assertRaises(SystemError, unicode_copycharacters, s, 0, s, 0, -1)
2925 self.assertRaises(SystemError, unicode_copycharacters, s, 0, b'', 0, 0)
2926
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002927 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002928 def test_encode_decimal(self):
2929 from _testcapi import unicode_encodedecimal
2930 self.assertEqual(unicode_encodedecimal('123'),
2931 b'123')
2932 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2933 b'3.14')
2934 self.assertEqual(unicode_encodedecimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2935 b' 3.14 ')
2936 self.assertRaises(UnicodeEncodeError,
2937 unicode_encodedecimal, "123\u20ac", "strict")
Victor Stinner6345be92011-11-25 20:09:01 +01002938 self.assertRaisesRegex(
2939 ValueError,
2940 "^'decimal' codec can't encode character",
2941 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002942
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002943 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002944 def test_transform_decimal(self):
2945 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
2946 self.assertEqual(transform_decimal('123'),
2947 '123')
2948 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2949 '3.14')
2950 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2951 "\N{EM SPACE}3.14\N{EN SPACE}")
2952 self.assertEqual(transform_decimal('123\u20ac'),
2953 '123\u20ac')
2954
Serhiy Storchaka7aa69082015-12-03 01:02:03 +02002955 @support.cpython_only
2956 def test_pep393_utf8_caching_bug(self):
2957 # Issue #25709: Problem with string concatenation and utf-8 cache
2958 from _testcapi import getargs_s_hash
2959 for k in 0x24, 0xa4, 0x20ac, 0x1f40d:
2960 s = ''
2961 for i in range(5):
2962 # Due to CPython specific optimization the 's' string can be
2963 # resized in-place.
2964 s += chr(k)
2965 # Parsing with the "s#" format code calls indirectly
2966 # PyUnicode_AsUTF8AndSize() which creates the UTF-8
2967 # encoded string cached in the Unicode object.
2968 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2969 # Check that the second call returns the same result
2970 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2971
Eric Smitha1eac722011-01-29 11:15:35 +00002972class StringModuleTest(unittest.TestCase):
2973 def test_formatter_parser(self):
2974 def parse(format):
2975 return list(_string.formatter_parser(format))
2976
2977 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2978 self.assertEqual(formatter, [
2979 ('prefix ', '2', '', 's'),
2980 ('xxx', '0', '^+10.3f', None),
2981 ('', 'obj.attr', '', 's'),
2982 (' ', 'z[0]', '10', 's'),
2983 ])
2984
2985 formatter = parse("prefix {} suffix")
2986 self.assertEqual(formatter, [
2987 ('prefix ', '', '', None),
2988 (' suffix', None, None, None),
2989 ])
2990
2991 formatter = parse("str")
2992 self.assertEqual(formatter, [
2993 ('str', None, None, None),
2994 ])
2995
2996 formatter = parse("")
2997 self.assertEqual(formatter, [])
2998
2999 formatter = parse("{0}")
3000 self.assertEqual(formatter, [
3001 ('', '0', '', None),
3002 ])
3003
3004 self.assertRaises(TypeError, _string.formatter_parser, 1)
3005
3006 def test_formatter_field_name_split(self):
3007 def split(name):
3008 items = list(_string.formatter_field_name_split(name))
3009 items[1] = list(items[1])
3010 return items
3011 self.assertEqual(split("obj"), ["obj", []])
3012 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
3013 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
3014 self.assertEqual(split("obj.arg[key1][key2]"), [
3015 "obj",
3016 [(True, 'arg'),
3017 (False, 'key1'),
3018 (False, 'key2'),
3019 ]])
3020 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
3021
3022
Walter Dörwald28256f22003-01-19 16:59:20 +00003023if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02003024 unittest.main()