The Java Language Specification, Third Edition

16.1.3 The Boolean Operator || DEFINITE ASSIGNMENT
534
16.1.3 The Boolean Operator ||
• V is [un]assigned after a || b when true iff V is [un]assigned after a when true
and V is [un]assigned after b when true.
• V is [un]assigned after a || b when false iff V is [un]assigned after b when
false.
• V is [un]assigned before a iff V is [un]assigned before a || b.
• V is [un]assigned before b iff V is [un]assigned after a when false.
• V is [un]assigned after a || b iff V is [un]assigned after a || b when true and
V is [un]assigned after a || b when false.
16.1.4 The Boolean Operator !
• V is [un]assigned after !a when true iff V is [un]assigned after a when false.
• V is [un]assigned after !a when false iff V is [un]assigned after a when true.
• V is [un]assigned before a iff V is [un]assigned before !a.
• V is [un]assigned after !a iff V is [un]assigned after !a when true and V is
[un]assigned after !a when false. (This is equivalent to saying that V is
[un]assigned after !a iff V is [un]assigned after a.)
16.1.5 The Boolean Operator ?:
Suppose that b and c are boolean-valued expressions.
• V is [un]assigned after a ? b : c when true iff V is [un]assigned after b when
true and V is [un]assigned after c when true.
• V is [un]assigned after a ? b : c when false iff V is [un]assigned after b when
false and V is [un]assigned after c when false.
• V is [un]assigned before a iff V is [un]assigned before a ? b : c.
• V is [un]assigned before b iff V is [un]assigned after a when true.
• V is [un]assigned before c iff V is [un]assigned after a when false.
• V is [un]assigned after a ? b : c iff V is [un]assigned after a ? b : c when true
and V is [un]assigned after a ? b : c when false.
DRAFT