↑ Table of Contents ↑
§2 Role Binding > §2.4 Explicit role creation > §2.4.1 Role creation via a lifting constructor

§2.4.1.(a) Team context

The lifting constructor can be used only within the enclosing team of the role to be instantiated. Thus, qualified allocation expressions (someTeam.new SomeRole(..)) may never use the lifting constructor.

↑ Table of Contents ↑
§2 Role Binding > §2.4 Explicit role creation > §2.4.1 Role creation via a lifting constructor