2006-03-27 19:58:46 -04:00
|
|
|
\section{\module{contextlib} ---
|
|
|
|
Utilities for \keyword{with}-statement contexts.}
|
|
|
|
|
|
|
|
\declaremodule{standard}{contextlib}
|
|
|
|
\modulesynopsis{Utilities for \keyword{with}-statement contexts.}
|
|
|
|
|
2006-03-28 01:51:02 -04:00
|
|
|
\versionadded{2.5}
|
|
|
|
|
2006-03-27 19:58:46 -04:00
|
|
|
This module provides utilities for common tasks involving the
|
|
|
|
\keyword{with} statement.
|
|
|
|
|
|
|
|
Functions provided:
|
|
|
|
|
2006-05-03 10:02:47 -03:00
|
|
|
\begin{funcdesc}{contextmanager}{func}
|
2006-04-25 07:56:51 -03:00
|
|
|
This function is a decorator that can be used to define a factory
|
2006-05-03 10:17:49 -03:00
|
|
|
function for \keyword{with} statement context managers, without
|
2006-04-25 07:56:51 -03:00
|
|
|
needing to create a class or separate \method{__enter__()} and
|
|
|
|
\method{__exit__()} methods.
|
2006-03-27 19:58:46 -04:00
|
|
|
|
2006-05-03 10:02:47 -03:00
|
|
|
A simple example (this is not recommended as a real way of
|
|
|
|
generating HTML!):
|
2006-03-27 19:58:46 -04:00
|
|
|
|
|
|
|
\begin{verbatim}
|
|
|
|
from __future__ import with_statement
|
2006-05-03 10:02:47 -03:00
|
|
|
from contextlib import contextmanager
|
2006-03-27 19:58:46 -04:00
|
|
|
|
2006-05-03 10:02:47 -03:00
|
|
|
@contextmanager
|
2006-03-27 19:58:46 -04:00
|
|
|
def tag(name):
|
|
|
|
print "<%s>" % name
|
|
|
|
yield
|
|
|
|
print "</%s>" % name
|
|
|
|
|
|
|
|
>>> with tag("h1"):
|
|
|
|
... print "foo"
|
|
|
|
...
|
|
|
|
<h1>
|
|
|
|
foo
|
|
|
|
</h1>
|
|
|
|
\end{verbatim}
|
|
|
|
|
2006-04-25 07:56:51 -03:00
|
|
|
The function being decorated must return a generator-iterator when
|
|
|
|
called. This iterator must yield exactly one value, which will be
|
|
|
|
bound to the targets in the \keyword{with} statement's \keyword{as}
|
|
|
|
clause, if any.
|
2006-03-27 19:58:46 -04:00
|
|
|
|
|
|
|
At the point where the generator yields, the block nested in the
|
|
|
|
\keyword{with} statement is executed. The generator is then resumed
|
|
|
|
after the block is exited. If an unhandled exception occurs in the
|
|
|
|
block, it is reraised inside the generator at the point where the yield
|
|
|
|
occurred. Thus, you can use a
|
|
|
|
\keyword{try}...\keyword{except}...\keyword{finally} statement to trap
|
2006-04-24 01:17:02 -03:00
|
|
|
the error (if any), or ensure that some cleanup takes place. If an
|
|
|
|
exception is trapped merely in order to log it or to perform some
|
|
|
|
action (rather than to suppress it entirely), the generator must
|
2006-05-03 10:17:49 -03:00
|
|
|
reraise that exception. Otherwise the generator context manager will
|
|
|
|
indicate to the \keyword{with} statement that the exception has been
|
|
|
|
handled, and execution will resume with the statement immediately
|
|
|
|
following the \keyword{with} statement.
|
2006-03-27 19:58:46 -04:00
|
|
|
\end{funcdesc}
|
|
|
|
|
2006-05-03 10:02:47 -03:00
|
|
|
\begin{funcdesc}{nested}{mgr1\optional{, mgr2\optional{, ...}}}
|
2006-04-25 07:56:51 -03:00
|
|
|
Combine multiple context managers into a single nested context manager.
|
2006-03-27 19:58:46 -04:00
|
|
|
|
|
|
|
Code like this:
|
|
|
|
|
|
|
|
\begin{verbatim}
|
|
|
|
from contextlib import nested
|
|
|
|
|
|
|
|
with nested(A, B, C) as (X, Y, Z):
|
|
|
|
do_something()
|
|
|
|
\end{verbatim}
|
|
|
|
|
|
|
|
is equivalent to this:
|
|
|
|
|
|
|
|
\begin{verbatim}
|
|
|
|
with A as X:
|
|
|
|
with B as Y:
|
|
|
|
with C as Z:
|
|
|
|
do_something()
|
|
|
|
\end{verbatim}
|
|
|
|
|
2006-04-24 01:17:02 -03:00
|
|
|
Note that if the \method{__exit__()} method of one of the nested
|
2006-05-03 10:02:47 -03:00
|
|
|
context managers indicates an exception should be suppressed, no
|
2006-04-24 01:17:02 -03:00
|
|
|
exception information will be passed to any remaining outer context
|
2006-05-03 10:17:49 -03:00
|
|
|
managers. Similarly, if the \method{__exit__()} method of one of the
|
|
|
|
nested managers raises an exception, any previous exception state will
|
|
|
|
be lost; the new exception will be passed to the
|
2006-05-03 10:02:47 -03:00
|
|
|
\method{__exit__()} methods of any remaining outer context managers.
|
2006-04-24 01:17:02 -03:00
|
|
|
In general, \method{__exit__()} methods should avoid raising
|
|
|
|
exceptions, and in particular they should not re-raise a
|
2006-03-27 19:58:46 -04:00
|
|
|
passed-in exception.
|
|
|
|
\end{funcdesc}
|
|
|
|
|
|
|
|
\label{context-closing}
|
|
|
|
\begin{funcdesc}{closing}{thing}
|
2006-05-03 10:02:47 -03:00
|
|
|
Return a context manager that closes \var{thing} upon completion of
|
|
|
|
the block. This is basically equivalent to:
|
2006-03-27 19:58:46 -04:00
|
|
|
|
|
|
|
\begin{verbatim}
|
2006-05-03 10:02:47 -03:00
|
|
|
from contextlib import contextmanager
|
2006-03-27 19:58:46 -04:00
|
|
|
|
2006-05-03 10:02:47 -03:00
|
|
|
@contextmanager
|
2006-03-27 19:58:46 -04:00
|
|
|
def closing(thing):
|
|
|
|
try:
|
|
|
|
yield thing
|
|
|
|
finally:
|
|
|
|
thing.close()
|
|
|
|
\end{verbatim}
|
|
|
|
|
|
|
|
And lets you write code like this:
|
|
|
|
\begin{verbatim}
|
2006-03-27 20:08:22 -04:00
|
|
|
from __future__ import with_statement
|
2006-03-27 19:58:46 -04:00
|
|
|
from contextlib import closing
|
2007-05-20 12:03:06 -03:00
|
|
|
import urllib
|
2006-03-27 19:58:46 -04:00
|
|
|
|
2006-04-25 07:56:51 -03:00
|
|
|
with closing(urllib.urlopen('http://www.python.org')) as page:
|
|
|
|
for line in page:
|
2006-04-23 12:14:37 -03:00
|
|
|
print line
|
2006-03-27 19:58:46 -04:00
|
|
|
\end{verbatim}
|
|
|
|
|
2006-04-25 07:56:51 -03:00
|
|
|
without needing to explicitly close \code{page}. Even if an error
|
|
|
|
occurs, \code{page.close()} will be called when the \keyword{with}
|
|
|
|
block is exited.
|
2006-03-27 19:58:46 -04:00
|
|
|
\end{funcdesc}
|
|
|
|
|
|
|
|
\begin{seealso}
|
|
|
|
\seepep{0343}{The "with" statement}
|
|
|
|
{The specification, background, and examples for the
|
|
|
|
Python \keyword{with} statement.}
|
|
|
|
\end{seealso}
|