Eclipse Community Forums: TMF (Xtext) » Dynamic type of variable in grammar

Home

Home » Modeling » TMF (Xtext) » Dynamic type of variable in grammar

Dynamic type of variable in grammar [message #1441152]

Thu, 09 October 2014 06:25

Eclipse User

Hey,

I'm trying to implement a grammar for this:

type java.lang.String default "Something";
type java.lang.Long default 0;
type java.lang.Boolean default true;

The JvmType reference is working fine, but I'm a little unsure on how to proceed with the default values. Content assist should propose to me the values allowed for the current type only of course, and validation must make sure that no unsupported types are written there by hand...

What I have so far (incomplete I know, just to test):

TypeRefDecl:
	'type' type=JvmTypeRef ('default' (defInt=INT|defStr=STRING|defId=ID))? ';'
;

That basically allows me to write there a lot of different default values. Still this grammar "feels" somehow wrong. Also, how could I distinguish which one to read in my code now...?

Am I on the right track, or is there some method of doing this that I'm not aware of?

Cheers,
Markus

Re: Dynamic type of variable in grammar [message #1441409 is a reply to message #1441152]

Thu, 09 October 2014 13:46

Eclipse User

Usually you would model this with real expressions and a type system to
make sure that the default are compliant with the declared type. I'm
afraid that would go beyond what could be explained here. You may want
to explore Xbase for that matter, though.

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

Re: Dynamic type of variable in grammar [message #1441764 is a reply to message #1441409]

Fri, 10 October 2014 02:34

Eclipse User

Hey,

So if i had something like that:

'type' type=JvmTypeRef ('default' defaultValue=[XBase::XExpression])? ';'

How would I go for checking whether types are compatible. Is there existing functionality?

Cheers,
Markus

Re: Dynamic type of variable in grammar [message #1441769 is a reply to message #1441764]

Fri, 10 October 2014 02:40

Eclipse User

you would rather have something like

'type' type=JvmTypeRef ('default' defaultValue=XExpression)? ';'

and use the jvm model inferrer to map that to a java concept (e.g. a field)
thus you would get the type checking for free

Re: Dynamic type of variable in grammar [message #1441770 is a reply to message #1441769]

Fri, 10 October 2014 02:42

Eclipse User

I'm not generating code (currently), but leveraging the EMF model at runtime and just want the validation. Is this still possible?

EDIT: If I do as you suggested I get: XExpression cannot be resolved to a rule also qualified with XBase::XExpression does not work.
EDIT2: ups sorry - my fault Wink

[Updated on: Fri, 10 October 2014 02:45] by Moderator

Re: Dynamic type of variable in grammar [message #1441771 is a reply to message #1441770]

Fri, 10 October 2014 02:44

Eclipse User

you have to have a look at the xbase grammar which rule exaclty to pick

Re: Dynamic type of variable in grammar [message #1441840 is a reply to message #1441770]

Fri, 10 October 2014 04:58

Eclipse User

Yes, using Xbase does not necessarily mean that you have to generate
code. In your scenario it may be overkill, though. As I already
mentioned, a personal in-depth intro to type systems, expressions etc
would exceed what could be done in the forum.

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

Re: Dynamic type of variable in grammar [message #1441851 is a reply to message #1441840]

Fri, 10 October 2014 05:14

Eclipse User

Hey,

Thanks. I have tried implementing XBase for that, but found that (you're right) that's a little overkill. For that handfull of java.lang.* types i'll just really manually verify literal types Smile

For that I partially copied the concept around XLiteral and use that now.

Cheers,
Markus

Previous Topic:	Preventing code generation from marking files as deleted in VCS
Next Topic:	[2.7.0] Cannot run MWE2 workflow to generate my language anymore

Goto Forum:

-=] Back to Top [=-

Current Time: Wed Nov 05 23:11:53 EST 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter