blob: f50a246d849e10c5e41f12261808c33a4d1dc246 [file] [log] [blame]
Guido van Rossum3bead091992-01-27 17:00:37 +00001# Python test set -- part 5, built-in exceptions
2
Serhiy Storchakab7853962017-04-08 09:55:07 +03003import copy
Pablo Galindo9b648a92020-09-01 19:39:46 +01004import gc
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00005import os
6import sys
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00007import unittest
Guido van Rossumbf12cdb2006-08-17 20:24:18 +00008import pickle
Barry Warsaw8d109cb2008-05-08 04:26:35 +00009import weakref
Antoine Pitroua7622852011-09-01 21:37:43 +020010import errno
Pablo Galindoa77aac42021-04-23 14:27:05 +010011from textwrap import dedent
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000012
Hai Shi46605972020-08-04 00:49:18 +080013from test.support import (captured_stderr, check_impl_detail,
14 cpython_only, gc_collect,
15 no_tracing, script_helper,
xdegaye56d1f5c2017-10-26 15:09:06 +020016 SuppressCrashReport)
Hai Shi46605972020-08-04 00:49:18 +080017from test.support.import_helper import import_module
18from test.support.os_helper import TESTFN, unlink
19from test.support.warnings_helper import check_warnings
Victor Stinnere4d300e2019-05-22 23:44:02 +020020from test import support
21
22
Richard Oudkerk5562d9d2012-07-28 17:45:28 +010023class NaiveException(Exception):
24 def __init__(self, x):
25 self.x = x
26
27class SlottedNaiveException(Exception):
28 __slots__ = ('x',)
29 def __init__(self, x):
30 self.x = x
31
Martin Panter3263f682016-02-28 03:16:11 +000032class BrokenStrException(Exception):
33 def __str__(self):
34 raise Exception("str() is broken")
35
Guido van Rossum3bead091992-01-27 17:00:37 +000036# XXX This is not really enough, each *operation* should be tested!
37
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000038class ExceptionTests(unittest.TestCase):
Barry Warsawb9c1d3d2001-08-13 23:07:00 +000039
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000040 def raise_catch(self, exc, excname):
Pablo Galindoaf8e5f82020-05-17 01:22:00 +010041 with self.subTest(exc=exc, excname=excname):
42 try:
43 raise exc("spam")
44 except exc as err:
45 buf1 = str(err)
46 try:
47 raise exc("spam")
48 except exc as err:
49 buf2 = str(err)
50 self.assertEqual(buf1, buf2)
51 self.assertEqual(exc.__name__, excname)
Guido van Rossum3bead091992-01-27 17:00:37 +000052
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000053 def testRaising(self):
54 self.raise_catch(AttributeError, "AttributeError")
55 self.assertRaises(AttributeError, getattr, sys, "undefined_attribute")
Guido van Rossum3bead091992-01-27 17:00:37 +000056
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000057 self.raise_catch(EOFError, "EOFError")
Inada Naoki8bbfeb32021-04-02 12:53:46 +090058 fp = open(TESTFN, 'w', encoding="utf-8")
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000059 fp.close()
Inada Naoki8bbfeb32021-04-02 12:53:46 +090060 fp = open(TESTFN, 'r', encoding="utf-8")
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000061 savestdin = sys.stdin
62 try:
63 try:
64 import marshal
Antoine Pitrou4a90ef02012-03-03 02:35:32 +010065 marshal.loads(b'')
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000066 except EOFError:
67 pass
68 finally:
69 sys.stdin = savestdin
70 fp.close()
71 unlink(TESTFN)
Guido van Rossum3bead091992-01-27 17:00:37 +000072
Antoine Pitrou6b4883d2011-10-12 02:54:14 +020073 self.raise_catch(OSError, "OSError")
74 self.assertRaises(OSError, open, 'this file does not exist', 'r')
Guido van Rossum3bead091992-01-27 17:00:37 +000075
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000076 self.raise_catch(ImportError, "ImportError")
77 self.assertRaises(ImportError, __import__, "undefined_module")
Guido van Rossum3bead091992-01-27 17:00:37 +000078
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000079 self.raise_catch(IndexError, "IndexError")
80 x = []
81 self.assertRaises(IndexError, x.__getitem__, 10)
Guido van Rossum3bead091992-01-27 17:00:37 +000082
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000083 self.raise_catch(KeyError, "KeyError")
84 x = {}
85 self.assertRaises(KeyError, x.__getitem__, 'key')
Guido van Rossum3bead091992-01-27 17:00:37 +000086
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000087 self.raise_catch(KeyboardInterrupt, "KeyboardInterrupt")
Guido van Rossum3bead091992-01-27 17:00:37 +000088
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000089 self.raise_catch(MemoryError, "MemoryError")
Guido van Rossum3bead091992-01-27 17:00:37 +000090
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000091 self.raise_catch(NameError, "NameError")
92 try: x = undefined_variable
93 except NameError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000094
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000095 self.raise_catch(OverflowError, "OverflowError")
96 x = 1
97 for dummy in range(128):
98 x += x # this simply shouldn't blow up
Guido van Rossum3bead091992-01-27 17:00:37 +000099
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000100 self.raise_catch(RuntimeError, "RuntimeError")
Yury Selivanovf488fb42015-07-03 01:04:23 -0400101 self.raise_catch(RecursionError, "RecursionError")
Guido van Rossum3bead091992-01-27 17:00:37 +0000102
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000103 self.raise_catch(SyntaxError, "SyntaxError")
Georg Brandl7cae87c2006-09-06 06:51:57 +0000104 try: exec('/\n')
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000105 except SyntaxError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000106
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000107 self.raise_catch(IndentationError, "IndentationError")
Fred Drake72e48bd2000-09-08 16:32:34 +0000108
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000109 self.raise_catch(TabError, "TabError")
Georg Brandle1b5ac62008-06-04 13:06:58 +0000110 try: compile("try:\n\t1/0\n \t1/0\nfinally:\n pass\n",
111 '<string>', 'exec')
112 except TabError: pass
113 else: self.fail("TabError not raised")
Fred Drake72e48bd2000-09-08 16:32:34 +0000114
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000115 self.raise_catch(SystemError, "SystemError")
Fred Drake72e48bd2000-09-08 16:32:34 +0000116
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000117 self.raise_catch(SystemExit, "SystemExit")
118 self.assertRaises(SystemExit, sys.exit, 0)
Fred Drake85f36392000-07-11 17:53:00 +0000119
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000120 self.raise_catch(TypeError, "TypeError")
121 try: [] + ()
122 except TypeError: pass
Fred Drake85f36392000-07-11 17:53:00 +0000123
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000124 self.raise_catch(ValueError, "ValueError")
Guido van Rossume63bae62007-07-17 00:34:25 +0000125 self.assertRaises(ValueError, chr, 17<<16)
Guido van Rossum3bead091992-01-27 17:00:37 +0000126
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000127 self.raise_catch(ZeroDivisionError, "ZeroDivisionError")
128 try: x = 1/0
129 except ZeroDivisionError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000130
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000131 self.raise_catch(Exception, "Exception")
132 try: x = 1/0
Guido van Rossumb940e112007-01-10 16:19:56 +0000133 except Exception as e: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000134
Yury Selivanovccc897f2015-07-03 01:16:04 -0400135 self.raise_catch(StopAsyncIteration, "StopAsyncIteration")
136
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000137 def testSyntaxErrorMessage(self):
138 # make sure the right exception message is raised for each of
139 # these code fragments
Guido van Rossum3bead091992-01-27 17:00:37 +0000140
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000141 def ckmsg(src, msg):
Pablo Galindoaf8e5f82020-05-17 01:22:00 +0100142 with self.subTest(src=src, msg=msg):
143 try:
144 compile(src, '<fragment>', 'exec')
145 except SyntaxError as e:
146 if e.msg != msg:
147 self.fail("expected %s, got %s" % (msg, e.msg))
148 else:
149 self.fail("failed to get expected SyntaxError")
Guido van Rossum3bead091992-01-27 17:00:37 +0000150
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000151 s = '''if 1:
152 try:
153 continue
154 except:
155 pass'''
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000156
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000157 ckmsg(s, "'continue' not properly in loop")
158 ckmsg("continue\n", "'continue' not properly in loop")
Thomas Wouters303de6a2006-04-20 22:42:37 +0000159
Martijn Pieters772d8092017-08-22 21:16:23 +0100160 def testSyntaxErrorMissingParens(self):
161 def ckmsg(src, msg, exception=SyntaxError):
162 try:
163 compile(src, '<fragment>', 'exec')
164 except exception as e:
165 if e.msg != msg:
166 self.fail("expected %s, got %s" % (msg, e.msg))
167 else:
168 self.fail("failed to get expected SyntaxError")
169
170 s = '''print "old style"'''
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700171 ckmsg(s, "Missing parentheses in call to 'print'. Did you mean print(...)?")
Martijn Pieters772d8092017-08-22 21:16:23 +0100172
173 s = '''print "old style",'''
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700174 ckmsg(s, "Missing parentheses in call to 'print'. Did you mean print(...)?")
Martijn Pieters772d8092017-08-22 21:16:23 +0100175
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100176 s = 'print f(a+b,c)'
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700177 ckmsg(s, "Missing parentheses in call to 'print'. Did you mean print(...)?")
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100178
Martijn Pieters772d8092017-08-22 21:16:23 +0100179 s = '''exec "old style"'''
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700180 ckmsg(s, "Missing parentheses in call to 'exec'. Did you mean exec(...)?")
Martijn Pieters772d8092017-08-22 21:16:23 +0100181
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100182 s = 'exec f(a+b,c)'
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700183 ckmsg(s, "Missing parentheses in call to 'exec'. Did you mean exec(...)?")
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100184
Miss Islington (bot)35035bc2021-07-31 18:31:44 -0700185 # Check that we don't incorrectly identify '(...)' as an expression to the right
186 # of 'print'
187
188 s = 'print (a+b,c) $ 42'
189 ckmsg(s, "invalid syntax")
190
191 s = 'exec (a+b,c) $ 42'
192 ckmsg(s, "invalid syntax")
193
Martijn Pieters772d8092017-08-22 21:16:23 +0100194 # should not apply to subclasses, see issue #31161
195 s = '''if True:\nprint "No indent"'''
Pablo Galindo56c95df2021-04-21 15:28:21 +0100196 ckmsg(s, "expected an indented block after 'if' statement on line 1", IndentationError)
Martijn Pieters772d8092017-08-22 21:16:23 +0100197
198 s = '''if True:\n print()\n\texec "mixed tabs and spaces"'''
199 ckmsg(s, "inconsistent use of tabs and spaces in indentation", TabError)
200
Batuhan Taskaya76c1b4d2020-05-01 16:13:43 +0300201 def check(self, src, lineno, offset, encoding='utf-8'):
Pablo Galindoaf8e5f82020-05-17 01:22:00 +0100202 with self.subTest(source=src, lineno=lineno, offset=offset):
203 with self.assertRaises(SyntaxError) as cm:
204 compile(src, '<fragment>', 'exec')
205 self.assertEqual(cm.exception.lineno, lineno)
206 self.assertEqual(cm.exception.offset, offset)
207 if cm.exception.text is not None:
208 if not isinstance(src, str):
209 src = src.decode(encoding, 'replace')
210 line = src.split('\n')[lineno-1]
211 self.assertIn(line, cm.exception.text)
Serhiy Storchaka65fd0592014-01-21 22:26:52 +0200212
Batuhan Taskaya76c1b4d2020-05-01 16:13:43 +0300213 def testSyntaxErrorOffset(self):
214 check = self.check
Serhiy Storchaka65fd0592014-01-21 22:26:52 +0200215 check('def fact(x):\n\treturn x!\n', 2, 10)
216 check('1 +\n', 1, 4)
217 check('def spam():\n print(1)\n print(2)', 3, 10)
218 check('Python = "Python" +', 1, 20)
219 check('Python = "\u1e54\xfd\u0163\u0125\xf2\xf1" +', 1, 20)
Serhiy Storchaka0cc6b5e2020-02-12 12:17:00 +0200220 check(b'# -*- coding: cp1251 -*-\nPython = "\xcf\xb3\xf2\xee\xed" +',
221 2, 19, encoding='cp1251')
222 check(b'Python = "\xcf\xb3\xf2\xee\xed" +', 1, 18)
Batuhan Taskayaa698d522021-01-21 00:38:47 +0300223 check('x = "a', 1, 5)
Ammar Askar025eb982018-09-24 17:12:49 -0400224 check('lambda x: x = 2', 1, 1)
Lysandros Nikolaou15acc4e2020-10-27 20:54:20 +0200225 check('f{a + b + c}', 1, 2)
Miss Islington (bot)756b7b92021-05-03 18:06:45 -0700226 check('[file for str(file) in []\n])', 2, 2)
Miss Islington (bot)933b5b62021-06-08 04:46:56 -0700227 check('a = « hello » « world »', 1, 5)
Lysandros Nikolaoue5fe5092021-01-14 23:36:30 +0200228 check('[\nfile\nfor str(file)\nin\n[]\n]', 3, 5)
229 check('[file for\n str(file) in []]', 2, 2)
Miss Islington (bot)07dba472021-05-21 08:29:58 -0700230 check("ages = {'Alice'=22, 'Bob'=23}", 1, 16)
Miss Islington (bot)f807a4f2021-06-09 14:45:43 -0700231 check('match ...:\n case {**rest, "key": value}:\n ...', 2, 19)
Ammar Askar025eb982018-09-24 17:12:49 -0400232
233 # Errors thrown by compile.c
234 check('class foo:return 1', 1, 11)
235 check('def f():\n continue', 2, 3)
236 check('def f():\n break', 2, 3)
Mark Shannon8d4b1842021-05-06 13:38:50 +0100237 check('try:\n pass\nexcept:\n pass\nexcept ValueError:\n pass', 3, 1)
Ammar Askar025eb982018-09-24 17:12:49 -0400238
239 # Errors thrown by tokenizer.c
240 check('(0x+1)', 1, 3)
241 check('x = 0xI', 1, 6)
Miss Islington (bot)2a722d42021-07-09 17:47:33 -0700242 check('0010 + 2', 1, 1)
Ammar Askar025eb982018-09-24 17:12:49 -0400243 check('x = 32e-+4', 1, 8)
Miss Islington (bot)2a722d42021-07-09 17:47:33 -0700244 check('x = 0o9', 1, 7)
Serhiy Storchaka0cc6b5e2020-02-12 12:17:00 +0200245 check('\u03b1 = 0xI', 1, 6)
246 check(b'\xce\xb1 = 0xI', 1, 6)
247 check(b'# -*- coding: iso8859-7 -*-\n\xe1 = 0xI', 2, 6,
248 encoding='iso8859-7')
Pablo Galindo11a7f152020-04-21 01:53:04 +0100249 check(b"""if 1:
250 def foo():
251 '''
252
253 def bar():
254 pass
255
256 def baz():
257 '''quux'''
Batuhan Taskayaa698d522021-01-21 00:38:47 +0300258 """, 9, 24)
Pablo Galindobcc30362020-05-14 21:11:48 +0100259 check("pass\npass\npass\n(1+)\npass\npass\npass", 4, 4)
260 check("(1+)", 1, 4)
Miss Islington (bot)1afaaf52021-05-15 10:39:18 -0700261 check("[interesting\nfoo()\n", 1, 1)
Miss Islington (bot)133cddf2021-06-14 10:07:52 -0700262 check(b"\xef\xbb\xbf#coding: utf8\nprint('\xe6\x88\x91')\n", 0, -1)
Ammar Askar025eb982018-09-24 17:12:49 -0400263
264 # Errors thrown by symtable.c
Serhiy Storchakab619b092018-11-27 09:40:29 +0200265 check('x = [(yield i) for i in range(3)]', 1, 5)
Ammar Askar025eb982018-09-24 17:12:49 -0400266 check('def f():\n from _ import *', 1, 1)
267 check('def f(x, x):\n pass', 1, 1)
268 check('def f(x):\n nonlocal x', 2, 3)
269 check('def f(x):\n x = 1\n global x', 3, 3)
270 check('nonlocal x', 1, 1)
271 check('def f():\n global x\n nonlocal x', 2, 3)
272
Ammar Askar025eb982018-09-24 17:12:49 -0400273 # Errors thrown by future.c
274 check('from __future__ import doesnt_exist', 1, 1)
275 check('from __future__ import braces', 1, 1)
276 check('x=1\nfrom __future__ import division', 2, 1)
Pablo Galindoa77aac42021-04-23 14:27:05 +0100277 check('foo(1=2)', 1, 5)
Lysandros Nikolaoua15c9b32020-05-13 22:36:27 +0300278 check('def f():\n x, y: int', 2, 3)
279 check('[*x for x in xs]', 1, 2)
280 check('foo(x for x in range(10), 100)', 1, 5)
Lysandros Nikolaou01ece632020-06-19 02:10:43 +0300281 check('for 1 in []: pass', 1, 5)
Pablo Galindoa77aac42021-04-23 14:27:05 +0100282 check('(yield i) = 2', 1, 2)
283 check('def f(*):\n pass', 1, 7)
Serhiy Storchaka65fd0592014-01-21 22:26:52 +0200284
Benjamin Peterson17e0bbc2010-06-28 15:39:55 +0000285 @cpython_only
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000286 def testSettingException(self):
287 # test that setting an exception at the C level works even if the
288 # exception object can't be constructed.
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000289
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000290 class BadException(Exception):
291 def __init__(self_):
Collin Winter828f04a2007-08-31 00:04:24 +0000292 raise RuntimeError("can't instantiate BadException")
Finn Bockaa3dc452001-12-08 10:15:48 +0000293
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000294 class InvalidException:
295 pass
Thomas Wouters303de6a2006-04-20 22:42:37 +0000296
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000297 def test_capi1():
298 import _testcapi
299 try:
300 _testcapi.raise_exception(BadException, 1)
Guido van Rossumb940e112007-01-10 16:19:56 +0000301 except TypeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000302 exc, err, tb = sys.exc_info()
303 co = tb.tb_frame.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000304 self.assertEqual(co.co_name, "test_capi1")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000305 self.assertTrue(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000306 else:
307 self.fail("Expected exception")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000308
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000309 def test_capi2():
310 import _testcapi
311 try:
312 _testcapi.raise_exception(BadException, 0)
Guido van Rossumb940e112007-01-10 16:19:56 +0000313 except RuntimeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000314 exc, err, tb = sys.exc_info()
315 co = tb.tb_frame.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000316 self.assertEqual(co.co_name, "__init__")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000317 self.assertTrue(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000318 co2 = tb.tb_frame.f_back.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000319 self.assertEqual(co2.co_name, "test_capi2")
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000320 else:
321 self.fail("Expected exception")
Thomas Wouters477c8d52006-05-27 19:21:47 +0000322
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000323 def test_capi3():
324 import _testcapi
325 self.assertRaises(SystemError, _testcapi.raise_exception,
326 InvalidException, 1)
327
328 if not sys.platform.startswith('java'):
329 test_capi1()
330 test_capi2()
331 test_capi3()
332
Thomas Wouters89f507f2006-12-13 04:49:30 +0000333 def test_WindowsError(self):
334 try:
335 WindowsError
336 except NameError:
337 pass
338 else:
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200339 self.assertIs(WindowsError, OSError)
340 self.assertEqual(str(OSError(1001)), "1001")
341 self.assertEqual(str(OSError(1001, "message")),
342 "[Errno 1001] message")
343 # POSIX errno (9 aka EBADF) is untranslated
344 w = OSError(9, 'foo', 'bar')
345 self.assertEqual(w.errno, 9)
346 self.assertEqual(w.winerror, None)
347 self.assertEqual(str(w), "[Errno 9] foo: 'bar'")
348 # ERROR_PATH_NOT_FOUND (win error 3) becomes ENOENT (2)
349 w = OSError(0, 'foo', 'bar', 3)
350 self.assertEqual(w.errno, 2)
351 self.assertEqual(w.winerror, 3)
352 self.assertEqual(w.strerror, 'foo')
353 self.assertEqual(w.filename, 'bar')
Martin Panter5487c132015-10-26 11:05:42 +0000354 self.assertEqual(w.filename2, None)
Richard Oudkerk30147712012-08-28 19:33:26 +0100355 self.assertEqual(str(w), "[WinError 3] foo: 'bar'")
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200356 # Unknown win error becomes EINVAL (22)
357 w = OSError(0, 'foo', None, 1001)
358 self.assertEqual(w.errno, 22)
359 self.assertEqual(w.winerror, 1001)
360 self.assertEqual(w.strerror, 'foo')
361 self.assertEqual(w.filename, None)
Martin Panter5487c132015-10-26 11:05:42 +0000362 self.assertEqual(w.filename2, None)
Richard Oudkerk30147712012-08-28 19:33:26 +0100363 self.assertEqual(str(w), "[WinError 1001] foo")
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200364 # Non-numeric "errno"
365 w = OSError('bar', 'foo')
366 self.assertEqual(w.errno, 'bar')
367 self.assertEqual(w.winerror, None)
368 self.assertEqual(w.strerror, 'foo')
369 self.assertEqual(w.filename, None)
Martin Panter5487c132015-10-26 11:05:42 +0000370 self.assertEqual(w.filename2, None)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000371
Victor Stinnerd223fa62015-04-02 14:17:38 +0200372 @unittest.skipUnless(sys.platform == 'win32',
373 'test specific to Windows')
Serhiy Storchakaf41f8f92015-04-02 09:47:27 +0300374 def test_windows_message(self):
375 """Should fill in unknown error code in Windows error message"""
Victor Stinnerd223fa62015-04-02 14:17:38 +0200376 ctypes = import_module('ctypes')
377 # this error code has no message, Python formats it as hexadecimal
378 code = 3765269347
379 with self.assertRaisesRegex(OSError, 'Windows Error 0x%x' % code):
380 ctypes.pythonapi.PyErr_SetFromWindowsErr(code)
Serhiy Storchakaf41f8f92015-04-02 09:47:27 +0300381
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000382 def testAttributes(self):
383 # test that exception attributes are happy
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000384
385 exceptionList = [
Guido van Rossumebe3e162007-05-17 18:20:34 +0000386 (BaseException, (), {'args' : ()}),
387 (BaseException, (1, ), {'args' : (1,)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000388 (BaseException, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000389 {'args' : ('foo',)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000390 (BaseException, ('foo', 1),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000391 {'args' : ('foo', 1)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000392 (SystemExit, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000393 {'args' : ('foo',), 'code' : 'foo'}),
Andrew Svetlovf7a17b42012-12-25 16:47:37 +0200394 (OSError, ('foo',),
Martin Panter5487c132015-10-26 11:05:42 +0000395 {'args' : ('foo',), 'filename' : None, 'filename2' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000396 'errno' : None, 'strerror' : None}),
Andrew Svetlovf7a17b42012-12-25 16:47:37 +0200397 (OSError, ('foo', 'bar'),
Martin Panter5487c132015-10-26 11:05:42 +0000398 {'args' : ('foo', 'bar'),
399 'filename' : None, 'filename2' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000400 'errno' : 'foo', 'strerror' : 'bar'}),
Andrew Svetlovf7a17b42012-12-25 16:47:37 +0200401 (OSError, ('foo', 'bar', 'baz'),
Martin Panter5487c132015-10-26 11:05:42 +0000402 {'args' : ('foo', 'bar'),
403 'filename' : 'baz', 'filename2' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000404 'errno' : 'foo', 'strerror' : 'bar'}),
Larry Hastingsb0827312014-02-09 22:05:19 -0800405 (OSError, ('foo', 'bar', 'baz', None, 'quux'),
406 {'args' : ('foo', 'bar'), 'filename' : 'baz', 'filename2': 'quux'}),
Andrew Svetlov3438fa42012-12-17 23:35:18 +0200407 (OSError, ('errnoStr', 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000408 {'args' : ('errnoStr', 'strErrorStr'),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000409 'strerror' : 'strErrorStr', 'errno' : 'errnoStr',
410 'filename' : 'filenameStr'}),
Andrew Svetlov3438fa42012-12-17 23:35:18 +0200411 (OSError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000412 {'args' : (1, 'strErrorStr'), 'errno' : 1,
Martin Panter5487c132015-10-26 11:05:42 +0000413 'strerror' : 'strErrorStr',
414 'filename' : 'filenameStr', 'filename2' : None}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000415 (SyntaxError, (), {'msg' : None, 'text' : None,
Guido van Rossumd8faa362007-04-27 19:54:29 +0000416 'filename' : None, 'lineno' : None, 'offset' : None,
Pablo Galindoa77aac42021-04-23 14:27:05 +0100417 'end_offset': None, 'print_file_and_line' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000418 (SyntaxError, ('msgStr',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000419 {'args' : ('msgStr',), 'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000420 'print_file_and_line' : None, 'msg' : 'msgStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100421 'filename' : None, 'lineno' : None, 'offset' : None,
422 'end_offset': None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000423 (SyntaxError, ('msgStr', ('filenameStr', 'linenoStr', 'offsetStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100424 'textStr', 'endLinenoStr', 'endOffsetStr')),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000425 {'offset' : 'offsetStr', 'text' : 'textStr',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000426 'args' : ('msgStr', ('filenameStr', 'linenoStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100427 'offsetStr', 'textStr',
428 'endLinenoStr', 'endOffsetStr')),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000429 'print_file_and_line' : None, 'msg' : 'msgStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100430 'filename' : 'filenameStr', 'lineno' : 'linenoStr',
431 'end_lineno': 'endLinenoStr', 'end_offset': 'endOffsetStr'}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000432 (SyntaxError, ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100433 'textStr', 'endLinenoStr', 'endOffsetStr',
434 'print_file_and_lineStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000435 {'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000436 'args' : ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100437 'textStr', 'endLinenoStr', 'endOffsetStr',
438 'print_file_and_lineStr'),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000439 'print_file_and_line' : None, 'msg' : 'msgStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100440 'filename' : None, 'lineno' : None, 'offset' : None,
441 'end_lineno': None, 'end_offset': None}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000442 (UnicodeError, (), {'args' : (),}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000443 (UnicodeEncodeError, ('ascii', 'a', 0, 1,
444 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000445 {'args' : ('ascii', 'a', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000446 'ordinal not in range'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000447 'encoding' : 'ascii', 'object' : 'a',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000448 'start' : 0, 'reason' : 'ordinal not in range'}),
Guido van Rossum254348e2007-11-21 19:29:53 +0000449 (UnicodeDecodeError, ('ascii', bytearray(b'\xff'), 0, 1,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000450 'ordinal not in range'),
Guido van Rossum254348e2007-11-21 19:29:53 +0000451 {'args' : ('ascii', bytearray(b'\xff'), 0, 1,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000452 'ordinal not in range'),
453 'encoding' : 'ascii', 'object' : b'\xff',
454 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000455 (UnicodeDecodeError, ('ascii', b'\xff', 0, 1,
456 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000457 {'args' : ('ascii', b'\xff', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000458 'ordinal not in range'),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000459 'encoding' : 'ascii', 'object' : b'\xff',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000460 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000461 (UnicodeTranslateError, ("\u3042", 0, 1, "ouch"),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000462 {'args' : ('\u3042', 0, 1, 'ouch'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000463 'object' : '\u3042', 'reason' : 'ouch',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000464 'start' : 0, 'end' : 1}),
Richard Oudkerk5562d9d2012-07-28 17:45:28 +0100465 (NaiveException, ('foo',),
466 {'args': ('foo',), 'x': 'foo'}),
467 (SlottedNaiveException, ('foo',),
468 {'args': ('foo',), 'x': 'foo'}),
Thomas Wouters477c8d52006-05-27 19:21:47 +0000469 ]
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000470 try:
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200471 # More tests are in test_WindowsError
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000472 exceptionList.append(
473 (WindowsError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000474 {'args' : (1, 'strErrorStr'),
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200475 'strerror' : 'strErrorStr', 'winerror' : None,
Martin Panter5487c132015-10-26 11:05:42 +0000476 'errno' : 1,
477 'filename' : 'filenameStr', 'filename2' : None})
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000478 )
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000479 except NameError:
480 pass
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000481
Guido van Rossumebe3e162007-05-17 18:20:34 +0000482 for exc, args, expected in exceptionList:
483 try:
484 e = exc(*args)
485 except:
Guido van Rossum98297ee2007-11-06 21:34:58 +0000486 print("\nexc=%r, args=%r" % (exc, args), file=sys.stderr)
Pablo Galindoa77aac42021-04-23 14:27:05 +0100487 # raise
Guido van Rossumebe3e162007-05-17 18:20:34 +0000488 else:
489 # Verify module name
Richard Oudkerk5562d9d2012-07-28 17:45:28 +0100490 if not type(e).__name__.endswith('NaiveException'):
491 self.assertEqual(type(e).__module__, 'builtins')
Guido van Rossumebe3e162007-05-17 18:20:34 +0000492 # Verify no ref leaks in Exc_str()
493 s = str(e)
494 for checkArgName in expected:
495 value = getattr(e, checkArgName)
Ezio Melottib3aedd42010-11-20 19:04:17 +0000496 self.assertEqual(repr(value),
497 repr(expected[checkArgName]),
498 '%r.%s == %r, expected %r' % (
499 e, checkArgName,
500 value, expected[checkArgName]))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000501
Guido van Rossumebe3e162007-05-17 18:20:34 +0000502 # test for pickling support
Guido van Rossum99603b02007-07-20 00:22:32 +0000503 for p in [pickle]:
Guido van Rossumebe3e162007-05-17 18:20:34 +0000504 for protocol in range(p.HIGHEST_PROTOCOL + 1):
505 s = p.dumps(e, protocol)
506 new = p.loads(s)
507 for checkArgName in expected:
508 got = repr(getattr(new, checkArgName))
509 want = repr(expected[checkArgName])
Ezio Melottib3aedd42010-11-20 19:04:17 +0000510 self.assertEqual(got, want,
511 'pickled "%r", attribute "%s' %
512 (e, checkArgName))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000513
Collin Winter828f04a2007-08-31 00:04:24 +0000514 def testWithTraceback(self):
515 try:
516 raise IndexError(4)
517 except:
518 tb = sys.exc_info()[2]
519
520 e = BaseException().with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000521 self.assertIsInstance(e, BaseException)
Collin Winter828f04a2007-08-31 00:04:24 +0000522 self.assertEqual(e.__traceback__, tb)
523
524 e = IndexError(5).with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000525 self.assertIsInstance(e, IndexError)
Collin Winter828f04a2007-08-31 00:04:24 +0000526 self.assertEqual(e.__traceback__, tb)
527
528 class MyException(Exception):
529 pass
530
531 e = MyException().with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000532 self.assertIsInstance(e, MyException)
Collin Winter828f04a2007-08-31 00:04:24 +0000533 self.assertEqual(e.__traceback__, tb)
534
535 def testInvalidTraceback(self):
536 try:
537 Exception().__traceback__ = 5
538 except TypeError as e:
Benjamin Peterson577473f2010-01-19 00:09:57 +0000539 self.assertIn("__traceback__ must be a traceback", str(e))
Collin Winter828f04a2007-08-31 00:04:24 +0000540 else:
541 self.fail("No exception raised")
542
Georg Brandlab6f2f62009-03-31 04:16:10 +0000543 def testInvalidAttrs(self):
544 self.assertRaises(TypeError, setattr, Exception(), '__cause__', 1)
545 self.assertRaises(TypeError, delattr, Exception(), '__cause__')
546 self.assertRaises(TypeError, setattr, Exception(), '__context__', 1)
547 self.assertRaises(TypeError, delattr, Exception(), '__context__')
548
Collin Winter828f04a2007-08-31 00:04:24 +0000549 def testNoneClearsTracebackAttr(self):
550 try:
551 raise IndexError(4)
552 except:
553 tb = sys.exc_info()[2]
554
555 e = Exception()
556 e.__traceback__ = tb
557 e.__traceback__ = None
558 self.assertEqual(e.__traceback__, None)
559
560 def testChainingAttrs(self):
561 e = Exception()
Nick Coghlanab7bf212012-02-26 17:49:52 +1000562 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700563 self.assertIsNone(e.__cause__)
Collin Winter828f04a2007-08-31 00:04:24 +0000564
565 e = TypeError()
Nick Coghlanab7bf212012-02-26 17:49:52 +1000566 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700567 self.assertIsNone(e.__cause__)
Collin Winter828f04a2007-08-31 00:04:24 +0000568
Andrew Svetlov3438fa42012-12-17 23:35:18 +0200569 class MyException(OSError):
Collin Winter828f04a2007-08-31 00:04:24 +0000570 pass
571
572 e = MyException()
Nick Coghlanab7bf212012-02-26 17:49:52 +1000573 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700574 self.assertIsNone(e.__cause__)
Nick Coghlanab7bf212012-02-26 17:49:52 +1000575
576 def testChainingDescriptors(self):
577 try:
578 raise Exception()
579 except Exception as exc:
580 e = exc
581
582 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700583 self.assertIsNone(e.__cause__)
584 self.assertFalse(e.__suppress_context__)
Nick Coghlanab7bf212012-02-26 17:49:52 +1000585
586 e.__context__ = NameError()
587 e.__cause__ = None
588 self.assertIsInstance(e.__context__, NameError)
589 self.assertIsNone(e.__cause__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700590 self.assertTrue(e.__suppress_context__)
591 e.__suppress_context__ = False
592 self.assertFalse(e.__suppress_context__)
Collin Winter828f04a2007-08-31 00:04:24 +0000593
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000594 def testKeywordArgs(self):
595 # test that builtin exception don't take keyword args,
596 # but user-defined subclasses can if they want
597 self.assertRaises(TypeError, BaseException, a=1)
598
599 class DerivedException(BaseException):
600 def __init__(self, fancy_arg):
601 BaseException.__init__(self)
602 self.fancy_arg = fancy_arg
603
604 x = DerivedException(fancy_arg=42)
Ezio Melottib3aedd42010-11-20 19:04:17 +0000605 self.assertEqual(x.fancy_arg, 42)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000606
Brett Cannon31f59292011-02-21 19:29:56 +0000607 @no_tracing
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000608 def testInfiniteRecursion(self):
609 def f():
610 return f()
Yury Selivanovf488fb42015-07-03 01:04:23 -0400611 self.assertRaises(RecursionError, f)
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000612
613 def g():
614 try:
615 return g()
616 except ValueError:
617 return -1
Yury Selivanovf488fb42015-07-03 01:04:23 -0400618 self.assertRaises(RecursionError, g)
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000619
Ezio Melotti2f5a78c2009-12-24 22:54:06 +0000620 def test_str(self):
621 # Make sure both instances and classes have a str representation.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000622 self.assertTrue(str(Exception))
623 self.assertTrue(str(Exception('a')))
Ezio Melotti2f5a78c2009-12-24 22:54:06 +0000624 self.assertTrue(str(Exception('a', 'b')))
Thomas Wouters89f507f2006-12-13 04:49:30 +0000625
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000626 def testExceptionCleanupNames(self):
627 # Make sure the local variable bound to the exception instance by
628 # an "except" statement is only visible inside the except block.
Guido van Rossumb940e112007-01-10 16:19:56 +0000629 try:
630 raise Exception()
631 except Exception as e:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000632 self.assertTrue(e)
Guido van Rossumb940e112007-01-10 16:19:56 +0000633 del e
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000634 self.assertNotIn('e', locals())
Guido van Rossumb940e112007-01-10 16:19:56 +0000635
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000636 def testExceptionCleanupState(self):
637 # Make sure exception state is cleaned up as soon as the except
638 # block is left. See #2507
639
640 class MyException(Exception):
641 def __init__(self, obj):
642 self.obj = obj
643 class MyObj:
644 pass
645
646 def inner_raising_func():
647 # Create some references in exception value and traceback
648 local_ref = obj
649 raise MyException(obj)
650
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000651 # Qualified "except" with "as"
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000652 obj = MyObj()
653 wr = weakref.ref(obj)
654 try:
655 inner_raising_func()
656 except MyException as e:
657 pass
658 obj = None
659 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300660 self.assertIsNone(obj)
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000661
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000662 # Qualified "except" without "as"
663 obj = MyObj()
664 wr = weakref.ref(obj)
665 try:
666 inner_raising_func()
667 except MyException:
668 pass
669 obj = None
670 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300671 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000672
673 # Bare "except"
674 obj = MyObj()
675 wr = weakref.ref(obj)
676 try:
677 inner_raising_func()
678 except:
679 pass
680 obj = None
681 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300682 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000683
684 # "except" with premature block leave
685 obj = MyObj()
686 wr = weakref.ref(obj)
687 for i in [0]:
688 try:
689 inner_raising_func()
690 except:
691 break
692 obj = None
693 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300694 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000695
696 # "except" block raising another exception
697 obj = MyObj()
698 wr = weakref.ref(obj)
699 try:
700 try:
701 inner_raising_func()
702 except:
703 raise KeyError
Guido van Rossumb4fb6e42008-06-14 20:20:24 +0000704 except KeyError as e:
705 # We want to test that the except block above got rid of
706 # the exception raised in inner_raising_func(), but it
707 # also ends up in the __context__ of the KeyError, so we
708 # must clear the latter manually for our test to succeed.
709 e.__context__ = None
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000710 obj = None
711 obj = wr()
Philip Jenveyb37ac8e2012-11-14 14:37:24 -0800712 # guarantee no ref cycles on CPython (don't gc_collect)
713 if check_impl_detail(cpython=False):
714 gc_collect()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300715 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000716
717 # Some complicated construct
718 obj = MyObj()
719 wr = weakref.ref(obj)
720 try:
721 inner_raising_func()
722 except MyException:
723 try:
724 try:
725 raise
726 finally:
727 raise
728 except MyException:
729 pass
730 obj = None
Philip Jenveyb37ac8e2012-11-14 14:37:24 -0800731 if check_impl_detail(cpython=False):
732 gc_collect()
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000733 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300734 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000735
736 # Inside an exception-silencing "with" block
737 class Context:
738 def __enter__(self):
739 return self
740 def __exit__ (self, exc_type, exc_value, exc_tb):
741 return True
742 obj = MyObj()
743 wr = weakref.ref(obj)
744 with Context():
745 inner_raising_func()
746 obj = None
Philip Jenveyb37ac8e2012-11-14 14:37:24 -0800747 if check_impl_detail(cpython=False):
748 gc_collect()
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000749 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300750 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000751
Amaury Forgeot d'Arcba117ef2010-09-10 21:39:53 +0000752 def test_exception_target_in_nested_scope(self):
753 # issue 4617: This used to raise a SyntaxError
754 # "can not delete variable 'e' referenced in nested scope"
755 def print_error():
756 e
757 try:
758 something
759 except Exception as e:
760 print_error()
761 # implicit "del e" here
762
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000763 def test_generator_leaking(self):
764 # Test that generator exception state doesn't leak into the calling
765 # frame
766 def yield_raise():
767 try:
768 raise KeyError("caught")
769 except KeyError:
770 yield sys.exc_info()[0]
771 yield sys.exc_info()[0]
772 yield sys.exc_info()[0]
773 g = yield_raise()
Ezio Melottib3aedd42010-11-20 19:04:17 +0000774 self.assertEqual(next(g), KeyError)
775 self.assertEqual(sys.exc_info()[0], None)
776 self.assertEqual(next(g), KeyError)
777 self.assertEqual(sys.exc_info()[0], None)
778 self.assertEqual(next(g), None)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000779
780 # Same test, but inside an exception handler
781 try:
782 raise TypeError("foo")
783 except TypeError:
784 g = yield_raise()
Ezio Melottib3aedd42010-11-20 19:04:17 +0000785 self.assertEqual(next(g), KeyError)
786 self.assertEqual(sys.exc_info()[0], TypeError)
787 self.assertEqual(next(g), KeyError)
788 self.assertEqual(sys.exc_info()[0], TypeError)
789 self.assertEqual(next(g), TypeError)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000790 del g
Ezio Melottib3aedd42010-11-20 19:04:17 +0000791 self.assertEqual(sys.exc_info()[0], TypeError)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000792
Benjamin Peterson83195c32011-07-03 13:44:00 -0500793 def test_generator_leaking2(self):
794 # See issue 12475.
795 def g():
796 yield
797 try:
798 raise RuntimeError
799 except RuntimeError:
800 it = g()
801 next(it)
802 try:
803 next(it)
804 except StopIteration:
805 pass
806 self.assertEqual(sys.exc_info(), (None, None, None))
807
Antoine Pitrouc4c19b32015-03-18 22:22:46 +0100808 def test_generator_leaking3(self):
809 # See issue #23353. When gen.throw() is called, the caller's
810 # exception state should be save and restored.
811 def g():
812 try:
813 yield
814 except ZeroDivisionError:
815 yield sys.exc_info()[1]
816 it = g()
817 next(it)
818 try:
819 1/0
820 except ZeroDivisionError as e:
821 self.assertIs(sys.exc_info()[1], e)
822 gen_exc = it.throw(e)
823 self.assertIs(sys.exc_info()[1], e)
824 self.assertIs(gen_exc, e)
825 self.assertEqual(sys.exc_info(), (None, None, None))
826
827 def test_generator_leaking4(self):
828 # See issue #23353. When an exception is raised by a generator,
829 # the caller's exception state should still be restored.
830 def g():
831 try:
832 1/0
833 except ZeroDivisionError:
834 yield sys.exc_info()[0]
835 raise
836 it = g()
837 try:
838 raise TypeError
839 except TypeError:
840 # The caller's exception state (TypeError) is temporarily
841 # saved in the generator.
842 tp = next(it)
843 self.assertIs(tp, ZeroDivisionError)
844 try:
845 next(it)
846 # We can't check it immediately, but while next() returns
847 # with an exception, it shouldn't have restored the old
848 # exception state (TypeError).
849 except ZeroDivisionError as e:
850 self.assertIs(sys.exc_info()[1], e)
851 # We used to find TypeError here.
852 self.assertEqual(sys.exc_info(), (None, None, None))
853
Benjamin Petersonac913412011-07-03 16:25:11 -0500854 def test_generator_doesnt_retain_old_exc(self):
855 def g():
856 self.assertIsInstance(sys.exc_info()[1], RuntimeError)
857 yield
858 self.assertEqual(sys.exc_info(), (None, None, None))
859 it = g()
860 try:
861 raise RuntimeError
862 except RuntimeError:
863 next(it)
864 self.assertRaises(StopIteration, next, it)
865
Benjamin Petersonae5f2f42010-03-07 17:10:51 +0000866 def test_generator_finalizing_and_exc_info(self):
867 # See #7173
868 def simple_gen():
869 yield 1
870 def run_gen():
871 gen = simple_gen()
872 try:
873 raise RuntimeError
874 except RuntimeError:
875 return next(gen)
876 run_gen()
877 gc_collect()
878 self.assertEqual(sys.exc_info(), (None, None, None))
879
Antoine Pitroua370fcf2011-08-20 14:15:03 +0200880 def _check_generator_cleanup_exc_state(self, testfunc):
881 # Issue #12791: exception state is cleaned up as soon as a generator
882 # is closed (reference cycles are broken).
883 class MyException(Exception):
884 def __init__(self, obj):
885 self.obj = obj
886 class MyObj:
887 pass
888
889 def raising_gen():
890 try:
891 raise MyException(obj)
892 except MyException:
893 yield
894
895 obj = MyObj()
896 wr = weakref.ref(obj)
897 g = raising_gen()
898 next(g)
899 testfunc(g)
900 g = obj = None
901 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300902 self.assertIsNone(obj)
Antoine Pitroua370fcf2011-08-20 14:15:03 +0200903
904 def test_generator_throw_cleanup_exc_state(self):
905 def do_throw(g):
906 try:
907 g.throw(RuntimeError())
908 except RuntimeError:
909 pass
910 self._check_generator_cleanup_exc_state(do_throw)
911
912 def test_generator_close_cleanup_exc_state(self):
913 def do_close(g):
914 g.close()
915 self._check_generator_cleanup_exc_state(do_close)
916
917 def test_generator_del_cleanup_exc_state(self):
918 def do_del(g):
919 g = None
920 self._check_generator_cleanup_exc_state(do_del)
921
922 def test_generator_next_cleanup_exc_state(self):
923 def do_next(g):
924 try:
925 next(g)
926 except StopIteration:
927 pass
928 else:
929 self.fail("should have raised StopIteration")
930 self._check_generator_cleanup_exc_state(do_next)
931
932 def test_generator_send_cleanup_exc_state(self):
933 def do_send(g):
934 try:
935 g.send(None)
936 except StopIteration:
937 pass
938 else:
939 self.fail("should have raised StopIteration")
940 self._check_generator_cleanup_exc_state(do_send)
941
Benjamin Peterson27d63672008-06-15 20:09:12 +0000942 def test_3114(self):
943 # Bug #3114: in its destructor, MyObject retrieves a pointer to
944 # obsolete and/or deallocated objects.
Benjamin Peterson979f3112008-06-15 00:05:44 +0000945 class MyObject:
946 def __del__(self):
947 nonlocal e
948 e = sys.exc_info()
949 e = ()
950 try:
951 raise Exception(MyObject())
952 except:
953 pass
Ezio Melottib3aedd42010-11-20 19:04:17 +0000954 self.assertEqual(e, (None, None, None))
Benjamin Peterson979f3112008-06-15 00:05:44 +0000955
Miss Islington (bot)d86bbe32021-08-10 06:47:23 -0700956 def test_raise_does_not_create_context_chain_cycle(self):
957 class A(Exception):
958 pass
959 class B(Exception):
960 pass
961 class C(Exception):
962 pass
963
964 # Create a context chain:
965 # C -> B -> A
966 # Then raise A in context of C.
967 try:
968 try:
969 raise A
970 except A as a_:
971 a = a_
972 try:
973 raise B
974 except B as b_:
975 b = b_
976 try:
977 raise C
978 except C as c_:
979 c = c_
980 self.assertIsInstance(a, A)
981 self.assertIsInstance(b, B)
982 self.assertIsInstance(c, C)
983 self.assertIsNone(a.__context__)
984 self.assertIs(b.__context__, a)
985 self.assertIs(c.__context__, b)
986 raise a
987 except A as e:
988 exc = e
989
990 # Expect A -> C -> B, without cycle
991 self.assertIs(exc, a)
992 self.assertIs(a.__context__, c)
993 self.assertIs(c.__context__, b)
994 self.assertIsNone(b.__context__)
995
996 def test_no_hang_on_context_chain_cycle1(self):
997 # See issue 25782. Cycle in context chain.
998
999 def cycle():
1000 try:
1001 raise ValueError(1)
1002 except ValueError as ex:
1003 ex.__context__ = ex
1004 raise TypeError(2)
1005
1006 try:
1007 cycle()
1008 except Exception as e:
1009 exc = e
1010
1011 self.assertIsInstance(exc, TypeError)
1012 self.assertIsInstance(exc.__context__, ValueError)
1013 self.assertIs(exc.__context__.__context__, exc.__context__)
1014
1015 def test_no_hang_on_context_chain_cycle2(self):
1016 # See issue 25782. Cycle at head of context chain.
1017
1018 class A(Exception):
1019 pass
1020 class B(Exception):
1021 pass
1022 class C(Exception):
1023 pass
1024
1025 # Context cycle:
1026 # +-----------+
1027 # V |
1028 # C --> B --> A
1029 with self.assertRaises(C) as cm:
1030 try:
1031 raise A()
1032 except A as _a:
1033 a = _a
1034 try:
1035 raise B()
1036 except B as _b:
1037 b = _b
1038 try:
1039 raise C()
1040 except C as _c:
1041 c = _c
1042 a.__context__ = c
1043 raise c
1044
1045 self.assertIs(cm.exception, c)
1046 # Verify the expected context chain cycle
1047 self.assertIs(c.__context__, b)
1048 self.assertIs(b.__context__, a)
1049 self.assertIs(a.__context__, c)
1050
1051 def test_no_hang_on_context_chain_cycle3(self):
1052 # See issue 25782. Longer context chain with cycle.
1053
1054 class A(Exception):
1055 pass
1056 class B(Exception):
1057 pass
1058 class C(Exception):
1059 pass
1060 class D(Exception):
1061 pass
1062 class E(Exception):
1063 pass
1064
1065 # Context cycle:
1066 # +-----------+
1067 # V |
1068 # E --> D --> C --> B --> A
1069 with self.assertRaises(E) as cm:
1070 try:
1071 raise A()
1072 except A as _a:
1073 a = _a
1074 try:
1075 raise B()
1076 except B as _b:
1077 b = _b
1078 try:
1079 raise C()
1080 except C as _c:
1081 c = _c
1082 a.__context__ = c
1083 try:
1084 raise D()
1085 except D as _d:
1086 d = _d
1087 e = E()
1088 raise e
1089
1090 self.assertIs(cm.exception, e)
1091 # Verify the expected context chain cycle
1092 self.assertIs(e.__context__, d)
1093 self.assertIs(d.__context__, c)
1094 self.assertIs(c.__context__, b)
1095 self.assertIs(b.__context__, a)
1096 self.assertIs(a.__context__, c)
1097
Benjamin Peterson24dfb052014-04-02 12:05:35 -04001098 def test_unicode_change_attributes(self):
Eric Smith0facd772010-02-24 15:42:29 +00001099 # See issue 7309. This was a crasher.
1100
1101 u = UnicodeEncodeError('baz', 'xxxxx', 1, 5, 'foo')
1102 self.assertEqual(str(u), "'baz' codec can't encode characters in position 1-4: foo")
1103 u.end = 2
1104 self.assertEqual(str(u), "'baz' codec can't encode character '\\x78' in position 1: foo")
1105 u.end = 5
1106 u.reason = 0x345345345345345345
1107 self.assertEqual(str(u), "'baz' codec can't encode characters in position 1-4: 965230951443685724997")
1108 u.encoding = 4000
1109 self.assertEqual(str(u), "'4000' codec can't encode characters in position 1-4: 965230951443685724997")
1110 u.start = 1000
1111 self.assertEqual(str(u), "'4000' codec can't encode characters in position 1000-4: 965230951443685724997")
1112
1113 u = UnicodeDecodeError('baz', b'xxxxx', 1, 5, 'foo')
1114 self.assertEqual(str(u), "'baz' codec can't decode bytes in position 1-4: foo")
1115 u.end = 2
1116 self.assertEqual(str(u), "'baz' codec can't decode byte 0x78 in position 1: foo")
1117 u.end = 5
1118 u.reason = 0x345345345345345345
1119 self.assertEqual(str(u), "'baz' codec can't decode bytes in position 1-4: 965230951443685724997")
1120 u.encoding = 4000
1121 self.assertEqual(str(u), "'4000' codec can't decode bytes in position 1-4: 965230951443685724997")
1122 u.start = 1000
1123 self.assertEqual(str(u), "'4000' codec can't decode bytes in position 1000-4: 965230951443685724997")
1124
1125 u = UnicodeTranslateError('xxxx', 1, 5, 'foo')
1126 self.assertEqual(str(u), "can't translate characters in position 1-4: foo")
1127 u.end = 2
1128 self.assertEqual(str(u), "can't translate character '\\x78' in position 1: foo")
1129 u.end = 5
1130 u.reason = 0x345345345345345345
1131 self.assertEqual(str(u), "can't translate characters in position 1-4: 965230951443685724997")
1132 u.start = 1000
1133 self.assertEqual(str(u), "can't translate characters in position 1000-4: 965230951443685724997")
Benjamin Peterson6e7740c2008-08-20 23:23:34 +00001134
Benjamin Peterson9b09ba12014-04-02 12:15:06 -04001135 def test_unicode_errors_no_object(self):
1136 # See issue #21134.
Benjamin Petersone3311212014-04-02 15:51:38 -04001137 klasses = UnicodeEncodeError, UnicodeDecodeError, UnicodeTranslateError
Benjamin Peterson9b09ba12014-04-02 12:15:06 -04001138 for klass in klasses:
1139 self.assertEqual(str(klass.__new__(klass)), "")
1140
Brett Cannon31f59292011-02-21 19:29:56 +00001141 @no_tracing
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001142 def test_badisinstance(self):
1143 # Bug #2542: if issubclass(e, MyException) raises an exception,
1144 # it should be ignored
1145 class Meta(type):
1146 def __subclasscheck__(cls, subclass):
1147 raise ValueError()
1148 class MyException(Exception, metaclass=Meta):
1149 pass
1150
Martin Panter3263f682016-02-28 03:16:11 +00001151 with captured_stderr() as stderr:
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001152 try:
1153 raise KeyError()
1154 except MyException as e:
1155 self.fail("exception should not be a MyException")
1156 except KeyError:
1157 pass
1158 except:
Antoine Pitrouec569b72008-08-26 22:40:48 +00001159 self.fail("Should have raised KeyError")
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001160 else:
Antoine Pitrouec569b72008-08-26 22:40:48 +00001161 self.fail("Should have raised KeyError")
1162
1163 def g():
1164 try:
1165 return g()
Yury Selivanovf488fb42015-07-03 01:04:23 -04001166 except RecursionError:
Antoine Pitrouec569b72008-08-26 22:40:48 +00001167 return sys.exc_info()
1168 e, v, tb = g()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +03001169 self.assertIsInstance(v, RecursionError, type(v))
Benjamin Peterson577473f2010-01-19 00:09:57 +00001170 self.assertIn("maximum recursion depth exceeded", str(v))
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001171
xdegaye56d1f5c2017-10-26 15:09:06 +02001172 @cpython_only
1173 def test_recursion_normalizing_exception(self):
1174 # Issue #22898.
1175 # Test that a RecursionError is raised when tstate->recursion_depth is
1176 # equal to recursion_limit in PyErr_NormalizeException() and check
1177 # that a ResourceWarning is printed.
1178 # Prior to #22898, the recursivity of PyErr_NormalizeException() was
luzpaza5293b42017-11-05 07:37:50 -06001179 # controlled by tstate->recursion_depth and a PyExc_RecursionErrorInst
xdegaye56d1f5c2017-10-26 15:09:06 +02001180 # singleton was being used in that case, that held traceback data and
1181 # locals indefinitely and would cause a segfault in _PyExc_Fini() upon
1182 # finalization of these locals.
1183 code = """if 1:
1184 import sys
Victor Stinner3f2f4fe2020-03-13 13:07:31 +01001185 from _testinternalcapi import get_recursion_depth
xdegaye56d1f5c2017-10-26 15:09:06 +02001186
1187 class MyException(Exception): pass
1188
1189 def setrecursionlimit(depth):
1190 while 1:
1191 try:
1192 sys.setrecursionlimit(depth)
1193 return depth
1194 except RecursionError:
1195 # sys.setrecursionlimit() raises a RecursionError if
1196 # the new recursion limit is too low (issue #25274).
1197 depth += 1
1198
1199 def recurse(cnt):
1200 cnt -= 1
1201 if cnt:
1202 recurse(cnt)
1203 else:
1204 generator.throw(MyException)
1205
1206 def gen():
1207 f = open(%a, mode='rb', buffering=0)
1208 yield
1209
1210 generator = gen()
1211 next(generator)
1212 recursionlimit = sys.getrecursionlimit()
1213 depth = get_recursion_depth()
1214 try:
1215 # Upon the last recursive invocation of recurse(),
1216 # tstate->recursion_depth is equal to (recursion_limit - 1)
1217 # and is equal to recursion_limit when _gen_throw() calls
1218 # PyErr_NormalizeException().
Mark Shannon4e7a69b2020-12-02 13:30:55 +00001219 recurse(setrecursionlimit(depth + 2) - depth)
xdegaye56d1f5c2017-10-26 15:09:06 +02001220 finally:
1221 sys.setrecursionlimit(recursionlimit)
1222 print('Done.')
1223 """ % __file__
1224 rc, out, err = script_helper.assert_python_failure("-Wd", "-c", code)
1225 # Check that the program does not fail with SIGABRT.
1226 self.assertEqual(rc, 1)
1227 self.assertIn(b'RecursionError', err)
1228 self.assertIn(b'ResourceWarning', err)
1229 self.assertIn(b'Done.', out)
1230
1231 @cpython_only
1232 def test_recursion_normalizing_infinite_exception(self):
1233 # Issue #30697. Test that a RecursionError is raised when
1234 # PyErr_NormalizeException() maximum recursion depth has been
1235 # exceeded.
1236 code = """if 1:
1237 import _testcapi
1238 try:
1239 raise _testcapi.RecursingInfinitelyError
1240 finally:
1241 print('Done.')
1242 """
1243 rc, out, err = script_helper.assert_python_failure("-c", code)
1244 self.assertEqual(rc, 1)
1245 self.assertIn(b'RecursionError: maximum recursion depth exceeded '
1246 b'while normalizing an exception', err)
1247 self.assertIn(b'Done.', out)
1248
Mark Shannon4e7a69b2020-12-02 13:30:55 +00001249
1250 def test_recursion_in_except_handler(self):
1251
1252 def set_relative_recursion_limit(n):
1253 depth = 1
1254 while True:
1255 try:
1256 sys.setrecursionlimit(depth)
1257 except RecursionError:
1258 depth += 1
1259 else:
1260 break
1261 sys.setrecursionlimit(depth+n)
1262
1263 def recurse_in_except():
1264 try:
1265 1/0
1266 except:
1267 recurse_in_except()
1268
1269 def recurse_after_except():
1270 try:
1271 1/0
1272 except:
1273 pass
1274 recurse_after_except()
1275
1276 def recurse_in_body_and_except():
1277 try:
1278 recurse_in_body_and_except()
1279 except:
1280 recurse_in_body_and_except()
1281
1282 recursionlimit = sys.getrecursionlimit()
1283 try:
1284 set_relative_recursion_limit(10)
1285 for func in (recurse_in_except, recurse_after_except, recurse_in_body_and_except):
1286 with self.subTest(func=func):
1287 try:
1288 func()
1289 except RecursionError:
1290 pass
1291 else:
1292 self.fail("Should have raised a RecursionError")
1293 finally:
1294 sys.setrecursionlimit(recursionlimit)
1295
1296
xdegaye56d1f5c2017-10-26 15:09:06 +02001297 @cpython_only
1298 def test_recursion_normalizing_with_no_memory(self):
1299 # Issue #30697. Test that in the abort that occurs when there is no
1300 # memory left and the size of the Python frames stack is greater than
1301 # the size of the list of preallocated MemoryError instances, the
1302 # Fatal Python error message mentions MemoryError.
1303 code = """if 1:
1304 import _testcapi
1305 class C(): pass
1306 def recurse(cnt):
1307 cnt -= 1
1308 if cnt:
1309 recurse(cnt)
1310 else:
1311 _testcapi.set_nomemory(0)
1312 C()
1313 recurse(16)
1314 """
1315 with SuppressCrashReport():
1316 rc, out, err = script_helper.assert_python_failure("-c", code)
Victor Stinner9e5d30c2020-03-07 00:54:20 +01001317 self.assertIn(b'Fatal Python error: _PyErr_NormalizeException: '
1318 b'Cannot recover from MemoryErrors while '
1319 b'normalizing exceptions.', err)
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001320
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001321 @cpython_only
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001322 def test_MemoryError(self):
1323 # PyErr_NoMemory always raises the same exception instance.
1324 # Check that the traceback is not doubled.
1325 import traceback
Benjamin Peterson0067bd62008-08-16 16:11:03 +00001326 from _testcapi import raise_memoryerror
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001327 def raiseMemError():
1328 try:
Benjamin Peterson0067bd62008-08-16 16:11:03 +00001329 raise_memoryerror()
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001330 except MemoryError as e:
1331 tb = e.__traceback__
1332 else:
Mark Shannon4e7a69b2020-12-02 13:30:55 +00001333 self.fail("Should have raised a MemoryError")
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001334 return traceback.format_tb(tb)
1335
1336 tb1 = raiseMemError()
1337 tb2 = raiseMemError()
1338 self.assertEqual(tb1, tb2)
1339
Benjamin Peterson17e0bbc2010-06-28 15:39:55 +00001340 @cpython_only
Georg Brandl1e28a272009-12-28 08:41:01 +00001341 def test_exception_with_doc(self):
1342 import _testcapi
1343 doc2 = "This is a test docstring."
1344 doc4 = "This is another test docstring."
1345
1346 self.assertRaises(SystemError, _testcapi.make_exception_with_doc,
1347 "error1")
1348
1349 # test basic usage of PyErr_NewException
1350 error1 = _testcapi.make_exception_with_doc("_testcapi.error1")
1351 self.assertIs(type(error1), type)
1352 self.assertTrue(issubclass(error1, Exception))
1353 self.assertIsNone(error1.__doc__)
1354
1355 # test with given docstring
1356 error2 = _testcapi.make_exception_with_doc("_testcapi.error2", doc2)
1357 self.assertEqual(error2.__doc__, doc2)
1358
1359 # test with explicit base (without docstring)
1360 error3 = _testcapi.make_exception_with_doc("_testcapi.error3",
1361 base=error2)
1362 self.assertTrue(issubclass(error3, error2))
1363
1364 # test with explicit base tuple
1365 class C(object):
1366 pass
1367 error4 = _testcapi.make_exception_with_doc("_testcapi.error4", doc4,
1368 (error3, C))
1369 self.assertTrue(issubclass(error4, error3))
1370 self.assertTrue(issubclass(error4, C))
1371 self.assertEqual(error4.__doc__, doc4)
1372
1373 # test with explicit dictionary
1374 error5 = _testcapi.make_exception_with_doc("_testcapi.error5", "",
1375 error4, {'a': 1})
1376 self.assertTrue(issubclass(error5, error4))
1377 self.assertEqual(error5.a, 1)
1378 self.assertEqual(error5.__doc__, "")
1379
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001380 @cpython_only
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001381 def test_memory_error_cleanup(self):
1382 # Issue #5437: preallocated MemoryError instances should not keep
1383 # traceback objects alive.
1384 from _testcapi import raise_memoryerror
1385 class C:
1386 pass
1387 wr = None
1388 def inner():
1389 nonlocal wr
1390 c = C()
1391 wr = weakref.ref(c)
1392 raise_memoryerror()
1393 # We cannot use assertRaises since it manually deletes the traceback
1394 try:
1395 inner()
1396 except MemoryError as e:
1397 self.assertNotEqual(wr(), None)
1398 else:
1399 self.fail("MemoryError not raised")
1400 self.assertEqual(wr(), None)
1401
Brett Cannon31f59292011-02-21 19:29:56 +00001402 @no_tracing
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001403 def test_recursion_error_cleanup(self):
1404 # Same test as above, but with "recursion exceeded" errors
1405 class C:
1406 pass
1407 wr = None
1408 def inner():
1409 nonlocal wr
1410 c = C()
1411 wr = weakref.ref(c)
1412 inner()
1413 # We cannot use assertRaises since it manually deletes the traceback
1414 try:
1415 inner()
Yury Selivanovf488fb42015-07-03 01:04:23 -04001416 except RecursionError as e:
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001417 self.assertNotEqual(wr(), None)
1418 else:
Yury Selivanovf488fb42015-07-03 01:04:23 -04001419 self.fail("RecursionError not raised")
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001420 self.assertEqual(wr(), None)
Georg Brandl1e28a272009-12-28 08:41:01 +00001421
Antoine Pitroua7622852011-09-01 21:37:43 +02001422 def test_errno_ENOTDIR(self):
1423 # Issue #12802: "not a directory" errors are ENOTDIR even on Windows
1424 with self.assertRaises(OSError) as cm:
1425 os.listdir(__file__)
1426 self.assertEqual(cm.exception.errno, errno.ENOTDIR, cm.exception)
1427
Martin Panter3263f682016-02-28 03:16:11 +00001428 def test_unraisable(self):
1429 # Issue #22836: PyErr_WriteUnraisable() should give sensible reports
1430 class BrokenDel:
1431 def __del__(self):
1432 exc = ValueError("del is broken")
1433 # The following line is included in the traceback report:
1434 raise exc
1435
Victor Stinnere4d300e2019-05-22 23:44:02 +02001436 obj = BrokenDel()
1437 with support.catch_unraisable_exception() as cm:
1438 del obj
Martin Panter3263f682016-02-28 03:16:11 +00001439
Victor Stinnere4d300e2019-05-22 23:44:02 +02001440 self.assertEqual(cm.unraisable.object, BrokenDel.__del__)
1441 self.assertIsNotNone(cm.unraisable.exc_traceback)
Martin Panter3263f682016-02-28 03:16:11 +00001442
1443 def test_unhandled(self):
1444 # Check for sensible reporting of unhandled exceptions
1445 for exc_type in (ValueError, BrokenStrException):
1446 with self.subTest(exc_type):
1447 try:
1448 exc = exc_type("test message")
1449 # The following line is included in the traceback report:
1450 raise exc
1451 except exc_type:
1452 with captured_stderr() as stderr:
1453 sys.__excepthook__(*sys.exc_info())
1454 report = stderr.getvalue()
1455 self.assertIn("test_exceptions.py", report)
1456 self.assertIn("raise exc", report)
1457 self.assertIn(exc_type.__name__, report)
1458 if exc_type is BrokenStrException:
1459 self.assertIn("<exception str() failed>", report)
1460 else:
1461 self.assertIn("test message", report)
1462 self.assertTrue(report.endswith("\n"))
1463
xdegaye66caacf2017-10-23 18:08:41 +02001464 @cpython_only
1465 def test_memory_error_in_PyErr_PrintEx(self):
1466 code = """if 1:
1467 import _testcapi
1468 class C(): pass
1469 _testcapi.set_nomemory(0, %d)
1470 C()
1471 """
1472
1473 # Issue #30817: Abort in PyErr_PrintEx() when no memory.
1474 # Span a large range of tests as the CPython code always evolves with
1475 # changes that add or remove memory allocations.
1476 for i in range(1, 20):
1477 rc, out, err = script_helper.assert_python_failure("-c", code % i)
1478 self.assertIn(rc, (1, 120))
1479 self.assertIn(b'MemoryError', err)
1480
Mark Shannonae3087c2017-10-22 22:41:51 +01001481 def test_yield_in_nested_try_excepts(self):
1482 #Issue #25612
1483 class MainError(Exception):
1484 pass
1485
1486 class SubError(Exception):
1487 pass
1488
1489 def main():
1490 try:
1491 raise MainError()
1492 except MainError:
1493 try:
1494 yield
1495 except SubError:
1496 pass
1497 raise
1498
1499 coro = main()
1500 coro.send(None)
1501 with self.assertRaises(MainError):
1502 coro.throw(SubError())
1503
1504 def test_generator_doesnt_retain_old_exc2(self):
1505 #Issue 28884#msg282532
1506 def g():
1507 try:
1508 raise ValueError
1509 except ValueError:
1510 yield 1
1511 self.assertEqual(sys.exc_info(), (None, None, None))
1512 yield 2
1513
1514 gen = g()
1515
1516 try:
1517 raise IndexError
1518 except IndexError:
1519 self.assertEqual(next(gen), 1)
1520 self.assertEqual(next(gen), 2)
1521
1522 def test_raise_in_generator(self):
1523 #Issue 25612#msg304117
1524 def g():
1525 yield 1
1526 raise
1527 yield 2
1528
1529 with self.assertRaises(ZeroDivisionError):
1530 i = g()
1531 try:
1532 1/0
1533 except:
1534 next(i)
1535 next(i)
1536
Zackery Spytzce6a0702019-08-25 03:44:09 -06001537 @unittest.skipUnless(__debug__, "Won't work if __debug__ is False")
1538 def test_assert_shadowing(self):
1539 # Shadowing AssertionError would cause the assert statement to
1540 # misbehave.
1541 global AssertionError
1542 AssertionError = TypeError
1543 try:
1544 assert False, 'hello'
1545 except BaseException as e:
1546 del AssertionError
1547 self.assertIsInstance(e, AssertionError)
1548 self.assertEqual(str(e), 'hello')
1549 else:
1550 del AssertionError
1551 self.fail('Expected exception')
1552
Pablo Galindo9b648a92020-09-01 19:39:46 +01001553 def test_memory_error_subclasses(self):
1554 # bpo-41654: MemoryError instances use a freelist of objects that are
1555 # linked using the 'dict' attribute when they are inactive/dead.
1556 # Subclasses of MemoryError should not participate in the freelist
1557 # schema. This test creates a MemoryError object and keeps it alive
1558 # (therefore advancing the freelist) and then it creates and destroys a
1559 # subclass object. Finally, it checks that creating a new MemoryError
1560 # succeeds, proving that the freelist is not corrupted.
1561
1562 class TestException(MemoryError):
1563 pass
1564
1565 try:
1566 raise MemoryError
1567 except MemoryError as exc:
1568 inst = exc
1569
1570 try:
1571 raise TestException
1572 except Exception:
1573 pass
1574
1575 for _ in range(10):
1576 try:
1577 raise MemoryError
1578 except MemoryError as exc:
1579 pass
1580
1581 gc_collect()
1582
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001583global_for_suggestions = None
1584
1585class NameErrorTests(unittest.TestCase):
1586 def test_name_error_has_name(self):
1587 try:
1588 bluch
1589 except NameError as exc:
1590 self.assertEqual("bluch", exc.name)
1591
1592 def test_name_error_suggestions(self):
1593 def Substitution():
1594 noise = more_noise = a = bc = None
1595 blech = None
1596 print(bluch)
1597
1598 def Elimination():
1599 noise = more_noise = a = bc = None
1600 blch = None
1601 print(bluch)
1602
1603 def Addition():
1604 noise = more_noise = a = bc = None
1605 bluchin = None
1606 print(bluch)
1607
1608 def SubstitutionOverElimination():
1609 blach = None
1610 bluc = None
1611 print(bluch)
1612
1613 def SubstitutionOverAddition():
1614 blach = None
1615 bluchi = None
1616 print(bluch)
1617
1618 def EliminationOverAddition():
1619 blucha = None
1620 bluc = None
1621 print(bluch)
1622
Pablo Galindo7a041162021-04-19 23:35:53 +01001623 for func, suggestion in [(Substitution, "'blech'?"),
1624 (Elimination, "'blch'?"),
1625 (Addition, "'bluchin'?"),
1626 (EliminationOverAddition, "'blucha'?"),
1627 (SubstitutionOverElimination, "'blach'?"),
1628 (SubstitutionOverAddition, "'blach'?")]:
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001629 err = None
1630 try:
1631 func()
1632 except NameError as exc:
1633 with support.captured_stderr() as err:
1634 sys.__excepthook__(*sys.exc_info())
1635 self.assertIn(suggestion, err.getvalue())
1636
1637 def test_name_error_suggestions_from_globals(self):
1638 def func():
1639 print(global_for_suggestio)
1640 try:
1641 func()
1642 except NameError as exc:
1643 with support.captured_stderr() as err:
1644 sys.__excepthook__(*sys.exc_info())
Pablo Galindo7a041162021-04-19 23:35:53 +01001645 self.assertIn("'global_for_suggestions'?", err.getvalue())
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001646
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001647 def test_name_error_suggestions_from_builtins(self):
1648 def func():
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04001649 print(ZeroDivisionErrrrr)
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001650 try:
1651 func()
1652 except NameError as exc:
1653 with support.captured_stderr() as err:
1654 sys.__excepthook__(*sys.exc_info())
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04001655 self.assertIn("'ZeroDivisionError'?", err.getvalue())
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001656
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001657 def test_name_error_suggestions_do_not_trigger_for_long_names(self):
1658 def f():
1659 somethingverywronghehehehehehe = None
1660 print(somethingverywronghe)
1661
1662 try:
1663 f()
1664 except NameError as exc:
1665 with support.captured_stderr() as err:
1666 sys.__excepthook__(*sys.exc_info())
1667
1668 self.assertNotIn("somethingverywronghehe", err.getvalue())
1669
Dennis Sweeney284c52d2021-04-26 20:22:27 -04001670 def test_name_error_bad_suggestions_do_not_trigger_for_small_names(self):
1671 vvv = mom = w = id = pytho = None
1672
1673 with self.subTest(name="b"):
1674 try:
1675 b
1676 except NameError as exc:
1677 with support.captured_stderr() as err:
1678 sys.__excepthook__(*sys.exc_info())
1679 self.assertNotIn("you mean", err.getvalue())
1680 self.assertNotIn("vvv", err.getvalue())
1681 self.assertNotIn("mom", err.getvalue())
1682 self.assertNotIn("'id'", err.getvalue())
1683 self.assertNotIn("'w'", err.getvalue())
1684 self.assertNotIn("'pytho'", err.getvalue())
1685
1686 with self.subTest(name="v"):
1687 try:
1688 v
1689 except NameError as exc:
1690 with support.captured_stderr() as err:
1691 sys.__excepthook__(*sys.exc_info())
1692 self.assertNotIn("you mean", err.getvalue())
1693 self.assertNotIn("vvv", err.getvalue())
1694 self.assertNotIn("mom", err.getvalue())
1695 self.assertNotIn("'id'", err.getvalue())
1696 self.assertNotIn("'w'", err.getvalue())
1697 self.assertNotIn("'pytho'", err.getvalue())
1698
1699 with self.subTest(name="m"):
1700 try:
1701 m
1702 except NameError as exc:
1703 with support.captured_stderr() as err:
1704 sys.__excepthook__(*sys.exc_info())
1705 self.assertNotIn("you mean", err.getvalue())
1706 self.assertNotIn("vvv", err.getvalue())
1707 self.assertNotIn("mom", err.getvalue())
1708 self.assertNotIn("'id'", err.getvalue())
1709 self.assertNotIn("'w'", err.getvalue())
1710 self.assertNotIn("'pytho'", err.getvalue())
1711
1712 with self.subTest(name="py"):
1713 try:
1714 py
1715 except NameError as exc:
1716 with support.captured_stderr() as err:
1717 sys.__excepthook__(*sys.exc_info())
1718 self.assertNotIn("you mean", err.getvalue())
1719 self.assertNotIn("vvv", err.getvalue())
1720 self.assertNotIn("mom", err.getvalue())
1721 self.assertNotIn("'id'", err.getvalue())
1722 self.assertNotIn("'w'", err.getvalue())
1723 self.assertNotIn("'pytho'", err.getvalue())
1724
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001725 def test_name_error_suggestions_do_not_trigger_for_too_many_locals(self):
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001726 def f():
1727 # Mutating locals() is unreliable, so we need to do it by hand
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04001728 a1 = a2 = a3 = a4 = a5 = a6 = a7 = a8 = a9 = a10 = \
1729 a11 = a12 = a13 = a14 = a15 = a16 = a17 = a18 = a19 = a20 = \
1730 a21 = a22 = a23 = a24 = a25 = a26 = a27 = a28 = a29 = a30 = \
1731 a31 = a32 = a33 = a34 = a35 = a36 = a37 = a38 = a39 = a40 = \
1732 a41 = a42 = a43 = a44 = a45 = a46 = a47 = a48 = a49 = a50 = \
1733 a51 = a52 = a53 = a54 = a55 = a56 = a57 = a58 = a59 = a60 = \
1734 a61 = a62 = a63 = a64 = a65 = a66 = a67 = a68 = a69 = a70 = \
1735 a71 = a72 = a73 = a74 = a75 = a76 = a77 = a78 = a79 = a80 = \
1736 a81 = a82 = a83 = a84 = a85 = a86 = a87 = a88 = a89 = a90 = \
1737 a91 = a92 = a93 = a94 = a95 = a96 = a97 = a98 = a99 = a100 = \
1738 a101 = a102 = a103 = a104 = a105 = a106 = a107 = a108 = a109 = a110 = \
1739 a111 = a112 = a113 = a114 = a115 = a116 = a117 = a118 = a119 = a120 = \
1740 a121 = a122 = a123 = a124 = a125 = a126 = a127 = a128 = a129 = a130 = \
1741 a131 = a132 = a133 = a134 = a135 = a136 = a137 = a138 = a139 = a140 = \
1742 a141 = a142 = a143 = a144 = a145 = a146 = a147 = a148 = a149 = a150 = \
1743 a151 = a152 = a153 = a154 = a155 = a156 = a157 = a158 = a159 = a160 = \
1744 a161 = a162 = a163 = a164 = a165 = a166 = a167 = a168 = a169 = a170 = \
1745 a171 = a172 = a173 = a174 = a175 = a176 = a177 = a178 = a179 = a180 = \
1746 a181 = a182 = a183 = a184 = a185 = a186 = a187 = a188 = a189 = a190 = \
1747 a191 = a192 = a193 = a194 = a195 = a196 = a197 = a198 = a199 = a200 = \
1748 a201 = a202 = a203 = a204 = a205 = a206 = a207 = a208 = a209 = a210 = \
1749 a211 = a212 = a213 = a214 = a215 = a216 = a217 = a218 = a219 = a220 = \
1750 a221 = a222 = a223 = a224 = a225 = a226 = a227 = a228 = a229 = a230 = \
1751 a231 = a232 = a233 = a234 = a235 = a236 = a237 = a238 = a239 = a240 = \
1752 a241 = a242 = a243 = a244 = a245 = a246 = a247 = a248 = a249 = a250 = \
1753 a251 = a252 = a253 = a254 = a255 = a256 = a257 = a258 = a259 = a260 = \
1754 a261 = a262 = a263 = a264 = a265 = a266 = a267 = a268 = a269 = a270 = \
1755 a271 = a272 = a273 = a274 = a275 = a276 = a277 = a278 = a279 = a280 = \
1756 a281 = a282 = a283 = a284 = a285 = a286 = a287 = a288 = a289 = a290 = \
1757 a291 = a292 = a293 = a294 = a295 = a296 = a297 = a298 = a299 = a300 = \
1758 a301 = a302 = a303 = a304 = a305 = a306 = a307 = a308 = a309 = a310 = \
1759 a311 = a312 = a313 = a314 = a315 = a316 = a317 = a318 = a319 = a320 = \
1760 a321 = a322 = a323 = a324 = a325 = a326 = a327 = a328 = a329 = a330 = \
1761 a331 = a332 = a333 = a334 = a335 = a336 = a337 = a338 = a339 = a340 = \
1762 a341 = a342 = a343 = a344 = a345 = a346 = a347 = a348 = a349 = a350 = \
1763 a351 = a352 = a353 = a354 = a355 = a356 = a357 = a358 = a359 = a360 = \
1764 a361 = a362 = a363 = a364 = a365 = a366 = a367 = a368 = a369 = a370 = \
1765 a371 = a372 = a373 = a374 = a375 = a376 = a377 = a378 = a379 = a380 = \
1766 a381 = a382 = a383 = a384 = a385 = a386 = a387 = a388 = a389 = a390 = \
1767 a391 = a392 = a393 = a394 = a395 = a396 = a397 = a398 = a399 = a400 = \
1768 a401 = a402 = a403 = a404 = a405 = a406 = a407 = a408 = a409 = a410 = \
1769 a411 = a412 = a413 = a414 = a415 = a416 = a417 = a418 = a419 = a420 = \
1770 a421 = a422 = a423 = a424 = a425 = a426 = a427 = a428 = a429 = a430 = \
1771 a431 = a432 = a433 = a434 = a435 = a436 = a437 = a438 = a439 = a440 = \
1772 a441 = a442 = a443 = a444 = a445 = a446 = a447 = a448 = a449 = a450 = \
1773 a451 = a452 = a453 = a454 = a455 = a456 = a457 = a458 = a459 = a460 = \
1774 a461 = a462 = a463 = a464 = a465 = a466 = a467 = a468 = a469 = a470 = \
1775 a471 = a472 = a473 = a474 = a475 = a476 = a477 = a478 = a479 = a480 = \
1776 a481 = a482 = a483 = a484 = a485 = a486 = a487 = a488 = a489 = a490 = \
1777 a491 = a492 = a493 = a494 = a495 = a496 = a497 = a498 = a499 = a500 = \
1778 a501 = a502 = a503 = a504 = a505 = a506 = a507 = a508 = a509 = a510 = \
1779 a511 = a512 = a513 = a514 = a515 = a516 = a517 = a518 = a519 = a520 = \
1780 a521 = a522 = a523 = a524 = a525 = a526 = a527 = a528 = a529 = a530 = \
1781 a531 = a532 = a533 = a534 = a535 = a536 = a537 = a538 = a539 = a540 = \
1782 a541 = a542 = a543 = a544 = a545 = a546 = a547 = a548 = a549 = a550 = \
1783 a551 = a552 = a553 = a554 = a555 = a556 = a557 = a558 = a559 = a560 = \
1784 a561 = a562 = a563 = a564 = a565 = a566 = a567 = a568 = a569 = a570 = \
1785 a571 = a572 = a573 = a574 = a575 = a576 = a577 = a578 = a579 = a580 = \
1786 a581 = a582 = a583 = a584 = a585 = a586 = a587 = a588 = a589 = a590 = \
1787 a591 = a592 = a593 = a594 = a595 = a596 = a597 = a598 = a599 = a600 = \
1788 a601 = a602 = a603 = a604 = a605 = a606 = a607 = a608 = a609 = a610 = \
1789 a611 = a612 = a613 = a614 = a615 = a616 = a617 = a618 = a619 = a620 = \
1790 a621 = a622 = a623 = a624 = a625 = a626 = a627 = a628 = a629 = a630 = \
1791 a631 = a632 = a633 = a634 = a635 = a636 = a637 = a638 = a639 = a640 = \
1792 a641 = a642 = a643 = a644 = a645 = a646 = a647 = a648 = a649 = a650 = \
1793 a651 = a652 = a653 = a654 = a655 = a656 = a657 = a658 = a659 = a660 = \
1794 a661 = a662 = a663 = a664 = a665 = a666 = a667 = a668 = a669 = a670 = \
1795 a671 = a672 = a673 = a674 = a675 = a676 = a677 = a678 = a679 = a680 = \
1796 a681 = a682 = a683 = a684 = a685 = a686 = a687 = a688 = a689 = a690 = \
1797 a691 = a692 = a693 = a694 = a695 = a696 = a697 = a698 = a699 = a700 = \
1798 a701 = a702 = a703 = a704 = a705 = a706 = a707 = a708 = a709 = a710 = \
1799 a711 = a712 = a713 = a714 = a715 = a716 = a717 = a718 = a719 = a720 = \
1800 a721 = a722 = a723 = a724 = a725 = a726 = a727 = a728 = a729 = a730 = \
1801 a731 = a732 = a733 = a734 = a735 = a736 = a737 = a738 = a739 = a740 = \
1802 a741 = a742 = a743 = a744 = a745 = a746 = a747 = a748 = a749 = a750 = \
1803 a751 = a752 = a753 = a754 = a755 = a756 = a757 = a758 = a759 = a760 = \
1804 a761 = a762 = a763 = a764 = a765 = a766 = a767 = a768 = a769 = a770 = \
1805 a771 = a772 = a773 = a774 = a775 = a776 = a777 = a778 = a779 = a780 = \
1806 a781 = a782 = a783 = a784 = a785 = a786 = a787 = a788 = a789 = a790 = \
1807 a791 = a792 = a793 = a794 = a795 = a796 = a797 = a798 = a799 = a800 \
1808 = None
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001809 print(a0)
1810
1811 try:
1812 f()
1813 except NameError as exc:
1814 with support.captured_stderr() as err:
1815 sys.__excepthook__(*sys.exc_info())
1816
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001817 self.assertNotIn("a1", err.getvalue())
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001818
1819 def test_name_error_with_custom_exceptions(self):
1820 def f():
1821 blech = None
1822 raise NameError()
1823
1824 try:
1825 f()
1826 except NameError as exc:
1827 with support.captured_stderr() as err:
1828 sys.__excepthook__(*sys.exc_info())
1829
1830 self.assertNotIn("blech", err.getvalue())
1831
1832 def f():
1833 blech = None
1834 raise NameError
1835
1836 try:
1837 f()
1838 except NameError as exc:
1839 with support.captured_stderr() as err:
1840 sys.__excepthook__(*sys.exc_info())
1841
1842 self.assertNotIn("blech", err.getvalue())
Antoine Pitroua7622852011-09-01 21:37:43 +02001843
Pablo Galindo0ad81d42021-04-16 17:12:03 +01001844 def test_unbound_local_error_doesn_not_match(self):
1845 def foo():
1846 something = 3
1847 print(somethong)
1848 somethong = 3
1849
1850 try:
1851 foo()
1852 except UnboundLocalError as exc:
1853 with support.captured_stderr() as err:
1854 sys.__excepthook__(*sys.exc_info())
1855
1856 self.assertNotIn("something", err.getvalue())
1857
1858
Pablo Galindo37494b42021-04-14 02:36:07 +01001859class AttributeErrorTests(unittest.TestCase):
1860 def test_attributes(self):
1861 # Setting 'attr' should not be a problem.
1862 exc = AttributeError('Ouch!')
1863 self.assertIsNone(exc.name)
1864 self.assertIsNone(exc.obj)
1865
1866 sentinel = object()
1867 exc = AttributeError('Ouch', name='carry', obj=sentinel)
1868 self.assertEqual(exc.name, 'carry')
1869 self.assertIs(exc.obj, sentinel)
1870
1871 def test_getattr_has_name_and_obj(self):
1872 class A:
1873 blech = None
1874
1875 obj = A()
1876 try:
1877 obj.bluch
1878 except AttributeError as exc:
1879 self.assertEqual("bluch", exc.name)
1880 self.assertEqual(obj, exc.obj)
1881
1882 def test_getattr_has_name_and_obj_for_method(self):
1883 class A:
1884 def blech(self):
1885 return
1886
1887 obj = A()
1888 try:
1889 obj.bluch()
1890 except AttributeError as exc:
1891 self.assertEqual("bluch", exc.name)
1892 self.assertEqual(obj, exc.obj)
1893
1894 def test_getattr_suggestions(self):
1895 class Substitution:
1896 noise = more_noise = a = bc = None
1897 blech = None
1898
1899 class Elimination:
1900 noise = more_noise = a = bc = None
1901 blch = None
1902
1903 class Addition:
1904 noise = more_noise = a = bc = None
1905 bluchin = None
1906
1907 class SubstitutionOverElimination:
1908 blach = None
1909 bluc = None
1910
1911 class SubstitutionOverAddition:
1912 blach = None
1913 bluchi = None
1914
1915 class EliminationOverAddition:
1916 blucha = None
1917 bluc = None
1918
Pablo Galindo7a041162021-04-19 23:35:53 +01001919 for cls, suggestion in [(Substitution, "'blech'?"),
1920 (Elimination, "'blch'?"),
1921 (Addition, "'bluchin'?"),
1922 (EliminationOverAddition, "'bluc'?"),
1923 (SubstitutionOverElimination, "'blach'?"),
1924 (SubstitutionOverAddition, "'blach'?")]:
Pablo Galindo37494b42021-04-14 02:36:07 +01001925 try:
1926 cls().bluch
1927 except AttributeError as exc:
1928 with support.captured_stderr() as err:
1929 sys.__excepthook__(*sys.exc_info())
1930
1931 self.assertIn(suggestion, err.getvalue())
1932
1933 def test_getattr_suggestions_do_not_trigger_for_long_attributes(self):
1934 class A:
1935 blech = None
1936
1937 try:
1938 A().somethingverywrong
1939 except AttributeError as exc:
1940 with support.captured_stderr() as err:
1941 sys.__excepthook__(*sys.exc_info())
1942
1943 self.assertNotIn("blech", err.getvalue())
1944
Dennis Sweeney284c52d2021-04-26 20:22:27 -04001945 def test_getattr_error_bad_suggestions_do_not_trigger_for_small_names(self):
1946 class MyClass:
1947 vvv = mom = w = id = pytho = None
1948
1949 with self.subTest(name="b"):
1950 try:
1951 MyClass.b
1952 except AttributeError as exc:
1953 with support.captured_stderr() as err:
1954 sys.__excepthook__(*sys.exc_info())
1955 self.assertNotIn("you mean", err.getvalue())
1956 self.assertNotIn("vvv", err.getvalue())
1957 self.assertNotIn("mom", err.getvalue())
1958 self.assertNotIn("'id'", err.getvalue())
1959 self.assertNotIn("'w'", err.getvalue())
1960 self.assertNotIn("'pytho'", err.getvalue())
1961
1962 with self.subTest(name="v"):
1963 try:
1964 MyClass.v
1965 except AttributeError as exc:
1966 with support.captured_stderr() as err:
1967 sys.__excepthook__(*sys.exc_info())
1968 self.assertNotIn("you mean", err.getvalue())
1969 self.assertNotIn("vvv", err.getvalue())
1970 self.assertNotIn("mom", err.getvalue())
1971 self.assertNotIn("'id'", err.getvalue())
1972 self.assertNotIn("'w'", err.getvalue())
1973 self.assertNotIn("'pytho'", err.getvalue())
1974
1975 with self.subTest(name="m"):
1976 try:
1977 MyClass.m
1978 except AttributeError as exc:
1979 with support.captured_stderr() as err:
1980 sys.__excepthook__(*sys.exc_info())
1981 self.assertNotIn("you mean", err.getvalue())
1982 self.assertNotIn("vvv", err.getvalue())
1983 self.assertNotIn("mom", err.getvalue())
1984 self.assertNotIn("'id'", err.getvalue())
1985 self.assertNotIn("'w'", err.getvalue())
1986 self.assertNotIn("'pytho'", err.getvalue())
1987
1988 with self.subTest(name="py"):
1989 try:
1990 MyClass.py
1991 except AttributeError as exc:
1992 with support.captured_stderr() as err:
1993 sys.__excepthook__(*sys.exc_info())
1994 self.assertNotIn("you mean", err.getvalue())
1995 self.assertNotIn("vvv", err.getvalue())
1996 self.assertNotIn("mom", err.getvalue())
1997 self.assertNotIn("'id'", err.getvalue())
1998 self.assertNotIn("'w'", err.getvalue())
1999 self.assertNotIn("'pytho'", err.getvalue())
2000
2001
Pablo Galindo37494b42021-04-14 02:36:07 +01002002 def test_getattr_suggestions_do_not_trigger_for_big_dicts(self):
2003 class A:
2004 blech = None
2005 # A class with a very big __dict__ will not be consider
2006 # for suggestions.
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04002007 for index in range(2000):
Pablo Galindo37494b42021-04-14 02:36:07 +01002008 setattr(A, f"index_{index}", None)
2009
2010 try:
2011 A().bluch
2012 except AttributeError as exc:
2013 with support.captured_stderr() as err:
2014 sys.__excepthook__(*sys.exc_info())
2015
2016 self.assertNotIn("blech", err.getvalue())
2017
2018 def test_getattr_suggestions_no_args(self):
2019 class A:
2020 blech = None
2021 def __getattr__(self, attr):
2022 raise AttributeError()
2023
2024 try:
2025 A().bluch
2026 except AttributeError as exc:
2027 with support.captured_stderr() as err:
2028 sys.__excepthook__(*sys.exc_info())
2029
2030 self.assertIn("blech", err.getvalue())
2031
2032 class A:
2033 blech = None
2034 def __getattr__(self, attr):
2035 raise AttributeError
2036
2037 try:
2038 A().bluch
2039 except AttributeError as exc:
2040 with support.captured_stderr() as err:
2041 sys.__excepthook__(*sys.exc_info())
2042
2043 self.assertIn("blech", err.getvalue())
2044
2045 def test_getattr_suggestions_invalid_args(self):
2046 class NonStringifyClass:
2047 __str__ = None
2048 __repr__ = None
2049
2050 class A:
2051 blech = None
2052 def __getattr__(self, attr):
2053 raise AttributeError(NonStringifyClass())
2054
2055 class B:
2056 blech = None
2057 def __getattr__(self, attr):
2058 raise AttributeError("Error", 23)
2059
2060 class C:
2061 blech = None
2062 def __getattr__(self, attr):
2063 raise AttributeError(23)
2064
2065 for cls in [A, B, C]:
2066 try:
2067 cls().bluch
2068 except AttributeError as exc:
2069 with support.captured_stderr() as err:
2070 sys.__excepthook__(*sys.exc_info())
2071
2072 self.assertIn("blech", err.getvalue())
2073
Miss Islington (bot)a0b1d402021-07-16 14:16:08 -07002074 def test_getattr_suggestions_for_same_name(self):
2075 class A:
2076 def __dir__(self):
2077 return ['blech']
2078 try:
2079 A().blech
2080 except AttributeError as exc:
2081 with support.captured_stderr() as err:
2082 sys.__excepthook__(*sys.exc_info())
2083
2084 self.assertNotIn("Did you mean", err.getvalue())
2085
Pablo Galindoe07f4ab2021-04-14 18:58:28 +01002086 def test_attribute_error_with_failing_dict(self):
2087 class T:
2088 bluch = 1
2089 def __dir__(self):
2090 raise AttributeError("oh no!")
2091
2092 try:
2093 T().blich
2094 except AttributeError as exc:
2095 with support.captured_stderr() as err:
2096 sys.__excepthook__(*sys.exc_info())
2097
2098 self.assertNotIn("blech", err.getvalue())
2099 self.assertNotIn("oh no!", err.getvalue())
Pablo Galindo37494b42021-04-14 02:36:07 +01002100
Pablo Galindo0b1c1692021-04-17 23:28:45 +01002101 def test_attribute_error_with_bad_name(self):
2102 try:
2103 raise AttributeError(name=12, obj=23)
2104 except AttributeError as exc:
2105 with support.captured_stderr() as err:
2106 sys.__excepthook__(*sys.exc_info())
2107
2108 self.assertNotIn("?", err.getvalue())
2109
2110
Brett Cannon79ec55e2012-04-12 20:24:54 -04002111class ImportErrorTests(unittest.TestCase):
2112
2113 def test_attributes(self):
2114 # Setting 'name' and 'path' should not be a problem.
2115 exc = ImportError('test')
2116 self.assertIsNone(exc.name)
2117 self.assertIsNone(exc.path)
2118
2119 exc = ImportError('test', name='somemodule')
2120 self.assertEqual(exc.name, 'somemodule')
2121 self.assertIsNone(exc.path)
2122
2123 exc = ImportError('test', path='somepath')
2124 self.assertEqual(exc.path, 'somepath')
2125 self.assertIsNone(exc.name)
2126
2127 exc = ImportError('test', path='somepath', name='somename')
2128 self.assertEqual(exc.name, 'somename')
2129 self.assertEqual(exc.path, 'somepath')
2130
Michael Seifert64c8f702017-04-09 09:47:12 +02002131 msg = "'invalid' is an invalid keyword argument for ImportError"
Serhiy Storchaka47dee112016-09-27 20:45:35 +03002132 with self.assertRaisesRegex(TypeError, msg):
2133 ImportError('test', invalid='keyword')
2134
2135 with self.assertRaisesRegex(TypeError, msg):
2136 ImportError('test', name='name', invalid='keyword')
2137
2138 with self.assertRaisesRegex(TypeError, msg):
2139 ImportError('test', path='path', invalid='keyword')
2140
2141 with self.assertRaisesRegex(TypeError, msg):
2142 ImportError(invalid='keyword')
2143
Serhiy Storchaka47dee112016-09-27 20:45:35 +03002144 with self.assertRaisesRegex(TypeError, msg):
2145 ImportError('test', invalid='keyword', another=True)
2146
Serhiy Storchakae9e44482016-09-28 07:53:32 +03002147 def test_reset_attributes(self):
2148 exc = ImportError('test', name='name', path='path')
2149 self.assertEqual(exc.args, ('test',))
2150 self.assertEqual(exc.msg, 'test')
2151 self.assertEqual(exc.name, 'name')
2152 self.assertEqual(exc.path, 'path')
2153
2154 # Reset not specified attributes
2155 exc.__init__()
2156 self.assertEqual(exc.args, ())
2157 self.assertEqual(exc.msg, None)
2158 self.assertEqual(exc.name, None)
2159 self.assertEqual(exc.path, None)
2160
Brett Cannon07c6e712012-08-24 13:05:09 -04002161 def test_non_str_argument(self):
2162 # Issue #15778
Nadeem Vawda6d708702012-10-14 01:42:32 +02002163 with check_warnings(('', BytesWarning), quiet=True):
2164 arg = b'abc'
2165 exc = ImportError(arg)
2166 self.assertEqual(str(arg), str(exc))
Brett Cannon79ec55e2012-04-12 20:24:54 -04002167
Serhiy Storchakab7853962017-04-08 09:55:07 +03002168 def test_copy_pickle(self):
2169 for kwargs in (dict(),
2170 dict(name='somename'),
2171 dict(path='somepath'),
2172 dict(name='somename', path='somepath')):
2173 orig = ImportError('test', **kwargs)
2174 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
2175 exc = pickle.loads(pickle.dumps(orig, proto))
2176 self.assertEqual(exc.args, ('test',))
2177 self.assertEqual(exc.msg, 'test')
2178 self.assertEqual(exc.name, orig.name)
2179 self.assertEqual(exc.path, orig.path)
2180 for c in copy.copy, copy.deepcopy:
2181 exc = c(orig)
2182 self.assertEqual(exc.args, ('test',))
2183 self.assertEqual(exc.msg, 'test')
2184 self.assertEqual(exc.name, orig.name)
2185 self.assertEqual(exc.path, orig.path)
2186
Pablo Galindoa77aac42021-04-23 14:27:05 +01002187class SyntaxErrorTests(unittest.TestCase):
2188 def test_range_of_offsets(self):
2189 cases = [
2190 # Basic range from 2->7
2191 (("bad.py", 1, 2, "abcdefg", 1, 7),
2192 dedent(
2193 """
2194 File "bad.py", line 1
2195 abcdefg
2196 ^^^^^
2197 SyntaxError: bad bad
2198 """)),
2199 # end_offset = start_offset + 1
2200 (("bad.py", 1, 2, "abcdefg", 1, 3),
2201 dedent(
2202 """
2203 File "bad.py", line 1
2204 abcdefg
2205 ^
2206 SyntaxError: bad bad
2207 """)),
2208 # Negative end offset
2209 (("bad.py", 1, 2, "abcdefg", 1, -2),
2210 dedent(
2211 """
2212 File "bad.py", line 1
2213 abcdefg
2214 ^
2215 SyntaxError: bad bad
2216 """)),
2217 # end offset before starting offset
2218 (("bad.py", 1, 4, "abcdefg", 1, 2),
2219 dedent(
2220 """
2221 File "bad.py", line 1
2222 abcdefg
2223 ^
2224 SyntaxError: bad bad
2225 """)),
2226 # Both offsets negative
2227 (("bad.py", 1, -4, "abcdefg", 1, -2),
2228 dedent(
2229 """
2230 File "bad.py", line 1
2231 abcdefg
2232 SyntaxError: bad bad
2233 """)),
2234 # Both offsets negative and the end more negative
2235 (("bad.py", 1, -4, "abcdefg", 1, -5),
2236 dedent(
2237 """
2238 File "bad.py", line 1
2239 abcdefg
2240 SyntaxError: bad bad
2241 """)),
2242 # Both offsets 0
2243 (("bad.py", 1, 0, "abcdefg", 1, 0),
2244 dedent(
2245 """
2246 File "bad.py", line 1
2247 abcdefg
2248 SyntaxError: bad bad
2249 """)),
2250 # Start offset 0 and end offset not 0
2251 (("bad.py", 1, 0, "abcdefg", 1, 5),
2252 dedent(
2253 """
2254 File "bad.py", line 1
2255 abcdefg
2256 SyntaxError: bad bad
2257 """)),
2258 # End offset pass the source lenght
2259 (("bad.py", 1, 2, "abcdefg", 1, 100),
2260 dedent(
2261 """
2262 File "bad.py", line 1
2263 abcdefg
2264 ^^^^^^
2265 SyntaxError: bad bad
2266 """)),
2267 ]
2268 for args, expected in cases:
2269 with self.subTest(args=args):
2270 try:
2271 raise SyntaxError("bad bad", args)
2272 except SyntaxError as exc:
2273 with support.captured_stderr() as err:
2274 sys.__excepthook__(*sys.exc_info())
2275 the_exception = exc
2276
Miss Islington (bot)c0496092021-06-08 17:29:21 -07002277 def test_encodings(self):
2278 source = (
2279 '# -*- coding: cp437 -*-\n'
2280 '"¢¢¢¢¢¢" + f(4, x for x in range(1))\n'
2281 )
2282 try:
2283 with open(TESTFN, 'w', encoding='cp437') as testfile:
2284 testfile.write(source)
2285 rc, out, err = script_helper.assert_python_failure('-Wd', '-X', 'utf8', TESTFN)
2286 err = err.decode('utf-8').splitlines()
2287
2288 self.assertEqual(err[-3], ' "¢¢¢¢¢¢" + f(4, x for x in range(1))')
2289 self.assertEqual(err[-2], ' ^^^^^^^^^^^^^^^^^^^')
2290 finally:
2291 unlink(TESTFN)
2292
Pablo Galindoa77aac42021-04-23 14:27:05 +01002293 def test_attributes_new_constructor(self):
2294 args = ("bad.py", 1, 2, "abcdefg", 1, 100)
2295 the_exception = SyntaxError("bad bad", args)
2296 filename, lineno, offset, error, end_lineno, end_offset = args
2297 self.assertEqual(filename, the_exception.filename)
2298 self.assertEqual(lineno, the_exception.lineno)
2299 self.assertEqual(end_lineno, the_exception.end_lineno)
2300 self.assertEqual(offset, the_exception.offset)
2301 self.assertEqual(end_offset, the_exception.end_offset)
2302 self.assertEqual(error, the_exception.text)
2303 self.assertEqual("bad bad", the_exception.msg)
2304
2305 def test_attributes_old_constructor(self):
2306 args = ("bad.py", 1, 2, "abcdefg")
2307 the_exception = SyntaxError("bad bad", args)
2308 filename, lineno, offset, error = args
2309 self.assertEqual(filename, the_exception.filename)
2310 self.assertEqual(lineno, the_exception.lineno)
2311 self.assertEqual(None, the_exception.end_lineno)
2312 self.assertEqual(offset, the_exception.offset)
2313 self.assertEqual(None, the_exception.end_offset)
2314 self.assertEqual(error, the_exception.text)
2315 self.assertEqual("bad bad", the_exception.msg)
2316
2317 def test_incorrect_constructor(self):
2318 args = ("bad.py", 1, 2)
2319 self.assertRaises(TypeError, SyntaxError, "bad bad", args)
2320
2321 args = ("bad.py", 1, 2, 4, 5, 6, 7)
2322 self.assertRaises(TypeError, SyntaxError, "bad bad", args)
2323
2324 args = ("bad.py", 1, 2, "abcdefg", 1)
2325 self.assertRaises(TypeError, SyntaxError, "bad bad", args)
2326
Brett Cannon79ec55e2012-04-12 20:24:54 -04002327
Mark Shannonbf353f32020-12-17 13:55:28 +00002328class PEP626Tests(unittest.TestCase):
2329
Mark Shannon0b6b2862021-06-24 13:09:14 +01002330 def lineno_after_raise(self, f, *expected):
Mark Shannonbf353f32020-12-17 13:55:28 +00002331 try:
2332 f()
2333 except Exception as ex:
2334 t = ex.__traceback__
Mark Shannon0b6b2862021-06-24 13:09:14 +01002335 else:
2336 self.fail("No exception raised")
2337 lines = []
2338 t = t.tb_next # Skip this function
2339 while t:
Mark Shannonbf353f32020-12-17 13:55:28 +00002340 frame = t.tb_frame
Mark Shannon0b6b2862021-06-24 13:09:14 +01002341 lines.append(
2342 None if frame.f_lineno is None else
2343 frame.f_lineno-frame.f_code.co_firstlineno
2344 )
2345 t = t.tb_next
2346 self.assertEqual(tuple(lines), expected)
Mark Shannonbf353f32020-12-17 13:55:28 +00002347
2348 def test_lineno_after_raise_simple(self):
2349 def simple():
2350 1/0
2351 pass
2352 self.lineno_after_raise(simple, 1)
2353
2354 def test_lineno_after_raise_in_except(self):
2355 def in_except():
2356 try:
2357 1/0
2358 except:
2359 1/0
2360 pass
2361 self.lineno_after_raise(in_except, 4)
2362
2363 def test_lineno_after_other_except(self):
2364 def other_except():
2365 try:
2366 1/0
2367 except TypeError as ex:
2368 pass
2369 self.lineno_after_raise(other_except, 3)
2370
2371 def test_lineno_in_named_except(self):
2372 def in_named_except():
2373 try:
2374 1/0
2375 except Exception as ex:
2376 1/0
2377 pass
2378 self.lineno_after_raise(in_named_except, 4)
2379
2380 def test_lineno_in_try(self):
2381 def in_try():
2382 try:
2383 1/0
2384 finally:
2385 pass
2386 self.lineno_after_raise(in_try, 4)
2387
2388 def test_lineno_in_finally_normal(self):
2389 def in_finally_normal():
2390 try:
2391 pass
2392 finally:
2393 1/0
2394 pass
2395 self.lineno_after_raise(in_finally_normal, 4)
2396
2397 def test_lineno_in_finally_except(self):
2398 def in_finally_except():
2399 try:
2400 1/0
2401 finally:
2402 1/0
2403 pass
2404 self.lineno_after_raise(in_finally_except, 4)
2405
2406 def test_lineno_after_with(self):
2407 class Noop:
2408 def __enter__(self):
2409 return self
2410 def __exit__(self, *args):
2411 pass
2412 def after_with():
2413 with Noop():
2414 1/0
2415 pass
2416 self.lineno_after_raise(after_with, 2)
2417
Mark Shannon088a15c2021-04-29 19:28:50 +01002418 def test_missing_lineno_shows_as_none(self):
2419 def f():
2420 1/0
2421 self.lineno_after_raise(f, 1)
2422 f.__code__ = f.__code__.replace(co_linetable=b'\x04\x80\xff\x80')
2423 self.lineno_after_raise(f, None)
Mark Shannonbf353f32020-12-17 13:55:28 +00002424
Mark Shannon0b6b2862021-06-24 13:09:14 +01002425 def test_lineno_after_raise_in_with_exit(self):
2426 class ExitFails:
2427 def __enter__(self):
2428 return self
2429 def __exit__(self, *args):
2430 raise ValueError
2431
2432 def after_with():
2433 with ExitFails():
2434 1/0
2435 self.lineno_after_raise(after_with, 1, 1)
2436
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002437if __name__ == '__main__':
Guido van Rossumb8142c32007-05-08 17:49:10 +00002438 unittest.main()