Java Reference
In-Depth Information
♦
V
is definitely unassigned before every
return
statement that belongs to the
try
block.
♦
V
is definitely unassigned after
e
in every statement of the form
throw
e
that be-
longs to the
try
block.
♦
V
is definitely unassigned after every
assert
statement that occurs in the
try
block.
♦
V
is definitely unassigned before every
break
statement that belongs to the
try
block and whose break target contains (or is) the
try
statement.
♦
V
is definitely unassigned before every
continue
statement that belongs to the
try
block and whose continue target contains the
try
statement.
♦
V
is definitely unassigned after every
catch
block of the
try
statement.
16.3. Definite Assignment and Parameters
signed (and moreover is not definitely unassigned) before the body of the method
or constructor.
moreover is not definitely unassigned) before the body of the
catch
clause.
16.4. Definite Assignment and Array Initializers
fore the empty array initializer.
•
V
is [un]assigned after a non-empty array initializer iff
V
is [un]assigned after the
last variable initializer in the array initializer.
•
V
is [un]assigned before the first variable initializer of the array initializer iff
V
is
[un]assigned before the array initializer.
•
V
is [un]assigned before any other variable initializer
e
of the array initializer iff
V
is [un]assigned after the variable initializer to the left of
e
in the array initializer.
16.5. Definite Assignment and Enum Constants
The rules determining when a variable is definitely assigned or definitely unassigned be-
