Eclipse Community Forums: TMF (Xtext) » Problem with compatible feature type when redefining variable declaration from xbase

Home » Modeling » TMF (Xtext) » Problem with compatible feature type when redefining variable declaration from xbase

Problem with compatible feature type when redefining variable declaration from xbase [message #755219]

Mon, 07 November 2011 12:43

Eclipse User

In an attempt to redefine the syntax of variable declarations from Xbase, I came accross the following error message in the JavaVariableDeclarator rule:

Cannot find compatible feature type in sealed EClass XVariableDeclaration from imported package http://www.eclipse.org/xtext/xbase/Xbase: The existing reference 'type' has an incompatible type 'null'. The expected type is 'JvmTypeReference'.

The error message is show in the editor but the project seems to build successfully.
Here is the grammar:

grammar org.xtext.example.mydsl1.MyDsl with org.eclipse.xtext.xbase.annotations.XbaseWithAnnotations

generate myDsl "http://www.xtext.org/example/mydsl1/MyDsl"

import "http://www.eclipse.org/xtext/xbase/Xbase" as xbase
import "http://www.eclipse.org/xtext/common/JavaVMTypes" as jvmTypes
import "http://www.eclipse.org/emf/2002/Ecore" as ecore

....

JavaVariableDeclarator  returns xbase::XVariableDeclaration:
	type=JvmTypeReference name=ValidID ('=' right=XExpression)? ';'
;

I can't seem to find the problem. Something with my configuration?

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755246 is a reply to message #755219]

Mon, 07 November 2011 13:56

Eclipse User

I get a similar error for the name feature: "Cannot find compatible type for features" when overriding the FullJvmFormalParameter rule:

FullJvmFormalParameter returns jvmTypes::JvmFormalParameter:
	{FullJvmFormalParameter} final ?= 'final'? parameterType=JvmTypeReference name=ValidID;

Is there something I obviously overlooked?

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755253 is a reply to message #755219]

Mon, 07 November 2011 14:45

Eclipse User

Hi Goran,

please try to trigger a build by changing the manifest of your project
or add the common.types plugin explicitly as a dependency.

Hope that helps,
Sebastian
--
Need professional support for Eclipse Modeling?
Go visit: http://xtext.itemis.com

On 07.11.11 18:43, Goran wrote:
> In an attempt to redefine the syntax of variable declarations from
> Xbase, I came accross the following error message in the
> JavaVariableDeclarator rule:
>
>
> Cannot find compatible feature type in sealed EClass
> XVariableDeclaration from imported package
> http://www.eclipse.org/xtext/xbase/Xbase: The existing reference 'type'
> has an incompatible type 'null'. The expected type is 'JvmTypeReference'.
>
> The error message is show in the editor but the project seems to build
> successfully.
> Here is the grammar:
>
>
> grammar org.xtext.example.mydsl1.MyDsl with
> org.eclipse.xtext.xbase.annotations.XbaseWithAnnotations
>
> generate myDsl "http://www.xtext.org/example/mydsl1/MyDsl"
>
> import "http://www.eclipse.org/xtext/xbase/Xbase" as xbase
> import "http://www.eclipse.org/xtext/common/JavaVMTypes" as jvmTypes
> import "http://www.eclipse.org/emf/2002/Ecore" as ecore
>
> ...
>
> JavaVariableDeclarator returns xbase::XVariableDeclaration:
> type=JvmTypeReference name=ValidID ('=' right=XExpression)? ';'
> ;
>
>
> I can't seem to find the problem. Something with my configuration?

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755264 is a reply to message #755253]

Mon, 07 November 2011 15:20

Eclipse User

I have common.types already as a dependency.
Triggering a build by changing the manifest did not help. What else can I do?

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755266 is a reply to message #755264]

Mon, 07 November 2011 15:27

Eclipse User

I could reproduce the problem by simply creating a new Xtext project and modifying the MyDsl.xtext as follows:

grammar org.xtext.example.mydsl2.MyDsl with org.eclipse.xtext.xbase.annotations.XbaseWithAnnotations

generate myDsl "http://www.xtext.org/example/mydsl2/MyDsl"

import "http://www.eclipse.org/xtext/xbase/Xbase"
import "http://www.eclipse.org/xtext/common/JavaVMTypes" as jvmTypes
import "http://www.eclipse.org/emf/2002/Ecore" as ecore

Model:
	greetings+=Greeting*;
	
Greeting:
	'Hello' name=ID '!';

JavaVariableDeclarator  returns XVariableDeclaration:
	{XVariableDeclaration} writeable?='final'? (type=JvmTypeReference name=ValidID) ('=' right=XExpression)? ';'
;

Saving the grammar triggers a build and common.types is automatically added to the manifest.
The grammar doesn't make very sense but it demonstrates the same problem.

~Goran

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755270 is a reply to message #755266]

Mon, 07 November 2011 16:03

Eclipse User

I have another question with regard to the example of the 'JavaVariableDeclarator' rule.
In this particular rule I want the value of "writeable" to be false instead of true when the 'final' keyword is present.
This causes an error message when assigning a value to a non-final variable in the editor.
Any tips on how to deal with this?

~Goran

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755385 is a reply to message #755270]

Tue, 08 November 2011 05:37

Eclipse User

I am getting a lot of these problems when inheriting from XBase and redefining rules. It seems to be a bug.
Could anyone reproduce this error message?

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755387 is a reply to message #755385]

Tue, 08 November 2011 05:42

Eclipse User

No it works for me with your example grammar

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755392 is a reply to message #755387]

Tue, 08 November 2011 05:49

Eclipse User

hmmm very strange. I guess I'll do a reinstall.

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755404 is a reply to message #755392]

Tue, 08 November 2011 06:22

Eclipse User

I get the exact strange problem with a fresh install.

I just downloaded the Xtext 2.1.0 Distribution (Indigo) from http://xtext.itemis.com/xtext/language=en/36553/downloads
Creating a new Xtext project and using the grammar I posted previously results in the same error message.

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755406 is a reply to message #755404]

Tue, 08 November 2011 06:27

Eclipse User

Yes downloading a new distro i get the error too

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755498 is a reply to message #755404]

Tue, 08 November 2011 11:33

Eclipse User

Hi Goran,

we'll investigate further and try to tackle the problem for 2.1.1

Thanks for pointing the problem out,
Sebastian
--
Need professional support for Eclipse Modeling?
Go visit: http://xtext.itemis.com

On 08.11.11 12:22, Goran wrote:
> I get the exact strange problem with a fresh install.
>
> I just downloaded the Xtext 2.1.0 Distribution (Indigo) from
> http://xtext.itemis.com/xtext/language=en/36553/downloads
> Creating a new Xtext project and using the grammar I posted previously
> results in the same error message.

Re: Problem with compatible feature type when redefining variable declaration from xbase [message #755502 is a reply to message #755406]

Tue, 08 November 2011 11:38

Eclipse User

Thanks for confirming.
I created a bug report:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=363196

Previous Topic:	error "Could not serialize EObject via backtracking"
Next Topic:	Formatting guides?

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 06 09:30:20 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter