-better language for describing language aspects
-smodel language part to work with language aspects, languages and modules
Typesystem: Overriding default type node
Allows to substitute another node to represent the type instead of the node originally used as a type.
- Substitute Type Rule applied to original type nodes, returns alternative type representation;
- the same rule applied to an attribute of the original type node enables aspect-oriented way of altering the default type representation.
More in the Typesystem documentation.