Poirot's abrupt departure had intrigued us all greatly.
Agatha Christie, The Mysterious Affair at Styles (1920), Chapter 12
Every statement has a normal mode of execution in which certain computational steps are carried out. The following sections describe the normal mode of execution for each kind of statement. If all the steps are carried out as described, with no indication of abrupt completion, the statement is said to complete normally. However, certain events may prevent a statement from completing normally:
break
(§14.13), continue
(§14.14), and return
(§14.15) statements cause a transfer of control that may prevent normal completion of statements that contain them.
throw
(§14.16) statement also results in an exception. An exception causes a transfer of control that may prevent normal completion of statements.
If such an event occurs, then execution of one or more statements may be terminated before all steps of their normal mode of execution have completed; such statements are said to complete abruptly. An abrupt completion always has an associated reason, which is one of the following:
break
with no label
break
with a given label
continue
with no label
continue
with a given label
return
with no value
return
with a given value
throw
with a given value, including exceptions thrown by the Java Virtual Machine
The terms "complete normally" and "complete abruptly" also apply to the evaluation of expressions (§15.5). The only reason an expression can complete abruptly is that an exception is thrown, because of either a throw
with a given value (§14.16) or a run-time exception or error (§11, §15.5).
If a statement evaluates an expression, abrupt completion of the expression always causes the immediate abrupt completion of the statement, with the same reason. All succeeding steps in the normal mode of execution are not performed.
Unless otherwise specified in this chapter, abrupt completion of a substatement causes the immediate abrupt completion of the statement itself, with the same reason, and all succeeding steps in the normal mode of execution of the statement are not performed.
Unless otherwise specified, a statement completes normally if all expressions it evaluates and all substatements it executes complete normally.