<< §5.4.(a) General syntax for guards | ↑ Table of Contents ↑ | §5.4.(c) Exceptions >> |
§5.4.(b) No side effects
A guard predicate should have no side effects. A compiler should optionally check this condition, but inter-procedural analysis actually depends on the availability of appropriate means to mark any method as side-effect free.
<< §5.4.(a) General syntax for guards | ↑ Table of Contents ↑ | §5.4.(c) Exceptions >> |