blob: a7683ac946fea77432d498c041b12a199c3d1c37 [file] [log] [blame]
Guido van Rossum3bead091992-01-27 17:00:37 +00001# Python test set -- part 5, built-in exceptions
2
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00003import os
4import sys
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00005import unittest
Guido van Rossumbf12cdb2006-08-17 20:24:18 +00006import pickle
Barry Warsaw8d109cb2008-05-08 04:26:35 +00007import weakref
Antoine Pitroua7622852011-09-01 21:37:43 +02008import errno
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00009
Benjamin Petersonae5f2f42010-03-07 17:10:51 +000010from test.support import (TESTFN, unlink, run_unittest, captured_output,
Brett Cannon31f59292011-02-21 19:29:56 +000011 gc_collect, cpython_only, no_tracing)
Guido van Rossum83b120d2001-08-23 03:23:03 +000012
Guido van Rossum3bead091992-01-27 17:00:37 +000013# XXX This is not really enough, each *operation* should be tested!
14
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000015class ExceptionTests(unittest.TestCase):
Barry Warsawb9c1d3d2001-08-13 23:07:00 +000016
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000017 def raise_catch(self, exc, excname):
18 try:
Collin Winter828f04a2007-08-31 00:04:24 +000019 raise exc("spam")
Guido van Rossumb940e112007-01-10 16:19:56 +000020 except exc as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000021 buf1 = str(err)
22 try:
23 raise exc("spam")
Guido van Rossumb940e112007-01-10 16:19:56 +000024 except exc as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000025 buf2 = str(err)
Ezio Melottib3aedd42010-11-20 19:04:17 +000026 self.assertEqual(buf1, buf2)
27 self.assertEqual(exc.__name__, excname)
Guido van Rossum3bead091992-01-27 17:00:37 +000028
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000029 def testRaising(self):
30 self.raise_catch(AttributeError, "AttributeError")
31 self.assertRaises(AttributeError, getattr, sys, "undefined_attribute")
Guido van Rossum3bead091992-01-27 17:00:37 +000032
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000033 self.raise_catch(EOFError, "EOFError")
34 fp = open(TESTFN, 'w')
35 fp.close()
36 fp = open(TESTFN, 'r')
37 savestdin = sys.stdin
38 try:
39 try:
40 import marshal
41 marshal.loads('')
42 except EOFError:
43 pass
44 finally:
45 sys.stdin = savestdin
46 fp.close()
47 unlink(TESTFN)
Guido van Rossum3bead091992-01-27 17:00:37 +000048
Antoine Pitrou6b4883d2011-10-12 02:54:14 +020049 self.raise_catch(OSError, "OSError")
50 self.assertRaises(OSError, open, 'this file does not exist', 'r')
Guido van Rossum3bead091992-01-27 17:00:37 +000051
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000052 self.raise_catch(ImportError, "ImportError")
53 self.assertRaises(ImportError, __import__, "undefined_module")
Guido van Rossum3bead091992-01-27 17:00:37 +000054
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000055 self.raise_catch(IndexError, "IndexError")
56 x = []
57 self.assertRaises(IndexError, x.__getitem__, 10)
Guido van Rossum3bead091992-01-27 17:00:37 +000058
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000059 self.raise_catch(KeyError, "KeyError")
60 x = {}
61 self.assertRaises(KeyError, x.__getitem__, 'key')
Guido van Rossum3bead091992-01-27 17:00:37 +000062
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000063 self.raise_catch(KeyboardInterrupt, "KeyboardInterrupt")
Guido van Rossum3bead091992-01-27 17:00:37 +000064
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000065 self.raise_catch(MemoryError, "MemoryError")
Guido van Rossum3bead091992-01-27 17:00:37 +000066
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000067 self.raise_catch(NameError, "NameError")
68 try: x = undefined_variable
69 except NameError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000070
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000071 self.raise_catch(OverflowError, "OverflowError")
72 x = 1
73 for dummy in range(128):
74 x += x # this simply shouldn't blow up
Guido van Rossum3bead091992-01-27 17:00:37 +000075
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000076 self.raise_catch(RuntimeError, "RuntimeError")
Guido van Rossum3bead091992-01-27 17:00:37 +000077
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000078 self.raise_catch(SyntaxError, "SyntaxError")
Georg Brandl7cae87c2006-09-06 06:51:57 +000079 try: exec('/\n')
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000080 except SyntaxError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000081
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000082 self.raise_catch(IndentationError, "IndentationError")
Fred Drake72e48bd2000-09-08 16:32:34 +000083
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000084 self.raise_catch(TabError, "TabError")
Georg Brandle1b5ac62008-06-04 13:06:58 +000085 try: compile("try:\n\t1/0\n \t1/0\nfinally:\n pass\n",
86 '<string>', 'exec')
87 except TabError: pass
88 else: self.fail("TabError not raised")
Fred Drake72e48bd2000-09-08 16:32:34 +000089
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000090 self.raise_catch(SystemError, "SystemError")
Fred Drake72e48bd2000-09-08 16:32:34 +000091
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000092 self.raise_catch(SystemExit, "SystemExit")
93 self.assertRaises(SystemExit, sys.exit, 0)
Fred Drake85f36392000-07-11 17:53:00 +000094
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000095 self.raise_catch(TypeError, "TypeError")
96 try: [] + ()
97 except TypeError: pass
Fred Drake85f36392000-07-11 17:53:00 +000098
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000099 self.raise_catch(ValueError, "ValueError")
Guido van Rossume63bae62007-07-17 00:34:25 +0000100 self.assertRaises(ValueError, chr, 17<<16)
Guido van Rossum3bead091992-01-27 17:00:37 +0000101
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000102 self.raise_catch(ZeroDivisionError, "ZeroDivisionError")
103 try: x = 1/0
104 except ZeroDivisionError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000105
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000106 self.raise_catch(Exception, "Exception")
107 try: x = 1/0
Guido van Rossumb940e112007-01-10 16:19:56 +0000108 except Exception as e: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000109
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000110 def testSyntaxErrorMessage(self):
111 # make sure the right exception message is raised for each of
112 # these code fragments
Guido van Rossum3bead091992-01-27 17:00:37 +0000113
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000114 def ckmsg(src, msg):
115 try:
116 compile(src, '<fragment>', 'exec')
Guido van Rossumb940e112007-01-10 16:19:56 +0000117 except SyntaxError as e:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000118 if e.msg != msg:
119 self.fail("expected %s, got %s" % (msg, e.msg))
120 else:
121 self.fail("failed to get expected SyntaxError")
Guido van Rossum3bead091992-01-27 17:00:37 +0000122
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000123 s = '''while 1:
124 try:
125 pass
126 finally:
127 continue'''
Barry Warsaw992cb8a2000-05-25 23:16:54 +0000128
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000129 if not sys.platform.startswith('java'):
130 ckmsg(s, "'continue' not supported inside 'finally' clause")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000131
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000132 s = '''if 1:
133 try:
134 continue
135 except:
136 pass'''
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000137
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000138 ckmsg(s, "'continue' not properly in loop")
139 ckmsg("continue\n", "'continue' not properly in loop")
Thomas Wouters303de6a2006-04-20 22:42:37 +0000140
Benjamin Peterson17e0bbc2010-06-28 15:39:55 +0000141 @cpython_only
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000142 def testSettingException(self):
143 # test that setting an exception at the C level works even if the
144 # exception object can't be constructed.
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000145
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000146 class BadException(Exception):
147 def __init__(self_):
Collin Winter828f04a2007-08-31 00:04:24 +0000148 raise RuntimeError("can't instantiate BadException")
Finn Bockaa3dc452001-12-08 10:15:48 +0000149
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000150 class InvalidException:
151 pass
Thomas Wouters303de6a2006-04-20 22:42:37 +0000152
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000153 def test_capi1():
154 import _testcapi
155 try:
156 _testcapi.raise_exception(BadException, 1)
Guido van Rossumb940e112007-01-10 16:19:56 +0000157 except TypeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000158 exc, err, tb = sys.exc_info()
159 co = tb.tb_frame.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000160 self.assertEqual(co.co_name, "test_capi1")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000161 self.assertTrue(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000162 else:
163 self.fail("Expected exception")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000164
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000165 def test_capi2():
166 import _testcapi
167 try:
168 _testcapi.raise_exception(BadException, 0)
Guido van Rossumb940e112007-01-10 16:19:56 +0000169 except RuntimeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000170 exc, err, tb = sys.exc_info()
171 co = tb.tb_frame.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000172 self.assertEqual(co.co_name, "__init__")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000173 self.assertTrue(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000174 co2 = tb.tb_frame.f_back.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000175 self.assertEqual(co2.co_name, "test_capi2")
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000176 else:
177 self.fail("Expected exception")
Thomas Wouters477c8d52006-05-27 19:21:47 +0000178
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000179 def test_capi3():
180 import _testcapi
181 self.assertRaises(SystemError, _testcapi.raise_exception,
182 InvalidException, 1)
183
184 if not sys.platform.startswith('java'):
185 test_capi1()
186 test_capi2()
187 test_capi3()
188
Thomas Wouters89f507f2006-12-13 04:49:30 +0000189 def test_WindowsError(self):
190 try:
191 WindowsError
192 except NameError:
193 pass
194 else:
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200195 self.assertIs(WindowsError, OSError)
196 self.assertEqual(str(OSError(1001)), "1001")
197 self.assertEqual(str(OSError(1001, "message")),
198 "[Errno 1001] message")
199 # POSIX errno (9 aka EBADF) is untranslated
200 w = OSError(9, 'foo', 'bar')
201 self.assertEqual(w.errno, 9)
202 self.assertEqual(w.winerror, None)
203 self.assertEqual(str(w), "[Errno 9] foo: 'bar'")
204 # ERROR_PATH_NOT_FOUND (win error 3) becomes ENOENT (2)
205 w = OSError(0, 'foo', 'bar', 3)
206 self.assertEqual(w.errno, 2)
207 self.assertEqual(w.winerror, 3)
208 self.assertEqual(w.strerror, 'foo')
209 self.assertEqual(w.filename, 'bar')
210 self.assertEqual(str(w), "[Error 3] foo: 'bar'")
211 # Unknown win error becomes EINVAL (22)
212 w = OSError(0, 'foo', None, 1001)
213 self.assertEqual(w.errno, 22)
214 self.assertEqual(w.winerror, 1001)
215 self.assertEqual(w.strerror, 'foo')
216 self.assertEqual(w.filename, None)
217 self.assertEqual(str(w), "[Error 1001] foo")
218 # Non-numeric "errno"
219 w = OSError('bar', 'foo')
220 self.assertEqual(w.errno, 'bar')
221 self.assertEqual(w.winerror, None)
222 self.assertEqual(w.strerror, 'foo')
223 self.assertEqual(w.filename, None)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000224
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000225 def testAttributes(self):
226 # test that exception attributes are happy
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000227
228 exceptionList = [
Guido van Rossumebe3e162007-05-17 18:20:34 +0000229 (BaseException, (), {'args' : ()}),
230 (BaseException, (1, ), {'args' : (1,)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000231 (BaseException, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000232 {'args' : ('foo',)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000233 (BaseException, ('foo', 1),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000234 {'args' : ('foo', 1)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000235 (SystemExit, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000236 {'args' : ('foo',), 'code' : 'foo'}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000237 (IOError, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000238 {'args' : ('foo',), 'filename' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000239 'errno' : None, 'strerror' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000240 (IOError, ('foo', 'bar'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000241 {'args' : ('foo', 'bar'), 'filename' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000242 'errno' : 'foo', 'strerror' : 'bar'}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000243 (IOError, ('foo', 'bar', 'baz'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000244 {'args' : ('foo', 'bar'), 'filename' : 'baz',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000245 'errno' : 'foo', 'strerror' : 'bar'}),
246 (IOError, ('foo', 'bar', 'baz', 'quux'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000247 {'args' : ('foo', 'bar', 'baz', 'quux')}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000248 (EnvironmentError, ('errnoStr', 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000249 {'args' : ('errnoStr', 'strErrorStr'),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000250 'strerror' : 'strErrorStr', 'errno' : 'errnoStr',
251 'filename' : 'filenameStr'}),
252 (EnvironmentError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000253 {'args' : (1, 'strErrorStr'), 'errno' : 1,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000254 'strerror' : 'strErrorStr', 'filename' : 'filenameStr'}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000255 (SyntaxError, (), {'msg' : None, 'text' : None,
Guido van Rossumd8faa362007-04-27 19:54:29 +0000256 'filename' : None, 'lineno' : None, 'offset' : None,
257 'print_file_and_line' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000258 (SyntaxError, ('msgStr',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000259 {'args' : ('msgStr',), 'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000260 'print_file_and_line' : None, 'msg' : 'msgStr',
261 'filename' : None, 'lineno' : None, 'offset' : None}),
262 (SyntaxError, ('msgStr', ('filenameStr', 'linenoStr', 'offsetStr',
263 'textStr')),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000264 {'offset' : 'offsetStr', 'text' : 'textStr',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000265 'args' : ('msgStr', ('filenameStr', 'linenoStr',
266 'offsetStr', 'textStr')),
267 'print_file_and_line' : None, 'msg' : 'msgStr',
268 'filename' : 'filenameStr', 'lineno' : 'linenoStr'}),
269 (SyntaxError, ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
270 'textStr', 'print_file_and_lineStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000271 {'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000272 'args' : ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
273 'textStr', 'print_file_and_lineStr'),
274 'print_file_and_line' : None, 'msg' : 'msgStr',
275 'filename' : None, 'lineno' : None, 'offset' : None}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000276 (UnicodeError, (), {'args' : (),}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000277 (UnicodeEncodeError, ('ascii', 'a', 0, 1,
278 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000279 {'args' : ('ascii', 'a', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000280 'ordinal not in range'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000281 'encoding' : 'ascii', 'object' : 'a',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000282 'start' : 0, 'reason' : 'ordinal not in range'}),
Guido van Rossum254348e2007-11-21 19:29:53 +0000283 (UnicodeDecodeError, ('ascii', bytearray(b'\xff'), 0, 1,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000284 'ordinal not in range'),
Guido van Rossum254348e2007-11-21 19:29:53 +0000285 {'args' : ('ascii', bytearray(b'\xff'), 0, 1,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000286 'ordinal not in range'),
287 'encoding' : 'ascii', 'object' : b'\xff',
288 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000289 (UnicodeDecodeError, ('ascii', b'\xff', 0, 1,
290 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000291 {'args' : ('ascii', b'\xff', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000292 'ordinal not in range'),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000293 'encoding' : 'ascii', 'object' : b'\xff',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000294 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000295 (UnicodeTranslateError, ("\u3042", 0, 1, "ouch"),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000296 {'args' : ('\u3042', 0, 1, 'ouch'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000297 'object' : '\u3042', 'reason' : 'ouch',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000298 'start' : 0, 'end' : 1}),
Thomas Wouters477c8d52006-05-27 19:21:47 +0000299 ]
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000300 try:
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200301 # More tests are in test_WindowsError
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000302 exceptionList.append(
303 (WindowsError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000304 {'args' : (1, 'strErrorStr'),
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200305 'strerror' : 'strErrorStr', 'winerror' : None,
306 'errno' : 1, 'filename' : 'filenameStr'})
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000307 )
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000308 except NameError:
309 pass
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000310
Guido van Rossumebe3e162007-05-17 18:20:34 +0000311 for exc, args, expected in exceptionList:
312 try:
313 e = exc(*args)
314 except:
Guido van Rossum98297ee2007-11-06 21:34:58 +0000315 print("\nexc=%r, args=%r" % (exc, args), file=sys.stderr)
Guido van Rossumebe3e162007-05-17 18:20:34 +0000316 raise
317 else:
318 # Verify module name
Ezio Melottib3aedd42010-11-20 19:04:17 +0000319 self.assertEqual(type(e).__module__, 'builtins')
Guido van Rossumebe3e162007-05-17 18:20:34 +0000320 # Verify no ref leaks in Exc_str()
321 s = str(e)
322 for checkArgName in expected:
323 value = getattr(e, checkArgName)
Ezio Melottib3aedd42010-11-20 19:04:17 +0000324 self.assertEqual(repr(value),
325 repr(expected[checkArgName]),
326 '%r.%s == %r, expected %r' % (
327 e, checkArgName,
328 value, expected[checkArgName]))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000329
Guido van Rossumebe3e162007-05-17 18:20:34 +0000330 # test for pickling support
Guido van Rossum99603b02007-07-20 00:22:32 +0000331 for p in [pickle]:
Guido van Rossumebe3e162007-05-17 18:20:34 +0000332 for protocol in range(p.HIGHEST_PROTOCOL + 1):
333 s = p.dumps(e, protocol)
334 new = p.loads(s)
335 for checkArgName in expected:
336 got = repr(getattr(new, checkArgName))
337 want = repr(expected[checkArgName])
Ezio Melottib3aedd42010-11-20 19:04:17 +0000338 self.assertEqual(got, want,
339 'pickled "%r", attribute "%s' %
340 (e, checkArgName))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000341
Collin Winter828f04a2007-08-31 00:04:24 +0000342 def testWithTraceback(self):
343 try:
344 raise IndexError(4)
345 except:
346 tb = sys.exc_info()[2]
347
348 e = BaseException().with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000349 self.assertIsInstance(e, BaseException)
Collin Winter828f04a2007-08-31 00:04:24 +0000350 self.assertEqual(e.__traceback__, tb)
351
352 e = IndexError(5).with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000353 self.assertIsInstance(e, IndexError)
Collin Winter828f04a2007-08-31 00:04:24 +0000354 self.assertEqual(e.__traceback__, tb)
355
356 class MyException(Exception):
357 pass
358
359 e = MyException().with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000360 self.assertIsInstance(e, MyException)
Collin Winter828f04a2007-08-31 00:04:24 +0000361 self.assertEqual(e.__traceback__, tb)
362
363 def testInvalidTraceback(self):
364 try:
365 Exception().__traceback__ = 5
366 except TypeError as e:
Benjamin Peterson577473f2010-01-19 00:09:57 +0000367 self.assertIn("__traceback__ must be a traceback", str(e))
Collin Winter828f04a2007-08-31 00:04:24 +0000368 else:
369 self.fail("No exception raised")
370
Georg Brandlab6f2f62009-03-31 04:16:10 +0000371 def testInvalidAttrs(self):
372 self.assertRaises(TypeError, setattr, Exception(), '__cause__', 1)
373 self.assertRaises(TypeError, delattr, Exception(), '__cause__')
374 self.assertRaises(TypeError, setattr, Exception(), '__context__', 1)
375 self.assertRaises(TypeError, delattr, Exception(), '__context__')
376
Collin Winter828f04a2007-08-31 00:04:24 +0000377 def testNoneClearsTracebackAttr(self):
378 try:
379 raise IndexError(4)
380 except:
381 tb = sys.exc_info()[2]
382
383 e = Exception()
384 e.__traceback__ = tb
385 e.__traceback__ = None
386 self.assertEqual(e.__traceback__, None)
387
388 def testChainingAttrs(self):
389 e = Exception()
390 self.assertEqual(e.__context__, None)
391 self.assertEqual(e.__cause__, None)
392
393 e = TypeError()
394 self.assertEqual(e.__context__, None)
395 self.assertEqual(e.__cause__, None)
396
397 class MyException(EnvironmentError):
398 pass
399
400 e = MyException()
401 self.assertEqual(e.__context__, None)
402 self.assertEqual(e.__cause__, None)
403
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000404 def testKeywordArgs(self):
405 # test that builtin exception don't take keyword args,
406 # but user-defined subclasses can if they want
407 self.assertRaises(TypeError, BaseException, a=1)
408
409 class DerivedException(BaseException):
410 def __init__(self, fancy_arg):
411 BaseException.__init__(self)
412 self.fancy_arg = fancy_arg
413
414 x = DerivedException(fancy_arg=42)
Ezio Melottib3aedd42010-11-20 19:04:17 +0000415 self.assertEqual(x.fancy_arg, 42)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000416
Brett Cannon31f59292011-02-21 19:29:56 +0000417 @no_tracing
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000418 def testInfiniteRecursion(self):
419 def f():
420 return f()
421 self.assertRaises(RuntimeError, f)
422
423 def g():
424 try:
425 return g()
426 except ValueError:
427 return -1
428 self.assertRaises(RuntimeError, g)
429
Ezio Melotti2f5a78c2009-12-24 22:54:06 +0000430 def test_str(self):
431 # Make sure both instances and classes have a str representation.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000432 self.assertTrue(str(Exception))
433 self.assertTrue(str(Exception('a')))
Ezio Melotti2f5a78c2009-12-24 22:54:06 +0000434 self.assertTrue(str(Exception('a', 'b')))
Thomas Wouters89f507f2006-12-13 04:49:30 +0000435
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000436 def testExceptionCleanupNames(self):
437 # Make sure the local variable bound to the exception instance by
438 # an "except" statement is only visible inside the except block.
Guido van Rossumb940e112007-01-10 16:19:56 +0000439 try:
440 raise Exception()
441 except Exception as e:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000442 self.assertTrue(e)
Guido van Rossumb940e112007-01-10 16:19:56 +0000443 del e
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000444 self.assertNotIn('e', locals())
Guido van Rossumb940e112007-01-10 16:19:56 +0000445
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000446 def testExceptionCleanupState(self):
447 # Make sure exception state is cleaned up as soon as the except
448 # block is left. See #2507
449
450 class MyException(Exception):
451 def __init__(self, obj):
452 self.obj = obj
453 class MyObj:
454 pass
455
456 def inner_raising_func():
457 # Create some references in exception value and traceback
458 local_ref = obj
459 raise MyException(obj)
460
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000461 # Qualified "except" with "as"
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000462 obj = MyObj()
463 wr = weakref.ref(obj)
464 try:
465 inner_raising_func()
466 except MyException as e:
467 pass
468 obj = None
469 obj = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000470 self.assertTrue(obj is None, "%s" % obj)
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000471
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000472 # Qualified "except" without "as"
473 obj = MyObj()
474 wr = weakref.ref(obj)
475 try:
476 inner_raising_func()
477 except MyException:
478 pass
479 obj = None
480 obj = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000481 self.assertTrue(obj is None, "%s" % obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000482
483 # Bare "except"
484 obj = MyObj()
485 wr = weakref.ref(obj)
486 try:
487 inner_raising_func()
488 except:
489 pass
490 obj = None
491 obj = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000492 self.assertTrue(obj is None, "%s" % obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000493
494 # "except" with premature block leave
495 obj = MyObj()
496 wr = weakref.ref(obj)
497 for i in [0]:
498 try:
499 inner_raising_func()
500 except:
501 break
502 obj = None
503 obj = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000504 self.assertTrue(obj is None, "%s" % obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000505
506 # "except" block raising another exception
507 obj = MyObj()
508 wr = weakref.ref(obj)
509 try:
510 try:
511 inner_raising_func()
512 except:
513 raise KeyError
Guido van Rossumb4fb6e42008-06-14 20:20:24 +0000514 except KeyError as e:
515 # We want to test that the except block above got rid of
516 # the exception raised in inner_raising_func(), but it
517 # also ends up in the __context__ of the KeyError, so we
518 # must clear the latter manually for our test to succeed.
519 e.__context__ = None
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000520 obj = None
521 obj = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000522 self.assertTrue(obj is None, "%s" % obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000523
524 # Some complicated construct
525 obj = MyObj()
526 wr = weakref.ref(obj)
527 try:
528 inner_raising_func()
529 except MyException:
530 try:
531 try:
532 raise
533 finally:
534 raise
535 except MyException:
536 pass
537 obj = None
538 obj = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000539 self.assertTrue(obj is None, "%s" % obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000540
541 # Inside an exception-silencing "with" block
542 class Context:
543 def __enter__(self):
544 return self
545 def __exit__ (self, exc_type, exc_value, exc_tb):
546 return True
547 obj = MyObj()
548 wr = weakref.ref(obj)
549 with Context():
550 inner_raising_func()
551 obj = None
552 obj = wr()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000553 self.assertTrue(obj is None, "%s" % obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000554
Amaury Forgeot d'Arcba117ef2010-09-10 21:39:53 +0000555 def test_exception_target_in_nested_scope(self):
556 # issue 4617: This used to raise a SyntaxError
557 # "can not delete variable 'e' referenced in nested scope"
558 def print_error():
559 e
560 try:
561 something
562 except Exception as e:
563 print_error()
564 # implicit "del e" here
565
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000566 def test_generator_leaking(self):
567 # Test that generator exception state doesn't leak into the calling
568 # frame
569 def yield_raise():
570 try:
571 raise KeyError("caught")
572 except KeyError:
573 yield sys.exc_info()[0]
574 yield sys.exc_info()[0]
575 yield sys.exc_info()[0]
576 g = yield_raise()
Ezio Melottib3aedd42010-11-20 19:04:17 +0000577 self.assertEqual(next(g), KeyError)
578 self.assertEqual(sys.exc_info()[0], None)
579 self.assertEqual(next(g), KeyError)
580 self.assertEqual(sys.exc_info()[0], None)
581 self.assertEqual(next(g), None)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000582
583 # Same test, but inside an exception handler
584 try:
585 raise TypeError("foo")
586 except TypeError:
587 g = yield_raise()
Ezio Melottib3aedd42010-11-20 19:04:17 +0000588 self.assertEqual(next(g), KeyError)
589 self.assertEqual(sys.exc_info()[0], TypeError)
590 self.assertEqual(next(g), KeyError)
591 self.assertEqual(sys.exc_info()[0], TypeError)
592 self.assertEqual(next(g), TypeError)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000593 del g
Ezio Melottib3aedd42010-11-20 19:04:17 +0000594 self.assertEqual(sys.exc_info()[0], TypeError)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000595
Benjamin Peterson83195c32011-07-03 13:44:00 -0500596 def test_generator_leaking2(self):
597 # See issue 12475.
598 def g():
599 yield
600 try:
601 raise RuntimeError
602 except RuntimeError:
603 it = g()
604 next(it)
605 try:
606 next(it)
607 except StopIteration:
608 pass
609 self.assertEqual(sys.exc_info(), (None, None, None))
610
Benjamin Petersonac913412011-07-03 16:25:11 -0500611 def test_generator_doesnt_retain_old_exc(self):
612 def g():
613 self.assertIsInstance(sys.exc_info()[1], RuntimeError)
614 yield
615 self.assertEqual(sys.exc_info(), (None, None, None))
616 it = g()
617 try:
618 raise RuntimeError
619 except RuntimeError:
620 next(it)
621 self.assertRaises(StopIteration, next, it)
622
Benjamin Petersonae5f2f42010-03-07 17:10:51 +0000623 def test_generator_finalizing_and_exc_info(self):
624 # See #7173
625 def simple_gen():
626 yield 1
627 def run_gen():
628 gen = simple_gen()
629 try:
630 raise RuntimeError
631 except RuntimeError:
632 return next(gen)
633 run_gen()
634 gc_collect()
635 self.assertEqual(sys.exc_info(), (None, None, None))
636
Antoine Pitroua370fcf2011-08-20 14:15:03 +0200637 def _check_generator_cleanup_exc_state(self, testfunc):
638 # Issue #12791: exception state is cleaned up as soon as a generator
639 # is closed (reference cycles are broken).
640 class MyException(Exception):
641 def __init__(self, obj):
642 self.obj = obj
643 class MyObj:
644 pass
645
646 def raising_gen():
647 try:
648 raise MyException(obj)
649 except MyException:
650 yield
651
652 obj = MyObj()
653 wr = weakref.ref(obj)
654 g = raising_gen()
655 next(g)
656 testfunc(g)
657 g = obj = None
658 obj = wr()
659 self.assertIs(obj, None)
660
661 def test_generator_throw_cleanup_exc_state(self):
662 def do_throw(g):
663 try:
664 g.throw(RuntimeError())
665 except RuntimeError:
666 pass
667 self._check_generator_cleanup_exc_state(do_throw)
668
669 def test_generator_close_cleanup_exc_state(self):
670 def do_close(g):
671 g.close()
672 self._check_generator_cleanup_exc_state(do_close)
673
674 def test_generator_del_cleanup_exc_state(self):
675 def do_del(g):
676 g = None
677 self._check_generator_cleanup_exc_state(do_del)
678
679 def test_generator_next_cleanup_exc_state(self):
680 def do_next(g):
681 try:
682 next(g)
683 except StopIteration:
684 pass
685 else:
686 self.fail("should have raised StopIteration")
687 self._check_generator_cleanup_exc_state(do_next)
688
689 def test_generator_send_cleanup_exc_state(self):
690 def do_send(g):
691 try:
692 g.send(None)
693 except StopIteration:
694 pass
695 else:
696 self.fail("should have raised StopIteration")
697 self._check_generator_cleanup_exc_state(do_send)
698
Benjamin Peterson27d63672008-06-15 20:09:12 +0000699 def test_3114(self):
700 # Bug #3114: in its destructor, MyObject retrieves a pointer to
701 # obsolete and/or deallocated objects.
Benjamin Peterson979f3112008-06-15 00:05:44 +0000702 class MyObject:
703 def __del__(self):
704 nonlocal e
705 e = sys.exc_info()
706 e = ()
707 try:
708 raise Exception(MyObject())
709 except:
710 pass
Ezio Melottib3aedd42010-11-20 19:04:17 +0000711 self.assertEqual(e, (None, None, None))
Benjamin Peterson979f3112008-06-15 00:05:44 +0000712
Eric Smith0facd772010-02-24 15:42:29 +0000713 def testUnicodeChangeAttributes(self):
714 # See issue 7309. This was a crasher.
715
716 u = UnicodeEncodeError('baz', 'xxxxx', 1, 5, 'foo')
717 self.assertEqual(str(u), "'baz' codec can't encode characters in position 1-4: foo")
718 u.end = 2
719 self.assertEqual(str(u), "'baz' codec can't encode character '\\x78' in position 1: foo")
720 u.end = 5
721 u.reason = 0x345345345345345345
722 self.assertEqual(str(u), "'baz' codec can't encode characters in position 1-4: 965230951443685724997")
723 u.encoding = 4000
724 self.assertEqual(str(u), "'4000' codec can't encode characters in position 1-4: 965230951443685724997")
725 u.start = 1000
726 self.assertEqual(str(u), "'4000' codec can't encode characters in position 1000-4: 965230951443685724997")
727
728 u = UnicodeDecodeError('baz', b'xxxxx', 1, 5, 'foo')
729 self.assertEqual(str(u), "'baz' codec can't decode bytes in position 1-4: foo")
730 u.end = 2
731 self.assertEqual(str(u), "'baz' codec can't decode byte 0x78 in position 1: foo")
732 u.end = 5
733 u.reason = 0x345345345345345345
734 self.assertEqual(str(u), "'baz' codec can't decode bytes in position 1-4: 965230951443685724997")
735 u.encoding = 4000
736 self.assertEqual(str(u), "'4000' codec can't decode bytes in position 1-4: 965230951443685724997")
737 u.start = 1000
738 self.assertEqual(str(u), "'4000' codec can't decode bytes in position 1000-4: 965230951443685724997")
739
740 u = UnicodeTranslateError('xxxx', 1, 5, 'foo')
741 self.assertEqual(str(u), "can't translate characters in position 1-4: foo")
742 u.end = 2
743 self.assertEqual(str(u), "can't translate character '\\x78' in position 1: foo")
744 u.end = 5
745 u.reason = 0x345345345345345345
746 self.assertEqual(str(u), "can't translate characters in position 1-4: 965230951443685724997")
747 u.start = 1000
748 self.assertEqual(str(u), "can't translate characters in position 1000-4: 965230951443685724997")
Benjamin Peterson6e7740c2008-08-20 23:23:34 +0000749
Brett Cannon31f59292011-02-21 19:29:56 +0000750 @no_tracing
Benjamin Peterson69c88f72008-07-31 01:47:08 +0000751 def test_badisinstance(self):
752 # Bug #2542: if issubclass(e, MyException) raises an exception,
753 # it should be ignored
754 class Meta(type):
755 def __subclasscheck__(cls, subclass):
756 raise ValueError()
757 class MyException(Exception, metaclass=Meta):
758 pass
759
760 with captured_output("stderr") as stderr:
761 try:
762 raise KeyError()
763 except MyException as e:
764 self.fail("exception should not be a MyException")
765 except KeyError:
766 pass
767 except:
Antoine Pitrouec569b72008-08-26 22:40:48 +0000768 self.fail("Should have raised KeyError")
Benjamin Peterson69c88f72008-07-31 01:47:08 +0000769 else:
Antoine Pitrouec569b72008-08-26 22:40:48 +0000770 self.fail("Should have raised KeyError")
771
772 def g():
773 try:
774 return g()
775 except RuntimeError:
776 return sys.exc_info()
777 e, v, tb = g()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000778 self.assertTrue(isinstance(v, RuntimeError), type(v))
Benjamin Peterson577473f2010-01-19 00:09:57 +0000779 self.assertIn("maximum recursion depth exceeded", str(v))
Benjamin Peterson69c88f72008-07-31 01:47:08 +0000780
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +0000781
782 def test_MemoryError(self):
783 # PyErr_NoMemory always raises the same exception instance.
784 # Check that the traceback is not doubled.
785 import traceback
Benjamin Peterson0067bd62008-08-16 16:11:03 +0000786 from _testcapi import raise_memoryerror
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +0000787 def raiseMemError():
788 try:
Benjamin Peterson0067bd62008-08-16 16:11:03 +0000789 raise_memoryerror()
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +0000790 except MemoryError as e:
791 tb = e.__traceback__
792 else:
793 self.fail("Should have raises a MemoryError")
794 return traceback.format_tb(tb)
795
796 tb1 = raiseMemError()
797 tb2 = raiseMemError()
798 self.assertEqual(tb1, tb2)
799
Benjamin Peterson17e0bbc2010-06-28 15:39:55 +0000800 @cpython_only
Georg Brandl1e28a272009-12-28 08:41:01 +0000801 def test_exception_with_doc(self):
802 import _testcapi
803 doc2 = "This is a test docstring."
804 doc4 = "This is another test docstring."
805
806 self.assertRaises(SystemError, _testcapi.make_exception_with_doc,
807 "error1")
808
809 # test basic usage of PyErr_NewException
810 error1 = _testcapi.make_exception_with_doc("_testcapi.error1")
811 self.assertIs(type(error1), type)
812 self.assertTrue(issubclass(error1, Exception))
813 self.assertIsNone(error1.__doc__)
814
815 # test with given docstring
816 error2 = _testcapi.make_exception_with_doc("_testcapi.error2", doc2)
817 self.assertEqual(error2.__doc__, doc2)
818
819 # test with explicit base (without docstring)
820 error3 = _testcapi.make_exception_with_doc("_testcapi.error3",
821 base=error2)
822 self.assertTrue(issubclass(error3, error2))
823
824 # test with explicit base tuple
825 class C(object):
826 pass
827 error4 = _testcapi.make_exception_with_doc("_testcapi.error4", doc4,
828 (error3, C))
829 self.assertTrue(issubclass(error4, error3))
830 self.assertTrue(issubclass(error4, C))
831 self.assertEqual(error4.__doc__, doc4)
832
833 # test with explicit dictionary
834 error5 = _testcapi.make_exception_with_doc("_testcapi.error5", "",
835 error4, {'a': 1})
836 self.assertTrue(issubclass(error5, error4))
837 self.assertEqual(error5.a, 1)
838 self.assertEqual(error5.__doc__, "")
839
Antoine Pitrou07e20ef2010-10-28 22:56:58 +0000840 def test_memory_error_cleanup(self):
841 # Issue #5437: preallocated MemoryError instances should not keep
842 # traceback objects alive.
843 from _testcapi import raise_memoryerror
844 class C:
845 pass
846 wr = None
847 def inner():
848 nonlocal wr
849 c = C()
850 wr = weakref.ref(c)
851 raise_memoryerror()
852 # We cannot use assertRaises since it manually deletes the traceback
853 try:
854 inner()
855 except MemoryError as e:
856 self.assertNotEqual(wr(), None)
857 else:
858 self.fail("MemoryError not raised")
859 self.assertEqual(wr(), None)
860
Brett Cannon31f59292011-02-21 19:29:56 +0000861 @no_tracing
Antoine Pitrou07e20ef2010-10-28 22:56:58 +0000862 def test_recursion_error_cleanup(self):
863 # Same test as above, but with "recursion exceeded" errors
864 class C:
865 pass
866 wr = None
867 def inner():
868 nonlocal wr
869 c = C()
870 wr = weakref.ref(c)
871 inner()
872 # We cannot use assertRaises since it manually deletes the traceback
873 try:
874 inner()
875 except RuntimeError as e:
876 self.assertNotEqual(wr(), None)
877 else:
878 self.fail("RuntimeError not raised")
879 self.assertEqual(wr(), None)
Georg Brandl1e28a272009-12-28 08:41:01 +0000880
Antoine Pitroua7622852011-09-01 21:37:43 +0200881 def test_errno_ENOTDIR(self):
882 # Issue #12802: "not a directory" errors are ENOTDIR even on Windows
883 with self.assertRaises(OSError) as cm:
884 os.listdir(__file__)
885 self.assertEqual(cm.exception.errno, errno.ENOTDIR, cm.exception)
886
887
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000888def test_main():
889 run_unittest(ExceptionTests)
890
891if __name__ == '__main__':
Guido van Rossumb8142c32007-05-08 17:49:10 +0000892 unittest.main()