9.4.2 NamedElement

在模型元素中，一个命名元素通过名称来引用。模型元素自身也有一个名称。但这并不总是它所被引用所使用的名称。

操作getType()返回所引用的模型元素的类型。

context NamedElement::getType() : Classifier
pre: -- none
post: referredElement.oclIsKindOf(VariableDeclaration) implies
                result = referredElement.oclAsType(VariableDeclaration).type
post: referredElement.oclIsKindOf(Classifier) implies
                result = referredElement
post: referredElement.oclIsKindOf(State) implies
                result = -- TBD: when aligning with UML 2.0 Infrastructure