From 3c1983face14853d28f903e54228551c367c640e Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 30 Apr 2006 19:34:19 +0000 Subject: [PATCH] Patch #1479438: add \keyword markup for "with". --- Doc/ref/ref3.tex | 6 +++--- Doc/ref/ref7.tex | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Doc/ref/ref3.tex b/Doc/ref/ref3.tex index 7b4089d3acf..d22448c15ea 100644 --- a/Doc/ref/ref3.tex +++ b/Doc/ref/ref3.tex @@ -2149,9 +2149,9 @@ using a generator function decorated with the than writing individual \method{__enter__()} and \method{__exit__()} methods on a separate object when the state to be managed is complex. -With statement context objects also need to implement this method; they -are required to return themselves (that is, this method will simply -return \var{self}). +\keyword{with} statement context objects also need to implement this +method; they are required to return themselves (that is, this method +will simply return \var{self}). \end{methoddesc} \begin{methoddesc}[with statement context]{__enter__}{self} diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex index 180e22fde4b..4453e87c84a 100644 --- a/Doc/ref/ref7.tex +++ b/Doc/ref/ref7.tex @@ -315,7 +315,7 @@ statement to generate exceptions may be found in section~\ref{raise}. \versionadded{2.5} The \keyword{with} statement is used to wrap the execution of a block -with methods defined by a context manager or with statement context +with methods defined by a context manager or \keyword{with} statement context object (see section~\ref{context-managers}). This allows common \keyword{try}...\keyword{except}...\keyword{finally} usage patterns to be encapsulated for convenient reuse. @@ -332,7 +332,7 @@ The execution of the \keyword{with} statement proceeds as follows: \item The context expression is evaluated, to obtain a context manager. \item The context manger's \method{__context__()} method is -invoked to obtain a with statement context object. +invoked to obtain a \keyword{with} statement context object. \item The context object's \method{__enter__()} method is invoked.