Changeset 6a8208cb for doc/theses/andrew_beach_MMath/features.tex

Timestamp:

Apr 20, 2021, 3:03:36 PM (22 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

59f3f61

Parents:

f17fb7d

Message:

Andrew MMath: Changed driver: pdflatex to latex.

File:

• doc/theses/andrew_beach_MMath/features.tex (modified) (2 diffs)

doc/theses/andrew_beach_MMath/features.tex

@@ -88 +88 @@
 Consider the following hierarchy of exceptions:
 \begin{center}
-\setlength{\unitlength}{4000sp}%
-\begin{picture}(1605,612)(2011,-1951)
-\put(2100,-1411){\vector(1, 0){225}}
-\put(3450,-1411){\vector(1, 0){225}}
-\put(3550,-1411){\line(0,-1){225}}
-\put(3550,-1636){\vector(1, 0){150}}
-\put(3550,-1636){\line(0,-1){225}}
-\put(3550,-1861){\vector(1, 0){150}}
-\put(2025,-1490){\makebox(0,0)[rb]{\LstBasicStyle{exception}}}
-\put(2400,-1460){\makebox(0,0)[lb]{\LstBasicStyle{arithmetic}}}
-\put(3750,-1460){\makebox(0,0)[lb]{\LstBasicStyle{underflow}}}
-\put(3750,-1690){\makebox(0,0)[lb]{\LstBasicStyle{overflow}}}
-\put(3750,-1920){\makebox(0,0)[lb]{\LstBasicStyle{zerodivide}}}
-\end{picture}%
+\input{exception-hierarchy}
 \end{center}
 
@@ -471 +458 @@
 skipping over it to the next try statement.
 
-% This might need a diagram. But it is an important part of the justification
-% of the design of the traversal order.
-\begin{verbatim}
-       throwResume2 ----------.
-            |                 |
- generated from handler       |
-            |                 |
-         handler              |
-            |                 |
-        throwResume1 -----.   :
-            |             |   :
-           try            |   : search skip
-            |             |   :
-        catchResume  <----'   :
-            |                 |
-\end{verbatim}
+\begin{center}
+\input{stack-marking}
+\end{center}
 
 These rules mirror what happens with termination.