[Python-checkins] CVS: python/dist/src/Doc/ref ref4.tex,1.21,1.21.4.1

Fred L. Drake python-dev@python.org
Mon, 20 Mar 2000 10:30:22 -0500 (EST)


Update of /projects/cvsroot/python/dist/src/Doc/ref
In directory weyr:/home/fdrake/projects/python/Doc-152p2/ref

Modified Files:
      Tag: release152p1-patches
	ref4.tex 
Log Message:

Clean up an old section reference (in response to a comment; don't
remember from who off-hand), add an index term.


Index: ref4.tex
===================================================================
RCS file: /projects/cvsroot/python/dist/src/Doc/ref/ref4.tex,v
retrieving revision 1.21
retrieving revision 1.21.4.1
diff -C2 -r1.21 -r1.21.4.1
*** ref4.tex	1999/05/13 18:38:11	1.21
--- ref4.tex	2000/03/20 15:30:19	1.21.4.1
***************
*** 184,192 ****
  executed whether an exception occurred or not in the preceding code.
  
! Python uses the ``termination'' model of error handling: an exception
! handler can find out what happened and continue execution at an outer
! level, but it cannot repair the cause of the error and retry the
! failing operation (except by re-entering the offending piece of
! code from the top).
  
  When an exception is not handled at all, the interpreter terminates
--- 184,192 ----
  executed whether an exception occurred or not in the preceding code.
  
! Python uses the ``termination'' \index{termination model}model of
! error handling: an exception handler can find out what happened and
! continue execution at an outer level, but it cannot repair the cause
! of the error and retry the failing operation (except by re-entering
! the offending piece of code from the top).
  
  When an exception is not handled at all, the interpreter terminates
***************
*** 211,214 ****
  being raised.
  
! See also the description of the \keyword{try} and \keyword{raise}
! statements in chapter \ref{compound}.
--- 211,214 ----
  being raised.
  
! See also the description of the \keyword{try} statement in section
! \ref{try} and \keyword{raise} statement in section \ref{raise}.