blob: 718320de5416de720b9a1db4e3b1f28e2b0edf56 [file] [log] [blame]
Neal Norwitz88fe4ff2002-07-28 16:44:23 +00001from test.test_support import verbose, have_unicode, TestFailed
Eric S. Raymondd8c628b2001-02-09 11:46:37 +00002import sys
Guido van Rossum360e4b82007-05-14 22:51:27 +00003from test.test_support import MAX_Py_ssize_t
4maxsize = MAX_Py_ssize_t
Marc-André Lemburgd70141a2000-06-30 10:26:29 +00005
6# test string formatting operator (I am not sure if this is being tested
7# elsewhere but, surely, some of the given cases are *not* tested because
8# they crash python)
9# test on unicode strings as well
10
Tim Peters38fd5b62000-09-21 05:43:11 +000011overflowok = 1
12
Marc-André Lemburgd70141a2000-06-30 10:26:29 +000013def testformat(formatstr, args, output=None):
Tim Peters38fd5b62000-09-21 05:43:11 +000014 if verbose:
15 if output:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000016 print("%s %% %s =? %s ..." %\
17 (repr(formatstr), repr(args), repr(output)), end=' ')
Tim Peters38fd5b62000-09-21 05:43:11 +000018 else:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000019 print("%s %% %s works? ..." % (repr(formatstr), repr(args)), end=' ')
Tim Peters38fd5b62000-09-21 05:43:11 +000020 try:
21 result = formatstr % args
22 except OverflowError:
23 if not overflowok:
24 raise
25 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000026 print('overflow (this is fine)')
Tim Peters38fd5b62000-09-21 05:43:11 +000027 else:
28 if output and result != output:
29 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000030 print('no')
31 print("%s %% %s == %s != %s" %\
32 (repr(formatstr), repr(args), repr(result), repr(output)))
Tim Peters38fd5b62000-09-21 05:43:11 +000033 else:
34 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000035 print('yes')
Marc-André Lemburgd70141a2000-06-30 10:26:29 +000036
37def testboth(formatstr, *args):
Tim Peters38fd5b62000-09-21 05:43:11 +000038 testformat(formatstr, *args)
Martin v. Löwis339d0f72001-08-17 18:39:25 +000039 if have_unicode:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000040 testformat(str(formatstr), *args)
Tim Peters38fd5b62000-09-21 05:43:11 +000041
Marc-André Lemburgd70141a2000-06-30 10:26:29 +000042
43testboth("%.1d", (1,), "1")
44testboth("%.*d", (sys.maxint,1)) # expect overflow
45testboth("%.100d", (1,), '0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001')
46testboth("%#.117x", (1,), '0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001')
47testboth("%#.118x", (1,), '0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001')
48
49testboth("%f", (1.0,), "1.000000")
50# these are trying to test the limits of the internal magic-number-length
51# formatting buffer, if that number changes then these tests are less
52# effective
53testboth("%#.*g", (109, -1.e+49/3.))
54testboth("%#.*g", (110, -1.e+49/3.))
55testboth("%#.*g", (110, -1.e+100/3.))
56
57# test some ridiculously large precision, expect overflow
58testboth('%12.*f', (123456, 1.0))
59
Tim Peters38fd5b62000-09-21 05:43:11 +000060# Formatting of long integers. Overflow is not ok
61overflowok = 0
Guido van Rossume2a383d2007-01-15 16:59:06 +000062testboth("%x", 10, "a")
63testboth("%x", 100000000000, "174876e800")
64testboth("%o", 10, "12")
65testboth("%o", 100000000000, "1351035564000")
66testboth("%d", 10, "10")
67testboth("%d", 100000000000, "100000000000")
Tim Peters38fd5b62000-09-21 05:43:11 +000068
Guido van Rossume2a383d2007-01-15 16:59:06 +000069big = 123456789012345678901234567890
Tim Peters38fd5b62000-09-21 05:43:11 +000070testboth("%d", big, "123456789012345678901234567890")
71testboth("%d", -big, "-123456789012345678901234567890")
72testboth("%5d", -big, "-123456789012345678901234567890")
73testboth("%31d", -big, "-123456789012345678901234567890")
74testboth("%32d", -big, " -123456789012345678901234567890")
75testboth("%-32d", -big, "-123456789012345678901234567890 ")
76testboth("%032d", -big, "-0123456789012345678901234567890")
77testboth("%-032d", -big, "-123456789012345678901234567890 ")
78testboth("%034d", -big, "-000123456789012345678901234567890")
79testboth("%034d", big, "0000123456789012345678901234567890")
80testboth("%0+34d", big, "+000123456789012345678901234567890")
81testboth("%+34d", big, " +123456789012345678901234567890")
82testboth("%34d", big, " 123456789012345678901234567890")
83testboth("%.2d", big, "123456789012345678901234567890")
84testboth("%.30d", big, "123456789012345678901234567890")
85testboth("%.31d", big, "0123456789012345678901234567890")
86testboth("%32.31d", big, " 0123456789012345678901234567890")
87
Guido van Rossume2a383d2007-01-15 16:59:06 +000088big = 0x1234567890abcdef12345 # 21 hex digits
Tim Peters38fd5b62000-09-21 05:43:11 +000089testboth("%x", big, "1234567890abcdef12345")
90testboth("%x", -big, "-1234567890abcdef12345")
91testboth("%5x", -big, "-1234567890abcdef12345")
92testboth("%22x", -big, "-1234567890abcdef12345")
93testboth("%23x", -big, " -1234567890abcdef12345")
94testboth("%-23x", -big, "-1234567890abcdef12345 ")
95testboth("%023x", -big, "-01234567890abcdef12345")
96testboth("%-023x", -big, "-1234567890abcdef12345 ")
97testboth("%025x", -big, "-0001234567890abcdef12345")
98testboth("%025x", big, "00001234567890abcdef12345")
99testboth("%0+25x", big, "+0001234567890abcdef12345")
100testboth("%+25x", big, " +1234567890abcdef12345")
101testboth("%25x", big, " 1234567890abcdef12345")
102testboth("%.2x", big, "1234567890abcdef12345")
103testboth("%.21x", big, "1234567890abcdef12345")
104testboth("%.22x", big, "01234567890abcdef12345")
105testboth("%23.22x", big, " 01234567890abcdef12345")
106testboth("%-23.22x", big, "01234567890abcdef12345 ")
107testboth("%X", big, "1234567890ABCDEF12345")
108testboth("%#X", big, "0X1234567890ABCDEF12345")
109testboth("%#x", big, "0x1234567890abcdef12345")
110testboth("%#x", -big, "-0x1234567890abcdef12345")
111testboth("%#.23x", -big, "-0x001234567890abcdef12345")
112testboth("%#+.23x", big, "+0x001234567890abcdef12345")
113testboth("%# .23x", big, " 0x001234567890abcdef12345")
114testboth("%#+.23X", big, "+0X001234567890ABCDEF12345")
115testboth("%#-+.23X", big, "+0X001234567890ABCDEF12345")
116testboth("%#-+26.23X", big, "+0X001234567890ABCDEF12345")
117testboth("%#-+27.23X", big, "+0X001234567890ABCDEF12345 ")
118testboth("%#+27.23X", big, " +0X001234567890ABCDEF12345")
119# next one gets two leading zeroes from precision, and another from the
120# 0 flag and the width
121testboth("%#+027.23X", big, "+0X0001234567890ABCDEF12345")
122# same, except no 0 flag
123testboth("%#+27.23X", big, " +0X001234567890ABCDEF12345")
124
Guido van Rossume2a383d2007-01-15 16:59:06 +0000125big = 012345670123456701234567012345670 # 32 octal digits
Tim Peters38fd5b62000-09-21 05:43:11 +0000126testboth("%o", big, "12345670123456701234567012345670")
127testboth("%o", -big, "-12345670123456701234567012345670")
128testboth("%5o", -big, "-12345670123456701234567012345670")
129testboth("%33o", -big, "-12345670123456701234567012345670")
130testboth("%34o", -big, " -12345670123456701234567012345670")
131testboth("%-34o", -big, "-12345670123456701234567012345670 ")
132testboth("%034o", -big, "-012345670123456701234567012345670")
133testboth("%-034o", -big, "-12345670123456701234567012345670 ")
134testboth("%036o", -big, "-00012345670123456701234567012345670")
135testboth("%036o", big, "000012345670123456701234567012345670")
136testboth("%0+36o", big, "+00012345670123456701234567012345670")
137testboth("%+36o", big, " +12345670123456701234567012345670")
138testboth("%36o", big, " 12345670123456701234567012345670")
139testboth("%.2o", big, "12345670123456701234567012345670")
140testboth("%.32o", big, "12345670123456701234567012345670")
141testboth("%.33o", big, "012345670123456701234567012345670")
142testboth("%34.33o", big, " 012345670123456701234567012345670")
143testboth("%-34.33o", big, "012345670123456701234567012345670 ")
144testboth("%o", big, "12345670123456701234567012345670")
145testboth("%#o", big, "012345670123456701234567012345670")
146testboth("%#o", -big, "-012345670123456701234567012345670")
147testboth("%#.34o", -big, "-0012345670123456701234567012345670")
148testboth("%#+.34o", big, "+0012345670123456701234567012345670")
149testboth("%# .34o", big, " 0012345670123456701234567012345670")
150testboth("%#+.34o", big, "+0012345670123456701234567012345670")
151testboth("%#-+.34o", big, "+0012345670123456701234567012345670")
152testboth("%#-+37.34o", big, "+0012345670123456701234567012345670 ")
153testboth("%#+37.34o", big, " +0012345670123456701234567012345670")
154# next one gets one leading zero from precision
155testboth("%.33o", big, "012345670123456701234567012345670")
156# base marker shouldn't change that, since "0" is redundant
157testboth("%#.33o", big, "012345670123456701234567012345670")
158# but reduce precision, and base marker should add a zero
159testboth("%#.32o", big, "012345670123456701234567012345670")
160# one leading zero from precision, and another from "0" flag & width
161testboth("%034.33o", big, "0012345670123456701234567012345670")
162# base marker shouldn't change that
163testboth("%0#34.33o", big, "0012345670123456701234567012345670")
Tim Petersa3a3a032000-11-30 05:22:44 +0000164
165# Some small ints, in both Python int and long flavors).
166testboth("%d", 42, "42")
167testboth("%d", -42, "-42")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000168testboth("%d", 42, "42")
169testboth("%d", -42, "-42")
Tim Peters711088d2001-04-12 00:35:51 +0000170testboth("%#x", 1, "0x1")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000171testboth("%#x", 1, "0x1")
Tim Peters711088d2001-04-12 00:35:51 +0000172testboth("%#X", 1, "0X1")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000173testboth("%#X", 1, "0X1")
Tim Peters711088d2001-04-12 00:35:51 +0000174testboth("%#o", 1, "01")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000175testboth("%#o", 1, "01")
Tim Peters711088d2001-04-12 00:35:51 +0000176testboth("%#o", 0, "0")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000177testboth("%#o", 0, "0")
Tim Peters711088d2001-04-12 00:35:51 +0000178testboth("%o", 0, "0")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000179testboth("%o", 0, "0")
Tim Peters711088d2001-04-12 00:35:51 +0000180testboth("%d", 0, "0")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000181testboth("%d", 0, "0")
Tim Petersfff53252001-04-12 18:38:48 +0000182testboth("%#x", 0, "0x0")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000183testboth("%#x", 0, "0x0")
Tim Petersfff53252001-04-12 18:38:48 +0000184testboth("%#X", 0, "0X0")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000185testboth("%#X", 0, "0X0")
Tim Petersa3a3a032000-11-30 05:22:44 +0000186
187testboth("%x", 0x42, "42")
Guido van Rossum6c9e1302003-11-29 23:52:13 +0000188testboth("%x", -0x42, "-42")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000189testboth("%x", 0x42, "42")
190testboth("%x", -0x42, "-42")
Tim Petersa3a3a032000-11-30 05:22:44 +0000191
192testboth("%o", 042, "42")
Guido van Rossum6c9e1302003-11-29 23:52:13 +0000193testboth("%o", -042, "-42")
Guido van Rossume2a383d2007-01-15 16:59:06 +0000194testboth("%o", 042, "42")
195testboth("%o", -042, "-42")
Andrew M. Kuchling4d192b32000-12-15 13:09:06 +0000196
197# Test exception for unknown format characters
198if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000199 print('Testing exceptions')
Andrew M. Kuchling4d192b32000-12-15 13:09:06 +0000200
201def test_exc(formatstr, args, exception, excmsg):
202 try:
203 testformat(formatstr, args)
Guido van Rossumb940e112007-01-10 16:19:56 +0000204 except exception as exc:
Andrew M. Kuchling4d192b32000-12-15 13:09:06 +0000205 if str(exc) == excmsg:
Fredrik Lundhf7850422001-01-17 21:51:36 +0000206 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000207 print("yes")
Andrew M. Kuchling4d192b32000-12-15 13:09:06 +0000208 else:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000209 if verbose: print('no')
210 print('Unexpected ', exception, ':', repr(str(exc)))
Andrew M. Kuchling4d192b32000-12-15 13:09:06 +0000211 except:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000212 if verbose: print('no')
213 print('Unexpected exception')
Andrew M. Kuchling4d192b32000-12-15 13:09:06 +0000214 raise
Neal Norwitz88fe4ff2002-07-28 16:44:23 +0000215 else:
216 raise TestFailed, 'did not get expected exception: %s' % excmsg
Andrew M. Kuchling4d192b32000-12-15 13:09:06 +0000217
218test_exc('abc %a', 1, ValueError,
219 "unsupported format character 'a' (0x61) at index 5")
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000220if have_unicode:
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000221 test_exc(str('abc %\u3000','raw-unicode-escape'), 1, ValueError,
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000222 "unsupported format character '?' (0x3000) at index 5")
Neal Norwitz88fe4ff2002-07-28 16:44:23 +0000223
Thomas Wouters89f507f2006-12-13 04:49:30 +0000224test_exc('%d', '1', TypeError, "int argument required, not str")
225test_exc('%g', '1', TypeError, "float argument required, not str")
Tim Peters77c06fb2002-11-24 02:35:35 +0000226test_exc('no format', '1', TypeError,
Neal Norwitz80a1bf42002-11-12 23:01:12 +0000227 "not all arguments converted during string formatting")
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000228test_exc('no format', '1', TypeError,
Neal Norwitz80a1bf42002-11-12 23:01:12 +0000229 "not all arguments converted during string formatting")
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000230test_exc('no format', '1', TypeError,
Neal Norwitz80a1bf42002-11-12 23:01:12 +0000231 "not all arguments converted during string formatting")
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000232test_exc('no format', '1', TypeError,
Neal Norwitz80a1bf42002-11-12 23:01:12 +0000233 "not all arguments converted during string formatting")
Michael W. Hudson549ab8a2002-10-11 13:46:32 +0000234
Guido van Rossume2a383d2007-01-15 16:59:06 +0000235class Foobar(int):
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000236 def __oct__(self):
237 # Returning a non-string should not blow up.
238 return self + 1
239
240test_exc('%o', Foobar(), TypeError,
Guido van Rossum65eabe32007-01-14 18:52:06 +0000241 "expected string or Unicode object, int found")
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000242
Guido van Rossum360e4b82007-05-14 22:51:27 +0000243if maxsize == 2**31-1:
Michael W. Hudson549ab8a2002-10-11 13:46:32 +0000244 # crashes 2.2.1 and earlier:
245 try:
Guido van Rossum360e4b82007-05-14 22:51:27 +0000246 "%*d"%(maxsize, -127)
Michael W. Hudson549ab8a2002-10-11 13:46:32 +0000247 except MemoryError:
248 pass
249 else:
Guido van Rossum360e4b82007-05-14 22:51:27 +0000250 raise TestFailed, '"%*d"%(maxsize, -127) should fail'