9.3.37 NavigationCallExpCS

该产生式规则代表了一个导航调用表达式。

[A] NavigationCallExpCS ::= PropertyCallExpCS
[B] NavigationCallExpCS ::= AssociationClassCallExpCS

抽象语法映射

NavigationCallExpCS.ast : NavigationCallExp

合成的属性

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

[A] NavigationCallExpCS.ast = PropertyCallExpCS.ast
[B] NavigationCallExpCS.ast = AssociationClassCallExpCS.ast

继承的属性

[A] PropertyCallExpCS.env = NavigationCallExpCS.env
[B] AssociationClassCallExpCS.env = NavigationCallExpCS.env

歧义消除规则

它们定义在孩子上。