Eclipse Community Forums: TMF (Xtext) » Common features not lifted to super class

Help

Home

Home » Modeling » TMF (Xtext) » Common features not lifted to super class(problem in the typesystem demo project)

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

Common features not lifted to super class [message #1053450]

Mon, 06 May 2013 03:26

paul lu

Messages: 43
Registered: April 2013

Member

Hi,

I'm trying the typesystem demo project: http://code.google.com/a/eclipselabs.org/p/xtext-typesystem/downloads/list
For the following:

Element:
VarDecl | Formula
;

VarDecl returns Symbol:
{VarDecl} "var" type = Type name = ID ";"
;
Formula:
"calc" type = Type name=ID "=" expr=Expr ";"
;

I got stuck at "ExprDemoPackage.eINSTANCE.getElement_Type()", since there's no such method generated.
But isn't there supposed to be one? I didn't see "type" "name" as the common features in class "Element", but they are in "VarDecl" and "Formula", should they be lifted to the super class?

Report message to a moderator

Re: Common features not lifted to super class [message #1053482 is a reply to message #1053450]

Mon, 06 May 2013 08:33

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi,

do you have any other symbols? (returns Symbol)

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Common features not lifted to super class [message #1053632 is a reply to message #1053482]

Tue, 07 May 2013 00:56

paul lu

Messages: 43
Registered: April 2013

Member

Thanks, I see, in this case, it's
VarDecl -> Symbol -> Element
Formula -> Element
but I think it also makes sense to put "name" and "type" features into "Element" ?

Report message to a moderator

Re: Common features not lifted to super class [message #1053650 is a reply to message #1053632]

Tue, 07 May 2013 07:12

Sebastian Zarnekow

Messages: 3118
Registered: July 2009

Senior Member

Am 07.05.13 02:56, schrieb paul lu:
> Thanks, I see, in this case, it's
> VarDecl -> Symbol -> Element
> Formula -> Element
> but I think it also makes sense to put "name" and "type" features into
> "Element" ?

The logic is described in the documentation.
Features are only pulled up into the super type if all subtypes have
them in common. Does 'Element' have other subtypes?

Regards,
Sebastian
--
Looking for professional support for Xtext, Xtend or Eclipse Modeling?
Go visit: http://xtext.itemis.com

Report message to a moderator