virtuality
The virtuality of a type defines whether the type is virtual (so that it can be redefined in a subtype of the enclosing type), redefined (a redefined type, but still virtual), or finalised, that a redefinition that cannot be further redefined.
<virtuality>::= virtual | redefined | finalized
-
virtual is used when a type is introduced as a virtual type. A virtual type must be a type defined locally to another type; the implication is that it can be redefined in types that inherit from the enclosing type.
-
redefined is used when the redefinition of a virtual type is still virtual.
-
finalized is used when the redefinition is not virtual.