9.3.3 VariableExpCS

变量表达式指示一个对变量或自身引用的名称。

[A] VariableExpCS ::= simpleNameCS
[B] VariableExpCS ::= 'self'

抽象语法映射

VariableExpCS.ast : VariableExpression

合成的属性

[A] VariableExpCS.ast.referredVariable =
        env.lookup(simpleNameCS.ast).referredElement.oclAsType(VariableDeclaration)
[B] VariableExpCS.ast.referredVariable =
        env.lookup('self').referredElement.oclAsType(VariableDeclaration)

继承的属性

--没有

歧义消除规则

[1][A] simpleNameCS在当前的环境中必须是一个可见的VariableDeclaration的名称。

env.lookup (simpleNameCS.ast).referredElement.oclIsKindOf (VariableDeclaration)