DEFINITE ASSIGNMENT

try

 Statements

16.2.13

continue

,

return

, or

throw

 statement never completes normally, it vacu 

ously satisfies this notion.

In a

return

 statement with an expression or a

throw

 statement,

V

 is definitely

assigned before the expression iff

V

 is definitely assigned before the

return

or

throw

 statement.

16.2.12

synchronized

 Statements

V

 is definitely assigned after

synchronized (

e

) S

 iff

V

 is definitely assigned

after

S

.

V

 is definitely assigned before

e

 iff

V

 is definitely assigned before the state 

ment

synchronized (

e

) S

.

V

 is definitely assigned before

S

 iff

V

 is definitely assigned after

e

.

16.2.13

try

 Statements

V

 is definitely assigned after a

try

 statement iff one of the following is true:

N

V

 is definitely assigned after the try block and

V

 is definitely assigned after

every catch block in the try statement.

N

The

try

 statement has a

finally

 block and

V

 is definitely assigned after

the

finally

 block.

V

 is definitely assigned before the

try

 block iff

V

 is definitely assigned before

the

try

 statement.

V

 is definitely assigned before a

catch

 block iff

V

 is definitely assigned

before the

try

 statement.

V

 is definitely assigned before a

finally

 block iff

V

 is definitely assigned before

the

try

 statement.

I resolved to assign Bartleby a corner by the folding doors . . .

 Herman Melville,

Bartleby, the Scrivener

(1853)

It does not strike me that there is any thing definite about that.

 Herman Melville,

Bartleby, the Scrivener

(1853)

397