and_then (boolean)

Description

As an extension to Standard Pascal, Irie Pascal supports the and_then operator, which takes two operands of boolean type and performs boolean AND. The result of the operation is of boolean type and is equal to true of both operands are true, and false if either operand is false. Short circuit evaluation is always used by the and_then operator (i.e. The left operand is evaluated first and if it is false then the right operand is not evaluated because the result of the operation must be false).

Example

   false and_then false   results in false
   false and_then true    results in false
   true  and_then false   results in false
   true  and_then true    results in true

The differences between the and_then operator and the and operator are: