9.3.34 FeatureCallExpCS

FeatureCallExp有三种不同的产生式。选择哪个取决于每个选项上定义的歧义消除规则。

[A] FeatureCallExpCS ::= OperationCallExpCS
[B] FeatureCallExpCS ::= PropertyCallExpCS
[C] FeatureCallExpCS ::= NavigationCallExpCS

抽象语法映射

FeatureCallExpCS.ast : FeatureCallExp

合成的属性

该产生式的值是它的孩子产生式的值。

[A] FeatureCallExpCS.ast = OperationCallExpCS.ast
[B] FeatureCallExpCS.ast = PropertyCallExpCS.ast
[C] FeatureCallExpCS.ast = NavigationCallExpCS.ast

继承的属性

[A] OperationCallExpCS.env = FeatureCallExpCS.env
[B] PropertyCallExpCS.env = FeatureCallExpCS.env
[C] NavigationCallExpCS.env = FeatureCallExpCS.env

歧义消除规则

它们定义在孩子上。