blob: ed1d6dc0338e98af6d7065dbc395e74b5d0e731d [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
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00007
Guido van Rossum360e4b82007-05-14 22:51:27 +00008from test.test_support import (TESTFN, unlink, run_unittest,
9 guard_warnings_filter)
Guido van Rossum83b120d2001-08-23 03:23:03 +000010
Guido van Rossum3bead091992-01-27 17:00:37 +000011# XXX This is not really enough, each *operation* should be tested!
12
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000013class ExceptionTests(unittest.TestCase):
Barry Warsawb9c1d3d2001-08-13 23:07:00 +000014
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000015 def raise_catch(self, exc, excname):
16 try:
17 raise exc, "spam"
Guido van Rossumb940e112007-01-10 16:19:56 +000018 except exc as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000019 buf1 = str(err)
20 try:
21 raise exc("spam")
Guido van Rossumb940e112007-01-10 16:19:56 +000022 except exc as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000023 buf2 = str(err)
24 self.assertEquals(buf1, buf2)
25 self.assertEquals(exc.__name__, excname)
Guido van Rossum3bead091992-01-27 17:00:37 +000026
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000027 def testRaising(self):
28 self.raise_catch(AttributeError, "AttributeError")
29 self.assertRaises(AttributeError, getattr, sys, "undefined_attribute")
Guido van Rossum3bead091992-01-27 17:00:37 +000030
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000031 self.raise_catch(EOFError, "EOFError")
32 fp = open(TESTFN, 'w')
33 fp.close()
34 fp = open(TESTFN, 'r')
35 savestdin = sys.stdin
36 try:
37 try:
38 import marshal
39 marshal.loads('')
40 except EOFError:
41 pass
42 finally:
43 sys.stdin = savestdin
44 fp.close()
45 unlink(TESTFN)
Guido van Rossum3bead091992-01-27 17:00:37 +000046
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000047 self.raise_catch(IOError, "IOError")
48 self.assertRaises(IOError, open, 'this file does not exist', 'r')
Guido van Rossum3bead091992-01-27 17:00:37 +000049
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000050 self.raise_catch(ImportError, "ImportError")
51 self.assertRaises(ImportError, __import__, "undefined_module")
Guido van Rossum3bead091992-01-27 17:00:37 +000052
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000053 self.raise_catch(IndexError, "IndexError")
54 x = []
55 self.assertRaises(IndexError, x.__getitem__, 10)
Guido van Rossum3bead091992-01-27 17:00:37 +000056
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000057 self.raise_catch(KeyError, "KeyError")
58 x = {}
59 self.assertRaises(KeyError, x.__getitem__, 'key')
Guido van Rossum3bead091992-01-27 17:00:37 +000060
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000061 self.raise_catch(KeyboardInterrupt, "KeyboardInterrupt")
Guido van Rossum3bead091992-01-27 17:00:37 +000062
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000063 self.raise_catch(MemoryError, "MemoryError")
Guido van Rossum3bead091992-01-27 17:00:37 +000064
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000065 self.raise_catch(NameError, "NameError")
66 try: x = undefined_variable
67 except NameError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000068
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000069 self.raise_catch(OverflowError, "OverflowError")
70 x = 1
71 for dummy in range(128):
72 x += x # this simply shouldn't blow up
Guido van Rossum3bead091992-01-27 17:00:37 +000073
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000074 self.raise_catch(RuntimeError, "RuntimeError")
Guido van Rossum3bead091992-01-27 17:00:37 +000075
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000076 self.raise_catch(SyntaxError, "SyntaxError")
Georg Brandl7cae87c2006-09-06 06:51:57 +000077 try: exec('/\n')
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000078 except SyntaxError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000079
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000080 self.raise_catch(IndentationError, "IndentationError")
Fred Drake72e48bd2000-09-08 16:32:34 +000081
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000082 self.raise_catch(TabError, "TabError")
83 # can only be tested under -tt, and is the only test for -tt
84 #try: compile("try:\n\t1/0\n \t1/0\nfinally:\n pass\n", '<string>', 'exec')
85 #except TabError: pass
86 #else: self.fail("TabError not raised")
Fred Drake72e48bd2000-09-08 16:32:34 +000087
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000088 self.raise_catch(SystemError, "SystemError")
Fred Drake72e48bd2000-09-08 16:32:34 +000089
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000090 self.raise_catch(SystemExit, "SystemExit")
91 self.assertRaises(SystemExit, sys.exit, 0)
Fred Drake85f36392000-07-11 17:53:00 +000092
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000093 self.raise_catch(TypeError, "TypeError")
94 try: [] + ()
95 except TypeError: pass
Fred Drake85f36392000-07-11 17:53:00 +000096
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000097 self.raise_catch(ValueError, "ValueError")
Guido van Rossume63bae62007-07-17 00:34:25 +000098 self.assertRaises(ValueError, chr, 17<<16)
Guido van Rossum3bead091992-01-27 17:00:37 +000099
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000100 self.raise_catch(ZeroDivisionError, "ZeroDivisionError")
101 try: x = 1/0
102 except ZeroDivisionError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000103
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000104 self.raise_catch(Exception, "Exception")
105 try: x = 1/0
Guido van Rossumb940e112007-01-10 16:19:56 +0000106 except Exception as e: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000107
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000108 def testSyntaxErrorMessage(self):
109 # make sure the right exception message is raised for each of
110 # these code fragments
Guido van Rossum3bead091992-01-27 17:00:37 +0000111
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000112 def ckmsg(src, msg):
113 try:
114 compile(src, '<fragment>', 'exec')
Guido van Rossumb940e112007-01-10 16:19:56 +0000115 except SyntaxError as e:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000116 if e.msg != msg:
117 self.fail("expected %s, got %s" % (msg, e.msg))
118 else:
119 self.fail("failed to get expected SyntaxError")
Guido van Rossum3bead091992-01-27 17:00:37 +0000120
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000121 s = '''while 1:
122 try:
123 pass
124 finally:
125 continue'''
Barry Warsaw992cb8a2000-05-25 23:16:54 +0000126
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000127 if not sys.platform.startswith('java'):
128 ckmsg(s, "'continue' not supported inside 'finally' clause")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000129
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000130 s = '''if 1:
131 try:
132 continue
133 except:
134 pass'''
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000135
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000136 ckmsg(s, "'continue' not properly in loop")
137 ckmsg("continue\n", "'continue' not properly in loop")
Thomas Wouters303de6a2006-04-20 22:42:37 +0000138
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000139 def testSettingException(self):
140 # test that setting an exception at the C level works even if the
141 # exception object can't be constructed.
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000142
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000143 class BadException(Exception):
144 def __init__(self_):
145 raise RuntimeError, "can't instantiate BadException"
Finn Bockaa3dc452001-12-08 10:15:48 +0000146
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000147 class InvalidException:
148 pass
Thomas Wouters303de6a2006-04-20 22:42:37 +0000149
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000150 def test_capi1():
151 import _testcapi
152 try:
153 _testcapi.raise_exception(BadException, 1)
Guido van Rossumb940e112007-01-10 16:19:56 +0000154 except TypeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000155 exc, err, tb = sys.exc_info()
156 co = tb.tb_frame.f_code
157 self.assertEquals(co.co_name, "test_capi1")
Skip Montanaro7a98be22007-08-16 14:35:24 +0000158 self.assert_(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000159 else:
160 self.fail("Expected exception")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000161
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000162 def test_capi2():
163 import _testcapi
164 try:
165 _testcapi.raise_exception(BadException, 0)
Guido van Rossumb940e112007-01-10 16:19:56 +0000166 except RuntimeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000167 exc, err, tb = sys.exc_info()
168 co = tb.tb_frame.f_code
169 self.assertEquals(co.co_name, "__init__")
Skip Montanaro7a98be22007-08-16 14:35:24 +0000170 self.assert_(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000171 co2 = tb.tb_frame.f_back.f_code
172 self.assertEquals(co2.co_name, "test_capi2")
173 else:
174 self.fail("Expected exception")
Thomas Wouters477c8d52006-05-27 19:21:47 +0000175
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000176 def test_capi3():
177 import _testcapi
178 self.assertRaises(SystemError, _testcapi.raise_exception,
179 InvalidException, 1)
180
181 if not sys.platform.startswith('java'):
182 test_capi1()
183 test_capi2()
184 test_capi3()
185
Thomas Wouters89f507f2006-12-13 04:49:30 +0000186 def test_WindowsError(self):
187 try:
188 WindowsError
189 except NameError:
190 pass
191 else:
192 self.failUnlessEqual(str(WindowsError(1001)),
193 "1001")
194 self.failUnlessEqual(str(WindowsError(1001, "message")),
195 "[Error 1001] message")
196 self.failUnlessEqual(WindowsError(1001, "message").errno, 22)
197 self.failUnlessEqual(WindowsError(1001, "message").winerror, 1001)
198
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000199 def testAttributes(self):
200 # test that exception attributes are happy
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000201
202 exceptionList = [
Guido van Rossumebe3e162007-05-17 18:20:34 +0000203 (BaseException, (), {'args' : ()}),
204 (BaseException, (1, ), {'args' : (1,)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000205 (BaseException, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000206 {'args' : ('foo',)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000207 (BaseException, ('foo', 1),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000208 {'args' : ('foo', 1)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000209 (SystemExit, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000210 {'args' : ('foo',), 'code' : 'foo'}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000211 (IOError, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000212 {'args' : ('foo',), 'filename' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000213 'errno' : None, 'strerror' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000214 (IOError, ('foo', 'bar'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000215 {'args' : ('foo', 'bar'), 'filename' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000216 'errno' : 'foo', 'strerror' : 'bar'}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000217 (IOError, ('foo', 'bar', 'baz'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000218 {'args' : ('foo', 'bar'), 'filename' : 'baz',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000219 'errno' : 'foo', 'strerror' : 'bar'}),
220 (IOError, ('foo', 'bar', 'baz', 'quux'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000221 {'args' : ('foo', 'bar', 'baz', 'quux')}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000222 (EnvironmentError, ('errnoStr', 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000223 {'args' : ('errnoStr', 'strErrorStr'),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000224 'strerror' : 'strErrorStr', 'errno' : 'errnoStr',
225 'filename' : 'filenameStr'}),
226 (EnvironmentError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000227 {'args' : (1, 'strErrorStr'), 'errno' : 1,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000228 'strerror' : 'strErrorStr', 'filename' : 'filenameStr'}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000229 (SyntaxError, (), {'msg' : None, 'text' : None,
Guido van Rossumd8faa362007-04-27 19:54:29 +0000230 'filename' : None, 'lineno' : None, 'offset' : None,
231 'print_file_and_line' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000232 (SyntaxError, ('msgStr',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000233 {'args' : ('msgStr',), 'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000234 'print_file_and_line' : None, 'msg' : 'msgStr',
235 'filename' : None, 'lineno' : None, 'offset' : None}),
236 (SyntaxError, ('msgStr', ('filenameStr', 'linenoStr', 'offsetStr',
237 'textStr')),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000238 {'offset' : 'offsetStr', 'text' : 'textStr',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000239 'args' : ('msgStr', ('filenameStr', 'linenoStr',
240 'offsetStr', 'textStr')),
241 'print_file_and_line' : None, 'msg' : 'msgStr',
242 'filename' : 'filenameStr', 'lineno' : 'linenoStr'}),
243 (SyntaxError, ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
244 'textStr', 'print_file_and_lineStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000245 {'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000246 'args' : ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
247 'textStr', 'print_file_and_lineStr'),
248 'print_file_and_line' : None, 'msg' : 'msgStr',
249 'filename' : None, 'lineno' : None, 'offset' : None}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000250 (UnicodeError, (), {'args' : (),}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000251 (UnicodeEncodeError, ('ascii', 'a', 0, 1,
252 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000253 {'args' : ('ascii', 'a', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000254 'ordinal not in range'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000255 'encoding' : 'ascii', 'object' : 'a',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000256 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000257 (UnicodeDecodeError, ('ascii', b'\xff', 0, 1,
258 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000259 {'args' : ('ascii', b'\xff', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000260 'ordinal not in range'),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000261 'encoding' : 'ascii', 'object' : b'\xff',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000262 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000263 (UnicodeTranslateError, ("\u3042", 0, 1, "ouch"),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000264 {'args' : ('\u3042', 0, 1, 'ouch'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000265 'object' : '\u3042', 'reason' : 'ouch',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000266 'start' : 0, 'end' : 1}),
Thomas Wouters477c8d52006-05-27 19:21:47 +0000267 ]
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000268 try:
269 exceptionList.append(
270 (WindowsError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000271 {'args' : (1, 'strErrorStr'),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000272 'strerror' : 'strErrorStr', 'winerror' : 1,
273 'errno' : 22, 'filename' : 'filenameStr'})
274 )
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000275 except NameError:
276 pass
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000277
Guido van Rossumebe3e162007-05-17 18:20:34 +0000278 for exc, args, expected in exceptionList:
279 try:
280 e = exc(*args)
281 except:
282 print("\nexc=%r, args=%r" % (exc, args))
283 raise
284 else:
285 # Verify module name
286 self.assertEquals(type(e).__module__, '__builtin__')
287 # Verify no ref leaks in Exc_str()
288 s = str(e)
289 for checkArgName in expected:
290 value = getattr(e, checkArgName)
291 self.assertEquals(repr(value),
292 repr(expected[checkArgName]),
293 '%r.%s == %r, expected %r' % (
294 e, checkArgName,
295 value, expected[checkArgName]))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000296
Guido van Rossumebe3e162007-05-17 18:20:34 +0000297 # test for pickling support
Guido van Rossum99603b02007-07-20 00:22:32 +0000298 for p in [pickle]:
Guido van Rossumebe3e162007-05-17 18:20:34 +0000299 for protocol in range(p.HIGHEST_PROTOCOL + 1):
300 s = p.dumps(e, protocol)
301 new = p.loads(s)
302 for checkArgName in expected:
303 got = repr(getattr(new, checkArgName))
304 want = repr(expected[checkArgName])
305 self.assertEquals(got, want,
306 'pickled "%r", attribute "%s' %
307 (e, checkArgName))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000308
309 def testKeywordArgs(self):
310 # test that builtin exception don't take keyword args,
311 # but user-defined subclasses can if they want
312 self.assertRaises(TypeError, BaseException, a=1)
313
314 class DerivedException(BaseException):
315 def __init__(self, fancy_arg):
316 BaseException.__init__(self)
317 self.fancy_arg = fancy_arg
318
319 x = DerivedException(fancy_arg=42)
320 self.assertEquals(x.fancy_arg, 42)
321
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000322 def testInfiniteRecursion(self):
323 def f():
324 return f()
325 self.assertRaises(RuntimeError, f)
326
327 def g():
328 try:
329 return g()
330 except ValueError:
331 return -1
332 self.assertRaises(RuntimeError, g)
333
Thomas Wouters89f507f2006-12-13 04:49:30 +0000334 def testUnicodeStrUsage(self):
335 # Make sure both instances and classes have a str and unicode
336 # representation.
337 self.failUnless(str(Exception))
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000338 self.failUnless(str(Exception))
Thomas Wouters89f507f2006-12-13 04:49:30 +0000339 self.failUnless(str(Exception('a')))
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000340 self.failUnless(str(Exception('a')))
Thomas Wouters89f507f2006-12-13 04:49:30 +0000341
Guido van Rossumb940e112007-01-10 16:19:56 +0000342 def testExceptionCleanup(self):
343 # Make sure "except V as N" exceptions are cleaned up properly
Guido van Rossumd8faa362007-04-27 19:54:29 +0000344
Guido van Rossumb940e112007-01-10 16:19:56 +0000345 try:
346 raise Exception()
347 except Exception as e:
348 self.failUnless(e)
349 del e
350 self.failIf('e' in locals())
351
Thomas Wouters89f507f2006-12-13 04:49:30 +0000352
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000353def test_main():
354 run_unittest(ExceptionTests)
355
356if __name__ == '__main__':
Guido van Rossumb8142c32007-05-08 17:49:10 +0000357 unittest.main()