| << §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
Expressionin a guard must have typeboolean.
| << §A.6 Types | ↑ Table of Contents ↑ | §A.8 Precedence declaration >> |
