<< §6.2 Other API Elements | ↑ Table of Contents ↑ |
§6.3 Annotations
(a) Controlling implicit team activation
Implicit team activation is disabled by default and can be enabled by adding the annotation
@org.objectteams.ImplicitTeamActivation
.
See §5.3.(d) for details.
(b) Controlling lifting
If lifting as defined in §2.3 and specifically §2.3.1 causes
performance problems, the semantics of lifting can be modified per role class using the annotation
@org.objectteams.Instantiation
.
See §2.3.1.(d) for details.
<< §6.2 Other API Elements | ↑ Table of Contents ↑ |