9.3.28 TypeCS

类型名是一个分类符或一些类型的集合。

[A] typeCS ::= pathNameCS
[B] typeCS ::= collectionTypeCS
[C] typeCS ::= tupleTypeCS
[D] typeCS ::= primitiveTypeCS
[E] typeCS ::= oclTypeCS

抽象语法映射

typeCS.ast : Classifier

合成的属性

[A] typeCS.ast = typeCS.env.lookupPathName(pathNameCS.ast).referredElement.oclAsType(Classifier)
[B] typeCS.ast = CollectionTypeCS.ast
[C] typeCS.ast = tupleTypeCS.ast
[D] typeCS.ast = primitiveTypeCS.ast
[E] typeCS.ast = oclTypeCS.ast

继承的属性

[B] collectionTypeCS.env = typeCS.env
[C] tupleTypeCS.env = typeCS.env

歧义消除规则

[1][A] 路径名必须是当前环境中的分类符名称。

typeCS.env.lookupPathName(pathNameCS.ast).referredElement.oclIsKindOf (Classifier)