Java Reference
In-Depth Information
•
V
is [un]assigned before the first block-statement of any block-statement-group
other than the first iff
V
is [un]assigned after the switch expression and
V
is
[un]assigned after the preceding block-statement.
16.2.10.
while
Statements
and
V
is [un]assigned before every
break
statement for which the
while
statement is
the break target.
•
V
is definitely assigned before
e
iff
V
is definitely assigned before the
while
state-
ment.
•
V
is definitely unassigned before
e
iff all of the following conditions hold:
♦
V
is definitely unassigned before the
while
statement.
♦ Assuming
V
is definitely unassigned before
e
,
V
is definitely unassigned after
S
.
♦ Assuming
V
is definitely unassigned before
e
,
V
is definitely unassigned before
every
continue
statement for which the
while
statement is the continue target.
•
V
is [un]assigned before
S
iff
V
is [un]assigned after
e
when true.
16.2.11.
do
Statements
false and
V
is [un]assigned before every
break
statement for which the
do
statement
is the break target.
•
V
is definitely assigned before
S
iff
V
is definitely assigned before the
do
statement.
•
V
is definitely unassigned before
S
iff all of the following conditions hold:
♦
V
is definitely unassigned before the
do
statement.
♦ Assuming
V
is definitely unassigned before
S
,
V
is definitely unassigned after
e
when true.
•
V
is [un]assigned before
e
iff
V
is [un]assigned after
S
and
V
is [un]assigned before
every
continue
statement for which the
do
statement is the continue target.
16.2.12.
for
Statements
statement is defined by translation to a basic
for
statement, no special rules need to be
provided for it.
•
V
is [un]assigned after a
for
statement iff both of the following are true: