blob: c53b35e8d5adaa00e2aa84c3baa222e4d2ed8726 [file] [log] [blame]
Guido van Rossum1a5e21e2006-02-28 21:57:43 +00001"""Utilities for with-statement contexts. See PEP 343."""
Brett Cannon9e080e02016-04-08 12:15:27 -07002import abc
Guido van Rossum1a5e21e2006-02-28 21:57:43 +00003import sys
Nick Coghlan3267a302012-05-21 22:54:43 +10004from collections import deque
Christian Heimes81ee3ef2008-05-04 22:42:01 +00005from functools import wraps
Guido van Rossum1a5e21e2006-02-28 21:57:43 +00006
Jelle Zijlstra2e624692017-04-30 18:25:58 -07007__all__ = ["asynccontextmanager", "contextmanager", "closing",
8 "AbstractContextManager", "ContextDecorator", "ExitStack",
9 "redirect_stdout", "redirect_stderr", "suppress"]
Brett Cannon9e080e02016-04-08 12:15:27 -070010
11
12class AbstractContextManager(abc.ABC):
13
14 """An abstract base class for context managers."""
15
16 def __enter__(self):
17 """Return `self` upon entering the runtime context."""
18 return self
19
20 @abc.abstractmethod
21 def __exit__(self, exc_type, exc_value, traceback):
22 """Raise any exception triggered within the runtime context."""
23 return None
24
25 @classmethod
26 def __subclasshook__(cls, C):
27 if cls is AbstractContextManager:
28 if (any("__enter__" in B.__dict__ for B in C.__mro__) and
29 any("__exit__" in B.__dict__ for B in C.__mro__)):
Brett Cannon8bd092b2016-04-08 12:16:16 -070030 return True
Brett Cannon9e080e02016-04-08 12:15:27 -070031 return NotImplemented
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000032
Michael Foordb3a89842010-06-30 12:17:50 +000033
34class ContextDecorator(object):
35 "A base class or mixin that enables context managers to work as decorators."
Nick Coghlan0ded3e32011-05-05 23:49:25 +100036
37 def _recreate_cm(self):
38 """Return a recreated instance of self.
Nick Coghlanfdc2c552011-05-06 00:02:12 +100039
Nick Coghlan3267a302012-05-21 22:54:43 +100040 Allows an otherwise one-shot context manager like
Nick Coghlan0ded3e32011-05-05 23:49:25 +100041 _GeneratorContextManager to support use as
Nick Coghlan3267a302012-05-21 22:54:43 +100042 a decorator via implicit recreation.
Nick Coghlanfdc2c552011-05-06 00:02:12 +100043
Nick Coghlan3267a302012-05-21 22:54:43 +100044 This is a private interface just for _GeneratorContextManager.
45 See issue #11647 for details.
Nick Coghlan0ded3e32011-05-05 23:49:25 +100046 """
47 return self
48
Michael Foordb3a89842010-06-30 12:17:50 +000049 def __call__(self, func):
50 @wraps(func)
51 def inner(*args, **kwds):
Nick Coghlan0ded3e32011-05-05 23:49:25 +100052 with self._recreate_cm():
Michael Foordb3a89842010-06-30 12:17:50 +000053 return func(*args, **kwds)
54 return inner
55
56
Jelle Zijlstra2e624692017-04-30 18:25:58 -070057class _GeneratorContextManagerBase:
58 """Shared functionality for @contextmanager and @asynccontextmanager."""
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000059
Serhiy Storchaka101ff352015-06-28 17:06:07 +030060 def __init__(self, func, args, kwds):
Nick Coghlan0ded3e32011-05-05 23:49:25 +100061 self.gen = func(*args, **kwds)
62 self.func, self.args, self.kwds = func, args, kwds
Nick Coghlan059def52013-10-26 18:08:15 +100063 # Issue 19330: ensure context manager instances have good docstrings
64 doc = getattr(func, "__doc__", None)
65 if doc is None:
66 doc = type(self).__doc__
67 self.__doc__ = doc
68 # Unfortunately, this still doesn't provide good help output when
69 # inspecting the created context manager instances, since pydoc
70 # currently bypasses the instance docstring and shows the docstring
71 # for the class instead.
72 # See http://bugs.python.org/issue19404 for more details.
Nick Coghlan0ded3e32011-05-05 23:49:25 +100073
Jelle Zijlstra2e624692017-04-30 18:25:58 -070074
75class _GeneratorContextManager(_GeneratorContextManagerBase,
76 AbstractContextManager,
77 ContextDecorator):
78 """Helper for @contextmanager decorator."""
79
Nick Coghlan0ded3e32011-05-05 23:49:25 +100080 def _recreate_cm(self):
81 # _GCM instances are one-shot context managers, so the
82 # CM must be recreated each time a decorated function is
83 # called
Serhiy Storchaka101ff352015-06-28 17:06:07 +030084 return self.__class__(self.func, self.args, self.kwds)
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000085
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000086 def __enter__(self):
87 try:
Georg Brandla18af4e2007-04-21 15:47:16 +000088 return next(self.gen)
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000089 except StopIteration:
Nick Coghlan8608d262013-10-20 00:30:51 +100090 raise RuntimeError("generator didn't yield") from None
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000091
92 def __exit__(self, type, value, traceback):
93 if type is None:
94 try:
Georg Brandla18af4e2007-04-21 15:47:16 +000095 next(self.gen)
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000096 except StopIteration:
svelankar00c75e92017-04-11 05:11:13 -040097 return False
Guido van Rossum1a5e21e2006-02-28 21:57:43 +000098 else:
99 raise RuntimeError("generator didn't stop")
100 else:
Guido van Rossum2cc30da2007-11-02 23:46:40 +0000101 if value is None:
102 # Need to force instantiation so we can reliably
103 # tell if we get the same exception back
104 value = type()
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000105 try:
106 self.gen.throw(type, value, traceback)
Guido van Rossumb940e112007-01-10 16:19:56 +0000107 except StopIteration as exc:
Yury Selivanov8170e8c2015-05-09 11:44:30 -0400108 # Suppress StopIteration *unless* it's the same exception that
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000109 # was passed to throw(). This prevents a StopIteration
Yury Selivanov8170e8c2015-05-09 11:44:30 -0400110 # raised inside the "with" statement from being suppressed.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000111 return exc is not value
Yury Selivanov8170e8c2015-05-09 11:44:30 -0400112 except RuntimeError as exc:
Nathaniel J. Smithaf88e7e2017-02-12 03:37:24 -0800113 # Don't re-raise the passed in exception. (issue27122)
Gregory P. Smithba2ecd62016-06-14 09:19:20 -0700114 if exc is value:
115 return False
Yury Selivanov8170e8c2015-05-09 11:44:30 -0400116 # Likewise, avoid suppressing if a StopIteration exception
117 # was passed to throw() and later wrapped into a RuntimeError
118 # (see PEP 479).
svelankar00c75e92017-04-11 05:11:13 -0400119 if type is StopIteration and exc.__cause__ is value:
Yury Selivanov8170e8c2015-05-09 11:44:30 -0400120 return False
121 raise
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000122 except:
123 # only re-raise if it's *not* the exception that was
124 # passed to throw(), because __exit__() must not raise
125 # an exception unless __exit__() itself failed. But throw()
126 # has to raise the exception to signal propagation, so this
127 # fixes the impedance mismatch between the throw() protocol
128 # and the __exit__() protocol.
129 #
Jelle Zijlstra2e624692017-04-30 18:25:58 -0700130 # This cannot use 'except BaseException as exc' (as in the
131 # async implementation) to maintain compatibility with
132 # Python 2, where old-style class exceptions are not caught
133 # by 'except BaseException'.
svelankar00c75e92017-04-11 05:11:13 -0400134 if sys.exc_info()[1] is value:
135 return False
136 raise
137 raise RuntimeError("generator didn't stop after throw()")
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000138
139
Jelle Zijlstra2e624692017-04-30 18:25:58 -0700140class _AsyncGeneratorContextManager(_GeneratorContextManagerBase):
141 """Helper for @asynccontextmanager."""
142
143 async def __aenter__(self):
144 try:
145 return await self.gen.__anext__()
146 except StopAsyncIteration:
147 raise RuntimeError("generator didn't yield") from None
148
149 async def __aexit__(self, typ, value, traceback):
150 if typ is None:
151 try:
152 await self.gen.__anext__()
153 except StopAsyncIteration:
154 return
155 else:
156 raise RuntimeError("generator didn't stop")
157 else:
158 if value is None:
159 value = typ()
160 # See _GeneratorContextManager.__exit__ for comments on subtleties
161 # in this implementation
162 try:
163 await self.gen.athrow(typ, value, traceback)
164 raise RuntimeError("generator didn't stop after throw()")
165 except StopAsyncIteration as exc:
166 return exc is not value
167 except RuntimeError as exc:
168 if exc is value:
169 return False
170 # Avoid suppressing if a StopIteration exception
171 # was passed to throw() and later wrapped into a RuntimeError
172 # (see PEP 479 for sync generators; async generators also
173 # have this behavior). But do this only if the exception wrapped
174 # by the RuntimeError is actully Stop(Async)Iteration (see
175 # issue29692).
176 if isinstance(value, (StopIteration, StopAsyncIteration)):
177 if exc.__cause__ is value:
178 return False
179 raise
180 except BaseException as exc:
181 if exc is not value:
182 raise
183
184
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000185def contextmanager(func):
186 """@contextmanager decorator.
187
188 Typical usage:
189
190 @contextmanager
191 def some_generator(<arguments>):
192 <setup>
193 try:
194 yield <value>
195 finally:
196 <cleanup>
197
198 This makes this:
199
200 with some_generator(<arguments>) as <variable>:
201 <body>
202
203 equivalent to this:
204
205 <setup>
206 try:
207 <variable> = <value>
208 <body>
209 finally:
210 <cleanup>
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000211 """
Christian Heimes81ee3ef2008-05-04 22:42:01 +0000212 @wraps(func)
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000213 def helper(*args, **kwds):
Serhiy Storchaka101ff352015-06-28 17:06:07 +0300214 return _GeneratorContextManager(func, args, kwds)
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000215 return helper
216
217
Jelle Zijlstra2e624692017-04-30 18:25:58 -0700218def asynccontextmanager(func):
219 """@asynccontextmanager decorator.
220
221 Typical usage:
222
223 @asynccontextmanager
224 async def some_async_generator(<arguments>):
225 <setup>
226 try:
227 yield <value>
228 finally:
229 <cleanup>
230
231 This makes this:
232
233 async with some_async_generator(<arguments>) as <variable>:
234 <body>
235
236 equivalent to this:
237
238 <setup>
239 try:
240 <variable> = <value>
241 <body>
242 finally:
243 <cleanup>
244 """
245 @wraps(func)
246 def helper(*args, **kwds):
247 return _AsyncGeneratorContextManager(func, args, kwds)
248 return helper
249
250
Brett Cannon9e080e02016-04-08 12:15:27 -0700251class closing(AbstractContextManager):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000252 """Context to automatically close something at the end of a block.
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000253
254 Code like this:
255
256 with closing(<module>.open(<arguments>)) as f:
257 <block>
258
259 is equivalent to this:
260
261 f = <module>.open(<arguments>)
262 try:
263 <block>
264 finally:
265 f.close()
266
267 """
Thomas Wouters477c8d52006-05-27 19:21:47 +0000268 def __init__(self, thing):
269 self.thing = thing
270 def __enter__(self):
271 return self.thing
272 def __exit__(self, *exc_info):
273 self.thing.close()
Nick Coghlan3267a302012-05-21 22:54:43 +1000274
Berker Peksagbb44fe02014-11-28 23:28:06 +0200275
Brett Cannon9e080e02016-04-08 12:15:27 -0700276class _RedirectStream(AbstractContextManager):
Berker Peksagbb44fe02014-11-28 23:28:06 +0200277
278 _stream = None
279
280 def __init__(self, new_target):
281 self._new_target = new_target
282 # We use a list of old targets to make this CM re-entrant
283 self._old_targets = []
284
285 def __enter__(self):
286 self._old_targets.append(getattr(sys, self._stream))
287 setattr(sys, self._stream, self._new_target)
288 return self._new_target
289
290 def __exit__(self, exctype, excinst, exctb):
291 setattr(sys, self._stream, self._old_targets.pop())
292
293
294class redirect_stdout(_RedirectStream):
295 """Context manager for temporarily redirecting stdout to another file.
Nick Coghlan059def52013-10-26 18:08:15 +1000296
297 # How to send help() to stderr
298 with redirect_stdout(sys.stderr):
299 help(dir)
300
301 # How to write help() to a file
302 with open('help.txt', 'w') as f:
303 with redirect_stdout(f):
304 help(pow)
305 """
Nick Coghlan8608d262013-10-20 00:30:51 +1000306
Berker Peksagbb44fe02014-11-28 23:28:06 +0200307 _stream = "stdout"
Nick Coghlan8608d262013-10-20 00:30:51 +1000308
Nick Coghlan8608d262013-10-20 00:30:51 +1000309
Berker Peksagbb44fe02014-11-28 23:28:06 +0200310class redirect_stderr(_RedirectStream):
311 """Context manager for temporarily redirecting stderr to another file."""
312
313 _stream = "stderr"
Raymond Hettinger088cbf22013-10-10 00:46:57 -0700314
Nick Coghlan8608d262013-10-20 00:30:51 +1000315
Brett Cannon9e080e02016-04-08 12:15:27 -0700316class suppress(AbstractContextManager):
Nick Coghlan240f86d2013-10-17 23:40:57 +1000317 """Context manager to suppress specified exceptions
Raymond Hettingere318a882013-03-10 22:26:51 -0700318
Nick Coghlan8608d262013-10-20 00:30:51 +1000319 After the exception is suppressed, execution proceeds with the next
320 statement following the with statement.
Raymond Hettingere318a882013-03-10 22:26:51 -0700321
Nick Coghlan8608d262013-10-20 00:30:51 +1000322 with suppress(FileNotFoundError):
323 os.remove(somefile)
324 # Execution still resumes here if the file was already removed
Raymond Hettingere318a882013-03-10 22:26:51 -0700325 """
Nick Coghlan059def52013-10-26 18:08:15 +1000326
327 def __init__(self, *exceptions):
328 self._exceptions = exceptions
329
330 def __enter__(self):
331 pass
332
333 def __exit__(self, exctype, excinst, exctb):
334 # Unlike isinstance and issubclass, CPython exception handling
335 # currently only looks at the concrete type hierarchy (ignoring
336 # the instance and subclass checking hooks). While Guido considers
337 # that a bug rather than a feature, it's a fairly hard one to fix
338 # due to various internal implementation details. suppress provides
339 # the simpler issubclass based semantics, rather than trying to
340 # exactly reproduce the limitations of the CPython interpreter.
341 #
342 # See http://bugs.python.org/issue12029 for more details
343 return exctype is not None and issubclass(exctype, self._exceptions)
344
Nick Coghlan3267a302012-05-21 22:54:43 +1000345
346# Inspired by discussions on http://bugs.python.org/issue13585
Brett Cannon9e080e02016-04-08 12:15:27 -0700347class ExitStack(AbstractContextManager):
Nick Coghlan3267a302012-05-21 22:54:43 +1000348 """Context manager for dynamic management of a stack of exit callbacks
349
350 For example:
351
352 with ExitStack() as stack:
353 files = [stack.enter_context(open(fname)) for fname in filenames]
354 # All opened files will automatically be closed at the end of
355 # the with statement, even if attempts to open files later
Andrew Svetlov5b898402012-12-18 21:26:36 +0200356 # in the list raise an exception
Nick Coghlan3267a302012-05-21 22:54:43 +1000357
358 """
359 def __init__(self):
360 self._exit_callbacks = deque()
361
362 def pop_all(self):
363 """Preserve the context stack by transferring it to a new instance"""
364 new_stack = type(self)()
365 new_stack._exit_callbacks = self._exit_callbacks
366 self._exit_callbacks = deque()
367 return new_stack
368
369 def _push_cm_exit(self, cm, cm_exit):
370 """Helper to correctly register callbacks to __exit__ methods"""
371 def _exit_wrapper(*exc_details):
372 return cm_exit(cm, *exc_details)
373 _exit_wrapper.__self__ = cm
374 self.push(_exit_wrapper)
375
376 def push(self, exit):
377 """Registers a callback with the standard __exit__ method signature
378
379 Can suppress exceptions the same way __exit__ methods can.
380
381 Also accepts any object with an __exit__ method (registering a call
382 to the method instead of the object itself)
383 """
384 # We use an unbound method rather than a bound method to follow
385 # the standard lookup behaviour for special methods
386 _cb_type = type(exit)
387 try:
388 exit_method = _cb_type.__exit__
389 except AttributeError:
390 # Not a context manager, so assume its a callable
391 self._exit_callbacks.append(exit)
392 else:
393 self._push_cm_exit(exit, exit_method)
394 return exit # Allow use as a decorator
395
396 def callback(self, callback, *args, **kwds):
397 """Registers an arbitrary callback and arguments.
398
399 Cannot suppress exceptions.
400 """
401 def _exit_wrapper(exc_type, exc, tb):
402 callback(*args, **kwds)
403 # We changed the signature, so using @wraps is not appropriate, but
404 # setting __wrapped__ may still help with introspection
405 _exit_wrapper.__wrapped__ = callback
406 self.push(_exit_wrapper)
407 return callback # Allow use as a decorator
408
409 def enter_context(self, cm):
410 """Enters the supplied context manager
411
412 If successful, also pushes its __exit__ method as a callback and
413 returns the result of the __enter__ method.
414 """
415 # We look up the special methods on the type to match the with statement
416 _cm_type = type(cm)
417 _exit = _cm_type.__exit__
418 result = _cm_type.__enter__(cm)
419 self._push_cm_exit(cm, _exit)
420 return result
421
422 def close(self):
423 """Immediately unwind the context stack"""
424 self.__exit__(None, None, None)
425
Nick Coghlan3267a302012-05-21 22:54:43 +1000426 def __exit__(self, *exc_details):
Nick Coghlan1a33b2f2013-10-01 23:24:56 +1000427 received_exc = exc_details[0] is not None
428
Nick Coghlan77452fc2012-06-01 22:48:32 +1000429 # We manipulate the exception state so it behaves as though
430 # we were actually nesting multiple with statements
431 frame_exc = sys.exc_info()[1]
432 def _fix_exception_context(new_exc, old_exc):
Nick Coghlanadd94c92014-01-24 23:05:45 +1000433 # Context may not be correct, so find the end of the chain
Nick Coghlan77452fc2012-06-01 22:48:32 +1000434 while 1:
435 exc_context = new_exc.__context__
Nick Coghlan09761e72014-01-22 22:24:46 +1000436 if exc_context is old_exc:
437 # Context is already set correctly (see issue 20317)
438 return
439 if exc_context is None or exc_context is frame_exc:
Nick Coghlan77452fc2012-06-01 22:48:32 +1000440 break
441 new_exc = exc_context
Nick Coghlan09761e72014-01-22 22:24:46 +1000442 # Change the end of the chain to point to the exception
443 # we expect it to reference
Nick Coghlan77452fc2012-06-01 22:48:32 +1000444 new_exc.__context__ = old_exc
445
Nick Coghlana5bd2a12012-06-01 00:00:38 +1000446 # Callbacks are invoked in LIFO order to match the behaviour of
447 # nested context managers
448 suppressed_exc = False
Nick Coghlan1a33b2f2013-10-01 23:24:56 +1000449 pending_raise = False
Nick Coghlana5bd2a12012-06-01 00:00:38 +1000450 while self._exit_callbacks:
451 cb = self._exit_callbacks.pop()
Nick Coghlan3267a302012-05-21 22:54:43 +1000452 try:
Nick Coghlana5bd2a12012-06-01 00:00:38 +1000453 if cb(*exc_details):
454 suppressed_exc = True
Nick Coghlan1a33b2f2013-10-01 23:24:56 +1000455 pending_raise = False
Nick Coghlan3267a302012-05-21 22:54:43 +1000456 exc_details = (None, None, None)
Nick Coghlana5bd2a12012-06-01 00:00:38 +1000457 except:
458 new_exc_details = sys.exc_info()
Nick Coghlan77452fc2012-06-01 22:48:32 +1000459 # simulate the stack of exceptions by setting the context
460 _fix_exception_context(new_exc_details[1], exc_details[1])
Nick Coghlan1a33b2f2013-10-01 23:24:56 +1000461 pending_raise = True
Nick Coghlana5bd2a12012-06-01 00:00:38 +1000462 exc_details = new_exc_details
Nick Coghlan1a33b2f2013-10-01 23:24:56 +1000463 if pending_raise:
464 try:
465 # bare "raise exc_details[1]" replaces our carefully
466 # set-up context
467 fixed_ctx = exc_details[1].__context__
468 raise exc_details[1]
469 except BaseException:
470 exc_details[1].__context__ = fixed_ctx
471 raise
472 return received_exc and suppressed_exc