Inscrit le: 05 Sep 2017
|Posté le: Mar 12 Sep - 09:14 (2017) Sujet du message: What makes a class a role?
In OT / J you have bound and unbound roles. The documentation says: "An unbound role will never be attached to a base object, however, according to the prevailing notion of roles" a role can not exist without an intrinsic while unbound roles can be solely instantiated.
Therefore notion of "unbound roles" can be downscaled to value-bound virtual inner classes. Thereby, statement "A bound role may inherit from an unbound role" can be rephrased as "a role may inherit from a class," which is also a precondition of the prevailing notion of roles.
I did not find the right solution from the Internet.
References: Minimalist Explainer Video