Changeset df24d37 for doc/theses/andrew_beach_MMath/features.tex
- Timestamp:
- Apr 26, 2021, 4:37:36 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- edc6ea2
- Parents:
- 5456537
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/andrew_beach_MMath/features.tex
r5456537 rdf24d37 20 20 \subparagraph{Raise} 21 21 The raise is the starting point for exception handling. It marks the beginning 22 of exception handling by \newterm{raising}an excepion, which passes it to22 of exception handling by raising an excepion, which passes it to 23 23 the EHM. 24 24 … … 235 235 Both traits ensure a pair of types are an exception type and its virtual table 236 236 and defines one of the two default handlers. The default handlers are used 237 as fallbacks and are discussed in detail in \ VRef{s:ExceptionHandling}.237 as fallbacks and are discussed in detail in \vref{s:ExceptionHandling}. 238 238 239 239 However, all three of these traits can be tricky to use directly. … … 351 351 for particular exception type. 352 352 The global default termination handler performs a cancellation 353 \see{\VRef{s:Cancellation}}on the current stack with the copied exception.353 (see \vref{s:Cancellation}) on the current stack with the copied exception. 354 354 355 355 \subsection{Resumption} … … 426 426 427 427 \subsubsection{Resumption Marking} 428 \label{s:ResumptionMarking} 428 429 A key difference between resumption and termination is that resumption does 429 430 not unwind the stack. A side effect that is that when a handler is matched
Note: See TracChangeset
for help on using the changeset viewer.