Java Reference
In-Depth Information
initializer in the local variable declaration statement and the last variable initializer
in the declaration is not in the declarator that declares
V
.
•
V
is [un]assigned before the first variable initializer in a local variable declaration
statement iff
V
is [un]assigned before the local variable declaration statement.
•
V
is definitely assigned before any variable initializer
e
other than the first one in
the local variable declaration statement iff either
V
is definitely assigned after the
variable initializer to the left of
e
or the initializer expression to the left of
e
is in
the declarator that declares
V
.
•
V
is definitely unassigned before any variable initializer
e
other than the first one
in the local variable declaration statement iff
V
is definitely unassigned after the
variable initializer to the left of
e
and the initializer expression to the left of
e
is not
in the declarator that declares
V
.
16.2.5. Labeled Statements
[un]assigned after
S
and
V
is [un]assigned before every
break
statement that may
exit the labeled statement
L
:
S
.
•
V
is [un]assigned before
S
iff
V
is [un]assigned before
L
:
S
.
16.2.6. Expression Statements
e
.
•
V
is [un]assigned before
e
iff it is [un]assigned before
e
;
.
16.2.7.
if
Statements
•
V
is [un]assigned after
if (
e
)
S
iff
V
is [un]assigned after
S
and
V
is [un]assigned
after
e
when false.
•
V
is [un]assigned before
e
iff
V
is [un]assigned before
if (
e
)
S
.
•
V
is [un]assigned before
S
iff
V
is [un]assigned after
e
when true.
•
V
is [un]assigned after
if (
e
)
S
else
T
iff
V
is [un]assigned after
S
and
V
is
[un]assigned after
T
.
•
V
is [un]assigned before
e
iff
V
is [un]assigned before
if (
e
)
S
else
T
.
