Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 1 | # Python test set -- part 5, built-in exceptions |
| 2 | |
Thomas Wouters | 73e5a5b | 2006-06-08 15:35:45 +0000 | [diff] [blame] | 3 | import os |
| 4 | import sys |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 5 | import unittest |
Guido van Rossum | bf12cdb | 2006-08-17 20:24:18 +0000 | [diff] [blame] | 6 | import pickle |
Barry Warsaw | 8d109cb | 2008-05-08 04:26:35 +0000 | [diff] [blame] | 7 | import weakref |
Antoine Pitrou | a762285 | 2011-09-01 21:37:43 +0200 | [diff] [blame] | 8 | import errno |
Thomas Wouters | 73e5a5b | 2006-06-08 15:35:45 +0000 | [diff] [blame] | 9 | |
Benjamin Peterson | ae5f2f4 | 2010-03-07 17:10:51 +0000 | [diff] [blame] | 10 | from test.support import (TESTFN, unlink, run_unittest, captured_output, |
Brett Cannon | 31f5929 | 2011-02-21 19:29:56 +0000 | [diff] [blame] | 11 | gc_collect, cpython_only, no_tracing) |
Guido van Rossum | 83b120d | 2001-08-23 03:23:03 +0000 | [diff] [blame] | 12 | |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 13 | # XXX This is not really enough, each *operation* should be tested! |
| 14 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 15 | class ExceptionTests(unittest.TestCase): |
Barry Warsaw | b9c1d3d | 2001-08-13 23:07:00 +0000 | [diff] [blame] | 16 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 17 | def raise_catch(self, exc, excname): |
| 18 | try: |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 19 | raise exc("spam") |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 20 | except exc as err: |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 21 | buf1 = str(err) |
| 22 | try: |
| 23 | raise exc("spam") |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 24 | except exc as err: |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 25 | buf2 = str(err) |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 26 | self.assertEqual(buf1, buf2) |
| 27 | self.assertEqual(exc.__name__, excname) |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 28 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 29 | def testRaising(self): |
| 30 | self.raise_catch(AttributeError, "AttributeError") |
| 31 | self.assertRaises(AttributeError, getattr, sys, "undefined_attribute") |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 32 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 33 | 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 Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 48 | |
Antoine Pitrou | 6b4883d | 2011-10-12 02:54:14 +0200 | [diff] [blame] | 49 | self.raise_catch(OSError, "OSError") |
| 50 | self.assertRaises(OSError, open, 'this file does not exist', 'r') |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 51 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 52 | self.raise_catch(ImportError, "ImportError") |
| 53 | self.assertRaises(ImportError, __import__, "undefined_module") |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 54 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 55 | self.raise_catch(IndexError, "IndexError") |
| 56 | x = [] |
| 57 | self.assertRaises(IndexError, x.__getitem__, 10) |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 58 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 59 | self.raise_catch(KeyError, "KeyError") |
| 60 | x = {} |
| 61 | self.assertRaises(KeyError, x.__getitem__, 'key') |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 62 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 63 | self.raise_catch(KeyboardInterrupt, "KeyboardInterrupt") |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 64 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 65 | self.raise_catch(MemoryError, "MemoryError") |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 66 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 67 | self.raise_catch(NameError, "NameError") |
| 68 | try: x = undefined_variable |
| 69 | except NameError: pass |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 70 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 71 | 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 Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 75 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 76 | self.raise_catch(RuntimeError, "RuntimeError") |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 77 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 78 | self.raise_catch(SyntaxError, "SyntaxError") |
Georg Brandl | 7cae87c | 2006-09-06 06:51:57 +0000 | [diff] [blame] | 79 | try: exec('/\n') |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 80 | except SyntaxError: pass |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 81 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 82 | self.raise_catch(IndentationError, "IndentationError") |
Fred Drake | 72e48bd | 2000-09-08 16:32:34 +0000 | [diff] [blame] | 83 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 84 | self.raise_catch(TabError, "TabError") |
Georg Brandl | e1b5ac6 | 2008-06-04 13:06:58 +0000 | [diff] [blame] | 85 | 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 Drake | 72e48bd | 2000-09-08 16:32:34 +0000 | [diff] [blame] | 89 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 90 | self.raise_catch(SystemError, "SystemError") |
Fred Drake | 72e48bd | 2000-09-08 16:32:34 +0000 | [diff] [blame] | 91 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 92 | self.raise_catch(SystemExit, "SystemExit") |
| 93 | self.assertRaises(SystemExit, sys.exit, 0) |
Fred Drake | 85f3639 | 2000-07-11 17:53:00 +0000 | [diff] [blame] | 94 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 95 | self.raise_catch(TypeError, "TypeError") |
| 96 | try: [] + () |
| 97 | except TypeError: pass |
Fred Drake | 85f3639 | 2000-07-11 17:53:00 +0000 | [diff] [blame] | 98 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 99 | self.raise_catch(ValueError, "ValueError") |
Guido van Rossum | e63bae6 | 2007-07-17 00:34:25 +0000 | [diff] [blame] | 100 | self.assertRaises(ValueError, chr, 17<<16) |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 101 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 102 | self.raise_catch(ZeroDivisionError, "ZeroDivisionError") |
| 103 | try: x = 1/0 |
| 104 | except ZeroDivisionError: pass |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 105 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 106 | self.raise_catch(Exception, "Exception") |
| 107 | try: x = 1/0 |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 108 | except Exception as e: pass |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 109 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 110 | def testSyntaxErrorMessage(self): |
| 111 | # make sure the right exception message is raised for each of |
| 112 | # these code fragments |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 113 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 114 | def ckmsg(src, msg): |
| 115 | try: |
| 116 | compile(src, '<fragment>', 'exec') |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 117 | except SyntaxError as e: |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 118 | 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 Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 122 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 123 | s = '''while 1: |
| 124 | try: |
| 125 | pass |
| 126 | finally: |
| 127 | continue''' |
Barry Warsaw | 992cb8a | 2000-05-25 23:16:54 +0000 | [diff] [blame] | 128 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 129 | if not sys.platform.startswith('java'): |
| 130 | ckmsg(s, "'continue' not supported inside 'finally' clause") |
Jeremy Hylton | ede049b | 2001-09-26 20:01:13 +0000 | [diff] [blame] | 131 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 132 | s = '''if 1: |
| 133 | try: |
| 134 | continue |
| 135 | except: |
| 136 | pass''' |
Jeremy Hylton | ede049b | 2001-09-26 20:01:13 +0000 | [diff] [blame] | 137 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 138 | ckmsg(s, "'continue' not properly in loop") |
| 139 | ckmsg("continue\n", "'continue' not properly in loop") |
Thomas Wouters | 303de6a | 2006-04-20 22:42:37 +0000 | [diff] [blame] | 140 | |
Benjamin Peterson | 17e0bbc | 2010-06-28 15:39:55 +0000 | [diff] [blame] | 141 | @cpython_only |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 142 | 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 Hylton | ede049b | 2001-09-26 20:01:13 +0000 | [diff] [blame] | 145 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 146 | class BadException(Exception): |
| 147 | def __init__(self_): |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 148 | raise RuntimeError("can't instantiate BadException") |
Finn Bock | aa3dc45 | 2001-12-08 10:15:48 +0000 | [diff] [blame] | 149 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 150 | class InvalidException: |
| 151 | pass |
Thomas Wouters | 303de6a | 2006-04-20 22:42:37 +0000 | [diff] [blame] | 152 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 153 | def test_capi1(): |
| 154 | import _testcapi |
| 155 | try: |
| 156 | _testcapi.raise_exception(BadException, 1) |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 157 | except TypeError as err: |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 158 | exc, err, tb = sys.exc_info() |
| 159 | co = tb.tb_frame.f_code |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 160 | self.assertEqual(co.co_name, "test_capi1") |
Benjamin Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 161 | self.assertTrue(co.co_filename.endswith('test_exceptions.py')) |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 162 | else: |
| 163 | self.fail("Expected exception") |
Jeremy Hylton | ede049b | 2001-09-26 20:01:13 +0000 | [diff] [blame] | 164 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 165 | def test_capi2(): |
| 166 | import _testcapi |
| 167 | try: |
| 168 | _testcapi.raise_exception(BadException, 0) |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 169 | except RuntimeError as err: |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 170 | exc, err, tb = sys.exc_info() |
| 171 | co = tb.tb_frame.f_code |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 172 | self.assertEqual(co.co_name, "__init__") |
Benjamin Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 173 | self.assertTrue(co.co_filename.endswith('test_exceptions.py')) |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 174 | co2 = tb.tb_frame.f_back.f_code |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 175 | self.assertEqual(co2.co_name, "test_capi2") |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 176 | else: |
| 177 | self.fail("Expected exception") |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 178 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 179 | 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 Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 189 | def test_WindowsError(self): |
| 190 | try: |
| 191 | WindowsError |
| 192 | except NameError: |
| 193 | pass |
| 194 | else: |
Antoine Pitrou | 6b4883d | 2011-10-12 02:54:14 +0200 | [diff] [blame] | 195 | 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 Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 224 | |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 225 | def testAttributes(self): |
| 226 | # test that exception attributes are happy |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 227 | |
| 228 | exceptionList = [ |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 229 | (BaseException, (), {'args' : ()}), |
| 230 | (BaseException, (1, ), {'args' : (1,)}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 231 | (BaseException, ('foo',), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 232 | {'args' : ('foo',)}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 233 | (BaseException, ('foo', 1), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 234 | {'args' : ('foo', 1)}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 235 | (SystemExit, ('foo',), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 236 | {'args' : ('foo',), 'code' : 'foo'}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 237 | (IOError, ('foo',), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 238 | {'args' : ('foo',), 'filename' : None, |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 239 | 'errno' : None, 'strerror' : None}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 240 | (IOError, ('foo', 'bar'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 241 | {'args' : ('foo', 'bar'), 'filename' : None, |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 242 | 'errno' : 'foo', 'strerror' : 'bar'}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 243 | (IOError, ('foo', 'bar', 'baz'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 244 | {'args' : ('foo', 'bar'), 'filename' : 'baz', |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 245 | 'errno' : 'foo', 'strerror' : 'bar'}), |
| 246 | (IOError, ('foo', 'bar', 'baz', 'quux'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 247 | {'args' : ('foo', 'bar', 'baz', 'quux')}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 248 | (EnvironmentError, ('errnoStr', 'strErrorStr', 'filenameStr'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 249 | {'args' : ('errnoStr', 'strErrorStr'), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 250 | 'strerror' : 'strErrorStr', 'errno' : 'errnoStr', |
| 251 | 'filename' : 'filenameStr'}), |
| 252 | (EnvironmentError, (1, 'strErrorStr', 'filenameStr'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 253 | {'args' : (1, 'strErrorStr'), 'errno' : 1, |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 254 | 'strerror' : 'strErrorStr', 'filename' : 'filenameStr'}), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 255 | (SyntaxError, (), {'msg' : None, 'text' : None, |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 256 | 'filename' : None, 'lineno' : None, 'offset' : None, |
| 257 | 'print_file_and_line' : None}), |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 258 | (SyntaxError, ('msgStr',), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 259 | {'args' : ('msgStr',), 'text' : None, |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 260 | 'print_file_and_line' : None, 'msg' : 'msgStr', |
| 261 | 'filename' : None, 'lineno' : None, 'offset' : None}), |
| 262 | (SyntaxError, ('msgStr', ('filenameStr', 'linenoStr', 'offsetStr', |
| 263 | 'textStr')), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 264 | {'offset' : 'offsetStr', 'text' : 'textStr', |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 265 | '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 Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 271 | {'text' : None, |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 272 | '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 Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 276 | (UnicodeError, (), {'args' : (),}), |
Walter Dörwald | eceb0fb | 2007-05-24 17:49:56 +0000 | [diff] [blame] | 277 | (UnicodeEncodeError, ('ascii', 'a', 0, 1, |
| 278 | 'ordinal not in range'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 279 | {'args' : ('ascii', 'a', 0, 1, |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 280 | 'ordinal not in range'), |
Guido van Rossum | ef87d6e | 2007-05-02 19:09:54 +0000 | [diff] [blame] | 281 | 'encoding' : 'ascii', 'object' : 'a', |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 282 | 'start' : 0, 'reason' : 'ordinal not in range'}), |
Guido van Rossum | 254348e | 2007-11-21 19:29:53 +0000 | [diff] [blame] | 283 | (UnicodeDecodeError, ('ascii', bytearray(b'\xff'), 0, 1, |
Guido van Rossum | 98297ee | 2007-11-06 21:34:58 +0000 | [diff] [blame] | 284 | 'ordinal not in range'), |
Guido van Rossum | 254348e | 2007-11-21 19:29:53 +0000 | [diff] [blame] | 285 | {'args' : ('ascii', bytearray(b'\xff'), 0, 1, |
Guido van Rossum | 98297ee | 2007-11-06 21:34:58 +0000 | [diff] [blame] | 286 | 'ordinal not in range'), |
| 287 | 'encoding' : 'ascii', 'object' : b'\xff', |
| 288 | 'start' : 0, 'reason' : 'ordinal not in range'}), |
Walter Dörwald | eceb0fb | 2007-05-24 17:49:56 +0000 | [diff] [blame] | 289 | (UnicodeDecodeError, ('ascii', b'\xff', 0, 1, |
| 290 | 'ordinal not in range'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 291 | {'args' : ('ascii', b'\xff', 0, 1, |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 292 | 'ordinal not in range'), |
Guido van Rossum | b8142c3 | 2007-05-08 17:49:10 +0000 | [diff] [blame] | 293 | 'encoding' : 'ascii', 'object' : b'\xff', |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 294 | 'start' : 0, 'reason' : 'ordinal not in range'}), |
Walter Dörwald | eceb0fb | 2007-05-24 17:49:56 +0000 | [diff] [blame] | 295 | (UnicodeTranslateError, ("\u3042", 0, 1, "ouch"), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 296 | {'args' : ('\u3042', 0, 1, 'ouch'), |
Guido van Rossum | ef87d6e | 2007-05-02 19:09:54 +0000 | [diff] [blame] | 297 | 'object' : '\u3042', 'reason' : 'ouch', |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 298 | 'start' : 0, 'end' : 1}), |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 299 | ] |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 300 | try: |
Antoine Pitrou | 6b4883d | 2011-10-12 02:54:14 +0200 | [diff] [blame] | 301 | # More tests are in test_WindowsError |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 302 | exceptionList.append( |
| 303 | (WindowsError, (1, 'strErrorStr', 'filenameStr'), |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 304 | {'args' : (1, 'strErrorStr'), |
Antoine Pitrou | 6b4883d | 2011-10-12 02:54:14 +0200 | [diff] [blame] | 305 | 'strerror' : 'strErrorStr', 'winerror' : None, |
| 306 | 'errno' : 1, 'filename' : 'filenameStr'}) |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 307 | ) |
Thomas Wouters | 73e5a5b | 2006-06-08 15:35:45 +0000 | [diff] [blame] | 308 | except NameError: |
| 309 | pass |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 310 | |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 311 | for exc, args, expected in exceptionList: |
| 312 | try: |
| 313 | e = exc(*args) |
| 314 | except: |
Guido van Rossum | 98297ee | 2007-11-06 21:34:58 +0000 | [diff] [blame] | 315 | print("\nexc=%r, args=%r" % (exc, args), file=sys.stderr) |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 316 | raise |
| 317 | else: |
| 318 | # Verify module name |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 319 | self.assertEqual(type(e).__module__, 'builtins') |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 320 | # Verify no ref leaks in Exc_str() |
| 321 | s = str(e) |
| 322 | for checkArgName in expected: |
| 323 | value = getattr(e, checkArgName) |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 324 | self.assertEqual(repr(value), |
| 325 | repr(expected[checkArgName]), |
| 326 | '%r.%s == %r, expected %r' % ( |
| 327 | e, checkArgName, |
| 328 | value, expected[checkArgName])) |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 329 | |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 330 | # test for pickling support |
Guido van Rossum | 99603b0 | 2007-07-20 00:22:32 +0000 | [diff] [blame] | 331 | for p in [pickle]: |
Guido van Rossum | ebe3e16 | 2007-05-17 18:20:34 +0000 | [diff] [blame] | 332 | 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 Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 338 | self.assertEqual(got, want, |
| 339 | 'pickled "%r", attribute "%s' % |
| 340 | (e, checkArgName)) |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 341 | |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 342 | 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 Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 349 | self.assertIsInstance(e, BaseException) |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 350 | self.assertEqual(e.__traceback__, tb) |
| 351 | |
| 352 | e = IndexError(5).with_traceback(tb) |
Ezio Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 353 | self.assertIsInstance(e, IndexError) |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 354 | self.assertEqual(e.__traceback__, tb) |
| 355 | |
| 356 | class MyException(Exception): |
| 357 | pass |
| 358 | |
| 359 | e = MyException().with_traceback(tb) |
Ezio Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 360 | self.assertIsInstance(e, MyException) |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 361 | self.assertEqual(e.__traceback__, tb) |
| 362 | |
| 363 | def testInvalidTraceback(self): |
| 364 | try: |
| 365 | Exception().__traceback__ = 5 |
| 366 | except TypeError as e: |
Benjamin Peterson | 577473f | 2010-01-19 00:09:57 +0000 | [diff] [blame] | 367 | self.assertIn("__traceback__ must be a traceback", str(e)) |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 368 | else: |
| 369 | self.fail("No exception raised") |
| 370 | |
Georg Brandl | ab6f2f6 | 2009-03-31 04:16:10 +0000 | [diff] [blame] | 371 | 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 Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 377 | 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 Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 404 | 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 Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 415 | self.assertEqual(x.fancy_arg, 42) |
Thomas Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 416 | |
Brett Cannon | 31f5929 | 2011-02-21 19:29:56 +0000 | [diff] [blame] | 417 | @no_tracing |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 418 | 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 Melotti | 2f5a78c | 2009-12-24 22:54:06 +0000 | [diff] [blame] | 430 | def test_str(self): |
| 431 | # Make sure both instances and classes have a str representation. |
Benjamin Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 432 | self.assertTrue(str(Exception)) |
| 433 | self.assertTrue(str(Exception('a'))) |
Ezio Melotti | 2f5a78c | 2009-12-24 22:54:06 +0000 | [diff] [blame] | 434 | self.assertTrue(str(Exception('a', 'b'))) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 435 | |
Barry Warsaw | 8d109cb | 2008-05-08 04:26:35 +0000 | [diff] [blame] | 436 | 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 Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 439 | try: |
| 440 | raise Exception() |
| 441 | except Exception as e: |
Benjamin Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 442 | self.assertTrue(e) |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 443 | del e |
Ezio Melotti | b58e0bd | 2010-01-23 15:40:09 +0000 | [diff] [blame] | 444 | self.assertNotIn('e', locals()) |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 445 | |
Barry Warsaw | 8d109cb | 2008-05-08 04:26:35 +0000 | [diff] [blame] | 446 | 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 Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 461 | # Qualified "except" with "as" |
Barry Warsaw | 8d109cb | 2008-05-08 04:26:35 +0000 | [diff] [blame] | 462 | 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 Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 470 | self.assertTrue(obj is None, "%s" % obj) |
Barry Warsaw | 8d109cb | 2008-05-08 04:26:35 +0000 | [diff] [blame] | 471 | |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 472 | # 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 Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 481 | self.assertTrue(obj is None, "%s" % obj) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 482 | |
| 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 Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 492 | self.assertTrue(obj is None, "%s" % obj) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 493 | |
| 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 Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 504 | self.assertTrue(obj is None, "%s" % obj) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 505 | |
| 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 Rossum | b4fb6e4 | 2008-06-14 20:20:24 +0000 | [diff] [blame] | 514 | 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 Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 520 | obj = None |
| 521 | obj = wr() |
Benjamin Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 522 | self.assertTrue(obj is None, "%s" % obj) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 523 | |
| 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 Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 539 | self.assertTrue(obj is None, "%s" % obj) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 540 | |
| 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 Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 553 | self.assertTrue(obj is None, "%s" % obj) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 554 | |
Amaury Forgeot d'Arc | ba117ef | 2010-09-10 21:39:53 +0000 | [diff] [blame] | 555 | 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 Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 566 | 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 Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 577 | 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 Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 582 | |
| 583 | # Same test, but inside an exception handler |
| 584 | try: |
| 585 | raise TypeError("foo") |
| 586 | except TypeError: |
| 587 | g = yield_raise() |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 588 | 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 Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 593 | del g |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 594 | self.assertEqual(sys.exc_info()[0], TypeError) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 595 | |
Benjamin Peterson | 83195c3 | 2011-07-03 13:44:00 -0500 | [diff] [blame] | 596 | 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 Peterson | ac91341 | 2011-07-03 16:25:11 -0500 | [diff] [blame] | 611 | 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 Peterson | ae5f2f4 | 2010-03-07 17:10:51 +0000 | [diff] [blame] | 623 | 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 Pitrou | a370fcf | 2011-08-20 14:15:03 +0200 | [diff] [blame] | 637 | 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 Peterson | 27d6367 | 2008-06-15 20:09:12 +0000 | [diff] [blame] | 699 | def test_3114(self): |
| 700 | # Bug #3114: in its destructor, MyObject retrieves a pointer to |
| 701 | # obsolete and/or deallocated objects. |
Benjamin Peterson | 979f311 | 2008-06-15 00:05:44 +0000 | [diff] [blame] | 702 | 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 Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 711 | self.assertEqual(e, (None, None, None)) |
Benjamin Peterson | 979f311 | 2008-06-15 00:05:44 +0000 | [diff] [blame] | 712 | |
Eric Smith | 0facd77 | 2010-02-24 15:42:29 +0000 | [diff] [blame] | 713 | 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 Peterson | 6e7740c | 2008-08-20 23:23:34 +0000 | [diff] [blame] | 749 | |
Brett Cannon | 31f5929 | 2011-02-21 19:29:56 +0000 | [diff] [blame] | 750 | @no_tracing |
Benjamin Peterson | 69c88f7 | 2008-07-31 01:47:08 +0000 | [diff] [blame] | 751 | 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 Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 768 | self.fail("Should have raised KeyError") |
Benjamin Peterson | 69c88f7 | 2008-07-31 01:47:08 +0000 | [diff] [blame] | 769 | else: |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 770 | 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 Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 778 | self.assertTrue(isinstance(v, RuntimeError), type(v)) |
Benjamin Peterson | 577473f | 2010-01-19 00:09:57 +0000 | [diff] [blame] | 779 | self.assertIn("maximum recursion depth exceeded", str(v)) |
Benjamin Peterson | 69c88f7 | 2008-07-31 01:47:08 +0000 | [diff] [blame] | 780 | |
Amaury Forgeot d'Arc | e19cadb | 2008-07-31 22:56:02 +0000 | [diff] [blame] | 781 | |
| 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 Peterson | 0067bd6 | 2008-08-16 16:11:03 +0000 | [diff] [blame] | 786 | from _testcapi import raise_memoryerror |
Amaury Forgeot d'Arc | e19cadb | 2008-07-31 22:56:02 +0000 | [diff] [blame] | 787 | def raiseMemError(): |
| 788 | try: |
Benjamin Peterson | 0067bd6 | 2008-08-16 16:11:03 +0000 | [diff] [blame] | 789 | raise_memoryerror() |
Amaury Forgeot d'Arc | e19cadb | 2008-07-31 22:56:02 +0000 | [diff] [blame] | 790 | 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 Peterson | 17e0bbc | 2010-06-28 15:39:55 +0000 | [diff] [blame] | 800 | @cpython_only |
Georg Brandl | 1e28a27 | 2009-12-28 08:41:01 +0000 | [diff] [blame] | 801 | 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 Pitrou | 07e20ef | 2010-10-28 22:56:58 +0000 | [diff] [blame] | 840 | 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 Cannon | 31f5929 | 2011-02-21 19:29:56 +0000 | [diff] [blame] | 861 | @no_tracing |
Antoine Pitrou | 07e20ef | 2010-10-28 22:56:58 +0000 | [diff] [blame] | 862 | 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 Brandl | 1e28a27 | 2009-12-28 08:41:01 +0000 | [diff] [blame] | 880 | |
Antoine Pitrou | a762285 | 2011-09-01 21:37:43 +0200 | [diff] [blame] | 881 | 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 Wouters | 4d70c3d | 2006-06-08 14:42:34 +0000 | [diff] [blame] | 888 | def test_main(): |
| 889 | run_unittest(ExceptionTests) |
| 890 | |
| 891 | if __name__ == '__main__': |
Guido van Rossum | b8142c3 | 2007-05-08 17:49:10 +0000 | [diff] [blame] | 892 | unittest.main() |