5.4.2.7 Exit Do Statement

exit-do-statement = "Exit" "Do"

Static Semantics.

§ An <exit-do-statement> MUST be lexically contained inside a <do-statement>.

 

Runtime Semantics.

§ If the <statement-block> causes execution of an <exit-do-statement> whose closest lexically containing <do-statement> is this statement, execution of the <statement-block> and of this statement immediately completes. No other statements following the <exit-do-statement> in the <statement-block> are executed.