and

and

operator

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 boolean … continuing := 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).

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 boolean … continuing := 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).