·generalization: Generalization[*] | Specifies the Generalization relationships for this Classifier. These Generalizations navi- gate to more general classifiers in the generalization hierarchy. Subsets Ele- ment::ownedElement. |
·/ general : Classifier[*] | Specifies the general Classifiers for this Classifier. This is derived. |
The general classifiers are the classifiers referenced by the generalization relationships.
general = self.parents()
The query parents() gives all of the immediate ancestors of a generalized Classifier.
Classifier::parents(): Set(Classifier);
parents = generalization.general
The query conformsTo() gives true for a classifier that defines a type that conforms to another. This is used, for example,
in the specification of signature conformance for operations.
Classifier::conformsTo(other: Classifier): Boolean;
conformsTo = (self=other) or (self.allParents()->includes(other))