Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'doc/org.eclipse.qvtd.doc.minioclcs.xtext/model/MiniOCLCS2ASDisambiguation.ocl')
-rw-r--r--doc/org.eclipse.qvtd.doc.minioclcs.xtext/model/MiniOCLCS2ASDisambiguation.ocl9
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/org.eclipse.qvtd.doc.minioclcs.xtext/model/MiniOCLCS2ASDisambiguation.ocl b/doc/org.eclipse.qvtd.doc.minioclcs.xtext/model/MiniOCLCS2ASDisambiguation.ocl
index e8d68906f..81714fa2c 100644
--- a/doc/org.eclipse.qvtd.doc.minioclcs.xtext/model/MiniOCLCS2ASDisambiguation.ocl
+++ b/doc/org.eclipse.qvtd.doc.minioclcs.xtext/model/MiniOCLCS2ASDisambiguation.ocl
@@ -7,8 +7,9 @@ package cs
-- FIXME Manually added
context NameExpCS
-def : lookupVariable() : as::Variable =
- ast.lookupVariable(expName.path->first())
+def : lookupVariableToDisambiguate() : as::Variable =
+ oclContainer().oclAsType(CSTrace).ast.lookupVariable(expName.path->first())
+
-- ENDOF manual addition
context NameExpCS
@@ -28,9 +29,9 @@ def : isVariableExp() : Boolean =
roundedBrackets = null
and not isNameExpOfACallExpCS()
and expName.path->size() = 1 -- If using a qualified name, we assume we are looking for a fully qualified property
- and lookupVariable() <> null
+ and lookupVariableToDisambiguate() <> null
def : isPropCallExpWithImplicitSource() : Boolean =
roundedBrackets = null
and not isNameExpOfACallExpCS()
- and lookupVariable() = null
+ -- and lookupVariableToDisambiguate() = null
endpackage

Back to the top