16.1. Definite Assignment and Expressions
16.1.1. Boolean Constant Expressions
• V is [un]assigned after any constant expression (§15.28) whose value is true when false.
• V is [un]assigned after any constant expression whose value is false when true.
• V is [un]assigned after any constant expression whose value is true when true iff V is [un]assigned before the constant expression.
• V is [un]assigned after any constant expression whose value is false when false iff V is [un]assigned before the constant expression.
• V is [un]assigned after a boolean-valued constant expression e iff V is [un]assigned after e when true and V is [un]assigned after e when false.
This is equivalent to saying that V is [un]assigned after e iff V is [un]assigned before ...
Get The Java® Language Specification, Java SE 7 Edition, Fourth Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
