andoperator

Syntax   A and B

Description   The and (boolean) operator yields a result of true if, and only if, both operands are true. The and operator is a short circuit operator. For example, if A is false in A and B then B is not evaluated.

Example  

        var success : boolean := false
        var continuing := true      % The type is booleancontinuing := continuing and success
Details   The continuing variable is set to true if, and only if, both continuing and success are true. Since Turing uses short circuit operators, once continuing is false, success will not be looked at.

The and operator can also be applied to natural numbers. The result is the natural number that is the bit-wise and of the operands. See nat (natural number).

Example   This masks out the everything but the lower two bytes of number.

        var number : nat := 16#ABCD
        var mask : nat := 16#FF
        put number and mask     % Outputs 205 (CD16)
See also   boolean (which discusses true/false values), explicitTrueFalseConstant (which discusses the values true and false), precedence and expn (expression).