Eclipse Community Forums: TMF (Xtext) » Xbase fails at finding common Types

Help

Home

Home » Modeling » TMF (Xtext) » Xbase fails at finding common Types

Show: Today's Messages :: Show Polls :: Message Navigator

Xbase fails at finding common Types [message #1733964]

Thu, 02 June 2016 13:32

aurel pestell

Messages: 90
Registered: October 2013
Location: Sweden

Member

Hi,

I found a special case when Xbase can't merge two types.
It happens when you start to have nested parameterized types that have as a parameter the current class . The Type computer is then doing some endless type merging in TypeConformanceComputer leading to a Stackoverflow error.

Following is a simple test to reproduce the issue:

public class ClassA implements ParameterizedAbstractType2<ParameterizedAbstractType<ClassA>> {}

public class ClassB implements ParameterizedAbstractType2<ParameterizedAbstractType<ClassB>> {}

and the xbase file:

var typeA = new ClassA()
var typeB = new ClassB()

if (true) {
typeA
} else {
typeB
}

Is it a bug I need to file in bugzilla ?
thanks

Report message to a moderator