16.2.7

switch

 Statements

DEFINITE ASSIGNMENT

V

 is definitely assigned before

e

 iff

V

 is definitely assigned before

if (

e

) S

.

V

is definitely assigned before

S

 iff

V

 is definitely assigned after

e

 when true.

V

 is definitely assigned after

if (

e

) S else T

 iff

V

 is definitely assigned after

S

 and

V

 is definitely assigned after

T

.

V

 is definitely assigned before

e

iff

V

 is definitely assigned before

if (

e

) S

else T

.

V

 is definitely assigned before

S

 iff

V

 is definitely assigned after

e

when true.

V

 is definitely assigned before

T

 iff

V

 is definitely assigned after

e

when false.

16.2.7

switch

 Statements

V

 is definitely assigned after a

switch

 statement iff both of the following are

true:

N

Either the

switch

 block is empty or

V

 is definitely assigned after the last

statement of the

switch

 block.

N

V

 is definitely assigned before every

break

 statement that may exit the

switch

 statement.

V

 is definitely assigned before the switch expression iff

V

 is definitely

assigned before the

switch

 statement.

V

 is definitely assigned before a statement or local variable declaration state 

ment

S

 in the switch block iff at least one of the following is true:

N

V

 is definitely assigned after the switch expression.

N

S

 is not labeled by a

case

 or

default

 label and

V

 is definitely assigned

after the preceding statement.

16.2.8

while

 Statements

V

 is definitely assigned after

while (

e

) S

 iff

V

 is definitely assigned after

e

when false and

V

 is definitely assigned before every

break

 statement that may

exit the

while

 statement.

V

 is definitely assigned before

e

 iff

V

 is definitely assigned before the

while

statement.

V

 is definitely assigned before

S

 iff

V

 is definitely assigned after

e

 when true.

394