<< §A.6 Types | ↑ Table of Contents ↑ | §A.8 Precedence declaration >> |
§A.7 Guard predicates
§ A.7.1 | Guard [base] when ( Expression ) |
§ A.7.2 | MethodDeclaration ... MethodHeader [Guard] MethodBody |
Other rules referring to Guard
:
ClassDeclaration (§A.1.1),
CallinBinding (§A.3.3)
Contextual constraints:
- The
Expression
in a guard must have typeboolean
.
<< §A.6 Types | ↑ Table of Contents ↑ | §A.8 Precedence declaration >> |