blob: b1d6790c86176394a81975838adc3c820e3cb6b9 [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
7try:
8 import cPickle
9except ImportError:
10 cPickle = None
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000011
Guido van Rossum360e4b82007-05-14 22:51:27 +000012from test.test_support import (TESTFN, unlink, run_unittest,
13 guard_warnings_filter)
14from test.test_pep352 import ignore_message_warning
Guido van Rossum83b120d2001-08-23 03:23:03 +000015
Guido van Rossum3bead091992-01-27 17:00:37 +000016# XXX This is not really enough, each *operation* should be tested!
17
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000018class ExceptionTests(unittest.TestCase):
Barry Warsawb9c1d3d2001-08-13 23:07:00 +000019
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000020 def raise_catch(self, exc, excname):
21 try:
22 raise exc, "spam"
Guido van Rossumb940e112007-01-10 16:19:56 +000023 except exc as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000024 buf1 = str(err)
25 try:
26 raise exc("spam")
Guido van Rossumb940e112007-01-10 16:19:56 +000027 except exc as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000028 buf2 = str(err)
29 self.assertEquals(buf1, buf2)
30 self.assertEquals(exc.__name__, excname)
Guido van Rossum3bead091992-01-27 17:00:37 +000031
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000032 def testRaising(self):
33 self.raise_catch(AttributeError, "AttributeError")
34 self.assertRaises(AttributeError, getattr, sys, "undefined_attribute")
Guido van Rossum3bead091992-01-27 17:00:37 +000035
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000036 self.raise_catch(EOFError, "EOFError")
37 fp = open(TESTFN, 'w')
38 fp.close()
39 fp = open(TESTFN, 'r')
40 savestdin = sys.stdin
41 try:
42 try:
43 import marshal
44 marshal.loads('')
45 except EOFError:
46 pass
47 finally:
48 sys.stdin = savestdin
49 fp.close()
50 unlink(TESTFN)
Guido van Rossum3bead091992-01-27 17:00:37 +000051
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000052 self.raise_catch(IOError, "IOError")
53 self.assertRaises(IOError, open, 'this file does not exist', 'r')
Guido van Rossum3bead091992-01-27 17:00:37 +000054
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000055 self.raise_catch(ImportError, "ImportError")
56 self.assertRaises(ImportError, __import__, "undefined_module")
Guido van Rossum3bead091992-01-27 17:00:37 +000057
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000058 self.raise_catch(IndexError, "IndexError")
59 x = []
60 self.assertRaises(IndexError, x.__getitem__, 10)
Guido van Rossum3bead091992-01-27 17:00:37 +000061
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000062 self.raise_catch(KeyError, "KeyError")
63 x = {}
64 self.assertRaises(KeyError, x.__getitem__, 'key')
Guido van Rossum3bead091992-01-27 17:00:37 +000065
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000066 self.raise_catch(KeyboardInterrupt, "KeyboardInterrupt")
Guido van Rossum3bead091992-01-27 17:00:37 +000067
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000068 self.raise_catch(MemoryError, "MemoryError")
Guido van Rossum3bead091992-01-27 17:00:37 +000069
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000070 self.raise_catch(NameError, "NameError")
71 try: x = undefined_variable
72 except NameError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000073
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000074 self.raise_catch(OverflowError, "OverflowError")
75 x = 1
76 for dummy in range(128):
77 x += x # this simply shouldn't blow up
Guido van Rossum3bead091992-01-27 17:00:37 +000078
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000079 self.raise_catch(RuntimeError, "RuntimeError")
Guido van Rossum3bead091992-01-27 17:00:37 +000080
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000081 self.raise_catch(SyntaxError, "SyntaxError")
Georg Brandl7cae87c2006-09-06 06:51:57 +000082 try: exec('/\n')
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000083 except SyntaxError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000084
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000085 self.raise_catch(IndentationError, "IndentationError")
Fred Drake72e48bd2000-09-08 16:32:34 +000086
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000087 self.raise_catch(TabError, "TabError")
88 # can only be tested under -tt, and is the only test for -tt
89 #try: compile("try:\n\t1/0\n \t1/0\nfinally:\n pass\n", '<string>', 'exec')
90 #except TabError: pass
91 #else: self.fail("TabError not raised")
Fred Drake72e48bd2000-09-08 16:32:34 +000092
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000093 self.raise_catch(SystemError, "SystemError")
Fred Drake72e48bd2000-09-08 16:32:34 +000094
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000095 self.raise_catch(SystemExit, "SystemExit")
96 self.assertRaises(SystemExit, sys.exit, 0)
Fred Drake85f36392000-07-11 17:53:00 +000097
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000098 self.raise_catch(TypeError, "TypeError")
99 try: [] + ()
100 except TypeError: pass
Fred Drake85f36392000-07-11 17:53:00 +0000101
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000102 self.raise_catch(ValueError, "ValueError")
Guido van Rossumd7c43dd2007-05-04 05:06:43 +0000103 self.assertRaises(ValueError, chr, 1000000)
Guido van Rossum3bead091992-01-27 17:00:37 +0000104
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000105 self.raise_catch(ZeroDivisionError, "ZeroDivisionError")
106 try: x = 1/0
107 except ZeroDivisionError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000108
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000109 self.raise_catch(Exception, "Exception")
110 try: x = 1/0
Guido van Rossumb940e112007-01-10 16:19:56 +0000111 except Exception as e: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000112
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000113 def testSyntaxErrorMessage(self):
114 # make sure the right exception message is raised for each of
115 # these code fragments
Guido van Rossum3bead091992-01-27 17:00:37 +0000116
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000117 def ckmsg(src, msg):
118 try:
119 compile(src, '<fragment>', 'exec')
Guido van Rossumb940e112007-01-10 16:19:56 +0000120 except SyntaxError as e:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000121 if e.msg != msg:
122 self.fail("expected %s, got %s" % (msg, e.msg))
123 else:
124 self.fail("failed to get expected SyntaxError")
Guido van Rossum3bead091992-01-27 17:00:37 +0000125
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000126 s = '''while 1:
127 try:
128 pass
129 finally:
130 continue'''
Barry Warsaw992cb8a2000-05-25 23:16:54 +0000131
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000132 if not sys.platform.startswith('java'):
133 ckmsg(s, "'continue' not supported inside 'finally' clause")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000134
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000135 s = '''if 1:
136 try:
137 continue
138 except:
139 pass'''
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000140
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000141 ckmsg(s, "'continue' not properly in loop")
142 ckmsg("continue\n", "'continue' not properly in loop")
Thomas Wouters303de6a2006-04-20 22:42:37 +0000143
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000144 def testSettingException(self):
145 # test that setting an exception at the C level works even if the
146 # exception object can't be constructed.
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000147
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000148 class BadException(Exception):
149 def __init__(self_):
150 raise RuntimeError, "can't instantiate BadException"
Finn Bockaa3dc452001-12-08 10:15:48 +0000151
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000152 class InvalidException:
153 pass
Thomas Wouters303de6a2006-04-20 22:42:37 +0000154
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000155 def test_capi1():
156 import _testcapi
157 try:
158 _testcapi.raise_exception(BadException, 1)
Guido van Rossumb940e112007-01-10 16:19:56 +0000159 except TypeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000160 exc, err, tb = sys.exc_info()
161 co = tb.tb_frame.f_code
162 self.assertEquals(co.co_name, "test_capi1")
163 self.assert_(co.co_filename.endswith('test_exceptions'+os.extsep+'py'))
164 else:
165 self.fail("Expected exception")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000166
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000167 def test_capi2():
168 import _testcapi
169 try:
170 _testcapi.raise_exception(BadException, 0)
Guido van Rossumb940e112007-01-10 16:19:56 +0000171 except RuntimeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000172 exc, err, tb = sys.exc_info()
173 co = tb.tb_frame.f_code
174 self.assertEquals(co.co_name, "__init__")
175 self.assert_(co.co_filename.endswith('test_exceptions'+os.extsep+'py'))
176 co2 = tb.tb_frame.f_back.f_code
177 self.assertEquals(co2.co_name, "test_capi2")
178 else:
179 self.fail("Expected exception")
Thomas Wouters477c8d52006-05-27 19:21:47 +0000180
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000181 def test_capi3():
182 import _testcapi
183 self.assertRaises(SystemError, _testcapi.raise_exception,
184 InvalidException, 1)
185
186 if not sys.platform.startswith('java'):
187 test_capi1()
188 test_capi2()
189 test_capi3()
190
Thomas Wouters89f507f2006-12-13 04:49:30 +0000191 def test_WindowsError(self):
192 try:
193 WindowsError
194 except NameError:
195 pass
196 else:
197 self.failUnlessEqual(str(WindowsError(1001)),
198 "1001")
199 self.failUnlessEqual(str(WindowsError(1001, "message")),
200 "[Error 1001] message")
201 self.failUnlessEqual(WindowsError(1001, "message").errno, 22)
202 self.failUnlessEqual(WindowsError(1001, "message").winerror, 1001)
203
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000204 def testAttributes(self):
205 # test that exception attributes are happy
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000206
207 exceptionList = [
208 (BaseException, (), {'message' : '', 'args' : ()}),
209 (BaseException, (1, ), {'message' : 1, 'args' : (1,)}),
210 (BaseException, ('foo',),
211 {'message' : 'foo', 'args' : ('foo',)}),
212 (BaseException, ('foo', 1),
213 {'message' : '', 'args' : ('foo', 1)}),
214 (SystemExit, ('foo',),
215 {'message' : 'foo', 'args' : ('foo',), 'code' : 'foo'}),
216 (IOError, ('foo',),
Thomas Wouters89f507f2006-12-13 04:49:30 +0000217 {'message' : 'foo', 'args' : ('foo',), 'filename' : None,
218 'errno' : None, 'strerror' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000219 (IOError, ('foo', 'bar'),
Thomas Wouters89f507f2006-12-13 04:49:30 +0000220 {'message' : '', 'args' : ('foo', 'bar'), 'filename' : None,
221 'errno' : 'foo', 'strerror' : 'bar'}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000222 (IOError, ('foo', 'bar', 'baz'),
Thomas Wouters89f507f2006-12-13 04:49:30 +0000223 {'message' : '', 'args' : ('foo', 'bar'), 'filename' : 'baz',
224 'errno' : 'foo', 'strerror' : 'bar'}),
225 (IOError, ('foo', 'bar', 'baz', 'quux'),
226 {'message' : '', 'args' : ('foo', 'bar', 'baz', 'quux')}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000227 (EnvironmentError, ('errnoStr', 'strErrorStr', 'filenameStr'),
228 {'message' : '', 'args' : ('errnoStr', 'strErrorStr'),
229 'strerror' : 'strErrorStr', 'errno' : 'errnoStr',
230 'filename' : 'filenameStr'}),
231 (EnvironmentError, (1, 'strErrorStr', 'filenameStr'),
232 {'message' : '', 'args' : (1, 'strErrorStr'), 'errno' : 1,
233 'strerror' : 'strErrorStr', 'filename' : 'filenameStr'}),
Guido van Rossumd8faa362007-04-27 19:54:29 +0000234 (SyntaxError, (), {'message' : '', 'msg' : None, 'text' : None,
235 'filename' : None, 'lineno' : None, 'offset' : None,
236 'print_file_and_line' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000237 (SyntaxError, ('msgStr',),
238 {'message' : 'msgStr', 'args' : ('msgStr',), 'text' : None,
239 'print_file_and_line' : None, 'msg' : 'msgStr',
240 'filename' : None, 'lineno' : None, 'offset' : None}),
241 (SyntaxError, ('msgStr', ('filenameStr', 'linenoStr', 'offsetStr',
242 'textStr')),
243 {'message' : '', 'offset' : 'offsetStr', 'text' : 'textStr',
244 'args' : ('msgStr', ('filenameStr', 'linenoStr',
245 'offsetStr', 'textStr')),
246 'print_file_and_line' : None, 'msg' : 'msgStr',
247 'filename' : 'filenameStr', 'lineno' : 'linenoStr'}),
248 (SyntaxError, ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
249 'textStr', 'print_file_and_lineStr'),
250 {'message' : '', 'text' : None,
251 'args' : ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
252 'textStr', 'print_file_and_lineStr'),
253 'print_file_and_line' : None, 'msg' : 'msgStr',
254 'filename' : None, 'lineno' : None, 'offset' : None}),
255 (UnicodeError, (), {'message' : '', 'args' : (),}),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000256 (UnicodeEncodeError, (str8('ascii'), 'a', 0, 1,
257 str8('ordinal not in range')),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000258 {'message' : '', 'args' : ('ascii', 'a', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000259 'ordinal not in range'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000260 'encoding' : 'ascii', 'object' : 'a',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000261 'start' : 0, 'reason' : 'ordinal not in range'}),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000262 (UnicodeDecodeError, (str8('ascii'), b'\xff', 0, 1,
263 str8('ordinal not in range')),
264 {'message' : '', 'args' : ('ascii', b'\xff', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000265 'ordinal not in range'),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000266 'encoding' : 'ascii', 'object' : b'\xff',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000267 'start' : 0, 'reason' : 'ordinal not in range'}),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000268 (UnicodeTranslateError, ("\u3042", 0, 1, str8("ouch")),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000269 {'message' : '', 'args' : ('\u3042', 0, 1, 'ouch'),
270 'object' : '\u3042', 'reason' : 'ouch',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000271 'start' : 0, 'end' : 1}),
Thomas Wouters477c8d52006-05-27 19:21:47 +0000272 ]
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000273 try:
274 exceptionList.append(
275 (WindowsError, (1, 'strErrorStr', 'filenameStr'),
276 {'message' : '', 'args' : (1, 'strErrorStr'),
277 'strerror' : 'strErrorStr', 'winerror' : 1,
278 'errno' : 22, 'filename' : 'filenameStr'})
279 )
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000280 except NameError:
281 pass
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000282
Guido van Rossum360e4b82007-05-14 22:51:27 +0000283 with guard_warnings_filter():
284 ignore_message_warning()
285 for exc, args, expected in exceptionList:
286 try:
287 e = exc(*args)
288 except:
289 print("\nexc=%r, args=%r" % (exc, args))
290 raise
291 else:
292 # Verify module name
293 self.assertEquals(type(e).__module__, '__builtin__')
294 # Verify no ref leaks in Exc_str()
295 s = str(e)
296 for checkArgName in expected:
297 value = getattr(e, checkArgName)
298 self.assertEquals(repr(value),
299 repr(expected[checkArgName]),
300 '%r.%s == %r, expected %r' % (
301 e, checkArgName,
302 value, expected[checkArgName]))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000303
Guido van Rossum360e4b82007-05-14 22:51:27 +0000304 # test for pickling support
305 for p in pickle, cPickle:
306 if p is None:
307 continue # cPickle not found -- skip it
308 for protocol in range(p.HIGHEST_PROTOCOL + 1):
309 s = p.dumps(e, protocol)
310 new = p.loads(s)
311 for checkArgName in expected:
312 got = repr(getattr(new, checkArgName))
313 want = repr(expected[checkArgName])
314 self.assertEquals(got, want,
315 'pickled "%r", attribute "%s' %
316 (e, checkArgName))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000317
318 def testKeywordArgs(self):
319 # test that builtin exception don't take keyword args,
320 # but user-defined subclasses can if they want
321 self.assertRaises(TypeError, BaseException, a=1)
322
323 class DerivedException(BaseException):
324 def __init__(self, fancy_arg):
325 BaseException.__init__(self)
326 self.fancy_arg = fancy_arg
327
328 x = DerivedException(fancy_arg=42)
329 self.assertEquals(x.fancy_arg, 42)
330
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000331 def testInfiniteRecursion(self):
332 def f():
333 return f()
334 self.assertRaises(RuntimeError, f)
335
336 def g():
337 try:
338 return g()
339 except ValueError:
340 return -1
341 self.assertRaises(RuntimeError, g)
342
Thomas Wouters89f507f2006-12-13 04:49:30 +0000343 def testUnicodeStrUsage(self):
344 # Make sure both instances and classes have a str and unicode
345 # representation.
346 self.failUnless(str(Exception))
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000347 self.failUnless(str(Exception))
Thomas Wouters89f507f2006-12-13 04:49:30 +0000348 self.failUnless(str(Exception('a')))
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000349 self.failUnless(str(Exception('a')))
Thomas Wouters89f507f2006-12-13 04:49:30 +0000350
Guido van Rossumb940e112007-01-10 16:19:56 +0000351 def testExceptionCleanup(self):
352 # Make sure "except V as N" exceptions are cleaned up properly
Guido van Rossumd8faa362007-04-27 19:54:29 +0000353
Guido van Rossumb940e112007-01-10 16:19:56 +0000354 try:
355 raise Exception()
356 except Exception as e:
357 self.failUnless(e)
358 del e
359 self.failIf('e' in locals())
360
Thomas Wouters89f507f2006-12-13 04:49:30 +0000361
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000362def test_main():
363 run_unittest(ExceptionTests)
364
365if __name__ == '__main__':
Guido van Rossumb8142c32007-05-08 17:49:10 +0000366 unittest.main()