contextlib.py 12.9 KB
Newer Older
1
"""Utilities for with-statement contexts.  See PEP 343."""
2
import abc
3
import sys
4
from collections import deque
Christian Heimes's avatar
Christian Heimes committed
5
from functools import wraps
6

7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
__all__ = ["contextmanager", "closing", "AbstractContextManager",
           "ContextDecorator", "ExitStack", "redirect_stdout",
           "redirect_stderr", "suppress"]


class AbstractContextManager(abc.ABC):

    """An abstract base class for context managers."""

    def __enter__(self):
        """Return `self` upon entering the runtime context."""
        return self

    @abc.abstractmethod
    def __exit__(self, exc_type, exc_value, traceback):
        """Raise any exception triggered within the runtime context."""
        return None

    @classmethod
    def __subclasshook__(cls, C):
        if cls is AbstractContextManager:
            if (any("__enter__" in B.__dict__ for B in C.__mro__) and
                any("__exit__" in B.__dict__ for B in C.__mro__)):
Brett Cannon's avatar
Brett Cannon committed
30
                return True
31
        return NotImplemented
32

33 34 35

class ContextDecorator(object):
    "A base class or mixin that enables context managers to work as decorators."
36 37 38

    def _recreate_cm(self):
        """Return a recreated instance of self.
39

40
        Allows an otherwise one-shot context manager like
41
        _GeneratorContextManager to support use as
42
        a decorator via implicit recreation.
43

44 45
        This is a private interface just for _GeneratorContextManager.
        See issue #11647 for details.
46 47 48
        """
        return self

49 50 51
    def __call__(self, func):
        @wraps(func)
        def inner(*args, **kwds):
52
            with self._recreate_cm():
53 54 55 56
                return func(*args, **kwds)
        return inner


57
class _GeneratorContextManager(ContextDecorator, AbstractContextManager):
58 59
    """Helper for @contextmanager decorator."""

60
    def __init__(self, func, args, kwds):
61 62
        self.gen = func(*args, **kwds)
        self.func, self.args, self.kwds = func, args, kwds
63 64 65 66 67 68 69 70 71 72
        # Issue 19330: ensure context manager instances have good docstrings
        doc = getattr(func, "__doc__", None)
        if doc is None:
            doc = type(self).__doc__
        self.__doc__ = doc
        # Unfortunately, this still doesn't provide good help output when
        # inspecting the created context manager instances, since pydoc
        # currently bypasses the instance docstring and shows the docstring
        # for the class instead.
        # See http://bugs.python.org/issue19404 for more details.
73 74 75 76 77

    def _recreate_cm(self):
        # _GCM instances are one-shot context managers, so the
        # CM must be recreated each time a decorated function is
        # called
78
        return self.__class__(self.func, self.args, self.kwds)
79 80 81

    def __enter__(self):
        try:
82
            return next(self.gen)
83
        except StopIteration:
84
            raise RuntimeError("generator didn't yield") from None
85 86 87 88

    def __exit__(self, type, value, traceback):
        if type is None:
            try:
89
                next(self.gen)
90 91 92 93 94
            except StopIteration:
                return
            else:
                raise RuntimeError("generator didn't stop")
        else:
95 96 97 98
            if value is None:
                # Need to force instantiation so we can reliably
                # tell if we get the same exception back
                value = type()
99 100
            try:
                self.gen.throw(type, value, traceback)
101
            except StopIteration as exc:
102
                # Suppress StopIteration *unless* it's the same exception that
103
                # was passed to throw().  This prevents a StopIteration
104
                # raised inside the "with" statement from being suppressed.
105
                return exc is not value
106
            except RuntimeError as exc:
107
                # Don't re-raise the passed in exception. (issue27122)
108 109
                if exc is value:
                    return False
110 111 112 113 114 115
                # Likewise, avoid suppressing if a StopIteration exception
                # was passed to throw() and later wrapped into a RuntimeError
                # (see PEP 479).
                if exc.__cause__ is value:
                    return False
                raise
116 117 118 119 120 121 122 123 124 125
            except:
                # only re-raise if it's *not* the exception that was
                # passed to throw(), because __exit__() must not raise
                # an exception unless __exit__() itself failed.  But throw()
                # has to raise the exception to signal propagation, so this
                # fixes the impedance mismatch between the throw() protocol
                # and the __exit__() protocol.
                #
                if sys.exc_info()[1] is not value:
                    raise
126 127
            else:
                raise RuntimeError("generator didn't stop after throw()")
128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157


def contextmanager(func):
    """@contextmanager decorator.

    Typical usage:

        @contextmanager
        def some_generator(<arguments>):
            <setup>
            try:
                yield <value>
            finally:
                <cleanup>

    This makes this:

        with some_generator(<arguments>) as <variable>:
            <body>

    equivalent to this:

        <setup>
        try:
            <variable> = <value>
            <body>
        finally:
            <cleanup>

    """
Christian Heimes's avatar
Christian Heimes committed
158
    @wraps(func)
159
    def helper(*args, **kwds):
160
        return _GeneratorContextManager(func, args, kwds)
161 162 163
    return helper


164
class closing(AbstractContextManager):
165
    """Context to automatically close something at the end of a block.
166 167 168 169 170 171 172 173 174 175 176 177 178 179 180

    Code like this:

        with closing(<module>.open(<arguments>)) as f:
            <block>

    is equivalent to this:

        f = <module>.open(<arguments>)
        try:
            <block>
        finally:
            f.close()

    """
181 182 183 184 185 186
    def __init__(self, thing):
        self.thing = thing
    def __enter__(self):
        return self.thing
    def __exit__(self, *exc_info):
        self.thing.close()
187

188

189
class _RedirectStream(AbstractContextManager):
190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208

    _stream = None

    def __init__(self, new_target):
        self._new_target = new_target
        # We use a list of old targets to make this CM re-entrant
        self._old_targets = []

    def __enter__(self):
        self._old_targets.append(getattr(sys, self._stream))
        setattr(sys, self._stream, self._new_target)
        return self._new_target

    def __exit__(self, exctype, excinst, exctb):
        setattr(sys, self._stream, self._old_targets.pop())


class redirect_stdout(_RedirectStream):
    """Context manager for temporarily redirecting stdout to another file.
209 210 211 212 213 214 215 216 217 218

        # How to send help() to stderr
        with redirect_stdout(sys.stderr):
            help(dir)

        # How to write help() to a file
        with open('help.txt', 'w') as f:
            with redirect_stdout(f):
                help(pow)
    """
219

220
    _stream = "stdout"
221 222


223 224 225 226
class redirect_stderr(_RedirectStream):
    """Context manager for temporarily redirecting stderr to another file."""

    _stream = "stderr"
227 228


229
class suppress(AbstractContextManager):
230 231 232 233
    """Context manager to suppress specified exceptions

    After the exception is suppressed, execution proceeds with the next
    statement following the with statement.
234

235 236 237 238
         with suppress(FileNotFoundError):
             os.remove(somefile)
         # Execution still resumes here if the file was already removed
    """
239 240 241

    def __init__(self, *exceptions):
        self._exceptions = exceptions
242 243

    def __enter__(self):
244
        pass
245 246

    def __exit__(self, exctype, excinst, exctb):
247 248 249 250 251 252 253 254
        # Unlike isinstance and issubclass, CPython exception handling
        # currently only looks at the concrete type hierarchy (ignoring
        # the instance and subclass checking hooks). While Guido considers
        # that a bug rather than a feature, it's a fairly hard one to fix
        # due to various internal implementation details. suppress provides
        # the simpler issubclass based semantics, rather than trying to
        # exactly reproduce the limitations of the CPython interpreter.
        #
255 256 257
        # See http://bugs.python.org/issue12029 for more details
        return exctype is not None and issubclass(exctype, self._exceptions)

258 259

# Inspired by discussions on http://bugs.python.org/issue13585
260
class ExitStack(AbstractContextManager):
261 262 263 264 265 266 267 268
    """Context manager for dynamic management of a stack of exit callbacks

    For example:

        with ExitStack() as stack:
            files = [stack.enter_context(open(fname)) for fname in filenames]
            # All opened files will automatically be closed at the end of
            # the with statement, even if attempts to open files later
269
            # in the list raise an exception
270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339

    """
    def __init__(self):
        self._exit_callbacks = deque()

    def pop_all(self):
        """Preserve the context stack by transferring it to a new instance"""
        new_stack = type(self)()
        new_stack._exit_callbacks = self._exit_callbacks
        self._exit_callbacks = deque()
        return new_stack

    def _push_cm_exit(self, cm, cm_exit):
        """Helper to correctly register callbacks to __exit__ methods"""
        def _exit_wrapper(*exc_details):
            return cm_exit(cm, *exc_details)
        _exit_wrapper.__self__ = cm
        self.push(_exit_wrapper)

    def push(self, exit):
        """Registers a callback with the standard __exit__ method signature

        Can suppress exceptions the same way __exit__ methods can.

        Also accepts any object with an __exit__ method (registering a call
        to the method instead of the object itself)
        """
        # We use an unbound method rather than a bound method to follow
        # the standard lookup behaviour for special methods
        _cb_type = type(exit)
        try:
            exit_method = _cb_type.__exit__
        except AttributeError:
            # Not a context manager, so assume its a callable
            self._exit_callbacks.append(exit)
        else:
            self._push_cm_exit(exit, exit_method)
        return exit # Allow use as a decorator

    def callback(self, callback, *args, **kwds):
        """Registers an arbitrary callback and arguments.

        Cannot suppress exceptions.
        """
        def _exit_wrapper(exc_type, exc, tb):
            callback(*args, **kwds)
        # We changed the signature, so using @wraps is not appropriate, but
        # setting __wrapped__ may still help with introspection
        _exit_wrapper.__wrapped__ = callback
        self.push(_exit_wrapper)
        return callback # Allow use as a decorator

    def enter_context(self, cm):
        """Enters the supplied context manager

        If successful, also pushes its __exit__ method as a callback and
        returns the result of the __enter__ method.
        """
        # We look up the special methods on the type to match the with statement
        _cm_type = type(cm)
        _exit = _cm_type.__exit__
        result = _cm_type.__enter__(cm)
        self._push_cm_exit(cm, _exit)
        return result

    def close(self):
        """Immediately unwind the context stack"""
        self.__exit__(None, None, None)

    def __exit__(self, *exc_details):
340 341
        received_exc = exc_details[0] is not None

342 343 344 345
        # We manipulate the exception state so it behaves as though
        # we were actually nesting multiple with statements
        frame_exc = sys.exc_info()[1]
        def _fix_exception_context(new_exc, old_exc):
346
            # Context may not be correct, so find the end of the chain
347 348
            while 1:
                exc_context = new_exc.__context__
349 350 351 352
                if exc_context is old_exc:
                    # Context is already set correctly (see issue 20317)
                    return
                if exc_context is None or exc_context is frame_exc:
353 354
                    break
                new_exc = exc_context
355 356
            # Change the end of the chain to point to the exception
            # we expect it to reference
357 358
            new_exc.__context__ = old_exc

359 360 361
        # Callbacks are invoked in LIFO order to match the behaviour of
        # nested context managers
        suppressed_exc = False
362
        pending_raise = False
363 364
        while self._exit_callbacks:
            cb = self._exit_callbacks.pop()
365
            try:
366 367
                if cb(*exc_details):
                    suppressed_exc = True
368
                    pending_raise = False
369
                    exc_details = (None, None, None)
370
            except:
371
                new_exc_details = sys.exc_info()
372 373
                # simulate the stack of exceptions by setting the context
                _fix_exception_context(new_exc_details[1], exc_details[1])
374
                pending_raise = True
375
                exc_details = new_exc_details
376 377 378 379 380 381 382 383 384 385
        if pending_raise:
            try:
                # bare "raise exc_details[1]" replaces our carefully
                # set-up context
                fixed_ctx = exc_details[1].__context__
                raise exc_details[1]
            except BaseException:
                exc_details[1].__context__ = fixed_ctx
                raise
        return received_exc and suppressed_exc