Boolean-operations
Java boolean operations [JLS14:4.2.5].
Here we formalize all the strict operations
that take boolean operands and return boolean results.
[JLS14:4.2.5] also lists
the conditional operators &&, ||, and ? :,
but those are non-strict,
and therefore must be formalized as part of expression evaluation.
[JLS14:4.2.5] also lists the string concatenation operator +,
but that is best formalized in terms of a boolean-to-string conversion,
elsewhere.
Subtopics
- Boolean-xor
- Logical exclusive disjunction ^ [JLS14:4.2.5] [JLS14:15.22.2].
- Boolean-neq
- Non-equality != on booleans [JLS14:4.2.5] [JLS14:15.21.2].
- Boolean-ior
- Logical inclusive disjunction | [JLS14:4.2.5] [JLS14:15.22.2].
- Boolean-eq
- Equality == on booleans [JLS14:4.2.5] [JLS14:15.21.2].
- Boolean-and
- Logical conjunction & [JLS14:4.2.5] [JLS14:15.22.2].
- Boolean-not
- Logical complement ! [JLS14:4.2.5] [JLS14:15.15.6].
