9.3.11 CollectionTypeIdentifierCS

该规则代表了一个集合字面量表达式中的类型标识符。Collection 类型在M1层是一个抽象类型，因此它没有相应的字面量。

[A] CollectionTypeIdentifierCS ::= ‘Set’
[B] CollectionTypeIdentifierCS ::= ‘Bag’
[C] CollectionTypeIdentifierCS ::= ‘Sequence’
[D] CollectionTypeIdentifierCS ::= ‘Collection’
[E] CollectionTypeIdentifierCS ::= ‘OrderedSet’

抽象语法映射

CollectionTypeIdentifierCS.ast : CollectionKind

合成的属性

[A] CollectionTypeIdentifierCS.ast = CollectionKind::Set
[B] CollectionTypeIdentifierCS.ast = CollectionKind::Bag
[C] CollectionTypeIdentifierCS.ast = CollectionKind::Sequence
[D] CollectionTypeIdentifierCS.ast = CollectionKind::Collection
[E] CollectionTypeIdentifierCS.ast = CollectionKind::OrderedSet

继承的属性

--none

歧义消除规则

--none