Eclipse Community Forums: TMF (Xtext) » Scoping and the name attribute

Help

Home

Home » Modeling » TMF (Xtext) » Scoping and the name attribute

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

Scoping and the name attribute [message #638248]

Wed, 10 November 2010 14:42

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

Hi

in my grammar I have something like this

Type:
kind=[ecore::EClass] typename=ID
;

and somewhere else I have

{TypeReference} '$' typeRef=[Type]

I've implemented scoping for Type in the desired context, and the list
of possible Type in that context is correct (I've tested it); however
scoping does not work because it uses the 'name' attribute for the
binding right? While in my case it should use 'typename' attribute...

it's not clear what to override to accomplish this.

Of course, I could do

Type:
kind=[ecore::EClass] name=ID
;

and scoping would work... but this would lead to another problem: if I
have in a program two such statements

MyEClass C
....
MyEClass C

I would get an error since I have two duplicate Types with the same name
(but that would be legal in my language)...

any clue please?

thanks in advance
Lorenzo

--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net

HOME: http://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book: https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition

Report message to a moderator

Re: Scoping and the name attribute [message #638321 is a reply to message #638248]

Wed, 10 November 2010 20:15

Meinte Boersma

Messages: 434
Registered: July 2009
Location: Leiden, Netherlands

Senior Member

org.eclipse.xtext.scoping.Scopes#scopeFor(Iterable, Function) is your friend.

Xtext blogs: executable models...again? | workshop material | custom scoping with Xtend

Report message to a moderator

Re: Scoping and the name attribute [message #638369 is a reply to message #638248]

Thu, 11 November 2010 03:34

Pierrick

Messages: 15
Registered: May 2010

Junior Member

what about

// java-based API for validation 
fragment = validation.JavaValidatorFragment {
	composedCheck = "org.eclipse.xtext.validation.ImportUriValidator"
	// allow us to define same name variables
	// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
	// registerForImportedPackages = true
}

in your .mwe2 generator file, just remove the

composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"

Report message to a moderator

Re: Scoping and the name attribute [message #638574 is a reply to message #638369]

Thu, 11 November 2010 16:35

Meinte Boersma

Messages: 434
Registered: July 2009
Location: Leiden, Netherlands

Senior Member

@Pierrick: that doesn't solve a different problem which we didn't see yet (yes, this sentence is deliberately hard to interpret Twisted Evil

Xtext blogs: executable models...again? | workshop material | custom scoping with Xtend

Report message to a moderator

Re: Scoping and the name attribute [message #638779 is a reply to message #638574]

Fri, 12 November 2010 14:55

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

On 11/11/2010 05:35 PM, Meinte Boersma wrote:
> @Pierrick: that doesn't solve a different problem which we didn't see
> yet (yes, this sentence is deliberately hard to interpret :twisted: ).

I don't understand :)

--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net

Report message to a moderator

Previous Topic:	xText syntax
Next Topic:	debug message eSetBasedAllContainersStateProvider

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 19:35:48 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter