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