Tooling resolves supertypes incorrectly in some cases

[eclipse-viatra-bot]

| --- | --- |
| Bugzilla Link | 561745 |
| Status | UNCONFIRMED |
| Importance | P3 normal |
| Reported | Apr 03, 2020 11:45 EDT |
| Modified | Apr 06, 2020 08:34 EDT |
| Version | 2.3.1 |
| Reporter | István Ágoston |

Description

Created attachment 282330
The pattern of supertypes

I got a very strange error message on a pattern that worked in 1.6.0 version.

It was a hard time to construct a synthetic example to demonstrate the problem. It turned out, that the error is originated from a specific pattern in the inheritance graph of our metamodel. Please see the attached png.

I shared also the full example project on github https://github.com/agostoni/bugreports/blob/master/viatra/hu.qgears.viatra.bug.patterns/src/hu/qgears/viatra/bug/patterns/bug2.vql

I got :

/*

• ERROR : Variable types [hu.qgears.viatra.bug.level2::Level2Mid] do not
  conform to declared type hu.qgears.viatra.bug.level2::Level2
  */
  pattern bugtwoOtherForm(param : Level2){
  Level2Mid.l2MidProp(param,2);
  }

but type Level2 extends Level2Mid.

Note that also XCore tooling behaves strange. If I edit and save the file containing Level2, then the generated code will contain compile errors. After a [Project -> Clean] everything works fine.

inheritance.png

[eclipse-viatra-bot]

By Zoltan Ujhelyi on Apr 06, 2020 08:34

I did not have the time to reproduce this issue with the example you have given, but the fact that even the Xcore tooling behaves strangely suggests to me that the Xtext index got corrupted for some reason, thus transitively breaking our editor.

But I will try to have a more detailed look to see whether this was caused by something the VQL editor does.