Search code examples
adaabstract-syntax-treeshort-circuiting

Ada short-circuit control forms

Whats the meaning of

x AND THEN y AND z

is it

x AND THEN (y AND z)

(y, z gets never evaluated if x is FALSE) or

(x AND THEN y) AND z

(if x is FALSE, y is skipped, but its possible that z is evaluated) in ada?

Solution

  • The short-circuit operators have the same precedence as their strict versions.