blob: 3cbae02e06291f94ffe6bc7f9d9347b237128425 [file] [log] [blame]
Tim Peters400cbc32006-02-28 18:44:41 +00001#!/usr/bin/env python
2
3"""Unit tests for the with statement specified in PEP 343."""
4
Thomas Wouters34aa7ba2006-02-28 19:02:24 +00005
Tim Peters400cbc32006-02-28 18:44:41 +00006__author__ = "Mike Bland"
7__email__ = "mbland at acm dot org"
8
Guido van Rossum1a5e21e2006-02-28 21:57:43 +00009import sys
Tim Peters400cbc32006-02-28 18:44:41 +000010import unittest
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000011from collections import deque
12from contextlib import GeneratorContextManager, contextmanager
Benjamin Petersonee8712c2008-05-20 21:35:26 +000013from test.support import run_unittest
Tim Peters400cbc32006-02-28 18:44:41 +000014
15
16class MockContextManager(GeneratorContextManager):
17 def __init__(self, gen):
18 GeneratorContextManager.__init__(self, gen)
Tim Peters400cbc32006-02-28 18:44:41 +000019 self.enter_called = False
20 self.exit_called = False
21 self.exit_args = None
22
Tim Peters400cbc32006-02-28 18:44:41 +000023 def __enter__(self):
24 self.enter_called = True
25 return GeneratorContextManager.__enter__(self)
26
27 def __exit__(self, type, value, traceback):
28 self.exit_called = True
29 self.exit_args = (type, value, traceback)
Thomas Wouters477c8d52006-05-27 19:21:47 +000030 return GeneratorContextManager.__exit__(self, type,
31 value, traceback)
Tim Peters400cbc32006-02-28 18:44:41 +000032
33
34def mock_contextmanager(func):
35 def helper(*args, **kwds):
36 return MockContextManager(func(*args, **kwds))
37 return helper
38
39
40class MockResource(object):
41 def __init__(self):
42 self.yielded = False
43 self.stopped = False
44
45
46@mock_contextmanager
47def mock_contextmanager_generator():
48 mock = MockResource()
49 try:
50 mock.yielded = True
51 yield mock
52 finally:
53 mock.stopped = True
54
55
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000056class Nested(object):
57
Thomas Wouters477c8d52006-05-27 19:21:47 +000058 def __init__(self, *managers):
59 self.managers = managers
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000060 self.entered = None
61
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000062 def __enter__(self):
63 if self.entered is not None:
64 raise RuntimeError("Context is not reentrant")
65 self.entered = deque()
66 vars = []
67 try:
Thomas Wouters477c8d52006-05-27 19:21:47 +000068 for mgr in self.managers:
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000069 vars.append(mgr.__enter__())
70 self.entered.appendleft(mgr)
71 except:
Guido van Rossumf6694362006-03-10 02:28:35 +000072 if not self.__exit__(*sys.exc_info()):
73 raise
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000074 return vars
75
76 def __exit__(self, *exc_info):
77 # Behave like nested with statements
78 # first in, last out
79 # New exceptions override old ones
80 ex = exc_info
81 for mgr in self.entered:
82 try:
Guido van Rossumf6694362006-03-10 02:28:35 +000083 if mgr.__exit__(*ex):
84 ex = (None, None, None)
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000085 except:
86 ex = sys.exc_info()
87 self.entered = None
88 if ex is not exc_info:
Collin Winter828f04a2007-08-31 00:04:24 +000089 raise ex[0](ex[1]).with_traceback(ex[2])
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000090
91
92class MockNested(Nested):
Thomas Wouters477c8d52006-05-27 19:21:47 +000093 def __init__(self, *managers):
94 Nested.__init__(self, *managers)
Tim Peters400cbc32006-02-28 18:44:41 +000095 self.enter_called = False
96 self.exit_called = False
97 self.exit_args = None
98
Tim Peters400cbc32006-02-28 18:44:41 +000099 def __enter__(self):
100 self.enter_called = True
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000101 return Nested.__enter__(self)
Tim Peters400cbc32006-02-28 18:44:41 +0000102
103 def __exit__(self, *exc_info):
104 self.exit_called = True
105 self.exit_args = exc_info
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000106 return Nested.__exit__(self, *exc_info)
Tim Peters400cbc32006-02-28 18:44:41 +0000107
108
109class FailureTestCase(unittest.TestCase):
110 def testNameError(self):
111 def fooNotDeclared():
112 with foo: pass
113 self.assertRaises(NameError, fooNotDeclared)
114
Tim Peters400cbc32006-02-28 18:44:41 +0000115 def testEnterAttributeError(self):
116 class LacksEnter(object):
Tim Peters400cbc32006-02-28 18:44:41 +0000117 def __exit__(self, type, value, traceback):
118 pass
119
120 def fooLacksEnter():
121 foo = LacksEnter()
122 with foo: pass
123 self.assertRaises(AttributeError, fooLacksEnter)
124
125 def testExitAttributeError(self):
126 class LacksExit(object):
Tim Peters400cbc32006-02-28 18:44:41 +0000127 def __enter__(self):
128 pass
129
130 def fooLacksExit():
131 foo = LacksExit()
132 with foo: pass
133 self.assertRaises(AttributeError, fooLacksExit)
134
135 def assertRaisesSyntaxError(self, codestr):
136 def shouldRaiseSyntaxError(s):
137 compile(s, '', 'single')
138 self.assertRaises(SyntaxError, shouldRaiseSyntaxError, codestr)
139
140 def testAssignmentToNoneError(self):
141 self.assertRaisesSyntaxError('with mock as None:\n pass')
142 self.assertRaisesSyntaxError(
143 'with mock as (None):\n'
144 ' pass')
145
146 def testAssignmentToEmptyTupleError(self):
147 self.assertRaisesSyntaxError(
148 'with mock as ():\n'
149 ' pass')
150
151 def testAssignmentToTupleOnlyContainingNoneError(self):
152 self.assertRaisesSyntaxError('with mock as None,:\n pass')
153 self.assertRaisesSyntaxError(
154 'with mock as (None,):\n'
155 ' pass')
156
157 def testAssignmentToTupleContainingNoneError(self):
158 self.assertRaisesSyntaxError(
159 'with mock as (foo, None, bar):\n'
160 ' pass')
161
Tim Peters400cbc32006-02-28 18:44:41 +0000162 def testEnterThrows(self):
163 class EnterThrows(object):
Tim Peters400cbc32006-02-28 18:44:41 +0000164 def __enter__(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000165 raise RuntimeError("Enter threw")
Tim Peters400cbc32006-02-28 18:44:41 +0000166 def __exit__(self, *args):
167 pass
168
169 def shouldThrow():
170 ct = EnterThrows()
171 self.foo = None
172 with ct as self.foo:
173 pass
174 self.assertRaises(RuntimeError, shouldThrow)
175 self.assertEqual(self.foo, None)
176
177 def testExitThrows(self):
178 class ExitThrows(object):
Tim Peters400cbc32006-02-28 18:44:41 +0000179 def __enter__(self):
180 return
181 def __exit__(self, *args):
182 raise RuntimeError(42)
183 def shouldThrow():
184 with ExitThrows():
185 pass
186 self.assertRaises(RuntimeError, shouldThrow)
187
188class ContextmanagerAssertionMixin(object):
Collin Winterba21f612007-09-01 20:29:04 +0000189
190 def setUp(self):
191 self.TEST_EXCEPTION = RuntimeError("test exception")
Tim Peters400cbc32006-02-28 18:44:41 +0000192
193 def assertInWithManagerInvariants(self, mock_manager):
Tim Peters400cbc32006-02-28 18:44:41 +0000194 self.assertTrue(mock_manager.enter_called)
195 self.assertFalse(mock_manager.exit_called)
196 self.assertEqual(mock_manager.exit_args, None)
197
198 def assertAfterWithManagerInvariants(self, mock_manager, exit_args):
Tim Peters400cbc32006-02-28 18:44:41 +0000199 self.assertTrue(mock_manager.enter_called)
200 self.assertTrue(mock_manager.exit_called)
201 self.assertEqual(mock_manager.exit_args, exit_args)
202
203 def assertAfterWithManagerInvariantsNoError(self, mock_manager):
204 self.assertAfterWithManagerInvariants(mock_manager,
205 (None, None, None))
206
207 def assertInWithGeneratorInvariants(self, mock_generator):
208 self.assertTrue(mock_generator.yielded)
209 self.assertFalse(mock_generator.stopped)
210
211 def assertAfterWithGeneratorInvariantsNoError(self, mock_generator):
212 self.assertTrue(mock_generator.yielded)
213 self.assertTrue(mock_generator.stopped)
214
215 def raiseTestException(self):
216 raise self.TEST_EXCEPTION
217
Benjamin Peterson77aa6a72010-02-05 02:07:05 +0000218 def assertAfterWithManagerInvariantsWithError(self, mock_manager,
219 exc_type=None):
Tim Peters400cbc32006-02-28 18:44:41 +0000220 self.assertTrue(mock_manager.enter_called)
221 self.assertTrue(mock_manager.exit_called)
Benjamin Peterson77aa6a72010-02-05 02:07:05 +0000222 if exc_type is None:
223 self.assertEqual(mock_manager.exit_args[1], self.TEST_EXCEPTION)
224 exc_type = type(self.TEST_EXCEPTION)
225 self.assertEqual(mock_manager.exit_args[0], exc_type)
226 # Test the __exit__ arguments. Issue #7853
227 self.assertIsInstance(mock_manager.exit_args[1], exc_type)
228 self.assertIsNot(mock_manager.exit_args[2], None)
Tim Peters400cbc32006-02-28 18:44:41 +0000229
230 def assertAfterWithGeneratorInvariantsWithError(self, mock_generator):
231 self.assertTrue(mock_generator.yielded)
232 self.assertTrue(mock_generator.stopped)
233
234
235class NonexceptionalTestCase(unittest.TestCase, ContextmanagerAssertionMixin):
236 def testInlineGeneratorSyntax(self):
237 with mock_contextmanager_generator():
238 pass
239
240 def testUnboundGenerator(self):
241 mock = mock_contextmanager_generator()
242 with mock:
243 pass
244 self.assertAfterWithManagerInvariantsNoError(mock)
245
246 def testInlineGeneratorBoundSyntax(self):
247 with mock_contextmanager_generator() as foo:
248 self.assertInWithGeneratorInvariants(foo)
249 # FIXME: In the future, we'll try to keep the bound names from leaking
250 self.assertAfterWithGeneratorInvariantsNoError(foo)
251
252 def testInlineGeneratorBoundToExistingVariable(self):
253 foo = None
254 with mock_contextmanager_generator() as foo:
255 self.assertInWithGeneratorInvariants(foo)
256 self.assertAfterWithGeneratorInvariantsNoError(foo)
257
258 def testInlineGeneratorBoundToDottedVariable(self):
259 with mock_contextmanager_generator() as self.foo:
260 self.assertInWithGeneratorInvariants(self.foo)
261 self.assertAfterWithGeneratorInvariantsNoError(self.foo)
262
263 def testBoundGenerator(self):
264 mock = mock_contextmanager_generator()
265 with mock as foo:
266 self.assertInWithGeneratorInvariants(foo)
267 self.assertInWithManagerInvariants(mock)
268 self.assertAfterWithGeneratorInvariantsNoError(foo)
269 self.assertAfterWithManagerInvariantsNoError(mock)
270
271 def testNestedSingleStatements(self):
272 mock_a = mock_contextmanager_generator()
273 with mock_a as foo:
274 mock_b = mock_contextmanager_generator()
275 with mock_b as bar:
276 self.assertInWithManagerInvariants(mock_a)
277 self.assertInWithManagerInvariants(mock_b)
278 self.assertInWithGeneratorInvariants(foo)
279 self.assertInWithGeneratorInvariants(bar)
280 self.assertAfterWithManagerInvariantsNoError(mock_b)
281 self.assertAfterWithGeneratorInvariantsNoError(bar)
282 self.assertInWithManagerInvariants(mock_a)
283 self.assertInWithGeneratorInvariants(foo)
284 self.assertAfterWithManagerInvariantsNoError(mock_a)
285 self.assertAfterWithGeneratorInvariantsNoError(foo)
286
287
288class NestedNonexceptionalTestCase(unittest.TestCase,
289 ContextmanagerAssertionMixin):
290 def testSingleArgInlineGeneratorSyntax(self):
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000291 with Nested(mock_contextmanager_generator()):
Tim Peters400cbc32006-02-28 18:44:41 +0000292 pass
293
Tim Peters400cbc32006-02-28 18:44:41 +0000294 def testSingleArgBoundToNonTuple(self):
295 m = mock_contextmanager_generator()
296 # This will bind all the arguments to nested() into a single list
297 # assigned to foo.
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000298 with Nested(m) as foo:
Tim Peters400cbc32006-02-28 18:44:41 +0000299 self.assertInWithManagerInvariants(m)
300 self.assertAfterWithManagerInvariantsNoError(m)
301
302 def testSingleArgBoundToSingleElementParenthesizedList(self):
303 m = mock_contextmanager_generator()
304 # This will bind all the arguments to nested() into a single list
305 # assigned to foo.
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000306 with Nested(m) as (foo):
Tim Peters400cbc32006-02-28 18:44:41 +0000307 self.assertInWithManagerInvariants(m)
308 self.assertAfterWithManagerInvariantsNoError(m)
309
310 def testSingleArgBoundToMultipleElementTupleError(self):
311 def shouldThrowValueError():
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000312 with Nested(mock_contextmanager_generator()) as (foo, bar):
Tim Peters400cbc32006-02-28 18:44:41 +0000313 pass
314 self.assertRaises(ValueError, shouldThrowValueError)
315
316 def testSingleArgUnbound(self):
317 mock_contextmanager = mock_contextmanager_generator()
318 mock_nested = MockNested(mock_contextmanager)
319 with mock_nested:
320 self.assertInWithManagerInvariants(mock_contextmanager)
321 self.assertInWithManagerInvariants(mock_nested)
322 self.assertAfterWithManagerInvariantsNoError(mock_contextmanager)
323 self.assertAfterWithManagerInvariantsNoError(mock_nested)
324
325 def testMultipleArgUnbound(self):
326 m = mock_contextmanager_generator()
327 n = mock_contextmanager_generator()
328 o = mock_contextmanager_generator()
329 mock_nested = MockNested(m, n, o)
330 with mock_nested:
331 self.assertInWithManagerInvariants(m)
332 self.assertInWithManagerInvariants(n)
333 self.assertInWithManagerInvariants(o)
334 self.assertInWithManagerInvariants(mock_nested)
335 self.assertAfterWithManagerInvariantsNoError(m)
336 self.assertAfterWithManagerInvariantsNoError(n)
337 self.assertAfterWithManagerInvariantsNoError(o)
338 self.assertAfterWithManagerInvariantsNoError(mock_nested)
339
340 def testMultipleArgBound(self):
341 mock_nested = MockNested(mock_contextmanager_generator(),
342 mock_contextmanager_generator(), mock_contextmanager_generator())
343 with mock_nested as (m, n, o):
344 self.assertInWithGeneratorInvariants(m)
345 self.assertInWithGeneratorInvariants(n)
346 self.assertInWithGeneratorInvariants(o)
347 self.assertInWithManagerInvariants(mock_nested)
348 self.assertAfterWithGeneratorInvariantsNoError(m)
349 self.assertAfterWithGeneratorInvariantsNoError(n)
350 self.assertAfterWithGeneratorInvariantsNoError(o)
351 self.assertAfterWithManagerInvariantsNoError(mock_nested)
352
353
Collin Winterba21f612007-09-01 20:29:04 +0000354class ExceptionalTestCase(ContextmanagerAssertionMixin, unittest.TestCase):
Tim Peters400cbc32006-02-28 18:44:41 +0000355 def testSingleResource(self):
356 cm = mock_contextmanager_generator()
357 def shouldThrow():
358 with cm as self.resource:
359 self.assertInWithManagerInvariants(cm)
360 self.assertInWithGeneratorInvariants(self.resource)
361 self.raiseTestException()
362 self.assertRaises(RuntimeError, shouldThrow)
363 self.assertAfterWithManagerInvariantsWithError(cm)
364 self.assertAfterWithGeneratorInvariantsWithError(self.resource)
365
Benjamin Peterson77aa6a72010-02-05 02:07:05 +0000366 @unittest.expectedFailure
367 def testExceptionNormalized(self):
368 cm = mock_contextmanager_generator()
369 def shouldThrow():
370 with cm as self.resource:
371 # Note this relies on the fact that 1 // 0 produces an exception
372 # that is not normalized immediately.
373 1 // 0
374 self.assertRaises(ZeroDivisionError, shouldThrow)
375 self.assertAfterWithManagerInvariantsWithError(cm, ZeroDivisionError)
376
Tim Peters400cbc32006-02-28 18:44:41 +0000377 def testNestedSingleStatements(self):
378 mock_a = mock_contextmanager_generator()
379 mock_b = mock_contextmanager_generator()
380 def shouldThrow():
381 with mock_a as self.foo:
382 with mock_b as self.bar:
383 self.assertInWithManagerInvariants(mock_a)
384 self.assertInWithManagerInvariants(mock_b)
385 self.assertInWithGeneratorInvariants(self.foo)
386 self.assertInWithGeneratorInvariants(self.bar)
387 self.raiseTestException()
388 self.assertRaises(RuntimeError, shouldThrow)
389 self.assertAfterWithManagerInvariantsWithError(mock_a)
390 self.assertAfterWithManagerInvariantsWithError(mock_b)
391 self.assertAfterWithGeneratorInvariantsWithError(self.foo)
392 self.assertAfterWithGeneratorInvariantsWithError(self.bar)
393
394 def testMultipleResourcesInSingleStatement(self):
395 cm_a = mock_contextmanager_generator()
396 cm_b = mock_contextmanager_generator()
397 mock_nested = MockNested(cm_a, cm_b)
398 def shouldThrow():
399 with mock_nested as (self.resource_a, self.resource_b):
400 self.assertInWithManagerInvariants(cm_a)
401 self.assertInWithManagerInvariants(cm_b)
402 self.assertInWithManagerInvariants(mock_nested)
403 self.assertInWithGeneratorInvariants(self.resource_a)
404 self.assertInWithGeneratorInvariants(self.resource_b)
405 self.raiseTestException()
406 self.assertRaises(RuntimeError, shouldThrow)
407 self.assertAfterWithManagerInvariantsWithError(cm_a)
408 self.assertAfterWithManagerInvariantsWithError(cm_b)
409 self.assertAfterWithManagerInvariantsWithError(mock_nested)
410 self.assertAfterWithGeneratorInvariantsWithError(self.resource_a)
411 self.assertAfterWithGeneratorInvariantsWithError(self.resource_b)
412
413 def testNestedExceptionBeforeInnerStatement(self):
414 mock_a = mock_contextmanager_generator()
415 mock_b = mock_contextmanager_generator()
416 self.bar = None
417 def shouldThrow():
418 with mock_a as self.foo:
419 self.assertInWithManagerInvariants(mock_a)
420 self.assertInWithGeneratorInvariants(self.foo)
421 self.raiseTestException()
422 with mock_b as self.bar:
423 pass
424 self.assertRaises(RuntimeError, shouldThrow)
425 self.assertAfterWithManagerInvariantsWithError(mock_a)
426 self.assertAfterWithGeneratorInvariantsWithError(self.foo)
427
428 # The inner statement stuff should never have been touched
429 self.assertEqual(self.bar, None)
Tim Peters400cbc32006-02-28 18:44:41 +0000430 self.assertFalse(mock_b.enter_called)
431 self.assertFalse(mock_b.exit_called)
432 self.assertEqual(mock_b.exit_args, None)
433
434 def testNestedExceptionAfterInnerStatement(self):
435 mock_a = mock_contextmanager_generator()
436 mock_b = mock_contextmanager_generator()
437 def shouldThrow():
438 with mock_a as self.foo:
439 with mock_b as self.bar:
440 self.assertInWithManagerInvariants(mock_a)
441 self.assertInWithManagerInvariants(mock_b)
442 self.assertInWithGeneratorInvariants(self.foo)
443 self.assertInWithGeneratorInvariants(self.bar)
444 self.raiseTestException()
445 self.assertRaises(RuntimeError, shouldThrow)
446 self.assertAfterWithManagerInvariantsWithError(mock_a)
447 self.assertAfterWithManagerInvariantsNoError(mock_b)
448 self.assertAfterWithGeneratorInvariantsWithError(self.foo)
449 self.assertAfterWithGeneratorInvariantsNoError(self.bar)
450
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000451 def testRaisedStopIteration1(self):
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000452 # From bug 1462485
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000453 @contextmanager
454 def cm():
455 yield
456
457 def shouldThrow():
458 with cm():
459 raise StopIteration("from with")
460
461 self.assertRaises(StopIteration, shouldThrow)
462
463 def testRaisedStopIteration2(self):
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000464 # From bug 1462485
Thomas Wouters477c8d52006-05-27 19:21:47 +0000465 class cm(object):
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000466 def __enter__(self):
467 pass
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000468 def __exit__(self, type, value, traceback):
469 pass
470
471 def shouldThrow():
472 with cm():
473 raise StopIteration("from with")
474
475 self.assertRaises(StopIteration, shouldThrow)
476
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000477 def testRaisedStopIteration3(self):
478 # Another variant where the exception hasn't been instantiated
479 # From bug 1705170
480 @contextmanager
481 def cm():
482 yield
483
484 def shouldThrow():
485 with cm():
486 raise next(iter([]))
487
488 self.assertRaises(StopIteration, shouldThrow)
489
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000490 def testRaisedGeneratorExit1(self):
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000491 # From bug 1462485
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000492 @contextmanager
493 def cm():
494 yield
495
496 def shouldThrow():
497 with cm():
498 raise GeneratorExit("from with")
499
500 self.assertRaises(GeneratorExit, shouldThrow)
501
502 def testRaisedGeneratorExit2(self):
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000503 # From bug 1462485
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000504 class cm (object):
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000505 def __enter__(self):
506 pass
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000507 def __exit__(self, type, value, traceback):
508 pass
509
510 def shouldThrow():
511 with cm():
512 raise GeneratorExit("from with")
513
514 self.assertRaises(GeneratorExit, shouldThrow)
515
Amaury Forgeot d'Arc10b24e82008-12-10 23:49:33 +0000516 def testErrorsInBool(self):
517 # issue4589: __exit__ return code may raise an exception
518 # when looking at its truth value.
519
520 class cm(object):
521 def __init__(self, bool_conversion):
522 class Bool:
523 def __bool__(self):
524 return bool_conversion()
525 self.exit_result = Bool()
526 def __enter__(self):
527 return 3
528 def __exit__(self, a, b, c):
529 return self.exit_result
530
531 def trueAsBool():
532 with cm(lambda: True):
533 self.fail("Should NOT see this")
534 trueAsBool()
535
536 def falseAsBool():
537 with cm(lambda: False):
538 self.fail("Should raise")
539 self.assertRaises(AssertionError, falseAsBool)
540
541 def failAsBool():
542 with cm(lambda: 1//0):
543 self.fail("Should NOT see this")
544 self.assertRaises(ZeroDivisionError, failAsBool)
545
Tim Peters400cbc32006-02-28 18:44:41 +0000546
547class NonLocalFlowControlTestCase(unittest.TestCase):
548
549 def testWithBreak(self):
550 counter = 0
551 while True:
552 counter += 1
553 with mock_contextmanager_generator():
554 counter += 10
555 break
556 counter += 100 # Not reached
557 self.assertEqual(counter, 11)
558
559 def testWithContinue(self):
560 counter = 0
561 while True:
562 counter += 1
563 if counter > 2:
564 break
565 with mock_contextmanager_generator():
566 counter += 10
567 continue
568 counter += 100 # Not reached
569 self.assertEqual(counter, 12)
570
571 def testWithReturn(self):
572 def foo():
573 counter = 0
574 while True:
575 counter += 1
576 with mock_contextmanager_generator():
577 counter += 10
578 return counter
579 counter += 100 # Not reached
580 self.assertEqual(foo(), 11)
581
582 def testWithYield(self):
583 def gen():
584 with mock_contextmanager_generator():
585 yield 12
586 yield 13
587 x = list(gen())
588 self.assertEqual(x, [12, 13])
589
590 def testWithRaise(self):
591 counter = 0
592 try:
593 counter += 1
594 with mock_contextmanager_generator():
595 counter += 10
596 raise RuntimeError
597 counter += 100 # Not reached
598 except RuntimeError:
599 self.assertEqual(counter, 11)
600 else:
601 self.fail("Didn't raise RuntimeError")
602
603
604class AssignmentTargetTestCase(unittest.TestCase):
605
606 def testSingleComplexTarget(self):
607 targets = {1: [0, 1, 2]}
608 with mock_contextmanager_generator() as targets[1][0]:
Guido van Rossum87b63952007-02-11 07:05:21 +0000609 self.assertEqual(list(targets.keys()), [1])
Tim Peters400cbc32006-02-28 18:44:41 +0000610 self.assertEqual(targets[1][0].__class__, MockResource)
Guido van Rossum87b63952007-02-11 07:05:21 +0000611 with mock_contextmanager_generator() as list(targets.values())[0][1]:
612 self.assertEqual(list(targets.keys()), [1])
Tim Peters400cbc32006-02-28 18:44:41 +0000613 self.assertEqual(targets[1][1].__class__, MockResource)
614 with mock_contextmanager_generator() as targets[2]:
Guido van Rossum87b63952007-02-11 07:05:21 +0000615 keys = list(targets.keys())
Tim Peters400cbc32006-02-28 18:44:41 +0000616 keys.sort()
617 self.assertEqual(keys, [1, 2])
618 class C: pass
619 blah = C()
620 with mock_contextmanager_generator() as blah.foo:
621 self.assertEqual(hasattr(blah, "foo"), True)
622
623 def testMultipleComplexTargets(self):
624 class C:
Tim Peters400cbc32006-02-28 18:44:41 +0000625 def __enter__(self): return 1, 2, 3
Guido van Rossumf6694362006-03-10 02:28:35 +0000626 def __exit__(self, t, v, tb): pass
Tim Peters400cbc32006-02-28 18:44:41 +0000627 targets = {1: [0, 1, 2]}
628 with C() as (targets[1][0], targets[1][1], targets[1][2]):
629 self.assertEqual(targets, {1: [1, 2, 3]})
Guido van Rossum87b63952007-02-11 07:05:21 +0000630 with C() as (list(targets.values())[0][2], list(targets.values())[0][1], list(targets.values())[0][0]):
Tim Peters400cbc32006-02-28 18:44:41 +0000631 self.assertEqual(targets, {1: [3, 2, 1]})
632 with C() as (targets[1], targets[2], targets[3]):
633 self.assertEqual(targets, {1: 1, 2: 2, 3: 3})
634 class B: pass
635 blah = B()
636 with C() as (blah.one, blah.two, blah.three):
637 self.assertEqual(blah.one, 1)
638 self.assertEqual(blah.two, 2)
639 self.assertEqual(blah.three, 3)
640
641
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000642class ExitSwallowsExceptionTestCase(unittest.TestCase):
643
Guido van Rossumf6694362006-03-10 02:28:35 +0000644 def testExitTrueSwallowsException(self):
645 class AfricanSwallow:
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000646 def __enter__(self): pass
Guido van Rossumf6694362006-03-10 02:28:35 +0000647 def __exit__(self, t, v, tb): return True
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000648 try:
Guido van Rossumf6694362006-03-10 02:28:35 +0000649 with AfricanSwallow():
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000650 1/0
651 except ZeroDivisionError:
652 self.fail("ZeroDivisionError should have been swallowed")
653
Guido van Rossumf6694362006-03-10 02:28:35 +0000654 def testExitFalseDoesntSwallowException(self):
655 class EuropeanSwallow:
Guido van Rossumf6694362006-03-10 02:28:35 +0000656 def __enter__(self): pass
657 def __exit__(self, t, v, tb): return False
658 try:
659 with EuropeanSwallow():
660 1/0
661 except ZeroDivisionError:
662 pass
663 else:
664 self.fail("ZeroDivisionError should have been raised")
665
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000666
Georg Brandl0c315622009-05-25 21:10:36 +0000667class NestedWith(unittest.TestCase):
668
669 class Dummy(object):
670 def __init__(self, value=None, gobble=False):
671 if value is None:
672 value = self
673 self.value = value
674 self.gobble = gobble
675 self.enter_called = False
676 self.exit_called = False
677
678 def __enter__(self):
679 self.enter_called = True
680 return self.value
681
682 def __exit__(self, *exc_info):
683 self.exit_called = True
684 self.exc_info = exc_info
685 if self.gobble:
686 return True
687
Georg Brandl3cfdd9c2009-06-04 10:21:10 +0000688 class InitRaises(object):
Georg Brandl0c315622009-05-25 21:10:36 +0000689 def __init__(self): raise RuntimeError()
690
691 class EnterRaises(object):
692 def __enter__(self): raise RuntimeError()
693 def __exit__(self, *exc_info): pass
694
695 class ExitRaises(object):
696 def __enter__(self): pass
697 def __exit__(self, *exc_info): raise RuntimeError()
698
699 def testNoExceptions(self):
700 with self.Dummy() as a, self.Dummy() as b:
701 self.assertTrue(a.enter_called)
702 self.assertTrue(b.enter_called)
703 self.assertTrue(a.exit_called)
704 self.assertTrue(b.exit_called)
705
706 def testExceptionInExprList(self):
707 try:
Georg Brandl3cfdd9c2009-06-04 10:21:10 +0000708 with self.Dummy() as a, self.InitRaises():
Georg Brandl0c315622009-05-25 21:10:36 +0000709 pass
710 except:
711 pass
712 self.assertTrue(a.enter_called)
713 self.assertTrue(a.exit_called)
714
715 def testExceptionInEnter(self):
716 try:
717 with self.Dummy() as a, self.EnterRaises():
718 self.fail('body of bad with executed')
719 except RuntimeError:
720 pass
721 else:
722 self.fail('RuntimeError not reraised')
723 self.assertTrue(a.enter_called)
724 self.assertTrue(a.exit_called)
725
726 def testExceptionInExit(self):
727 body_executed = False
728 with self.Dummy(gobble=True) as a, self.ExitRaises():
729 body_executed = True
730 self.assertTrue(a.enter_called)
731 self.assertTrue(a.exit_called)
Benjamin Peterson78565b22009-06-28 19:19:51 +0000732 self.assertTrue(body_executed)
Georg Brandl0c315622009-05-25 21:10:36 +0000733 self.assertNotEqual(a.exc_info[0], None)
734
735 def testEnterReturnsTuple(self):
736 with self.Dummy(value=(1,2)) as (a1, a2), \
737 self.Dummy(value=(10, 20)) as (b1, b2):
738 self.assertEquals(1, a1)
739 self.assertEquals(2, a2)
740 self.assertEquals(10, b1)
741 self.assertEquals(20, b2)
742
Tim Peters400cbc32006-02-28 18:44:41 +0000743def test_main():
744 run_unittest(FailureTestCase, NonexceptionalTestCase,
745 NestedNonexceptionalTestCase, ExceptionalTestCase,
746 NonLocalFlowControlTestCase,
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000747 AssignmentTargetTestCase,
Georg Brandl0c315622009-05-25 21:10:36 +0000748 ExitSwallowsExceptionTestCase,
749 NestedWith)
Tim Peters400cbc32006-02-28 18:44:41 +0000750
751
752if __name__ == '__main__':
753 test_main()