Changeset 6a8208cb for doc/theses/andrew_beach_MMath/features.tex
- Timestamp:
- Apr 20, 2021, 3:03:36 PM (22 months ago)
- Branches:
- arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 59f3f61
- Parents:
- f17fb7d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/andrew_beach_MMath/features.tex
rf17fb7d r6a8208cb 88 88 Consider the following hierarchy of exceptions: 89 89 \begin{center} 90 \setlength{\unitlength}{4000sp}% 91 \begin{picture}(1605,612)(2011,-1951) 92 \put(2100,-1411){\vector(1, 0){225}} 93 \put(3450,-1411){\vector(1, 0){225}} 94 \put(3550,-1411){\line(0,-1){225}} 95 \put(3550,-1636){\vector(1, 0){150}} 96 \put(3550,-1636){\line(0,-1){225}} 97 \put(3550,-1861){\vector(1, 0){150}} 98 \put(2025,-1490){\makebox(0,0)[rb]{\LstBasicStyle{exception}}} 99 \put(2400,-1460){\makebox(0,0)[lb]{\LstBasicStyle{arithmetic}}} 100 \put(3750,-1460){\makebox(0,0)[lb]{\LstBasicStyle{underflow}}} 101 \put(3750,-1690){\makebox(0,0)[lb]{\LstBasicStyle{overflow}}} 102 \put(3750,-1920){\makebox(0,0)[lb]{\LstBasicStyle{zerodivide}}} 103 \end{picture}% 90 \input{exception-hierarchy} 104 91 \end{center} 105 92 … … 471 458 skipping over it to the next try statement. 472 459 473 % This might need a diagram. But it is an important part of the justification 474 % of the design of the traversal order. 475 \begin{verbatim} 476 throwResume2 ----------. 477 | | 478 generated from handler | 479 | | 480 handler | 481 | | 482 throwResume1 -----. : 483 | | : 484 try | : search skip 485 | | : 486 catchResume <----' : 487 | | 488 \end{verbatim} 460 \begin{center} 461 \input{stack-marking} 462 \end{center} 489 463 490 464 These rules mirror what happens with termination.
Note: See TracChangeset
for help on using the changeset viewer.