9.3.23 CallExpCS

该规则代表了属性调用表达式。

[A] CallExpCS ::= FeatureCallExpCS
[B] CallExpCS ::= LoopExpCS

抽象语法映射

CallExpCS.ast : CallExp

合成的属性

[A] CallExpCS.ast = ModelPropertyCallCS.ast
[B] CallExpCS.ast = LoopExpCS.ast

继承的属性

[A] ModelPropertyCallCS.env = CallExpCS.env
[B] LoopExpCS.env = CallExpCS.env

歧义消除规则

歧义消除规则定义在孩子身上。