next up previous
Next: Primitive types Up: The Java type model Previous: Numeric types

boolean type

Boolean operations include the normal logical operators and also conditional versions of disjunction and conjunction.

Primitive types[7]:
  invOp(boolType): boolType;
  disjOp, conjOp, candOp, corOp(boolType,boolType): boolType;

  bangInd:   invOp;
  barbarInd: corOp;
  ampampInd: candOp;
This macro is defined in definitions 5, 6, 7, and 8.
This macro is invoked in definition 4.