blob: 437e323cbccf8d0ddbe27fc3df6e8e3edd83aa6b [file] [log] [blame]
Christian Heimes81ee3ef2008-05-04 22:42:01 +00001import sys
2
3import unittest
Benjamin Petersonee8712c2008-05-20 21:35:26 +00004from test.support import run_unittest
Christian Heimes81ee3ef2008-05-04 22:42:01 +00005
6L = [
7 ('0', 0),
8 ('1', 1),
9 ('9', 9),
10 ('10', 10),
11 ('99', 99),
12 ('100', 100),
13 ('314', 314),
14 (' 314', 314),
15 ('314 ', 314),
16 (' \t\t 314 \t\t ', 314),
17 (repr(sys.maxsize), sys.maxsize),
18 (' 1x', ValueError),
19 (' 1 ', 1),
20 (' 1\02 ', ValueError),
21 ('', ValueError),
22 (' ', ValueError),
Alexander Belopolsky942af5a2010-12-04 03:38:46 +000023 (' \t\t ', ValueError),
24 ("\u0200", ValueError)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000025]
26
27class IntTestCases(unittest.TestCase):
28
29 def test_basic(self):
30 self.assertEqual(int(314), 314)
31 self.assertEqual(int(3.14), 3)
32 # Check that conversion from float truncates towards zero
33 self.assertEqual(int(-3.14), -3)
34 self.assertEqual(int(3.9), 3)
35 self.assertEqual(int(-3.9), -3)
36 self.assertEqual(int(3.5), 3)
37 self.assertEqual(int(-3.5), -3)
Mark Dickinson5c2db372009-12-05 20:28:34 +000038 self.assertEqual(int("-3"), -3)
Alexander Belopolsky942af5a2010-12-04 03:38:46 +000039 self.assertEqual(int(" -3 "), -3)
40 self.assertEqual(int("\N{EM SPACE}-3\N{EN SPACE}"), -3)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000041 # Different base:
42 self.assertEqual(int("10",16), 16)
43 # Test conversion from strings and various anomalies
44 for s, v in L:
45 for sign in "", "+", "-":
46 for prefix in "", " ", "\t", " \t\t ":
47 ss = prefix + sign + s
48 vv = v
49 if sign == "-" and v is not ValueError:
50 vv = -v
51 try:
52 self.assertEqual(int(ss), vv)
53 except ValueError:
54 pass
55
56 s = repr(-1-sys.maxsize)
57 x = int(s)
58 self.assertEqual(x+1, -sys.maxsize)
Ezio Melottie9615932010-01-24 19:26:24 +000059 self.assertIsInstance(x, int)
60 # should return int
Christian Heimes81ee3ef2008-05-04 22:42:01 +000061 self.assertEqual(int(s[1:]), sys.maxsize+1)
62
Ezio Melottie9615932010-01-24 19:26:24 +000063 # should return int
Christian Heimes81ee3ef2008-05-04 22:42:01 +000064 x = int(1e100)
Ezio Melottie9615932010-01-24 19:26:24 +000065 self.assertIsInstance(x, int)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000066 x = int(-1e100)
Ezio Melottie9615932010-01-24 19:26:24 +000067 self.assertIsInstance(x, int)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000068
69
70 # SF bug 434186: 0x80000000/2 != 0x80000000>>1.
71 # Worked by accident in Windows release build, but failed in debug build.
72 # Failed in all Linux builds.
73 x = -1-sys.maxsize
74 self.assertEqual(x >> 1, x//2)
75
76 self.assertRaises(ValueError, int, '123\0')
77 self.assertRaises(ValueError, int, '53', 40)
78
79 # SF bug 1545497: embedded NULs were not detected with
80 # explicit base
81 self.assertRaises(ValueError, int, '123\0', 10)
82 self.assertRaises(ValueError, int, '123\x00 245', 20)
83
84 x = int('1' * 600)
Ezio Melottie9615932010-01-24 19:26:24 +000085 self.assertIsInstance(x, int)
86
Christian Heimes81ee3ef2008-05-04 22:42:01 +000087
88 self.assertRaises(TypeError, int, 1, 12)
89
90 self.assertEqual(int('0o123', 0), 83)
91 self.assertEqual(int('0x123', 16), 291)
92
93 # Bug 1679: "0x" is not a valid hex literal
94 self.assertRaises(ValueError, int, "0x", 16)
95 self.assertRaises(ValueError, int, "0x", 0)
96
97 self.assertRaises(ValueError, int, "0o", 8)
98 self.assertRaises(ValueError, int, "0o", 0)
99
100 self.assertRaises(ValueError, int, "0b", 2)
101 self.assertRaises(ValueError, int, "0b", 0)
102
Martin v. Löwis029656f2008-06-30 04:06:08 +0000103 # Bug #3236: Return small longs from PyLong_FromString
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000104 self.assertTrue(int("10") is 10)
105 self.assertTrue(int("-1") is -1)
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000106
107 # SF bug 1334662: int(string, base) wrong answers
108 # Various representations of 2**32 evaluated to 0
109 # rather than 2**32 in previous versions
110
111 self.assertEqual(int('100000000000000000000000000000000', 2), 4294967296)
112 self.assertEqual(int('102002022201221111211', 3), 4294967296)
113 self.assertEqual(int('10000000000000000', 4), 4294967296)
114 self.assertEqual(int('32244002423141', 5), 4294967296)
115 self.assertEqual(int('1550104015504', 6), 4294967296)
116 self.assertEqual(int('211301422354', 7), 4294967296)
117 self.assertEqual(int('40000000000', 8), 4294967296)
118 self.assertEqual(int('12068657454', 9), 4294967296)
119 self.assertEqual(int('4294967296', 10), 4294967296)
120 self.assertEqual(int('1904440554', 11), 4294967296)
121 self.assertEqual(int('9ba461594', 12), 4294967296)
122 self.assertEqual(int('535a79889', 13), 4294967296)
123 self.assertEqual(int('2ca5b7464', 14), 4294967296)
124 self.assertEqual(int('1a20dcd81', 15), 4294967296)
125 self.assertEqual(int('100000000', 16), 4294967296)
126 self.assertEqual(int('a7ffda91', 17), 4294967296)
127 self.assertEqual(int('704he7g4', 18), 4294967296)
128 self.assertEqual(int('4f5aff66', 19), 4294967296)
129 self.assertEqual(int('3723ai4g', 20), 4294967296)
130 self.assertEqual(int('281d55i4', 21), 4294967296)
131 self.assertEqual(int('1fj8b184', 22), 4294967296)
132 self.assertEqual(int('1606k7ic', 23), 4294967296)
133 self.assertEqual(int('mb994ag', 24), 4294967296)
134 self.assertEqual(int('hek2mgl', 25), 4294967296)
135 self.assertEqual(int('dnchbnm', 26), 4294967296)
136 self.assertEqual(int('b28jpdm', 27), 4294967296)
137 self.assertEqual(int('8pfgih4', 28), 4294967296)
138 self.assertEqual(int('76beigg', 29), 4294967296)
139 self.assertEqual(int('5qmcpqg', 30), 4294967296)
140 self.assertEqual(int('4q0jto4', 31), 4294967296)
141 self.assertEqual(int('4000000', 32), 4294967296)
142 self.assertEqual(int('3aokq94', 33), 4294967296)
143 self.assertEqual(int('2qhxjli', 34), 4294967296)
144 self.assertEqual(int('2br45qb', 35), 4294967296)
145 self.assertEqual(int('1z141z4', 36), 4294967296)
146
147 # tests with base 0
148 # this fails on 3.0, but in 2.x the old octal syntax is allowed
149 self.assertEqual(int(' 0o123 ', 0), 83)
150 self.assertEqual(int(' 0o123 ', 0), 83)
151 self.assertEqual(int('000', 0), 0)
152 self.assertEqual(int('0o123', 0), 83)
153 self.assertEqual(int('0x123', 0), 291)
154 self.assertEqual(int('0b100', 0), 4)
155 self.assertEqual(int(' 0O123 ', 0), 83)
156 self.assertEqual(int(' 0X123 ', 0), 291)
157 self.assertEqual(int(' 0B100 ', 0), 4)
158
159 # without base still base 10
160 self.assertEqual(int('0123'), 123)
161 self.assertEqual(int('0123', 10), 123)
162
163 # tests with prefix and base != 0
164 self.assertEqual(int('0x123', 16), 291)
165 self.assertEqual(int('0o123', 8), 83)
166 self.assertEqual(int('0b100', 2), 4)
167 self.assertEqual(int('0X123', 16), 291)
168 self.assertEqual(int('0O123', 8), 83)
169 self.assertEqual(int('0B100', 2), 4)
170
171 # the code has special checks for the first character after the
172 # type prefix
173 self.assertRaises(ValueError, int, '0b2', 2)
174 self.assertRaises(ValueError, int, '0b02', 2)
175 self.assertRaises(ValueError, int, '0B2', 2)
176 self.assertRaises(ValueError, int, '0B02', 2)
177 self.assertRaises(ValueError, int, '0o8', 8)
178 self.assertRaises(ValueError, int, '0o08', 8)
179 self.assertRaises(ValueError, int, '0O8', 8)
180 self.assertRaises(ValueError, int, '0O08', 8)
181 self.assertRaises(ValueError, int, '0xg', 16)
182 self.assertRaises(ValueError, int, '0x0g', 16)
183 self.assertRaises(ValueError, int, '0Xg', 16)
184 self.assertRaises(ValueError, int, '0X0g', 16)
185
186 # SF bug 1334662: int(string, base) wrong answers
187 # Checks for proper evaluation of 2**32 + 1
188 self.assertEqual(int('100000000000000000000000000000001', 2), 4294967297)
189 self.assertEqual(int('102002022201221111212', 3), 4294967297)
190 self.assertEqual(int('10000000000000001', 4), 4294967297)
191 self.assertEqual(int('32244002423142', 5), 4294967297)
192 self.assertEqual(int('1550104015505', 6), 4294967297)
193 self.assertEqual(int('211301422355', 7), 4294967297)
194 self.assertEqual(int('40000000001', 8), 4294967297)
195 self.assertEqual(int('12068657455', 9), 4294967297)
196 self.assertEqual(int('4294967297', 10), 4294967297)
197 self.assertEqual(int('1904440555', 11), 4294967297)
198 self.assertEqual(int('9ba461595', 12), 4294967297)
199 self.assertEqual(int('535a7988a', 13), 4294967297)
200 self.assertEqual(int('2ca5b7465', 14), 4294967297)
201 self.assertEqual(int('1a20dcd82', 15), 4294967297)
202 self.assertEqual(int('100000001', 16), 4294967297)
203 self.assertEqual(int('a7ffda92', 17), 4294967297)
204 self.assertEqual(int('704he7g5', 18), 4294967297)
205 self.assertEqual(int('4f5aff67', 19), 4294967297)
206 self.assertEqual(int('3723ai4h', 20), 4294967297)
207 self.assertEqual(int('281d55i5', 21), 4294967297)
208 self.assertEqual(int('1fj8b185', 22), 4294967297)
209 self.assertEqual(int('1606k7id', 23), 4294967297)
210 self.assertEqual(int('mb994ah', 24), 4294967297)
211 self.assertEqual(int('hek2mgm', 25), 4294967297)
212 self.assertEqual(int('dnchbnn', 26), 4294967297)
213 self.assertEqual(int('b28jpdn', 27), 4294967297)
214 self.assertEqual(int('8pfgih5', 28), 4294967297)
215 self.assertEqual(int('76beigh', 29), 4294967297)
216 self.assertEqual(int('5qmcpqh', 30), 4294967297)
217 self.assertEqual(int('4q0jto5', 31), 4294967297)
218 self.assertEqual(int('4000001', 32), 4294967297)
219 self.assertEqual(int('3aokq95', 33), 4294967297)
220 self.assertEqual(int('2qhxjlj', 34), 4294967297)
221 self.assertEqual(int('2br45qc', 35), 4294967297)
222 self.assertEqual(int('1z141z5', 36), 4294967297)
223
224 def test_intconversion(self):
225 # Test __int__()
226 class ClassicMissingMethods:
227 pass
228 self.assertRaises(TypeError, int, ClassicMissingMethods())
229
230 class MissingMethods(object):
231 pass
232 self.assertRaises(TypeError, int, MissingMethods())
233
234 class Foo0:
235 def __int__(self):
236 return 42
237
238 class Foo1(object):
239 def __int__(self):
240 return 42
241
242 class Foo2(int):
243 def __int__(self):
244 return 42
245
246 class Foo3(int):
247 def __int__(self):
248 return self
249
250 class Foo4(int):
251 def __int__(self):
252 return 42
253
254 class Foo5(int):
255 def __int__(self):
256 return 42.
257
258 self.assertEqual(int(Foo0()), 42)
259 self.assertEqual(int(Foo1()), 42)
260 self.assertEqual(int(Foo2()), 42)
261 self.assertEqual(int(Foo3()), 0)
262 self.assertEqual(int(Foo4()), 42)
263 self.assertRaises(TypeError, int, Foo5())
264
265 class Classic:
266 pass
267 for base in (object, Classic):
268 class IntOverridesTrunc(base):
269 def __int__(self):
270 return 42
271 def __trunc__(self):
272 return -12
273 self.assertEqual(int(IntOverridesTrunc()), 42)
274
275 class JustTrunc(base):
276 def __trunc__(self):
277 return 42
278 self.assertEqual(int(JustTrunc()), 42)
279
280 for trunc_result_base in (object, Classic):
281 class Integral(trunc_result_base):
282 def __int__(self):
283 return 42
284
285 class TruncReturnsNonInt(base):
286 def __trunc__(self):
287 return Integral()
288 self.assertEqual(int(TruncReturnsNonInt()), 42)
289
290 class NonIntegral(trunc_result_base):
291 def __trunc__(self):
292 # Check that we avoid infinite recursion.
293 return NonIntegral()
294
295 class TruncReturnsNonIntegral(base):
296 def __trunc__(self):
297 return NonIntegral()
298 try:
299 int(TruncReturnsNonIntegral())
300 except TypeError as e:
Ezio Melottib3aedd42010-11-20 19:04:17 +0000301 self.assertEqual(str(e),
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000302 "__trunc__ returned non-Integral"
303 " (type NonIntegral)")
304 else:
305 self.fail("Failed to raise TypeError with %s" %
306 ((base, trunc_result_base),))
307
Alexander Belopolsky942af5a2010-12-04 03:38:46 +0000308 def test_error_message(self):
309 testlist = ('\xbd', '123\xbd', ' 123 456 ')
310 for s in testlist:
311 try:
312 int(s)
313 except ValueError as e:
314 self.assertIn(s.strip(), e.args[0])
315 else:
316 self.fail("Expected int(%r) to raise a ValueError", s)
317
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000318def test_main():
319 run_unittest(IntTestCases)
320
321if __name__ == "__main__":
322 test_main()