8.3.5 字面量表达式
本小节定义不同类型的OCL字面量表达式。它也含枚举类型和枚举字面量。图8.6展示了所有类型的字面量表达式。
图8.6 字面量表达式的抽象元模型
图8.7 集合和元组字面量表达式的抽象语法元模型
BooleanLiteralExp
BooleanLiteralExp代表预定义的布尔类型的值：真或假。
| 属性 | 说明 |
|---|---|
| booleanSymbol | 代表该字面量值的布尔 |
CollectionItem
一个CollectionItem代表集合中的一个独立元素。
CollectionKind
CollectionKind枚举列举集合的种类。它的字面量是Collection, Set, OrderedSet, Bag和Sequence。
CollectionLiteralExp
一个CollectionLiteralExp代表一个集合字面量引用。
| 属性 | 说明 |
|---|---|
| kind | CollectionLiteralExp所规定的集合字面量的种类 |
| 关联 | 说明 |
|---|---|
| part | 集合字面量表达式的成员 |
CollectionLiteralPart
一个CollectionLiteralPart是该集合字面量的要给成员。
| 关联 | 说明 |
|---|---|
| type | 集合字面量的类型 |
CollectionRange
CollectionRange代表了一个包含第一个整数和最后一个整数在内的整数区间。
EnumLiteralExp
EnumLiteralExp代表了一个枚举字面量引用。
| 关联 | 说明 |
|---|---|
| referredEnumLiteral | 该枚举所引用的EnumIiteral |
IntegerLiteralExp
IntegerLiteralExp指示一个整数。
| 属性 | 说明 |
|---|---|
| integerSymbol | 所代表的整数值 |
NumericLiteralExp
NumericLiteralExp指示UnlimitedNatrual、整数或实数类型三者之一的一个值。
PrimitiveLiteralExp
PrimitiveLiteralExp指示一个基本类型的值。
| 属性 | 说明 |
|---|---|
| symbol | 代表字面量值的字符串 |
RealLiteralExp
RealLiteralExp指示一个实数值。
| 属性 | 说明 |
|---|---|
| realSymbol | 所代表的实数值 |
StringLiteralExp
StringLiteralExp指示一个字符串值。
| 属性 | 说明 |
|---|---|
| stringSymbol | 所代表的字符串值 |
TupleLiteralExp
TupleLiteralExp指示一个元组值。包含元组每个成员的名称和值。
| 关联 | 说明 |
|---|---|
| part | 定义该成员字面量的变量定义 |
UnlimitedNatrualLiteralExp
RealLiteralExp指示一个UnlimitedNatrual值。
| 属性 | 说明 |
|---|---|
| unlimitedNaturalSymbol | 所代表的UnlimitedNatural值 |