| << §1.2.2.(b) Declaration with anchored type | ↑ Table of Contents ↑ | §1.2.2.(d) Implicit type anchors >> |
§1.2.2.(c) Immutable anchor
Anchoring the type of an externalized role to a team instance
requires the team to be referenced by a variable which
is marked final (i.e., immutable).
The type anchor can be a path v.f1.f2... where
v is any final variable and f1 ...
are final fields.
| << §1.2.2.(b) Declaration with anchored type | ↑ Table of Contents ↑ | §1.2.2.(d) Implicit type anchors >> |
