Bug 312616

Description Sebastian Zarnekow 2010-05-12 09:35:25 EDT

Steps to reproduce:

1) Create new xpand project (EMF sample)
2) Add the following extensions to the Extensions.ext

Model model(Entity this) :
	eContainer;

Model model(Datatype this) :
	eContainer;

3) Open the file Check.chk and have a look at 
context Entity ERROR "Duplicate entity "+name :
	model().entities().select(e|e.name==name).size==1;

4) Navigate via F3 from model() to model(Type) instead of model(Entity).
5) Change the order of the extensions in Extensions.ext and move model(Datatype) to the top.
6) Use F3 on in the check-file. You'll navigate to model(Datatype) which is wrong.
7) Try to navigate via Ctrl+Click from model() to its definition. You'll get three proposals while it could be statically computed that model(Entity) is the only one to be called from the check.