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 statement
synchronized (
e)
S.
- V is definitely assigned before S iff V is definitely assigned after e.