blob: 64e6bf5f6ab47371d3d728498c90fc1f17ec54aa [file] [log] [blame]
Guido van Rossuma831cac2000-03-10 23:23:21 +00001""" Test script for the Unicode implementation.
2
Guido van Rossuma831cac2000-03-10 23:23:21 +00003Written by Marc-Andre Lemburg (mal@lemburg.com).
4
5(c) Copyright CNRI, All Rights Reserved. NO WARRANTY.
6
Marc-André Lemburg36619082001-01-17 19:11:13 +00007"""#"
Victor Stinner040e16e2011-11-15 22:44:05 +01008import _string
Guido van Rossum98297ee2007-11-06 21:34:58 +00009import codecs
Victor Stinner9fc59812013-04-08 22:34:43 +020010import itertools
Ethan Furman9ab74802014-03-21 06:38:46 -070011import operator
Guido van Rossum98297ee2007-11-06 21:34:58 +000012import struct
13import sys
14import unittest
15import warnings
Benjamin Petersonee8712c2008-05-20 21:35:26 +000016from test import support, string_tests
Guido van Rossuma831cac2000-03-10 23:23:21 +000017
Neal Norwitz430f68b2005-11-24 22:00:56 +000018# Error handling (bad decoder return)
19def search_function(encoding):
20 def decode1(input, errors="strict"):
21 return 42 # not a tuple
22 def encode1(input, errors="strict"):
23 return 42 # not a tuple
24 def encode2(input, errors="strict"):
25 return (42, 42) # no unicode
26 def decode2(input, errors="strict"):
27 return (42, 42) # no unicode
28 if encoding=="test.unicode1":
29 return (encode1, decode1, None, None)
30 elif encoding=="test.unicode2":
31 return (encode2, decode2, None, None)
32 else:
33 return None
34codecs.register(search_function)
35
Victor Stinner9fc59812013-04-08 22:34:43 +020036def duplicate_string(text):
37 """
38 Try to get a fresh clone of the specified text:
39 new object with a reference count of 1.
40
41 This is a best-effort: latin1 single letters and the empty
42 string ('') are singletons and cannot be cloned.
43 """
44 return text.encode().decode()
45
Brett Cannon226b2302010-03-20 22:22:22 +000046class UnicodeTest(string_tests.CommonTest,
47 string_tests.MixinStrUnicodeUserStringTest,
Ezio Melotti0dceb562013-01-10 07:43:26 +020048 string_tests.MixinStrUnicodeTest,
49 unittest.TestCase):
Brett Cannon226b2302010-03-20 22:22:22 +000050
Guido van Rossumef87d6e2007-05-02 19:09:54 +000051 type2test = str
Walter Dörwald0fd583c2003-02-21 12:53:50 +000052
53 def checkequalnofix(self, result, object, methodname, *args):
54 method = getattr(object, methodname)
55 realresult = method(*args)
56 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000057 self.assertTrue(type(realresult) is type(result))
Walter Dörwald0fd583c2003-02-21 12:53:50 +000058
59 # if the original is returned make sure that
60 # this doesn't happen with subclasses
61 if realresult is object:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000062 class usub(str):
Walter Dörwald0fd583c2003-02-21 12:53:50 +000063 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000064 return 'usub(%r)' % str.__repr__(self)
Walter Dörwald0fd583c2003-02-21 12:53:50 +000065 object = usub(object)
66 method = getattr(object, methodname)
67 realresult = method(*args)
68 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000069 self.assertTrue(object is not realresult)
Guido van Rossume4874ae2001-09-21 15:36:41 +000070
Jeremy Hylton504de6b2003-10-06 05:08:26 +000071 def test_literals(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000072 self.assertEqual('\xff', '\u00ff')
73 self.assertEqual('\uffff', '\U0000ffff')
Guido van Rossum36e0a922007-07-20 04:05:57 +000074 self.assertRaises(SyntaxError, eval, '\'\\Ufffffffe\'')
75 self.assertRaises(SyntaxError, eval, '\'\\Uffffffff\'')
76 self.assertRaises(SyntaxError, eval, '\'\\U%08x\'' % 0x110000)
Benjamin Petersoncd76c272008-04-05 15:09:30 +000077 # raw strings should not have unicode escapes
Florent Xiclunaa87b3832010-09-13 02:28:18 +000078 self.assertNotEqual(r"\u0020", " ")
Jeremy Hylton504de6b2003-10-06 05:08:26 +000079
Georg Brandl559e5d72008-06-11 18:37:52 +000080 def test_ascii(self):
81 if not sys.platform.startswith('java'):
82 # Test basic sanity of repr()
83 self.assertEqual(ascii('abc'), "'abc'")
84 self.assertEqual(ascii('ab\\c'), "'ab\\\\c'")
85 self.assertEqual(ascii('ab\\'), "'ab\\\\'")
86 self.assertEqual(ascii('\\c'), "'\\\\c'")
87 self.assertEqual(ascii('\\'), "'\\\\'")
88 self.assertEqual(ascii('\n'), "'\\n'")
89 self.assertEqual(ascii('\r'), "'\\r'")
90 self.assertEqual(ascii('\t'), "'\\t'")
91 self.assertEqual(ascii('\b'), "'\\x08'")
92 self.assertEqual(ascii("'\""), """'\\'"'""")
93 self.assertEqual(ascii("'\""), """'\\'"'""")
94 self.assertEqual(ascii("'"), '''"'"''')
95 self.assertEqual(ascii('"'), """'"'""")
96 latin1repr = (
97 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
98 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
99 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
100 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
101 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
102 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
103 "\\x9c\\x9d\\x9e\\x9f\\xa0\\xa1\\xa2\\xa3\\xa4\\xa5\\xa6\\xa7\\xa8\\xa9"
104 "\\xaa\\xab\\xac\\xad\\xae\\xaf\\xb0\\xb1\\xb2\\xb3\\xb4\\xb5\\xb6\\xb7"
105 "\\xb8\\xb9\\xba\\xbb\\xbc\\xbd\\xbe\\xbf\\xc0\\xc1\\xc2\\xc3\\xc4\\xc5"
106 "\\xc6\\xc7\\xc8\\xc9\\xca\\xcb\\xcc\\xcd\\xce\\xcf\\xd0\\xd1\\xd2\\xd3"
107 "\\xd4\\xd5\\xd6\\xd7\\xd8\\xd9\\xda\\xdb\\xdc\\xdd\\xde\\xdf\\xe0\\xe1"
108 "\\xe2\\xe3\\xe4\\xe5\\xe6\\xe7\\xe8\\xe9\\xea\\xeb\\xec\\xed\\xee\\xef"
109 "\\xf0\\xf1\\xf2\\xf3\\xf4\\xf5\\xf6\\xf7\\xf8\\xf9\\xfa\\xfb\\xfc\\xfd"
110 "\\xfe\\xff'")
111 testrepr = ascii(''.join(map(chr, range(256))))
112 self.assertEqual(testrepr, latin1repr)
113 # Test ascii works on wide unicode escapes without overflow.
114 self.assertEqual(ascii("\U00010000" * 39 + "\uffff" * 4096),
115 ascii("\U00010000" * 39 + "\uffff" * 4096))
116
117 class WrongRepr:
118 def __repr__(self):
119 return b'byte-repr'
120 self.assertRaises(TypeError, ascii, WrongRepr())
121
Walter Dörwald28256f22003-01-19 16:59:20 +0000122 def test_repr(self):
123 if not sys.platform.startswith('java'):
124 # Test basic sanity of repr()
Walter Dörwald67e83882007-05-05 12:26:27 +0000125 self.assertEqual(repr('abc'), "'abc'")
126 self.assertEqual(repr('ab\\c'), "'ab\\\\c'")
127 self.assertEqual(repr('ab\\'), "'ab\\\\'")
128 self.assertEqual(repr('\\c'), "'\\\\c'")
129 self.assertEqual(repr('\\'), "'\\\\'")
130 self.assertEqual(repr('\n'), "'\\n'")
131 self.assertEqual(repr('\r'), "'\\r'")
132 self.assertEqual(repr('\t'), "'\\t'")
133 self.assertEqual(repr('\b'), "'\\x08'")
134 self.assertEqual(repr("'\""), """'\\'"'""")
135 self.assertEqual(repr("'\""), """'\\'"'""")
136 self.assertEqual(repr("'"), '''"'"''')
137 self.assertEqual(repr('"'), """'"'""")
Walter Dörwald28256f22003-01-19 16:59:20 +0000138 latin1repr = (
Walter Dörwald67e83882007-05-05 12:26:27 +0000139 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
Walter Dörwald28256f22003-01-19 16:59:20 +0000140 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
141 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
142 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
143 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
144 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
Georg Brandl559e5d72008-06-11 18:37:52 +0000145 "\\x9c\\x9d\\x9e\\x9f\\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9"
146 "\xaa\xab\xac\\xad\xae\xaf\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7"
147 "\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf\xc0\xc1\xc2\xc3\xc4\xc5"
148 "\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf\xd0\xd1\xd2\xd3"
149 "\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf\xe0\xe1"
150 "\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef"
151 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd"
152 "\xfe\xff'")
Guido van Rossum805365e2007-05-07 22:24:25 +0000153 testrepr = repr(''.join(map(chr, range(256))))
Walter Dörwald28256f22003-01-19 16:59:20 +0000154 self.assertEqual(testrepr, latin1repr)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000155 # Test repr works on wide unicode escapes without overflow.
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000156 self.assertEqual(repr("\U00010000" * 39 + "\uffff" * 4096),
157 repr("\U00010000" * 39 + "\uffff" * 4096))
Walter Dörwald28256f22003-01-19 16:59:20 +0000158
Georg Brandl559e5d72008-06-11 18:37:52 +0000159 class WrongRepr:
160 def __repr__(self):
161 return b'byte-repr'
162 self.assertRaises(TypeError, repr, WrongRepr())
163
Guido van Rossum49d6b072006-08-17 21:11:47 +0000164 def test_iterators(self):
165 # Make sure unicode objects have an __iter__ method
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000166 it = "\u1111\u2222\u3333".__iter__()
167 self.assertEqual(next(it), "\u1111")
168 self.assertEqual(next(it), "\u2222")
169 self.assertEqual(next(it), "\u3333")
Georg Brandla18af4e2007-04-21 15:47:16 +0000170 self.assertRaises(StopIteration, next, it)
Guido van Rossum49d6b072006-08-17 21:11:47 +0000171
Walter Dörwald28256f22003-01-19 16:59:20 +0000172 def test_count(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000173 string_tests.CommonTest.test_count(self)
174 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000175 self.checkequalnofix(3, 'aaa', 'count', 'a')
176 self.checkequalnofix(0, 'aaa', 'count', 'b')
177 self.checkequalnofix(3, 'aaa', 'count', 'a')
178 self.checkequalnofix(0, 'aaa', 'count', 'b')
179 self.checkequalnofix(0, 'aaa', 'count', 'b')
180 self.checkequalnofix(1, 'aaa', 'count', 'a', -1)
181 self.checkequalnofix(3, 'aaa', 'count', 'a', -10)
182 self.checkequalnofix(2, 'aaa', 'count', 'a', 0, -1)
183 self.checkequalnofix(0, 'aaa', 'count', 'a', 0, -10)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000184
Walter Dörwald28256f22003-01-19 16:59:20 +0000185 def test_find(self):
Antoine Pitrouc0bbe7d2011-10-08 22:41:35 +0200186 string_tests.CommonTest.test_find(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200187 # test implementation details of the memchr fast path
188 self.checkequal(100, 'a' * 100 + '\u0102', 'find', '\u0102')
189 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0201')
190 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0120')
191 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0220')
192 self.checkequal(100, 'a' * 100 + '\U00100304', 'find', '\U00100304')
193 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00100204')
194 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00102004')
195 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000196 self.checkequalnofix(0, 'abcdefghiabc', 'find', 'abc')
197 self.checkequalnofix(9, 'abcdefghiabc', 'find', 'abc', 1)
198 self.checkequalnofix(-1, 'abcdefghiabc', 'find', 'def', 4)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000199
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000200 self.assertRaises(TypeError, 'hello'.find)
201 self.assertRaises(TypeError, 'hello'.find, 42)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000202
Walter Dörwald28256f22003-01-19 16:59:20 +0000203 def test_rfind(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000204 string_tests.CommonTest.test_rfind(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200205 # test implementation details of the memrchr fast path
206 self.checkequal(0, '\u0102' + 'a' * 100 , 'rfind', '\u0102')
207 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0201')
208 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0120')
209 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0220')
210 self.checkequal(0, '\U00100304' + 'a' * 100, 'rfind', '\U00100304')
211 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00100204')
212 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00102004')
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000213 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000214 self.checkequalnofix(9, 'abcdefghiabc', 'rfind', 'abc')
215 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
216 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
Guido van Rossum8b264542000-12-19 02:22:31 +0000217
Walter Dörwald28256f22003-01-19 16:59:20 +0000218 def test_index(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000219 string_tests.CommonTest.test_index(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000220 self.checkequalnofix(0, 'abcdefghiabc', 'index', '')
221 self.checkequalnofix(3, 'abcdefghiabc', 'index', 'def')
222 self.checkequalnofix(0, 'abcdefghiabc', 'index', 'abc')
223 self.checkequalnofix(9, 'abcdefghiabc', 'index', 'abc', 1)
224 self.assertRaises(ValueError, 'abcdefghiabc'.index, 'hib')
225 self.assertRaises(ValueError, 'abcdefghiab'.index, 'abc', 1)
226 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', 8)
227 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000228
Walter Dörwald28256f22003-01-19 16:59:20 +0000229 def test_rindex(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000230 string_tests.CommonTest.test_rindex(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000231 self.checkequalnofix(12, 'abcdefghiabc', 'rindex', '')
232 self.checkequalnofix(3, 'abcdefghiabc', 'rindex', 'def')
233 self.checkequalnofix(9, 'abcdefghiabc', 'rindex', 'abc')
234 self.checkequalnofix(0, 'abcdefghiabc', 'rindex', 'abc', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000235
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000236 self.assertRaises(ValueError, 'abcdefghiabc'.rindex, 'hib')
237 self.assertRaises(ValueError, 'defghiabc'.rindex, 'def', 1)
238 self.assertRaises(ValueError, 'defghiabc'.rindex, 'abc', 0, -1)
239 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, 8)
240 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000241
Georg Brandlceee0772007-11-27 23:48:05 +0000242 def test_maketrans_translate(self):
243 # these work with plain translate()
244 self.checkequalnofix('bbbc', 'abababc', 'translate',
245 {ord('a'): None})
246 self.checkequalnofix('iiic', 'abababc', 'translate',
247 {ord('a'): None, ord('b'): ord('i')})
248 self.checkequalnofix('iiix', 'abababc', 'translate',
249 {ord('a'): None, ord('b'): ord('i'), ord('c'): 'x'})
250 self.checkequalnofix('c', 'abababc', 'translate',
251 {ord('a'): None, ord('b'): ''})
252 self.checkequalnofix('xyyx', 'xzx', 'translate',
253 {ord('z'): 'yy'})
Victor Stinner5a29f252014-04-05 00:17:51 +0200254
Georg Brandlceee0772007-11-27 23:48:05 +0000255 # this needs maketrans()
256 self.checkequalnofix('abababc', 'abababc', 'translate',
257 {'b': '<i>'})
258 tbl = self.type2test.maketrans({'a': None, 'b': '<i>'})
259 self.checkequalnofix('<i><i><i>c', 'abababc', 'translate', tbl)
260 # test alternative way of calling maketrans()
261 tbl = self.type2test.maketrans('abc', 'xyz', 'd')
262 self.checkequalnofix('xyzzy', 'abdcdcbdddd', 'translate', tbl)
263
Victor Stinner5a29f252014-04-05 00:17:51 +0200264 # various tests switching from ASCII to latin1 or the opposite;
265 # same length, remove a letter, or replace with a longer string.
266 self.assertEqual("[a]".translate(str.maketrans('a', 'X')),
267 "[X]")
268 self.assertEqual("[a]".translate(str.maketrans({'a': 'X'})),
269 "[X]")
270 self.assertEqual("[a]".translate(str.maketrans({'a': None})),
271 "[]")
272 self.assertEqual("[a]".translate(str.maketrans({'a': 'XXX'})),
273 "[XXX]")
274 self.assertEqual("[a]".translate(str.maketrans({'a': '\xe9'})),
275 "[\xe9]")
276 self.assertEqual("[a]".translate(str.maketrans({'a': '<\xe9>'})),
277 "[<\xe9>]")
278 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': 'a'})),
279 "[a]")
280 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': None})),
281 "[]")
282
Victor Stinner4ff33af2014-04-05 11:56:37 +0200283 # invalid Unicode characters
284 invalid_char = 0x10ffff+1
285 for before in "a\xe9\u20ac\U0010ffff":
286 mapping = str.maketrans({before: invalid_char})
287 text = "[%s]" % before
288 self.assertRaises(ValueError, text.translate, mapping)
289
290 # errors
Georg Brandlceee0772007-11-27 23:48:05 +0000291 self.assertRaises(TypeError, self.type2test.maketrans)
292 self.assertRaises(ValueError, self.type2test.maketrans, 'abc', 'defg')
293 self.assertRaises(TypeError, self.type2test.maketrans, 2, 'def')
294 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 2)
295 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 'def', 2)
296 self.assertRaises(ValueError, self.type2test.maketrans, {'xy': 2})
297 self.assertRaises(TypeError, self.type2test.maketrans, {(1,): 2})
Guido van Rossuma831cac2000-03-10 23:23:21 +0000298
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000299 self.assertRaises(TypeError, 'hello'.translate)
Walter Dörwald67e83882007-05-05 12:26:27 +0000300 self.assertRaises(TypeError, 'abababc'.translate, 'abc', 'xyz')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000301
Walter Dörwald28256f22003-01-19 16:59:20 +0000302 def test_split(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000303 string_tests.CommonTest.test_split(self)
Andrew M. Kuchlingeddd68d2002-03-29 16:21:44 +0000304
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000305 # Mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000306 self.checkequalnofix(['a', 'b', 'c', 'd'], 'a//b//c//d', 'split', '//')
307 self.checkequalnofix(['a', 'b', 'c', 'd'], 'a//b//c//d', 'split', '//')
308 self.checkequalnofix(['endcase ', ''], 'endcase test', 'split', 'test')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000309
Walter Dörwald28256f22003-01-19 16:59:20 +0000310 def test_join(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000311 string_tests.MixinStrUnicodeUserStringTest.test_join(self)
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +0000312
Guido van Rossumf1044292007-09-27 18:01:22 +0000313 class MyWrapper:
314 def __init__(self, sval): self.sval = sval
315 def __str__(self): return self.sval
316
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000317 # mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000318 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
319 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
320 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
321 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
322 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
323 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
324 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
Guido van Rossum98297ee2007-11-06 21:34:58 +0000325 self.checkraises(TypeError, ' ', 'join', ['1', '2', MyWrapper('foo')])
326 self.checkraises(TypeError, ' ', 'join', ['1', '2', '3', bytes()])
327 self.checkraises(TypeError, ' ', 'join', [1, 2, 3])
328 self.checkraises(TypeError, ' ', 'join', ['1', '2', 3])
Marc-André Lemburge5034372000-08-08 08:04:29 +0000329
Walter Dörwald28256f22003-01-19 16:59:20 +0000330 def test_replace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000331 string_tests.CommonTest.test_replace(self)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000332
Walter Dörwald28256f22003-01-19 16:59:20 +0000333 # method call forwarded from str implementation because of unicode argument
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000334 self.checkequalnofix('one@two!three!', 'one!two!three!', 'replace', '!', '@', 1)
335 self.assertRaises(TypeError, 'replace'.replace, "r", 42)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000336
Victor Stinner59de0ee2011-10-07 10:01:28 +0200337 @support.cpython_only
338 def test_replace_id(self):
Victor Stinner1d972ad2011-10-07 13:31:46 +0200339 pattern = 'abc'
340 text = 'abc def'
341 self.assertIs(text.replace(pattern, pattern), text)
Victor Stinner59de0ee2011-10-07 10:01:28 +0200342
Guido van Rossum98297ee2007-11-06 21:34:58 +0000343 def test_bytes_comparison(self):
Brett Cannon226b2302010-03-20 22:22:22 +0000344 with support.check_warnings():
345 warnings.simplefilter('ignore', BytesWarning)
346 self.assertEqual('abc' == b'abc', False)
347 self.assertEqual('abc' != b'abc', True)
348 self.assertEqual('abc' == bytearray(b'abc'), False)
349 self.assertEqual('abc' != bytearray(b'abc'), True)
Brett Cannon40430012007-10-22 20:24:51 +0000350
Walter Dörwald28256f22003-01-19 16:59:20 +0000351 def test_comparison(self):
352 # Comparisons:
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000353 self.assertEqual('abc', 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000354 self.assertTrue('abcd' > 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000355 self.assertTrue('abc' < 'abcd')
Walter Dörwald28256f22003-01-19 16:59:20 +0000356
357 if 0:
358 # Move these tests to a Unicode collation module test...
359 # Testing UTF-16 code point order comparisons...
360
361 # No surrogates, no fixup required.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000362 self.assertTrue('\u0061' < '\u20ac')
Walter Dörwald28256f22003-01-19 16:59:20 +0000363 # Non surrogate below surrogate value, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000364 self.assertTrue('\u0061' < '\ud800\udc02')
Walter Dörwald28256f22003-01-19 16:59:20 +0000365
366 # Non surrogate above surrogate value, fixup required
367 def test_lecmp(s, s2):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000368 self.assertTrue(s < s2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000369
370 def test_fixup(s):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000371 s2 = '\ud800\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000372 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000373 s2 = '\ud900\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000374 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000375 s2 = '\uda00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000376 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000377 s2 = '\udb00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000378 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000379 s2 = '\ud800\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000380 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000381 s2 = '\ud900\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000382 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000383 s2 = '\uda00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000384 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000385 s2 = '\udb00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000386 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000387 s2 = '\ud800\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000388 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000389 s2 = '\ud900\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000390 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000391 s2 = '\uda00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000392 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000393 s2 = '\udb00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000394 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000395 s2 = '\ud800\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000396 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000397 s2 = '\ud900\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000398 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000399 s2 = '\uda00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000400 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000401 s2 = '\udb00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000402 test_lecmp(s, s2)
403
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000404 test_fixup('\ue000')
405 test_fixup('\uff61')
Walter Dörwald28256f22003-01-19 16:59:20 +0000406
407 # Surrogates on both sides, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000408 self.assertTrue('\ud800\udc02' < '\ud84d\udc56')
Walter Dörwald28256f22003-01-19 16:59:20 +0000409
Walter Dörwald28256f22003-01-19 16:59:20 +0000410 def test_islower(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000411 string_tests.MixinStrUnicodeUserStringTest.test_islower(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000412 self.checkequalnofix(False, '\u1FFc', 'islower')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500413 self.assertFalse('\u2167'.islower())
414 self.assertTrue('\u2177'.islower())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300415 # non-BMP, uppercase
416 self.assertFalse('\U00010401'.islower())
417 self.assertFalse('\U00010427'.islower())
418 # non-BMP, lowercase
419 self.assertTrue('\U00010429'.islower())
420 self.assertTrue('\U0001044E'.islower())
421 # non-BMP, non-cased
422 self.assertFalse('\U0001F40D'.islower())
423 self.assertFalse('\U0001F46F'.islower())
Walter Dörwald28256f22003-01-19 16:59:20 +0000424
425 def test_isupper(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000426 string_tests.MixinStrUnicodeUserStringTest.test_isupper(self)
427 if not sys.platform.startswith('java'):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000428 self.checkequalnofix(False, '\u1FFc', 'isupper')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500429 self.assertTrue('\u2167'.isupper())
430 self.assertFalse('\u2177'.isupper())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300431 # non-BMP, uppercase
432 self.assertTrue('\U00010401'.isupper())
433 self.assertTrue('\U00010427'.isupper())
434 # non-BMP, lowercase
435 self.assertFalse('\U00010429'.isupper())
436 self.assertFalse('\U0001044E'.isupper())
437 # non-BMP, non-cased
438 self.assertFalse('\U0001F40D'.isupper())
439 self.assertFalse('\U0001F46F'.isupper())
Walter Dörwald28256f22003-01-19 16:59:20 +0000440
441 def test_istitle(self):
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300442 string_tests.MixinStrUnicodeUserStringTest.test_istitle(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000443 self.checkequalnofix(True, '\u1FFc', 'istitle')
444 self.checkequalnofix(True, 'Greek \u1FFcitlecases ...', 'istitle')
Walter Dörwald28256f22003-01-19 16:59:20 +0000445
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300446 # non-BMP, uppercase + lowercase
447 self.assertTrue('\U00010401\U00010429'.istitle())
448 self.assertTrue('\U00010427\U0001044E'.istitle())
449 # apparently there are no titlecased (Lt) non-BMP chars in Unicode 6
450 for ch in ['\U00010429', '\U0001044E', '\U0001F40D', '\U0001F46F']:
451 self.assertFalse(ch.istitle(), '{!a} is not title'.format(ch))
452
Walter Dörwald28256f22003-01-19 16:59:20 +0000453 def test_isspace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000454 string_tests.MixinStrUnicodeUserStringTest.test_isspace(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000455 self.checkequalnofix(True, '\u2000', 'isspace')
456 self.checkequalnofix(True, '\u200a', 'isspace')
457 self.checkequalnofix(False, '\u2014', 'isspace')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300458 # apparently there are no non-BMP spaces chars in Unicode 6
459 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
460 '\U0001F40D', '\U0001F46F']:
461 self.assertFalse(ch.isspace(), '{!a} is not space.'.format(ch))
462
463 def test_isalnum(self):
464 string_tests.MixinStrUnicodeUserStringTest.test_isalnum(self)
465 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
466 '\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
467 self.assertTrue(ch.isalnum(), '{!a} is alnum.'.format(ch))
Walter Dörwald28256f22003-01-19 16:59:20 +0000468
469 def test_isalpha(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000470 string_tests.MixinStrUnicodeUserStringTest.test_isalpha(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000471 self.checkequalnofix(True, '\u1FFc', 'isalpha')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300472 # non-BMP, cased
473 self.assertTrue('\U00010401'.isalpha())
474 self.assertTrue('\U00010427'.isalpha())
475 self.assertTrue('\U00010429'.isalpha())
476 self.assertTrue('\U0001044E'.isalpha())
477 # non-BMP, non-cased
478 self.assertFalse('\U0001F40D'.isalpha())
479 self.assertFalse('\U0001F46F'.isalpha())
Walter Dörwald28256f22003-01-19 16:59:20 +0000480
481 def test_isdecimal(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000482 self.checkequalnofix(False, '', 'isdecimal')
483 self.checkequalnofix(False, 'a', 'isdecimal')
484 self.checkequalnofix(True, '0', 'isdecimal')
485 self.checkequalnofix(False, '\u2460', 'isdecimal') # CIRCLED DIGIT ONE
486 self.checkequalnofix(False, '\xbc', 'isdecimal') # VULGAR FRACTION ONE QUARTER
487 self.checkequalnofix(True, '\u0660', 'isdecimal') # ARABIC-INDIC DIGIT ZERO
488 self.checkequalnofix(True, '0123456789', 'isdecimal')
489 self.checkequalnofix(False, '0123456789a', 'isdecimal')
Walter Dörwald28256f22003-01-19 16:59:20 +0000490
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000491 self.checkraises(TypeError, 'abc', 'isdecimal', 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000492
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300493 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
494 '\U0001F40D', '\U0001F46F', '\U00011065', '\U0001F107']:
495 self.assertFalse(ch.isdecimal(), '{!a} is not decimal.'.format(ch))
496 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0']:
497 self.assertTrue(ch.isdecimal(), '{!a} is decimal.'.format(ch))
498
Walter Dörwald28256f22003-01-19 16:59:20 +0000499 def test_isdigit(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000500 string_tests.MixinStrUnicodeUserStringTest.test_isdigit(self)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000501 self.checkequalnofix(True, '\u2460', 'isdigit')
502 self.checkequalnofix(False, '\xbc', 'isdigit')
503 self.checkequalnofix(True, '\u0660', 'isdigit')
Walter Dörwald28256f22003-01-19 16:59:20 +0000504
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300505 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
506 '\U0001F40D', '\U0001F46F', '\U00011065']:
507 self.assertFalse(ch.isdigit(), '{!a} is not a digit.'.format(ch))
508 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
509 self.assertTrue(ch.isdigit(), '{!a} is a digit.'.format(ch))
510
Walter Dörwald28256f22003-01-19 16:59:20 +0000511 def test_isnumeric(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000512 self.checkequalnofix(False, '', 'isnumeric')
513 self.checkequalnofix(False, 'a', 'isnumeric')
514 self.checkequalnofix(True, '0', 'isnumeric')
515 self.checkequalnofix(True, '\u2460', 'isnumeric')
516 self.checkequalnofix(True, '\xbc', 'isnumeric')
517 self.checkequalnofix(True, '\u0660', 'isnumeric')
518 self.checkequalnofix(True, '0123456789', 'isnumeric')
519 self.checkequalnofix(False, '0123456789a', 'isnumeric')
Walter Dörwald28256f22003-01-19 16:59:20 +0000520
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000521 self.assertRaises(TypeError, "abc".isnumeric, 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000522
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300523 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
524 '\U0001F40D', '\U0001F46F']:
525 self.assertFalse(ch.isnumeric(), '{!a} is not numeric.'.format(ch))
526 for ch in ['\U00011065', '\U0001D7F6', '\U00011066',
527 '\U000104A0', '\U0001F107']:
528 self.assertTrue(ch.isnumeric(), '{!a} is numeric.'.format(ch))
529
Martin v. Löwis47383402007-08-15 07:32:56 +0000530 def test_isidentifier(self):
531 self.assertTrue("a".isidentifier())
532 self.assertTrue("Z".isidentifier())
533 self.assertTrue("_".isidentifier())
534 self.assertTrue("b0".isidentifier())
535 self.assertTrue("bc".isidentifier())
536 self.assertTrue("b_".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000537 self.assertTrue("µ".isidentifier())
Benjamin Petersonf413b802011-08-12 22:17:18 -0500538 self.assertTrue("𝔘𝔫𝔦𝔠𝔬𝔡𝔢".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000539
540 self.assertFalse(" ".isidentifier())
541 self.assertFalse("[".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000542 self.assertFalse("©".isidentifier())
Georg Brandld52429f2008-07-04 15:55:02 +0000543 self.assertFalse("0".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000544
Georg Brandl559e5d72008-06-11 18:37:52 +0000545 def test_isprintable(self):
546 self.assertTrue("".isprintable())
Benjamin Peterson09832742009-03-26 17:15:46 +0000547 self.assertTrue(" ".isprintable())
Georg Brandl559e5d72008-06-11 18:37:52 +0000548 self.assertTrue("abcdefg".isprintable())
549 self.assertFalse("abcdefg\n".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000550 # some defined Unicode character
551 self.assertTrue("\u0374".isprintable())
552 # undefined character
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000553 self.assertFalse("\u0378".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000554 # single surrogate character
Georg Brandl559e5d72008-06-11 18:37:52 +0000555 self.assertFalse("\ud800".isprintable())
556
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300557 self.assertTrue('\U0001F46F'.isprintable())
558 self.assertFalse('\U000E0020'.isprintable())
559
560 def test_surrogates(self):
561 for s in ('a\uD800b\uDFFF', 'a\uDFFFb\uD800',
562 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
563 self.assertTrue(s.islower())
564 self.assertFalse(s.isupper())
565 self.assertFalse(s.istitle())
566 for s in ('A\uD800B\uDFFF', 'A\uDFFFB\uD800',
567 'A\uD800B\uDFFFA', 'A\uDFFFB\uD800A'):
568 self.assertFalse(s.islower())
569 self.assertTrue(s.isupper())
570 self.assertTrue(s.istitle())
571
572 for meth_name in ('islower', 'isupper', 'istitle'):
573 meth = getattr(str, meth_name)
574 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF'):
575 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
576
577 for meth_name in ('isalpha', 'isalnum', 'isdigit', 'isspace',
578 'isdecimal', 'isnumeric',
579 'isidentifier', 'isprintable'):
580 meth = getattr(str, meth_name)
581 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF',
582 'a\uD800b\uDFFF', 'a\uDFFFb\uD800',
583 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
584 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
585
586
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300587 def test_lower(self):
588 string_tests.CommonTest.test_lower(self)
589 self.assertEqual('\U00010427'.lower(), '\U0001044F')
590 self.assertEqual('\U00010427\U00010427'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300591 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300592 self.assertEqual('\U00010427\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300593 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300594 self.assertEqual('X\U00010427x\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300595 'x\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500596 self.assertEqual('fi'.lower(), 'fi')
597 self.assertEqual('\u0130'.lower(), '\u0069\u0307')
598 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
599 self.assertEqual('\u03a3'.lower(), '\u03c3')
600 self.assertEqual('\u0345\u03a3'.lower(), '\u0345\u03c3')
601 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
602 self.assertEqual('A\u0345\u03a3a'.lower(), 'a\u0345\u03c3a')
603 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
604 self.assertEqual('A\u03a3\u0345'.lower(), 'a\u03c2\u0345')
605 self.assertEqual('\u03a3\u0345 '.lower(), '\u03c3\u0345 ')
606 self.assertEqual('\U0008fffe'.lower(), '\U0008fffe')
607 self.assertEqual('\u2177'.lower(), '\u2177')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300608
Benjamin Petersond5890c82012-01-14 13:23:30 -0500609 def test_casefold(self):
610 self.assertEqual('hello'.casefold(), 'hello')
611 self.assertEqual('hELlo'.casefold(), 'hello')
612 self.assertEqual('ß'.casefold(), 'ss')
613 self.assertEqual('fi'.casefold(), 'fi')
614 self.assertEqual('\u03a3'.casefold(), '\u03c3')
615 self.assertEqual('A\u0345\u03a3'.casefold(), 'a\u03b9\u03c3')
Benjamin Peterson4eda9372012-08-05 15:05:34 -0700616 self.assertEqual('\u00b5'.casefold(), '\u03bc')
Benjamin Petersond5890c82012-01-14 13:23:30 -0500617
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300618 def test_upper(self):
619 string_tests.CommonTest.test_upper(self)
620 self.assertEqual('\U0001044F'.upper(), '\U00010427')
621 self.assertEqual('\U0001044F\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300622 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300623 self.assertEqual('\U00010427\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300624 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300625 self.assertEqual('X\U00010427x\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300626 'X\U00010427X\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500627 self.assertEqual('fi'.upper(), 'FI')
628 self.assertEqual('\u0130'.upper(), '\u0130')
629 self.assertEqual('\u03a3'.upper(), '\u03a3')
630 self.assertEqual('ß'.upper(), 'SS')
631 self.assertEqual('\u1fd2'.upper(), '\u0399\u0308\u0300')
632 self.assertEqual('\U0008fffe'.upper(), '\U0008fffe')
633 self.assertEqual('\u2177'.upper(), '\u2167')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300634
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300635 def test_capitalize(self):
636 string_tests.CommonTest.test_capitalize(self)
637 self.assertEqual('\U0001044F'.capitalize(), '\U00010427')
638 self.assertEqual('\U0001044F\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300639 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300640 self.assertEqual('\U00010427\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300641 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300642 self.assertEqual('\U0001044F\U00010427'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300643 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300644 self.assertEqual('X\U00010427x\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300645 'X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500646 self.assertEqual('h\u0130'.capitalize(), 'H\u0069\u0307')
647 exp = '\u0399\u0308\u0300\u0069\u0307'
648 self.assertEqual('\u1fd2\u0130'.capitalize(), exp)
649 self.assertEqual('finnish'.capitalize(), 'FInnish')
650 self.assertEqual('A\u0345\u03a3'.capitalize(), 'A\u0345\u03c2')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300651
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300652 def test_title(self):
653 string_tests.MixinStrUnicodeUserStringTest.test_title(self)
654 self.assertEqual('\U0001044F'.title(), '\U00010427')
655 self.assertEqual('\U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300656 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300657 self.assertEqual('\U0001044F\U0001044F \U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300658 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300659 self.assertEqual('\U00010427\U0001044F \U00010427\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300660 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300661 self.assertEqual('\U0001044F\U00010427 \U0001044F\U00010427'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300662 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300663 self.assertEqual('X\U00010427x\U0001044F X\U00010427x\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300664 'X\U0001044Fx\U0001044F X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500665 self.assertEqual('fiNNISH'.title(), 'Finnish')
666 self.assertEqual('A\u03a3 \u1fa1xy'.title(), 'A\u03c2 \u1fa9xy')
667 self.assertEqual('A\u03a3A'.title(), 'A\u03c3a')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300668
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300669 def test_swapcase(self):
670 string_tests.CommonTest.test_swapcase(self)
671 self.assertEqual('\U0001044F'.swapcase(), '\U00010427')
672 self.assertEqual('\U00010427'.swapcase(), '\U0001044F')
673 self.assertEqual('\U0001044F\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300674 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300675 self.assertEqual('\U00010427\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300676 '\U0001044F\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300677 self.assertEqual('\U0001044F\U00010427'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300678 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300679 self.assertEqual('X\U00010427x\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300680 'x\U0001044FX\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500681 self.assertEqual('fi'.swapcase(), 'FI')
682 self.assertEqual('\u0130'.swapcase(), '\u0069\u0307')
683 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
684 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
685 self.assertEqual('\u0345\u03a3'.swapcase(), '\u0399\u03c3')
686 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
687 self.assertEqual('A\u0345\u03a3a'.swapcase(), 'a\u0399\u03c3A')
688 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
689 self.assertEqual('A\u03a3\u0345'.swapcase(), 'a\u03c2\u0399')
690 self.assertEqual('\u03a3\u0345 '.swapcase(), '\u03c3\u0399 ')
691 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
692 self.assertEqual('ß'.swapcase(), 'SS')
693 self.assertEqual('\u1fd2'.swapcase(), '\u0399\u0308\u0300')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300694
Ezio Melottif84e01d2013-07-08 17:48:29 +0200695 def test_center(self):
696 string_tests.CommonTest.test_center(self)
697 self.assertEqual('x'.center(2, '\U0010FFFF'),
698 'x\U0010FFFF')
699 self.assertEqual('x'.center(3, '\U0010FFFF'),
700 '\U0010FFFFx\U0010FFFF')
701 self.assertEqual('x'.center(4, '\U0010FFFF'),
702 '\U0010FFFFx\U0010FFFF\U0010FFFF')
703
Walter Dörwald28256f22003-01-19 16:59:20 +0000704 def test_contains(self):
705 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000706 self.assertIn('a', 'abdb')
707 self.assertIn('a', 'bdab')
708 self.assertIn('a', 'bdaba')
709 self.assertIn('a', 'bdba')
710 self.assertNotIn('a', 'bdb')
711 self.assertIn('a', 'bdba')
712 self.assertIn('a', ('a',1,None))
713 self.assertIn('a', (1,None,'a'))
714 self.assertIn('a', ('a',1,None))
715 self.assertIn('a', (1,None,'a'))
716 self.assertNotIn('a', ('x',1,'y'))
717 self.assertNotIn('a', ('x',1,None))
718 self.assertNotIn('abcd', 'abcxxxx')
719 self.assertIn('ab', 'abcd')
720 self.assertIn('ab', 'abc')
721 self.assertIn('ab', (1,None,'ab'))
722 self.assertIn('', 'abc')
723 self.assertIn('', '')
724 self.assertIn('', 'abc')
725 self.assertNotIn('\0', 'abc')
726 self.assertIn('\0', '\0abc')
727 self.assertIn('\0', 'abc\0')
728 self.assertIn('a', '\0abc')
729 self.assertIn('asdf', 'asdf')
730 self.assertNotIn('asdf', 'asd')
731 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000732
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000733 self.assertRaises(TypeError, "abc".__contains__)
Walter Dörwald28256f22003-01-19 16:59:20 +0000734
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +0300735 def test_issue18183(self):
736 '\U00010000\U00100000'.lower()
737 '\U00010000\U00100000'.casefold()
738 '\U00010000\U00100000'.upper()
739 '\U00010000\U00100000'.capitalize()
740 '\U00010000\U00100000'.title()
741 '\U00010000\U00100000'.swapcase()
742 '\U00100000'.center(3, '\U00010000')
743 '\U00100000'.ljust(3, '\U00010000')
744 '\U00100000'.rjust(3, '\U00010000')
745
Eric Smith8c663262007-08-25 02:26:07 +0000746 def test_format(self):
747 self.assertEqual(''.format(), '')
748 self.assertEqual('a'.format(), 'a')
749 self.assertEqual('ab'.format(), 'ab')
750 self.assertEqual('a{{'.format(), 'a{')
751 self.assertEqual('a}}'.format(), 'a}')
752 self.assertEqual('{{b'.format(), '{b')
753 self.assertEqual('}}b'.format(), '}b')
754 self.assertEqual('a{{b'.format(), 'a{b')
755
756 # examples from the PEP:
757 import datetime
758 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
759 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
760 "My name is Fred")
761 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
762 "My name is Fred :-{}")
763
764 d = datetime.date(2007, 8, 18)
765 self.assertEqual("The year is {0.year}".format(d),
766 "The year is 2007")
767
Eric Smith8c663262007-08-25 02:26:07 +0000768 # classes we'll use for testing
769 class C:
770 def __init__(self, x=100):
771 self._x = x
772 def __format__(self, spec):
773 return spec
774
775 class D:
776 def __init__(self, x):
777 self.x = x
778 def __format__(self, spec):
779 return str(self.x)
780
781 # class with __str__, but no __format__
782 class E:
783 def __init__(self, x):
784 self.x = x
785 def __str__(self):
786 return 'E(' + self.x + ')'
787
788 # class with __repr__, but no __format__ or __str__
789 class F:
790 def __init__(self, x):
791 self.x = x
792 def __repr__(self):
793 return 'F(' + self.x + ')'
794
795 # class with __format__ that forwards to string, for some format_spec's
796 class G:
797 def __init__(self, x):
798 self.x = x
799 def __str__(self):
800 return "string is " + self.x
801 def __format__(self, format_spec):
802 if format_spec == 'd':
803 return 'G(' + self.x + ')'
804 return object.__format__(self, format_spec)
805
Eric Smith739e2ad2007-08-27 19:07:22 +0000806 class I(datetime.date):
807 def __format__(self, format_spec):
808 return self.strftime(format_spec)
809
Eric Smith185e30c2007-08-30 22:23:08 +0000810 class J(int):
811 def __format__(self, format_spec):
812 return int.__format__(self * 2, format_spec)
813
Eric Smith8c663262007-08-25 02:26:07 +0000814
815 self.assertEqual(''.format(), '')
816 self.assertEqual('abc'.format(), 'abc')
817 self.assertEqual('{0}'.format('abc'), 'abc')
818 self.assertEqual('{0:}'.format('abc'), 'abc')
819# self.assertEqual('{ 0 }'.format('abc'), 'abc')
820 self.assertEqual('X{0}'.format('abc'), 'Xabc')
821 self.assertEqual('{0}X'.format('abc'), 'abcX')
822 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
823 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
824 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
825 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
826 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
827 self.assertEqual('{0}'.format(-15), '-15')
828 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
829 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
830 self.assertEqual('{{'.format(), '{')
831 self.assertEqual('}}'.format(), '}')
832 self.assertEqual('{{}}'.format(), '{}')
833 self.assertEqual('{{x}}'.format(), '{x}')
834 self.assertEqual('{{{0}}}'.format(123), '{123}')
835 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
836 self.assertEqual('}}{{'.format(), '}{')
837 self.assertEqual('}}x{{'.format(), '}x{')
838
Eric Smith7ade6482007-08-26 22:27:13 +0000839 # weird field names
840 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
841 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +0000842 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +0000843
Eric Smith8c663262007-08-25 02:26:07 +0000844 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
845 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
846 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
847 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
848 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
849 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
850 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
851
Eric Smith8c663262007-08-25 02:26:07 +0000852 # strings
853 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
854 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
855 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
856 self.assertEqual('{0:.0s}'.format('abcdef'), '')
857 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
858 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
859 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
860 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
861 self.assertEqual('{0:x<0s}'.format('result'), 'result')
862 self.assertEqual('{0:x<5s}'.format('result'), 'result')
863 self.assertEqual('{0:x<6s}'.format('result'), 'result')
864 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
865 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
866 self.assertEqual('{0: <7s}'.format('result'), 'result ')
867 self.assertEqual('{0:<7s}'.format('result'), 'result ')
868 self.assertEqual('{0:>7s}'.format('result'), ' result')
869 self.assertEqual('{0:>8s}'.format('result'), ' result')
870 self.assertEqual('{0:^8s}'.format('result'), ' result ')
871 self.assertEqual('{0:^9s}'.format('result'), ' result ')
872 self.assertEqual('{0:^10s}'.format('result'), ' result ')
873 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
874 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
875 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
876
Eric V. Smith2ea97122014-04-14 11:55:10 -0400877 # issue 12546: use \x00 as a fill character
878 self.assertEqual('{0:\x00<6s}'.format('foo'), 'foo\x00\x00\x00')
879 self.assertEqual('{0:\x01<6s}'.format('foo'), 'foo\x01\x01\x01')
880 self.assertEqual('{0:\x00^6s}'.format('foo'), '\x00foo\x00\x00')
881 self.assertEqual('{0:^6s}'.format('foo'), ' foo ')
882
883 self.assertEqual('{0:\x00<6}'.format(3), '3\x00\x00\x00\x00\x00')
884 self.assertEqual('{0:\x01<6}'.format(3), '3\x01\x01\x01\x01\x01')
885 self.assertEqual('{0:\x00^6}'.format(3), '\x00\x003\x00\x00\x00')
886 self.assertEqual('{0:<6}'.format(3), '3 ')
887
888 self.assertEqual('{0:\x00<6}'.format(3.14), '3.14\x00\x00')
889 self.assertEqual('{0:\x01<6}'.format(3.14), '3.14\x01\x01')
890 self.assertEqual('{0:\x00^6}'.format(3.14), '\x003.14\x00')
891 self.assertEqual('{0:^6}'.format(3.14), ' 3.14 ')
892
893 self.assertEqual('{0:\x00<12}'.format(3+2.0j), '(3+2j)\x00\x00\x00\x00\x00\x00')
894 self.assertEqual('{0:\x01<12}'.format(3+2.0j), '(3+2j)\x01\x01\x01\x01\x01\x01')
895 self.assertEqual('{0:\x00^12}'.format(3+2.0j), '\x00\x00\x00(3+2j)\x00\x00\x00')
896 self.assertEqual('{0:^12}'.format(3+2.0j), ' (3+2j) ')
897
Eric Smith8c663262007-08-25 02:26:07 +0000898 # format specifiers for user defined type
899 self.assertEqual('{0:abc}'.format(C()), 'abc')
900
Georg Brandld52429f2008-07-04 15:55:02 +0000901 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +0000902 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
903 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
904 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
905 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
906 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
907 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
908 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000909 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +0000910 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
911 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +0000912 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000913 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +0000914 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +0000915 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
916 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +0000917 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +0000918
Eric Smith8c663262007-08-25 02:26:07 +0000919 # test fallback to object.__format__
920 self.assertEqual('{0}'.format({}), '{}')
921 self.assertEqual('{0}'.format([]), '[]')
922 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +0000923
Eric Smith8c663262007-08-25 02:26:07 +0000924 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +0000925 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
926
Andrew Svetlov2cd8ce42012-12-23 14:27:17 +0200927 self.assertRaises(TypeError, '{0:^10}'.format, E('data'))
928 self.assertRaises(TypeError, '{0:^10s}'.format, E('data'))
929 self.assertRaises(TypeError, '{0:>15s}'.format, G('data'))
Eric Smithe4d63172010-09-13 20:48:43 +0000930
Eric Smith739e2ad2007-08-27 19:07:22 +0000931 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
932 month=8,
933 day=27)),
934 "date: 2007-08-27")
935
Eric Smith185e30c2007-08-30 22:23:08 +0000936 # test deriving from a builtin type and overriding __format__
937 self.assertEqual("{0}".format(J(10)), "20")
938
939
Eric Smith8c663262007-08-25 02:26:07 +0000940 # string format specifiers
941 self.assertEqual('{0:}'.format('a'), 'a')
942
943 # computed format specifiers
944 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
945 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
946 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
947 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
948 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
949
950 # test various errors
951 self.assertRaises(ValueError, '{'.format)
952 self.assertRaises(ValueError, '}'.format)
953 self.assertRaises(ValueError, 'a{'.format)
954 self.assertRaises(ValueError, 'a}'.format)
955 self.assertRaises(ValueError, '{a'.format)
956 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +0000957 self.assertRaises(IndexError, '{0}'.format)
958 self.assertRaises(IndexError, '{1}'.format, 'abc')
959 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +0000960 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +0000961 self.assertRaises(ValueError, "abc{0:{}".format)
962 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +0000963 self.assertRaises(IndexError, "{0.}".format)
964 self.assertRaises(ValueError, "{0.}".format, 0)
Benjamin Peterson4d944742013-05-17 18:22:31 -0500965 self.assertRaises(ValueError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +0000966 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +0000967 self.assertRaises(KeyError, "{0]}".format)
968 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +0000969 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +0000970 self.assertRaises(ValueError, "{0[0}".format, 0)
971 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
972 self.assertRaises(KeyError, "{c]}".format)
973 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
974 self.assertRaises(ValueError, "{0}}".format, 0)
975 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +0000976 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +0000977 self.assertRaises(ValueError, "{0!}".format, 0)
978 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +0000979 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +0000980 self.assertRaises(IndexError, "{:}".format)
981 self.assertRaises(IndexError, "{:s}".format)
982 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +0000983 big = "23098475029384702983476098230754973209482573"
984 self.assertRaises(ValueError, ("{" + big + "}").format)
985 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +0000986
Eric Smith41669ca2009-05-23 14:23:22 +0000987 # issue 6089
988 self.assertRaises(ValueError, "{0[0]x}".format, [None])
989 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
990
Eric Smith8c663262007-08-25 02:26:07 +0000991 # can't have a replacement on the field name portion
992 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
993
994 # exceed maximum recursion depth
995 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
996 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
997 0, 1, 2, 3, 4, 5, 6, 7)
998
999 # string format spec errors
1000 self.assertRaises(ValueError, "{0:-s}".format, '')
1001 self.assertRaises(ValueError, format, "", "-")
1002 self.assertRaises(ValueError, "{0:=s}".format, '')
1003
Eric Smithb1ebcc62008-07-15 13:02:41 +00001004 # Alternate formatting is not supported
1005 self.assertRaises(ValueError, format, '', '#')
1006 self.assertRaises(ValueError, format, '', '#20')
1007
Victor Stinnerece58de2012-04-23 23:36:38 +02001008 # Non-ASCII
1009 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
1010 'ABC\u0410\u0411\u0412')
1011 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
1012 'ABC')
1013 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
1014 '')
1015
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001016 self.assertEqual("{[{}]}".format({"{}": 5}), "5")
Benjamin Peterson4d944742013-05-17 18:22:31 -05001017 self.assertEqual("{[{}]}".format({"{}" : "a"}), "a")
1018 self.assertEqual("{[{]}".format({"{" : "a"}), "a")
1019 self.assertEqual("{[}]}".format({"}" : "a"}), "a")
1020 self.assertEqual("{[[]}".format({"[" : "a"}), "a")
1021 self.assertEqual("{[!]}".format({"!" : "a"}), "a")
1022 self.assertRaises(ValueError, "{a{}b}".format, 42)
1023 self.assertRaises(ValueError, "{a{b}".format, 42)
1024 self.assertRaises(ValueError, "{[}".format, 42)
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001025
Benjamin Peterson0ee22bf2013-11-26 19:22:36 -06001026 self.assertEqual("0x{:0{:d}X}".format(0x0,16), "0x0000000000000000")
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001027
Eric Smith27bbca62010-11-04 17:06:58 +00001028 def test_format_map(self):
1029 self.assertEqual(''.format_map({}), '')
1030 self.assertEqual('a'.format_map({}), 'a')
1031 self.assertEqual('ab'.format_map({}), 'ab')
1032 self.assertEqual('a{{'.format_map({}), 'a{')
1033 self.assertEqual('a}}'.format_map({}), 'a}')
1034 self.assertEqual('{{b'.format_map({}), '{b')
1035 self.assertEqual('}}b'.format_map({}), '}b')
1036 self.assertEqual('a{{b'.format_map({}), 'a{b')
1037
1038 # using mappings
1039 class Mapping(dict):
1040 def __missing__(self, key):
1041 return key
1042 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
1043 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
1044
1045 class InternalMapping:
1046 def __init__(self):
1047 self.mapping = {'a': 'hello'}
1048 def __getitem__(self, key):
1049 return self.mapping[key]
1050 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
1051
1052
Eric Smith27bbca62010-11-04 17:06:58 +00001053 class C:
1054 def __init__(self, x=100):
1055 self._x = x
1056 def __format__(self, spec):
1057 return spec
Eric Smith27bbca62010-11-04 17:06:58 +00001058 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
1059
1060 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -07001061 self.assertRaises(TypeError, ''.format_map)
1062 self.assertRaises(TypeError, 'a'.format_map)
1063
1064 self.assertRaises(ValueError, '{'.format_map, {})
1065 self.assertRaises(ValueError, '}'.format_map, {})
1066 self.assertRaises(ValueError, 'a{'.format_map, {})
1067 self.assertRaises(ValueError, 'a}'.format_map, {})
1068 self.assertRaises(ValueError, '{a'.format_map, {})
1069 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +00001070
Eric V. Smith12ebefc2011-07-18 14:03:41 -04001071 # issue #12579: can't supply positional params to format_map
1072 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
1073 self.assertRaises(ValueError, '{}'.format_map, 'a')
1074 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
1075
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001076 def test_format_huge_precision(self):
1077 format_string = ".{}f".format(sys.maxsize + 1)
1078 with self.assertRaises(ValueError):
1079 result = format(2.34, format_string)
1080
1081 def test_format_huge_width(self):
1082 format_string = "{}f".format(sys.maxsize + 1)
1083 with self.assertRaises(ValueError):
1084 result = format(2.34, format_string)
1085
1086 def test_format_huge_item_number(self):
1087 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
1088 with self.assertRaises(ValueError):
1089 result = format_string.format(2.34)
1090
Eric Smith8ec90442009-03-14 12:29:34 +00001091 def test_format_auto_numbering(self):
1092 class C:
1093 def __init__(self, x=100):
1094 self._x = x
1095 def __format__(self, spec):
1096 return spec
1097
1098 self.assertEqual('{}'.format(10), '10')
1099 self.assertEqual('{:5}'.format('s'), 's ')
1100 self.assertEqual('{!r}'.format('s'), "'s'")
1101 self.assertEqual('{._x}'.format(C(10)), '10')
1102 self.assertEqual('{[1]}'.format([1, 2]), '2')
1103 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1104 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1105
1106 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1107 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1108
1109 # can't mix and match numbering and auto-numbering
1110 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1111 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1112 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1113 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1114
1115 # can mix and match auto-numbering and named
1116 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1117 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1118 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1119 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1120
Walter Dörwald28256f22003-01-19 16:59:20 +00001121 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001122 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001123 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001124 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1125 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1126 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1127 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1128 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1129 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 +00001130 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001131 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001132 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1133 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001134 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1135 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001136
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001137 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001138 self.assertEqual('%c' % 0x21483, '\U00021483')
1139 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1140 self.assertEqual('%c' % '\U00021483', '\U00021483')
1141 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001142 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001143 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001144
1145 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001146 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001147 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1148 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1149 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1150 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1151 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1152 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1153 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1154 self.assertEqual('...%s...' % "abc", '...abc...')
1155 self.assertEqual('%*s' % (5,'abc',), ' abc')
1156 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1157 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1158 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1159 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1160 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1161 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001162 class Wrapper:
1163 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001164 return '\u1234'
1165 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001166
Eric Smith741191f2009-05-06 13:08:15 +00001167 # issue 3382
1168 NAN = float('nan')
1169 INF = float('inf')
1170 self.assertEqual('%f' % NAN, 'nan')
1171 self.assertEqual('%F' % NAN, 'NAN')
1172 self.assertEqual('%f' % INF, 'inf')
1173 self.assertEqual('%F' % INF, 'INF')
1174
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001175 # PEP 393
1176 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1177 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1178
Ethan Furmandf3ed242014-01-05 06:50:30 -08001179 #issue 19995
Ethan Furman9ab74802014-03-21 06:38:46 -07001180 class PseudoInt:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001181 def __init__(self, value):
1182 self.value = int(value)
1183 def __int__(self):
1184 return self.value
1185 def __index__(self):
1186 return self.value
Ethan Furman9ab74802014-03-21 06:38:46 -07001187 class PseudoFloat:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001188 def __init__(self, value):
1189 self.value = float(value)
1190 def __int__(self):
1191 return int(self.value)
Ethan Furman9ab74802014-03-21 06:38:46 -07001192 pi = PseudoFloat(3.1415)
1193 letter_m = PseudoInt(109)
Antoine Pitroueb168042014-01-10 00:02:38 +01001194 self.assertEqual('%x' % 42, '2a')
1195 self.assertEqual('%X' % 15, 'F')
1196 self.assertEqual('%o' % 9, '11')
1197 self.assertEqual('%c' % 109, 'm')
1198 self.assertEqual('%x' % letter_m, '6d')
1199 self.assertEqual('%X' % letter_m, '6D')
1200 self.assertEqual('%o' % letter_m, '155')
1201 self.assertEqual('%c' % letter_m, 'm')
Ethan Furman9ab74802014-03-21 06:38:46 -07001202 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not float', operator.mod, '%x', 3.14),
1203 self.assertRaisesRegex(TypeError, '%X format: an integer is required, not float', operator.mod, '%X', 2.11),
1204 self.assertRaisesRegex(TypeError, '%o format: an integer is required, not float', operator.mod, '%o', 1.79),
1205 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not PseudoFloat', operator.mod, '%x', pi),
1206 self.assertRaises(TypeError, operator.mod, '%c', pi),
Ethan Furmandf3ed242014-01-05 06:50:30 -08001207
Ethan Furmanfb137212013-08-31 10:18:55 -07001208 def test_formatting_with_enum(self):
1209 # issue18780
1210 import enum
1211 class Float(float, enum.Enum):
1212 PI = 3.1415926
1213 class Int(enum.IntEnum):
1214 IDES = 15
1215 class Str(str, enum.Enum):
1216 ABC = 'abc'
1217 # Testing Unicode formatting strings...
Ethan Furman13bdfa72013-08-31 12:48:51 -07001218 self.assertEqual("%s, %s" % (Str.ABC, Str.ABC),
1219 'Str.ABC, Str.ABC')
1220 self.assertEqual("%s, %s, %d, %i, %u, %f, %5.2f" %
1221 (Str.ABC, Str.ABC,
1222 Int.IDES, Int.IDES, Int.IDES,
1223 Float.PI, Float.PI),
1224 'Str.ABC, Str.ABC, 15, 15, 15, 3.141593, 3.14')
Ethan Furmanfb137212013-08-31 10:18:55 -07001225
1226 # formatting jobs delegated from the string implementation:
Ethan Furman13bdfa72013-08-31 12:48:51 -07001227 self.assertEqual('...%(foo)s...' % {'foo':Str.ABC},
1228 '...Str.ABC...')
1229 self.assertEqual('...%(foo)s...' % {'foo':Int.IDES},
1230 '...Int.IDES...')
1231 self.assertEqual('...%(foo)i...' % {'foo':Int.IDES},
1232 '...15...')
1233 self.assertEqual('...%(foo)d...' % {'foo':Int.IDES},
1234 '...15...')
1235 self.assertEqual('...%(foo)u...' % {'foo':Int.IDES, 'def':Float.PI},
1236 '...15...')
1237 self.assertEqual('...%(foo)f...' % {'foo':Float.PI,'def':123},
1238 '...3.141593...')
Ethan Furmanfb137212013-08-31 10:18:55 -07001239
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001240 def test_formatting_huge_precision(self):
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001241 format_string = "%.{}f".format(sys.maxsize + 1)
1242 with self.assertRaises(ValueError):
1243 result = format_string % 2.34
1244
1245 @support.cpython_only
1246 def test_formatting_huge_precision_c_limits(self):
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001247 from _testcapi import INT_MAX
1248 format_string = "%.{}f".format(INT_MAX + 1)
1249 with self.assertRaises(ValueError):
1250 result = format_string % 2.34
1251
1252 def test_formatting_huge_width(self):
1253 format_string = "%{}f".format(sys.maxsize + 1)
1254 with self.assertRaises(ValueError):
1255 result = format_string % 2.34
1256
Ezio Melottiba42fd52011-04-26 06:09:45 +03001257 def test_startswith_endswith_errors(self):
1258 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001259 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001260 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001261 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001262 self.assertIn('str', exc)
1263 self.assertIn('tuple', exc)
1264
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001265 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001266 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001267 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001268 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001269
Walter Dörwald28256f22003-01-19 16:59:20 +00001270 def test_constructor(self):
1271 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1272
1273 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001274 str('unicode remains unicode'),
1275 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001276 )
1277
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001278 class UnicodeSubclass(str):
Marc-André Lemburg79f57832002-12-29 19:44:06 +00001279 pass
Guido van Rossuma831cac2000-03-10 23:23:21 +00001280
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001281 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
1282 subclass = UnicodeSubclass(text)
1283 self.assertEqual(str(subclass), text)
1284 self.assertEqual(len(subclass), len(text))
1285 if text == 'ascii':
1286 self.assertEqual(subclass.encode('ascii'), b'ascii')
1287 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001288
Walter Dörwald28256f22003-01-19 16:59:20 +00001289 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001290 str('strings are converted to unicode'),
1291 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001292 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001293
Walter Dörwald28256f22003-01-19 16:59:20 +00001294 class StringCompat:
1295 def __init__(self, x):
1296 self.x = x
1297 def __str__(self):
1298 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001299
Walter Dörwald28256f22003-01-19 16:59:20 +00001300 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001301 str(StringCompat('__str__ compatible objects are recognized')),
1302 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001303 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001304
Walter Dörwald28256f22003-01-19 16:59:20 +00001305 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001306
Walter Dörwald28256f22003-01-19 16:59:20 +00001307 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001308 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001309 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001310
Guido van Rossume2a383d2007-01-15 16:59:06 +00001311 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001312 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001313
Walter Dörwald28256f22003-01-19 16:59:20 +00001314 # unicode(obj, encoding, error) tests (this maps to
1315 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001316
Walter Dörwald28256f22003-01-19 16:59:20 +00001317 if not sys.platform.startswith('java'):
1318 self.assertRaises(
1319 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001320 str,
1321 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001322 'utf-8',
1323 'strict'
1324 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001325
Walter Dörwald28256f22003-01-19 16:59:20 +00001326 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001327 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001328 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001329 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001330
Walter Dörwald28256f22003-01-19 16:59:20 +00001331 if not sys.platform.startswith('java'):
1332 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001333 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001334 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001335 'utf-8',
1336 'strict'
1337 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001338 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001339 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001340
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001341 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001342
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001343 def test_constructor_keyword_args(self):
1344 """Pass various keyword argument combinations to the constructor."""
1345 # The object argument can be passed as a keyword.
1346 self.assertEqual(str(object='foo'), 'foo')
1347 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1348 # The errors argument without encoding triggers "decode" mode.
1349 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1350 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1351
1352 def test_constructor_defaults(self):
1353 """Check the constructor argument defaults."""
1354 # The object argument defaults to '' or b''.
1355 self.assertEqual(str(), '')
1356 self.assertEqual(str(errors='strict'), '')
1357 utf8_cent = '¢'.encode('utf-8')
1358 # The encoding argument defaults to utf-8.
1359 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1360 # The errors argument defaults to strict.
1361 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1362
Walter Dörwald28256f22003-01-19 16:59:20 +00001363 def test_codecs_utf7(self):
1364 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001365 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1366 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1367 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1368 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1369 ('+', b'+-'),
1370 ('+-', b'+--'),
1371 ('+?', b'+-?'),
1372 ('\?', b'+AFw?'),
1373 ('+?', b'+-?'),
1374 (r'\\?', b'+AFwAXA?'),
1375 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001376 (r'++--', b'+-+---'),
1377 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1378 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001379 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001380
Walter Dörwald28256f22003-01-19 16:59:20 +00001381 for (x, y) in utfTests:
1382 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001383
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001384 # Unpaired surrogates are passed through
1385 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1386 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1387 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1388 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1389 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1390 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1391 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1392 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001393
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001394 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1395 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001396
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001397 # Issue #2242: crash on some Windows/MSVC versions
Antoine Pitrou244651a2009-05-04 18:56:13 +00001398 self.assertEqual(b'+\xc1'.decode('utf-7'), '\xc1')
1399
1400 # Direct encoded characters
1401 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1402 # Optional direct characters
1403 set_o = '!"#$%&*;<=>@[]^_`{|}'
1404 for c in set_d:
1405 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1406 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1407 for c in set_o:
1408 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001409
Walter Dörwald28256f22003-01-19 16:59:20 +00001410 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001411 self.assertEqual(''.encode('utf-8'), b'')
1412 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001413 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1414 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001415 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1416 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001417 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1418 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001419 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001420 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1421 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1422 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1423 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1424 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1425 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001426 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1427 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1428 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1429 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1430 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1431 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1432 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1433 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1434 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1435 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001436 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001437
Walter Dörwald28256f22003-01-19 16:59:20 +00001438 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001439 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1440 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1441 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001442
Walter Dörwald28256f22003-01-19 16:59:20 +00001443 # Other possible utf-8 test cases:
1444 # * strict decoding testing for all of the
1445 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001446
Ezio Melotti57221d02010-07-01 07:32:02 +00001447 def test_utf8_decode_valid_sequences(self):
1448 sequences = [
1449 # single byte
1450 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1451 # 2 bytes
1452 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1453 # 3 bytes
1454 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1455 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1456 # 4 bytes
1457 (b'\xF0\x90\x80\x80', '\U00010000'),
1458 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1459 ]
1460 for seq, res in sequences:
1461 self.assertEqual(seq.decode('utf-8'), res)
1462
1463
1464 def test_utf8_decode_invalid_sequences(self):
1465 # continuation bytes in a sequence of 2, 3, or 4 bytes
1466 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
1467 # start bytes of a 2-byte sequence equivalent to codepoints < 0x7F
1468 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
1469 # start bytes of a 4-byte sequence equivalent to codepoints > 0x10FFFF
1470 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1471 invalid_start_bytes = (
1472 continuation_bytes + invalid_2B_seq_start_bytes +
1473 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1474 )
1475
1476 for byte in invalid_start_bytes:
1477 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1478
1479 for sb in invalid_2B_seq_start_bytes:
1480 for cb in continuation_bytes:
1481 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1482
1483 for sb in invalid_4B_seq_start_bytes:
1484 for cb1 in continuation_bytes[:3]:
1485 for cb3 in continuation_bytes[:3]:
1486 self.assertRaises(UnicodeDecodeError,
1487 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1488
1489 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1490 self.assertRaises(UnicodeDecodeError,
1491 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1492 self.assertRaises(UnicodeDecodeError,
1493 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1494 # surrogates
1495 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1496 self.assertRaises(UnicodeDecodeError,
1497 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1498 self.assertRaises(UnicodeDecodeError,
1499 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1500 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1501 self.assertRaises(UnicodeDecodeError,
1502 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1503 self.assertRaises(UnicodeDecodeError,
1504 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1505 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1506 self.assertRaises(UnicodeDecodeError,
1507 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1508 self.assertRaises(UnicodeDecodeError,
1509 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1510
1511 def test_issue8271(self):
1512 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1513 # only the start byte and the continuation byte(s) are now considered
1514 # invalid, instead of the number of bytes specified by the start byte.
1515 # See http://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
1516 # table 3-8, Row 2) for more information about the algorithm used.
1517 FFFD = '\ufffd'
1518 sequences = [
1519 # invalid start bytes
1520 (b'\x80', FFFD), # continuation byte
1521 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1522 (b'\xc0', FFFD),
1523 (b'\xc0\xc0', FFFD*2),
1524 (b'\xc1', FFFD),
1525 (b'\xc1\xc0', FFFD*2),
1526 (b'\xc0\xc1', FFFD*2),
1527 # with start byte of a 2-byte sequence
1528 (b'\xc2', FFFD), # only the start byte
1529 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001530 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001531 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1532 # with start byte of a 3-byte sequence
1533 (b'\xe1', FFFD), # only the start byte
1534 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1535 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1536 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1537 (b'\xe1\x80', FFFD), # only 1 continuation byte
1538 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1539 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1540 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1541 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1542 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1543 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1544 # with start byte of a 4-byte sequence
1545 (b'\xf1', FFFD), # only the start byte
1546 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1547 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1548 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1549 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1550 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1551 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1552 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1553 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1554 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1555 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1556 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1557 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1558 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1559 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1560 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1561 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1562 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1563 # with invalid start byte of a 4-byte sequence (rfc2279)
1564 (b'\xf5', FFFD), # only the start byte
1565 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1566 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1567 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1568 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1569 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1570 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1571 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1572 # with invalid start byte of a 5-byte sequence (rfc2279)
1573 (b'\xf8', FFFD), # only the start byte
1574 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1575 (b'\xf8\x80', FFFD*2), # only one continuation byte
1576 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1577 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1578 # with invalid start byte of a 6-byte sequence (rfc2279)
1579 (b'\xfc', FFFD), # only the start byte
1580 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1581 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1582 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1583 # invalid start byte
1584 (b'\xfe', FFFD),
1585 (b'\xfe\x80\x80', FFFD*3),
1586 # other sequences
1587 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1588 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1589 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1590 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1591 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1592 ]
1593 for n, (seq, res) in enumerate(sequences):
1594 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1595 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1596 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1597 self.assertEqual(seq.decode('utf-8', 'ignore'),
1598 res.replace('\uFFFD', ''))
1599
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001600 def to_bytestring(self, seq):
1601 return bytes(int(c, 16) for c in seq.split())
1602
1603 def assertCorrectUTF8Decoding(self, seq, res, err):
1604 """
1605 Check that an invalid UTF-8 sequence raises an UnicodeDecodeError when
1606 'strict' is used, returns res when 'replace' is used, and that doesn't
1607 return anything when 'ignore' is used.
1608 """
1609 with self.assertRaises(UnicodeDecodeError) as cm:
1610 seq.decode('utf-8')
1611 exc = cm.exception
1612
1613 self.assertIn(err, str(exc))
1614 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1615 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1616 'aaaa' + res + 'bbbb')
1617 res = res.replace('\ufffd', '')
1618 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1619 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1620 'aaaa' + res + 'bbbb')
1621
1622 def test_invalid_start_byte(self):
1623 """
1624 Test that an 'invalid start byte' error is raised when the first byte
1625 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1626 4-bytes sequence. The invalid start byte is replaced with a single
1627 U+FFFD when errors='replace'.
1628 E.g. <80> is a continuation byte and can appear only after a start byte.
1629 """
1630 FFFD = '\ufffd'
1631 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1632 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1633 'invalid start byte')
1634
1635 def test_unexpected_end_of_data(self):
1636 """
1637 Test that an 'unexpected end of data' error is raised when the string
1638 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1639 enough continuation bytes. The incomplete sequence is replaced with a
1640 single U+FFFD when errors='replace'.
1641 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1642 sequence, but it's followed by only 2 valid continuation bytes and the
1643 last continuation bytes is missing.
1644 Note: the continuation bytes must be all valid, if one of them is
1645 invalid another error will be raised.
1646 """
1647 sequences = [
1648 'C2', 'DF',
1649 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1650 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1651 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1652 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1653 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1654 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1655 ]
1656 FFFD = '\ufffd'
1657 for seq in sequences:
1658 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), '\ufffd',
1659 'unexpected end of data')
1660
1661 def test_invalid_cb_for_2bytes_seq(self):
1662 """
1663 Test that an 'invalid continuation byte' error is raised when the
1664 continuation byte of a 2-bytes sequence is invalid. The start byte
1665 is replaced by a single U+FFFD and the second byte is handled
1666 separately when errors='replace'.
1667 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1668 sequence, but 41 is not a valid continuation byte because it's the
1669 ASCII letter 'A'.
1670 """
1671 FFFD = '\ufffd'
1672 FFFDx2 = FFFD * 2
1673 sequences = [
1674 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1675 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1676 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1677 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1678 ]
1679 for seq, res in sequences:
1680 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1681 'invalid continuation byte')
1682
1683 def test_invalid_cb_for_3bytes_seq(self):
1684 """
1685 Test that an 'invalid continuation byte' error is raised when the
1686 continuation byte(s) of a 3-bytes sequence are invalid. When
1687 errors='replace', if the first continuation byte is valid, the first
1688 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1689 third byte is handled separately, otherwise only the start byte is
1690 replaced with a U+FFFD and the other continuation bytes are handled
1691 separately.
1692 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1693 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1694 because it's the ASCII letter 'A'.
1695 Note: when the start byte is E0 or ED, the valid ranges for the first
1696 continuation byte are limited to A0..BF and 80..9F respectively.
1697 Python 2 used to consider all the bytes in range 80..BF valid when the
1698 start byte was ED. This is fixed in Python 3.
1699 """
1700 FFFD = '\ufffd'
1701 FFFDx2 = FFFD * 2
1702 sequences = [
1703 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1704 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1705 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1706 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1707 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1708 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1709 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1710 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1711 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1712 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1713 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1714 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1715 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1716 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1717 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1718 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1719 ('ED 7F', FFFD+'\x7f'),
1720 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1721 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1722 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1723 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1724 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1725 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1726 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1727 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1728 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1729 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1730 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1731 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1732 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1733 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1734 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1735 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1736 ]
1737 for seq, res in sequences:
1738 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1739 'invalid continuation byte')
1740
1741 def test_invalid_cb_for_4bytes_seq(self):
1742 """
1743 Test that an 'invalid continuation byte' error is raised when the
1744 continuation byte(s) of a 4-bytes sequence are invalid. When
1745 errors='replace',the start byte and all the following valid
1746 continuation bytes are replaced with a single U+FFFD, and all the bytes
1747 starting from the first invalid continuation bytes (included) are
1748 handled separately.
1749 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1750 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1751 because it's the ASCII letter 'A'.
1752 Note: when the start byte is E0 or ED, the valid ranges for the first
1753 continuation byte are limited to A0..BF and 80..9F respectively.
1754 However, when the start byte is ED, Python 2 considers all the bytes
1755 in range 80..BF valid. This is fixed in Python 3.
1756 """
1757 FFFD = '\ufffd'
1758 FFFDx2 = FFFD * 2
1759 sequences = [
1760 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
1761 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
1762 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
1763 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
1764 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
1765 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
1766 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
1767 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
1768 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
1769 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
1770 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
1771 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
1772 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
1773 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
1774 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
1775 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
1776 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
1777 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
1778 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
1779 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
1780 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
1781 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
1782 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
1783 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
1784 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
1785 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
1786 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
1787 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
1788 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
1789 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
1790 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
1791 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
1792 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
1793 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
1794 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
1795 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
1796 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
1797 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
1798 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
1799 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
1800 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
1801 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
1802 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
1803 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
1804 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
1805 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
1806 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
1807 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
1808 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
1809 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
1810 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
1811 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
1812 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
1813 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
1814 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
1815 ]
1816 for seq, res in sequences:
1817 self.assertCorrectUTF8Decoding(self.to_bytestring(seq), res,
1818 'invalid continuation byte')
1819
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00001820 def test_codecs_idna(self):
1821 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00001822 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00001823
Walter Dörwald28256f22003-01-19 16:59:20 +00001824 def test_codecs_errors(self):
1825 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001826 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
1827 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00001828 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
1829 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00001830 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
1831 'Andr\202 x'.encode('ascii', errors='replace'))
1832 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
1833 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001834
Walter Dörwald28256f22003-01-19 16:59:20 +00001835 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00001836 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
1837 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
1838 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
1839 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001840
Walter Dörwald28256f22003-01-19 16:59:20 +00001841 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00001842 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00001843
Walter Dörwald28256f22003-01-19 16:59:20 +00001844 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00001845 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00001846
Guido van Rossum9c627722007-08-27 18:31:48 +00001847 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
1848 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001849 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
1850 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00001851
Walter Dörwald28256f22003-01-19 16:59:20 +00001852 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001853 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001854
Alexander Belopolsky942af5a2010-12-04 03:38:46 +00001855 # Error handling (lone surrogate in PyUnicode_TransformDecimalToASCII())
Alexander Belopolsky942af5a2010-12-04 03:38:46 +00001856 self.assertRaises(UnicodeError, float, "\ud800")
1857 self.assertRaises(UnicodeError, float, "\udf00")
1858 self.assertRaises(UnicodeError, complex, "\ud800")
1859 self.assertRaises(UnicodeError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00001860
Walter Dörwald28256f22003-01-19 16:59:20 +00001861 def test_codecs(self):
1862 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00001863 self.assertEqual('hello'.encode('ascii'), b'hello')
1864 self.assertEqual('hello'.encode('utf-7'), b'hello')
1865 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00001866 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00001867 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
1868 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
1869 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00001870
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00001871 # Default encoding is utf-8
1872 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
1873
Walter Dörwald28256f22003-01-19 16:59:20 +00001874 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001875 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001876 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001877 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
1878 'utf-16-be', 'raw_unicode_escape',
1879 'unicode_escape', 'unicode_internal'):
Victor Stinner040e16e2011-11-15 22:44:05 +01001880 with warnings.catch_warnings():
1881 # unicode-internal has been deprecated
1882 warnings.simplefilter("ignore", DeprecationWarning)
1883
1884 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00001885
Walter Dörwald28256f22003-01-19 16:59:20 +00001886 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001887 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001888 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001889 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001890 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001891
Walter Dörwald28256f22003-01-19 16:59:20 +00001892 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00001893 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00001894 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00001895 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001896 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001897
Walter Dörwald28256f22003-01-19 16:59:20 +00001898 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01001899 with warnings.catch_warnings():
1900 # unicode-internal has been deprecated
1901 warnings.simplefilter("ignore", DeprecationWarning)
1902
1903 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
1904 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
1905 'raw_unicode_escape',
1906 'unicode_escape', 'unicode_internal'):
1907 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001908
Antoine Pitrou51f66482011-11-11 13:35:44 +01001909 # UTF-8 must be roundtrip safe for all code points
1910 # (except surrogates, which are forbidden).
1911 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02001912 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00001913 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001914 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001915
Walter Dörwald28256f22003-01-19 16:59:20 +00001916 def test_codecs_charmap(self):
1917 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00001918 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00001919 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05001920 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00001921 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
1922 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02001923 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00001924 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
1925 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
1926 'iso8859_7', 'iso8859_9', 'koi8_r', 'latin_1',
1927 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00001928
Walter Dörwald28256f22003-01-19 16:59:20 +00001929 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
1930 'cp1256', 'cp1257', 'cp1258',
1931 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00001932
Walter Dörwald28256f22003-01-19 16:59:20 +00001933 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
1934 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00001935
Walter Dörwald28256f22003-01-19 16:59:20 +00001936 ### These have undefined mappings:
1937 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00001938
Walter Dörwald28256f22003-01-19 16:59:20 +00001939 ### These fail the round-trip:
1940 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00001941
Walter Dörwald28256f22003-01-19 16:59:20 +00001942 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001943 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001944
Walter Dörwald28256f22003-01-19 16:59:20 +00001945 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00001946 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00001947 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05001948 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00001949 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
1950 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02001951 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00001952 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
1953 'iso8859_2', 'iso8859_4', 'iso8859_5',
1954 'iso8859_9', 'koi8_r', 'latin_1',
1955 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00001956
Walter Dörwald28256f22003-01-19 16:59:20 +00001957 ### These have undefined mappings:
1958 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
1959 #'cp1256', 'cp1257', 'cp1258',
1960 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
1961 #'iso8859_3', 'iso8859_6', 'iso8859_7',
1962 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00001963
Walter Dörwald28256f22003-01-19 16:59:20 +00001964 ### These fail the round-trip:
1965 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00001966
Walter Dörwald28256f22003-01-19 16:59:20 +00001967 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001968 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00001969
Walter Dörwald28256f22003-01-19 16:59:20 +00001970 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001971 self.assertEqual(("abc" "def"), "abcdef")
1972 self.assertEqual(("abc" "def"), "abcdef")
1973 self.assertEqual(("abc" "def"), "abcdef")
1974 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
1975 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00001976
Walter Dörwald28256f22003-01-19 16:59:20 +00001977 def test_printing(self):
1978 class BitBucket:
1979 def write(self, text):
1980 pass
Fred Drake004d5e62000-10-23 17:22:08 +00001981
Walter Dörwald28256f22003-01-19 16:59:20 +00001982 out = BitBucket()
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001983 print('abc', file=out)
1984 print('abc', 'def', file=out)
1985 print('abc', 'def', file=out)
1986 print('abc', 'def', file=out)
1987 print('abc\n', file=out)
1988 print('abc\n', end=' ', file=out)
1989 print('abc\n', end=' ', file=out)
1990 print('def\n', file=out)
1991 print('def\n', file=out)
Fred Drake004d5e62000-10-23 17:22:08 +00001992
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00001993 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001994 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00001995 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
1996 self.assertEqual(x, y)
1997
Florent Xiclunaa87b3832010-09-13 02:28:18 +00001998 y = br'\U00100000'
1999 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2000 self.assertEqual(x, y)
2001 y = br'\U00010000'
2002 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2003 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00002004
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002005 try:
2006 br'\U11111111'.decode("raw-unicode-escape")
2007 except UnicodeDecodeError as e:
2008 self.assertEqual(e.start, 0)
2009 self.assertEqual(e.end, 10)
2010 else:
2011 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00002012
Brett Cannonc3647ac2005-04-26 03:45:26 +00002013 def test_conversion(self):
2014 # Make sure __unicode__() works properly
2015 class Foo0:
2016 def __str__(self):
2017 return "foo"
2018
2019 class Foo1:
Guido van Rossum98297ee2007-11-06 21:34:58 +00002020 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002021 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002022
2023 class Foo2(object):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002024 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002025 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002026
2027 class Foo3(object):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002028 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002029 return "foo"
2030
2031 class Foo4(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002032 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002033 return "foo"
2034
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002035 class Foo5(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002036 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002037 return "foo"
2038
2039 class Foo6(str):
2040 def __str__(self):
2041 return "foos"
2042
Guido van Rossum98297ee2007-11-06 21:34:58 +00002043 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002044 return "foou"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002045
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002046 class Foo7(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002047 def __str__(self):
2048 return "foos"
Guido van Rossum98297ee2007-11-06 21:34:58 +00002049 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002050 return "foou"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002051
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002052 class Foo8(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002053 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002054 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00002055 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002056 return self
2057
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002058 class Foo9(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002059 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002060 return "not unicode"
2061
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002062 self.assertEqual(str(Foo0()), "foo")
2063 self.assertEqual(str(Foo1()), "foo")
2064 self.assertEqual(str(Foo2()), "foo")
2065 self.assertEqual(str(Foo3()), "foo")
2066 self.assertEqual(str(Foo4("bar")), "foo")
2067 self.assertEqual(str(Foo5("bar")), "foo")
2068 self.assertEqual(str(Foo6("bar")), "foou")
2069 self.assertEqual(str(Foo7("bar")), "foou")
2070 self.assertEqual(str(Foo8("foo")), "foofoo")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002071 self.assertEqual(str(Foo9("foo")), "not unicode")
Brett Cannonc3647ac2005-04-26 03:45:26 +00002072
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002073 def test_unicode_repr(self):
2074 class s1:
2075 def __repr__(self):
2076 return '\\n'
2077
2078 class s2:
2079 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002080 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002081
2082 self.assertEqual(repr(s1()), '\\n')
2083 self.assertEqual(repr(s2()), '\\n')
2084
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002085 def test_printable_repr(self):
2086 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00002087 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002088
Zachary Ware9fe6d862013-12-08 00:20:35 -06002089 # This test only affects 32-bit platforms because expandtabs can only take
2090 # an int as the max value, not a 64-bit C long. If expandtabs is changed
2091 # to take a 64-bit long, this test should apply to all platforms.
2092 @unittest.skipIf(sys.maxsize > (1 << 32) or struct.calcsize('P') != 4,
2093 'only applies to 32-bit platforms')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00002094 def test_expandtabs_overflows_gracefully(self):
Christian Heimesa37d4c62007-12-04 23:02:19 +00002095 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002096
Victor Stinner1d972ad2011-10-07 13:31:46 +02002097 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02002098 def test_expandtabs_optimization(self):
2099 s = 'abc'
2100 self.assertIs(s.expandtabs(), s)
2101
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002102 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002103 if struct.calcsize('P') == 8:
2104 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002105 ascii_struct_size = 48
2106 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002107 else:
2108 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002109 ascii_struct_size = 24
2110 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002111
2112 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
2113 code = ord(char)
2114 if code < 0x100:
2115 char_size = 1 # sizeof(Py_UCS1)
2116 struct_size = ascii_struct_size
2117 elif code < 0x10000:
2118 char_size = 2 # sizeof(Py_UCS2)
2119 struct_size = compact_struct_size
2120 else:
2121 char_size = 4 # sizeof(Py_UCS4)
2122 struct_size = compact_struct_size
2123 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02002124 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
2125 # be allocatable, given enough memory.
2126 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002127 alloc = lambda: char * maxlen
2128 self.assertRaises(MemoryError, alloc)
2129 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00002130
Victor Stinner808fc0a2010-03-22 12:50:40 +00002131 def test_format_subclass(self):
2132 class S(str):
2133 def __str__(self):
2134 return '__str__ overridden'
2135 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002136 self.assertEqual("%s" % s, '__str__ overridden')
2137 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00002138
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002139 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00002140 def test_from_format(self):
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002141 support.import_module('ctypes')
Victor Stinner15a11362012-10-06 23:48:20 +02002142 from ctypes import (
2143 pythonapi, py_object, sizeof,
Victor Stinner6d970f42011-03-02 00:04:25 +00002144 c_int, c_long, c_longlong, c_ssize_t,
Victor Stinner15a11362012-10-06 23:48:20 +02002145 c_uint, c_ulong, c_ulonglong, c_size_t, c_void_p)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002146 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002147 _PyUnicode_FromFormat = getattr(pythonapi, name)
2148 _PyUnicode_FromFormat.restype = py_object
2149
2150 def PyUnicode_FromFormat(format, *args):
2151 cargs = tuple(
2152 py_object(arg) if isinstance(arg, str) else arg
2153 for arg in args)
2154 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00002155
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002156 def check_format(expected, format, *args):
2157 text = PyUnicode_FromFormat(format, *args)
2158 self.assertEqual(expected, text)
2159
Victor Stinner1205f272010-09-11 00:54:47 +00002160 # ascii format, non-ascii argument
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002161 check_format('ascii\x7f=unicode\xe9',
2162 b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002163
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002164 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2165 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002166 self.assertRaisesRegex(ValueError,
Victor Stinner1205f272010-09-11 00:54:47 +00002167 '^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002168 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002169 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002170
Victor Stinner96865452011-03-01 23:44:09 +00002171 # test "%c"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002172 check_format('\uabcd',
2173 b'%c', c_int(0xabcd))
2174 check_format('\U0010ffff',
2175 b'%c', c_int(0x10ffff))
Serhiy Storchaka8eeae212013-06-23 20:12:14 +03002176 with self.assertRaises(OverflowError):
2177 PyUnicode_FromFormat(b'%c', c_int(0x110000))
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +03002178 # Issue #18183
Serhiy Storchakaf15ffe02013-06-12 09:28:20 +03002179 check_format('\U00010000\U00100000',
2180 b'%c%c', c_int(0x10000), c_int(0x100000))
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002181
Victor Stinner96865452011-03-01 23:44:09 +00002182 # test "%"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002183 check_format('%',
2184 b'%')
2185 check_format('%',
2186 b'%%')
2187 check_format('%s',
2188 b'%%s')
2189 check_format('[%]',
2190 b'[%%]')
2191 check_format('%abc',
2192 b'%%%s', b'abc')
2193
2194 # truncated string
2195 check_format('abc',
2196 b'%.3s', b'abcdef')
2197 check_format('abc[\ufffd',
2198 b'%.5s', 'abc[\u20ac]'.encode('utf8'))
2199 check_format("'\\u20acABC'",
2200 b'%A', '\u20acABC')
2201 check_format("'\\u20",
2202 b'%.5A', '\u20acABCDEF')
2203 check_format("'\u20acABC'",
2204 b'%R', '\u20acABC')
2205 check_format("'\u20acA",
2206 b'%.3R', '\u20acABCDEF')
2207 check_format('\u20acAB',
2208 b'%.3S', '\u20acABCDEF')
2209 check_format('\u20acAB',
2210 b'%.3U', '\u20acABCDEF')
2211 check_format('\u20acAB',
2212 b'%.3V', '\u20acABCDEF', None)
2213 check_format('abc[\ufffd',
2214 b'%.5V', None, 'abc[\u20ac]'.encode('utf8'))
2215
2216 # following tests comes from #7330
2217 # test width modifier and precision modifier with %S
2218 check_format("repr= abc",
2219 b'repr=%5S', 'abc')
2220 check_format("repr=ab",
2221 b'repr=%.2S', 'abc')
2222 check_format("repr= ab",
2223 b'repr=%5.2S', 'abc')
2224
2225 # test width modifier and precision modifier with %R
2226 check_format("repr= 'abc'",
2227 b'repr=%8R', 'abc')
2228 check_format("repr='ab",
2229 b'repr=%.3R', 'abc')
2230 check_format("repr= 'ab",
2231 b'repr=%5.3R', 'abc')
2232
2233 # test width modifier and precision modifier with %A
2234 check_format("repr= 'abc'",
2235 b'repr=%8A', 'abc')
2236 check_format("repr='ab",
2237 b'repr=%.3A', 'abc')
2238 check_format("repr= 'ab",
2239 b'repr=%5.3A', 'abc')
2240
2241 # test width modifier and precision modifier with %s
2242 check_format("repr= abc",
2243 b'repr=%5s', b'abc')
2244 check_format("repr=ab",
2245 b'repr=%.2s', b'abc')
2246 check_format("repr= ab",
2247 b'repr=%5.2s', b'abc')
2248
2249 # test width modifier and precision modifier with %U
2250 check_format("repr= abc",
2251 b'repr=%5U', 'abc')
2252 check_format("repr=ab",
2253 b'repr=%.2U', 'abc')
2254 check_format("repr= ab",
2255 b'repr=%5.2U', 'abc')
2256
2257 # test width modifier and precision modifier with %V
2258 check_format("repr= abc",
2259 b'repr=%5V', 'abc', b'123')
2260 check_format("repr=ab",
2261 b'repr=%.2V', 'abc', b'123')
2262 check_format("repr= ab",
2263 b'repr=%5.2V', 'abc', b'123')
2264 check_format("repr= 123",
2265 b'repr=%5V', None, b'123')
2266 check_format("repr=12",
2267 b'repr=%.2V', None, b'123')
2268 check_format("repr= 12",
2269 b'repr=%5.2V', None, b'123')
Victor Stinner96865452011-03-01 23:44:09 +00002270
Victor Stinner6d970f42011-03-02 00:04:25 +00002271 # test integer formats (%i, %d, %u)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002272 check_format('010',
2273 b'%03i', c_int(10))
2274 check_format('0010',
2275 b'%0.4i', c_int(10))
2276 check_format('-123',
2277 b'%i', c_int(-123))
2278 check_format('-123',
2279 b'%li', c_long(-123))
2280 check_format('-123',
2281 b'%lli', c_longlong(-123))
2282 check_format('-123',
2283 b'%zi', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002284
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002285 check_format('-123',
2286 b'%d', c_int(-123))
2287 check_format('-123',
2288 b'%ld', c_long(-123))
2289 check_format('-123',
2290 b'%lld', c_longlong(-123))
2291 check_format('-123',
2292 b'%zd', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002293
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002294 check_format('123',
2295 b'%u', c_uint(123))
2296 check_format('123',
2297 b'%lu', c_ulong(123))
2298 check_format('123',
2299 b'%llu', c_ulonglong(123))
2300 check_format('123',
2301 b'%zu', c_size_t(123))
Victor Stinner6d970f42011-03-02 00:04:25 +00002302
Victor Stinner15a11362012-10-06 23:48:20 +02002303 # test long output
2304 min_longlong = -(2 ** (8 * sizeof(c_longlong) - 1))
2305 max_longlong = -min_longlong - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002306 check_format(str(min_longlong),
2307 b'%lld', c_longlong(min_longlong))
2308 check_format(str(max_longlong),
2309 b'%lld', c_longlong(max_longlong))
Victor Stinner15a11362012-10-06 23:48:20 +02002310 max_ulonglong = 2 ** (8 * sizeof(c_ulonglong)) - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002311 check_format(str(max_ulonglong),
2312 b'%llu', c_ulonglong(max_ulonglong))
Victor Stinner15a11362012-10-06 23:48:20 +02002313 PyUnicode_FromFormat(b'%p', c_void_p(-1))
2314
Victor Stinnere215d962012-10-06 23:03:36 +02002315 # test padding (width and/or precision)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002316 check_format('123'.rjust(10, '0'),
2317 b'%010i', c_int(123))
2318 check_format('123'.rjust(100),
2319 b'%100i', c_int(123))
2320 check_format('123'.rjust(100, '0'),
2321 b'%.100i', c_int(123))
2322 check_format('123'.rjust(80, '0').rjust(100),
2323 b'%100.80i', c_int(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002324
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002325 check_format('123'.rjust(10, '0'),
2326 b'%010u', c_uint(123))
2327 check_format('123'.rjust(100),
2328 b'%100u', c_uint(123))
2329 check_format('123'.rjust(100, '0'),
2330 b'%.100u', c_uint(123))
2331 check_format('123'.rjust(80, '0').rjust(100),
2332 b'%100.80u', c_uint(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002333
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002334 check_format('123'.rjust(10, '0'),
2335 b'%010x', c_int(0x123))
2336 check_format('123'.rjust(100),
2337 b'%100x', c_int(0x123))
2338 check_format('123'.rjust(100, '0'),
2339 b'%.100x', c_int(0x123))
2340 check_format('123'.rjust(80, '0').rjust(100),
2341 b'%100.80x', c_int(0x123))
Victor Stinnere215d962012-10-06 23:03:36 +02002342
Victor Stinner6d970f42011-03-02 00:04:25 +00002343 # test %A
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002344 check_format(r"%A:'abc\xe9\uabcd\U0010ffff'",
2345 b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002346
Victor Stinner6d970f42011-03-02 00:04:25 +00002347 # test %V
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002348 check_format('repr=abc',
2349 b'repr=%V', 'abc', b'xyz')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002350
2351 # Test string decode from parameter of %s using utf-8.
2352 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2353 # '\u4eba\u6c11'
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002354 check_format('repr=\u4eba\u6c11',
2355 b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002356
2357 #Test replace error handler.
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002358 check_format('repr=abc\ufffd',
2359 b'repr=%V', None, b'abc\xff')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002360
Victor Stinner6d970f42011-03-02 00:04:25 +00002361 # not supported: copy the raw format string. these tests are just here
2362 # to check for crashs and should not be considered as specifications
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002363 check_format('%s',
2364 b'%1%s', b'abc')
2365 check_format('%1abc',
2366 b'%1abc')
2367 check_format('%+i',
2368 b'%+i', c_int(10))
2369 check_format('%.%s',
2370 b'%.%s', b'abc')
Victor Stinner6d970f42011-03-02 00:04:25 +00002371
Victor Stinner1c24bd02010-10-02 11:03:13 +00002372 # Test PyUnicode_AsWideChar()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002373 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002374 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002375 from _testcapi import unicode_aswidechar
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002376 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002377 from ctypes import c_wchar, sizeof
2378
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002379 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002380 self.assertEqual(size, 2)
2381 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002382
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002383 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002384 self.assertEqual(size, 3)
2385 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002386
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002387 wchar, size = unicode_aswidechar('abc', 4)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002388 self.assertEqual(size, 3)
2389 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002390
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002391 wchar, size = unicode_aswidechar('abc', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002392 self.assertEqual(size, 3)
2393 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002394
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002395 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002396 self.assertEqual(size, 7)
2397 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002398
Victor Stinner5593d8a2010-10-02 11:11:27 +00002399 nonbmp = chr(0x10ffff)
2400 if sizeof(c_wchar) == 2:
2401 buflen = 3
2402 nchar = 2
2403 else: # sizeof(c_wchar) == 4
2404 buflen = 2
2405 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002406 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002407 self.assertEqual(size, nchar)
2408 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002409
Victor Stinner1c24bd02010-10-02 11:03:13 +00002410 # Test PyUnicode_AsWideCharString()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002411 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002412 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002413 from _testcapi import unicode_aswidecharstring
Antoine Pitrou0662bc22010-11-22 16:19:04 +00002414 support.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002415 from ctypes import c_wchar, sizeof
2416
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002417 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002418 self.assertEqual(size, 3)
2419 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002420
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002421 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002422 self.assertEqual(size, 7)
2423 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002424
Victor Stinner5593d8a2010-10-02 11:11:27 +00002425 nonbmp = chr(0x10ffff)
2426 if sizeof(c_wchar) == 2:
2427 nchar = 2
2428 else: # sizeof(c_wchar) == 4
2429 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002430 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002431 self.assertEqual(size, nchar)
2432 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002433
Benjamin Peterson811c2f12011-09-30 21:31:21 -04002434 def test_subclass_add(self):
2435 class S(str):
2436 def __add__(self, o):
2437 return "3"
2438 self.assertEqual(S("4") + S("5"), "3")
2439 class S(str):
2440 def __iadd__(self, o):
2441 return "3"
2442 s = S("1")
2443 s += "4"
2444 self.assertEqual(s, "3")
2445
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002446 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002447 def test_encode_decimal(self):
2448 from _testcapi import unicode_encodedecimal
2449 self.assertEqual(unicode_encodedecimal('123'),
2450 b'123')
2451 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2452 b'3.14')
2453 self.assertEqual(unicode_encodedecimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2454 b' 3.14 ')
2455 self.assertRaises(UnicodeEncodeError,
2456 unicode_encodedecimal, "123\u20ac", "strict")
Victor Stinner6345be92011-11-25 20:09:01 +01002457 self.assertRaisesRegex(
2458 ValueError,
2459 "^'decimal' codec can't encode character",
2460 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002461
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002462 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002463 def test_transform_decimal(self):
2464 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
2465 self.assertEqual(transform_decimal('123'),
2466 '123')
2467 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2468 '3.14')
2469 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2470 "\N{EM SPACE}3.14\N{EN SPACE}")
2471 self.assertEqual(transform_decimal('123\u20ac'),
2472 '123\u20ac')
2473
Victor Stinnerc814a382011-11-22 01:06:15 +01002474 def test_getnewargs(self):
2475 text = 'abc'
2476 args = text.__getnewargs__()
2477 self.assertIsNot(args[0], text)
2478 self.assertEqual(args[0], text)
2479 self.assertEqual(len(args), 1)
2480
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002481 def test_resize(self):
2482 for length in range(1, 100, 7):
2483 # generate a fresh string (refcount=1)
2484 text = 'a' * length + 'b'
2485
Ezio Melotti51e243f2013-02-20 23:56:01 +02002486 with support.check_warnings(('unicode_internal codec has been '
2487 'deprecated', DeprecationWarning)):
2488 # fill wstr internal field
2489 abc = text.encode('unicode_internal')
2490 self.assertEqual(abc.decode('unicode_internal'), text)
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002491
Ezio Melotti51e243f2013-02-20 23:56:01 +02002492 # resize text: wstr field must be cleared and then recomputed
2493 text += 'c'
2494 abcdef = text.encode('unicode_internal')
2495 self.assertNotEqual(abc, abcdef)
2496 self.assertEqual(abcdef.decode('unicode_internal'), text)
Victor Stinnerbbbac2e2013-02-07 23:12:46 +01002497
Victor Stinner9fc59812013-04-08 22:34:43 +02002498 def test_compare(self):
2499 # Issue #17615
2500 N = 10
2501 ascii = 'a' * N
2502 ascii2 = 'z' * N
2503 latin = '\x80' * N
2504 latin2 = '\xff' * N
2505 bmp = '\u0100' * N
2506 bmp2 = '\uffff' * N
2507 astral = '\U00100000' * N
2508 astral2 = '\U0010ffff' * N
2509 strings = (
2510 ascii, ascii2,
2511 latin, latin2,
2512 bmp, bmp2,
2513 astral, astral2)
2514 for text1, text2 in itertools.combinations(strings, 2):
2515 equal = (text1 is text2)
2516 self.assertEqual(text1 == text2, equal)
2517 self.assertEqual(text1 != text2, not equal)
2518
2519 if equal:
2520 self.assertTrue(text1 <= text2)
2521 self.assertTrue(text1 >= text2)
2522
2523 # text1 is text2: duplicate strings to skip the "str1 == str2"
2524 # optimization in unicode_compare_eq() and really compare
2525 # character per character
2526 copy1 = duplicate_string(text1)
2527 copy2 = duplicate_string(text2)
2528 self.assertIsNot(copy1, copy2)
2529
2530 self.assertTrue(copy1 == copy2)
2531 self.assertFalse(copy1 != copy2)
2532
2533 self.assertTrue(copy1 <= copy2)
2534 self.assertTrue(copy2 >= copy2)
2535
2536 self.assertTrue(ascii < ascii2)
2537 self.assertTrue(ascii < latin)
2538 self.assertTrue(ascii < bmp)
2539 self.assertTrue(ascii < astral)
2540 self.assertFalse(ascii >= ascii2)
2541 self.assertFalse(ascii >= latin)
2542 self.assertFalse(ascii >= bmp)
2543 self.assertFalse(ascii >= astral)
2544
2545 self.assertFalse(latin < ascii)
2546 self.assertTrue(latin < latin2)
2547 self.assertTrue(latin < bmp)
2548 self.assertTrue(latin < astral)
2549 self.assertTrue(latin >= ascii)
2550 self.assertFalse(latin >= latin2)
2551 self.assertFalse(latin >= bmp)
2552 self.assertFalse(latin >= astral)
2553
2554 self.assertFalse(bmp < ascii)
2555 self.assertFalse(bmp < latin)
2556 self.assertTrue(bmp < bmp2)
2557 self.assertTrue(bmp < astral)
2558 self.assertTrue(bmp >= ascii)
2559 self.assertTrue(bmp >= latin)
2560 self.assertFalse(bmp >= bmp2)
2561 self.assertFalse(bmp >= astral)
2562
2563 self.assertFalse(astral < ascii)
2564 self.assertFalse(astral < latin)
2565 self.assertFalse(astral < bmp2)
2566 self.assertTrue(astral < astral2)
2567 self.assertTrue(astral >= ascii)
2568 self.assertTrue(astral >= latin)
2569 self.assertTrue(astral >= bmp2)
2570 self.assertFalse(astral >= astral2)
2571
Victor Stinner1c24bd02010-10-02 11:03:13 +00002572
Eric Smitha1eac722011-01-29 11:15:35 +00002573class StringModuleTest(unittest.TestCase):
2574 def test_formatter_parser(self):
2575 def parse(format):
2576 return list(_string.formatter_parser(format))
2577
2578 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2579 self.assertEqual(formatter, [
2580 ('prefix ', '2', '', 's'),
2581 ('xxx', '0', '^+10.3f', None),
2582 ('', 'obj.attr', '', 's'),
2583 (' ', 'z[0]', '10', 's'),
2584 ])
2585
2586 formatter = parse("prefix {} suffix")
2587 self.assertEqual(formatter, [
2588 ('prefix ', '', '', None),
2589 (' suffix', None, None, None),
2590 ])
2591
2592 formatter = parse("str")
2593 self.assertEqual(formatter, [
2594 ('str', None, None, None),
2595 ])
2596
2597 formatter = parse("")
2598 self.assertEqual(formatter, [])
2599
2600 formatter = parse("{0}")
2601 self.assertEqual(formatter, [
2602 ('', '0', '', None),
2603 ])
2604
2605 self.assertRaises(TypeError, _string.formatter_parser, 1)
2606
2607 def test_formatter_field_name_split(self):
2608 def split(name):
2609 items = list(_string.formatter_field_name_split(name))
2610 items[1] = list(items[1])
2611 return items
2612 self.assertEqual(split("obj"), ["obj", []])
2613 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
2614 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
2615 self.assertEqual(split("obj.arg[key1][key2]"), [
2616 "obj",
2617 [(True, 'arg'),
2618 (False, 'key1'),
2619 (False, 'key2'),
2620 ]])
2621 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
2622
2623
Walter Dörwald28256f22003-01-19 16:59:20 +00002624if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02002625 unittest.main()