↑ Table of Contents ↑ | §2.3.1.(b) Default lifting constructor >> |
§2.3.1.(a) Reuse of existing role objects
A role object is considered suitable for reuse during lifting, if these three items are identical:
- the given base object
- the given team object
- the statically required role type
For the relation between the statically required role type and the actual type of the role object see "smart lifting" (§2.3.3).
↑ Table of Contents ↑ | §2.3.1.(b) Default lifting constructor >> |