Changeset 887fc79 for doc/theses/andrew_beach_MMath/features.tex

Timestamp:

May 25, 2021, 3:43:25 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

c65b930

Parents:

9b0bb79

Message:

Andrew MMath: Handled some too long lines caused by code snipits. Added a new command: \snake.

File:

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

doc/theses/andrew_beach_MMath/features.tex

@@ -115 +115 @@
 
 \paragraph{Communication}
-For effective exception handling, additional information is usually passed
+For effective exception handling, additional information is often passed
 from the raise to the handler.
 So far only communication of the exceptions' identity has been covered.
@@ -327 +327 @@
 \end{cfa}
 When viewed on its own, a try statement will simply execute the statements
-in @GUARDED_BLOCK@ and when those are finished the try statement finishes.
+in \snake{GUARDED_BLOCK} and when those are finished the try statement finishes.
 
 However, while the guarded statements are being executed, including any
@@ -343 +343 @@
 
 If no termination handler is found during the search then the default handler
-(@defaultTerminationHandler@) is run.
+(\defaultTerminationHandler) is run.
 Through \CFA's trait system the best match at the throw sight will be used.
 This function is run and is passed the copied exception. After the default
@@ -421 +421 @@
 execution continues after the raise statement.
 
-There is a global @defaultResumptionHandler@ is polymorphic over all
+There is a global \defaultResumptionHandler{} is polymorphic over all
 termination exceptions and preforms a termination throw on the exception.
-The @defaultTerminationHandler@ for that raise is matched at the original
-raise statement (the resumption @throwResume@) and it can be customized by
-introducing a new or better match as well.
+The \defaultTerminationHandler{} for that raise is matched at the
+original raise statement (the resumption @throw@\-@Resume@) and it can be
+customized by introducing a new or better match as well.
 
 \subsubsection{Resumption Marking}
@@ -681 +681 @@
 @CoroutineCancelled@ exception, which contains a references to the cancelled
 coroutine and the exception used to cancel it.
-The resume function also takes the @defaultResumptionHandler@ from the
+The resume function also takes the \defaultResumptionHandler{} from the
 caller's context and passes it to the internal report.