O'Reilly logo

The Java® Language Specification, Java SE 7 Edition, Fourth Edition by Alex Buckley, Gilad Bracha, Guy Steele, Bill Joy, James Gosling

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required