9.3.32 tupleTypeCS

这代表了一个元组类型声明。

tupleTypeCS ::= ‘Tuple’ ‘(‘ variableDeclarationListCS? ‘)’

抽象语法映射

typeCS.ast : TupleType

合成的属性

typeCS.ast = TupleType::make( variableDeclarationListCS->collect( v | v.asAttribute() ))

继承的属性

variableDeclarationListCS.env = tupleTypeCS.env

歧义消除规则

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

variableDeclarationListCS.ast->forAll( varDecl |
varDecl.initExpression->notEmpty() and varDecl.type->notEmpty() )