该规则代表了元组字面量表达式。

TupleLiteralExpCS ::= ‘Tuple’ ‘{‘ variableDeclarationListCS ‘}’

抽象语法映射

TupleLiteralExpCS.ast : TupleLiteralExp

合成的属性

TupleLiteralExpCS.tuplePart = variableDeclarationListCS.ast

继承的属性

variableDeclarationListCS[1].env = TupleLiteralExpCS.env

歧义消除规则

[1] initExpression和所有变量声明的类型必须存在。

TupleLiteralExpCS.tuplePart->forAll( varDecl |
    varDecl.initExpression->notEmpty() and not varDecl.type.oclIsUndefined())

9.3.16 TupleLiteralExpCS

results matching ""