BLOCKS AND STATEMENTS

Unreachable Statements

14.19

A

do

 statement can complete normally iff at least one of the following is true:

N

The contained statement can complete normally and the condition expres 

sion is not a constant expression with value

true

.

N

There is a reachable

break

 statement that exits the

do

 statement.

The contained statement is reachable iff the

do

 statement is reachable.

A

for

 statement can complete normally iff at least one of the following is

true:

N

The

for

 statement is reachable, there is a condition expression, and the con 

dition expression is not a constant expression with value

true

.

N

There is a reachable

break

 statement that exits the

for

 statement.

The contained statement is reachable iff the

for

 statement is reachable and

the condition expression is not a constant expression whose value is

false

.

A

break

,

continue

,

return

, or

throw

 statement cannot complete normally.

A

synchronized

 statement can complete normally iff the contained state 

ment can complete normally. The contained statement is reachable iff the

synchronized

 statement is reachable.

A

try

 statement can complete normally iff both of the following are true:

N

The

try

 block can complete normally or any

catch

 block can complete

normally

.

N

If the

try

 statement has a

finally

 block, then the

finally

 block can com 

plete normally.

The

try

 block is reachable iff the

try

 statement is reachable.

A

catch

 block

C

 is reachable iff both of the following are true:

N

Some expression or

throw

 statement in the

try

 block is reachable and can

throw an exception whose type is assignable to the parameter of the

catch

clause

C

. (An expression is considered reachable iff the innermost statement

containing it is reachable.)

N

There is no earlier

catch

 block

A

 in the

try

 statement such that the type of

C

's parameter is the same as or a subclass of the type of

A

's parameter.

If a

finally

 block is present, it is reachable iff the

try

 statement is reach 

able.

297