Eclipse Community Forums: TMF (Xtext) » How to solve QualifiedName ambiguity

Help

Home

Home » Modeling » TMF (Xtext) » How to solve QualifiedName ambiguity

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

How to solve QualifiedName ambiguity [message #1151332]

Wed, 23 October 2013 09:20

Filipp Andjelo

Messages: 3
Registered: October 2013

Junior Member

Hi all,

I have following grammar (simplified):

Type: 
  name = ID
;

Member: 
  type = [Type | QualifiedName] name = ID
;

Reference:
    type = [Type | QualifiedName] '.' member = [Member | QualifiedName]
;

This grammar is ambigous, since Type and Member are both defined through QualifiedNames. I think, this example is comparable to Java static members access. The Types are nested in my DSL, so I could have references like this: com.example.A.B.c.d, where com.example is a namespace, A.B are nested Types and c.b are Members.

How can I solve this? Changing the language is not an option, because I'm writing editor/generator for existing one.

Report message to a moderator

Re: How to solve QualifiedName ambiguity [message #1151717 is a reply to message #1151332]

Wed, 23 October 2013 14:54

Christian Dietrich

Messages: 13661
Registered: July 2009

Senior Member

Hi

can you change the ast?

if so:

Reference:
member = [Member | QualifiedName]
;

Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: How to solve QualifiedName ambiguity [message #1152799 is a reply to message #1151332]

Thu, 24 October 2013 07:17

Filipp Andjelo

Messages: 3
Registered: October 2013

Junior Member

Hi,

I don't understand what you mean. I have reference paths, which contain Type and Member as its parts. The real grammar I have is following:

Reference:
   type = [Type | QualifiedName] tail = ReferenceTail
;

ReferenceTail:
    '.' member = [Member | ID] tail = ReferenceTail?
;

This way I can implement a IScopeProvider for available Members, since I have to detect a Type of one member to calculate scope for the next one. The problem here is, that I'm using QualifiedName for Type reference, that way ANTLR can't decide where the QualifiedName is finished and where my the ReferenceTail rule starts, since this one has the same signature as QualifiedName. If I use ID (instead of QualifiedName) for Type reference, I can't reference my Types by using namespaces.

I want two following examples working:

com.example.MyTypeA.memberA.memberB - This one needs QualifiedName for Type reference, but is ambigous grammar

MyTypeA.memberA.memberB - Works fine with ID for Type reference, but ignores namespaces. What if I have MyTypeA in multiple namespaces and I want to mix them?

Report message to a moderator

Re: How to solve QualifiedName ambiguity [message #1152806 is a reply to message #1152799]

Thu, 24 October 2013 07:23

Christian Dietrich

Messages: 13661
Registered: July 2009

Senior Member

Hi

the answer is not. the only thing you can do is to change the syntax or put the
members by name <typename>.<membername> into the scope

Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: How to solve QualifiedName ambiguity [message #1152807 is a reply to message #1152806]

Thu, 24 October 2013 07:26

Christian Dietrich

Messages: 13661
Registered: July 2009

Senior Member

=> you can not solve this
unless you have an an object foreacht part between 2 dots

.<part>.

Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: How to solve QualifiedName ambiguity [message #1152917 is a reply to message #1151332]

Thu, 24 October 2013 08:54

Filipp Andjelo

Messages: 3
Registered: October 2013

Junior Member

You mean, this is not possible at all? How would I parse Java files then? For instance if I have a class like:

package com.example;
class Foo { public static final int BAR = 42; }

Somewhere else accessing com.example.Foo.BAR would be ok as well as Foo.BAR or even just BAR, if inside a Foo derivation.

Ok, another one in the same direction. I have Types and Members (global Members too) and I want reference them by name, doing following:

MyTypeA.memberA.memberB or just accessing global or local member directly by memberA.memberB, without the Type prefix. In my grammar I have to expect a Reference to a Type or Member. This would be also not possible, because of ambiguity. Consider:

Member: 'var' name = ID;
Type: name = ID '{' (members += Member ';')* '}'

Reference:
   ref = ([Member] | [Type])  // <-- Unfortunately this is not possible

My solution was to redefine this as:

Member: 'var' name = ItemName;
Type: name = ItemName '{' (members += Member ';')* '}';
ItemName: name = ID;

Reference:
   ref = [ItemName]  // <-- Now it's ok

Now I have to define my IQualifiedNameProvider to rebuild the Type and Member names again and use the Validator to check if an allowed reference was provided in context. Is this the right way?

Report message to a moderator

Re: How to solve QualifiedName ambiguity [message #1152926 is a reply to message #1152917]

Thu, 24 October 2013 08:59

Christian Dietrich

Messages: 13661
Registered: July 2009

Senior Member

Hi,

the problem is: it is not trivial. you may have a look at Xbase or xtend Xtend
(XFeatureCall if i am right, but i fear they do what i told you first)

Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator