<< §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 >> |