<< §A.5 Statements | ↑ Table of Contents ↑ | §A.7 Guard predicates >> |
§A.6 Types
§ A.6.1 | Type ... LiftingType AnchoredType |
§ A.6.2 | LiftingType Type as Type |
§ A.6.3 | AnchoredType Path.Type |
§ A.6.4 | Path Identifier Path.Identifier |
Contextual constraints:
- Location
ALiftingType
may only occur in the parameter list of a method of a team class. - Role in scope
The right hand side type in aLiftingType
must be a class directly contained in the enclosing team class (the class may be acquired by implicit inheritance (§1.3.1.(c))). - Team path
Note, that the syntax of §A.6.3/4 is deprecated in favor of §A.9.
The path in anAnchoredType
must refer to an instance of a team class. Each identifier in the path must be declared with thefinal
modifier.
<< §A.5 Statements | ↑ Table of Contents ↑ | §A.7 Guard predicates >> |