14.10.1

Abrupt Completion

BLOCKS AND STATEMENTS

N

If execution of the

Statement

 completes abruptly, see  14.10.1 below.

If the value of the

Expression

 is

false

, no further action is taken and the

while

 statement completes normally.

If the value of the

Expression

 is

false

 the first time it is evaluated, then the

Statement

is not executed.

14.10.1   Abrupt Completion

Abrupt completion of the contained

Statement

 is handled in the following manner:

If execution of the

Statement

 completes abruptly because of a

break

 with no

label, no further action is taken and the

while

 statement completes normally.

N

If execution of the

Statement

 completes abruptly because of a

continue

with no label, then the entire

while

 statement is executed again.

N

If execution of the

Statement

 completes abruptly because of a

continue

with label

L

, then there is a choice:

O

If the

while

 statement has label

L

, then the entire

while

 statement is exe 

cuted again.

O

If the

while

 statement does not have label

L

, the

while

 statement com 

pletes abruptly because of a

continue

 with label

L

.

N

If execution of the

Statement

 completes abruptly for any other reason, the

while

 statement completes abruptly for the same reason. Note that the case

of abrupt completion because of a

break

 with a label is handled by the gen 

eral rule for labeled statements ( 14.6).

14.11   The

do

 Statement

The

do

 statement executes a

Statement

 and an

Expression

 repeatedly until the

value of the

Expression

 is

false

.

DoStatement:

do

Statement

 while (

Expression

 ) ;

The

Expression

 must have type

boolean

, or a compile time error occurs.

A

do

 statement is executed by first executing the

Statement

. Then there is a

choice:

If execution of the

Statement

 completes normally, then the

Expression

 is eval 

uated. If evaluation of the

Expression

 completes abruptly for some reason, the

278