Eclipse Community Forums: TMF (Xtext) » Restrict the presence of specific elements in Scope of others

Help

Home

Home » Modeling » TMF (Xtext) » Restrict the presence of specific elements in Scope of others

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

Restrict the presence of specific elements in Scope of others [message #671898]

Thu, 19 May 2011 09:52

Victor Noël

Messages: 112
Registered: June 2010

Senior Member

Hi,

I have a language enabling to declare something like that:

class A[T] {
  attribute x: T
}

Would be something like that in xtext

ClassDecl: "class" name=ID ("[" typeParams+=TypeParamDecl ("," typeParams+=TypeParamDecl)* "]")? "{"
  attrs+=AttributeDecl*
"}";
AttributeDecl: "attribute" name=ID ":" type=[TypeParamDecl];
TypeParamDecl: name=ID;

I have a problem because the generated editors accept to write:

class B {
  attribute y: A.T
}

which I don't want.

Any idea on how to restrict the places where T is visible? I am using the exporting.QualifiedNamesFragment.

Report message to a moderator

Re: Restrict the presence of specific elements in Scope of others [message #671900 is a reply to message #671898]

Thu, 19 May 2011 10:01

Alexander Nittka

Messages: 1193
Registered: July 2009

Senior Member

Hi,

I assume class A[T] is to mean that only T is visible within Class A. The simplest solution would be to restrict the scope for type in AttributeDecl making only the typeParams of the containing ClassDecl visible.
The pseudocode is something like return Scopes.scopeFor(((ClassDecl)attributeDeclaration.eContainer()).getTypeParams());

Alex

Need training, onsite consulting or any other kind of help for Xtext?
Go visit http://xtext.itemis.com or send a mail to xtext@itemis.de

Report message to a moderator

Re: Restrict the presence of specific elements in Scope of others [message #671963 is a reply to message #671898]

Thu, 19 May 2011 13:24

Sebastian Zarnekow

Messages: 3118
Registered: July 2009

Senior Member

Hi Victor,

please refer to the section on scoping in the docs. You'll have to
implement these rules in your YourLangScopeProvider.

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

Am 19.05.11 11:52, schrieb Victor:
> Hi,
>
> I have a language enabling to declare something like that:
>
> class A[T] {
> attribute x: T
> }
>
>
> Would be something like that in xtext
>
> ClassDecl: "class" name=ID ("[" typeParams+=TypeParamDecl (","
> typeParams+=TypeParamDecl)* "]")? "{"
> attrs+=AttributeDecl*
> "}";
> AttributeDecl: "attribute" name=ID ":" type=[TypeParamDecl];
> TypeParamDecl: name=ID;
>
> I have a problem because the generated editors accept to write:
>
> class B {
> attribute y: A.T
> }
>
> which I don't want.
>
> Any idea on how to restrict the places where T is visible? I am using
> the exporting.QualifiedNamesFragment.

Report message to a moderator

Previous Topic:	Handling extreme parser decisions
Next Topic:	Run command

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 11:21:51 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter