Eclipse Community Forums: TMF (Xtext) » Regarding rule precedence and Optional Category

Search

Help

Login

Home » Modeling » TMF (Xtext) » Regarding rule precedence and Optional Category

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

Switch to threaded view of this topic

Create a new topic

Submit Reply

Regarding rule precedence and Optional Category [message #1722314]

Thu, 04 February 2016 07:16

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

I am trying to create a grammar for a scenario where

1. Categories are optional
2. Category are conditional (Some can exist only if a particular category already exists in the statement)
3. Categories can occur at Multiple places

"plot profit by Month for Jim"

Here,
-Can Occur at multiple places :
"by Month" can occur anywhere after "plot profit" . (not just after "plot profit")
So,plot profit for Jim by Month is also valid

-Conditional
"by Month" should occur only if "plot profit" exists

--Optional
It may not occur at all.

My Grammar looks like this :

(key=QTypekeyWord)? measure=MeasureList (by='by'groupBy=GroupBy)?

QTypekeyWord:
qKeyword='plot'
;
MeasureList : names+=Measure ("," names+=Measure)*;
Measure:ID+;

Dimension:
dimension=ID
;

GroupBy:
group+= Dimension ('and' group+=Dimension)*

But it does not imply all three points. Please let me know if there is a succinct way to represent the grammar.

Should I use " | " to represent all the possibilities of statements or there are other ways.

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722317 is a reply to message #1722314]

Thu, 04 February 2016 07:25

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

Hi,

can you give a sample model as well? i dont see categeories in your grammar?

some general hint:

- you do not have to encode everything in your grammar. it often helps to move rules to a semantic validation (check method in the validator)
- you can use unordered groups if you want to have grammar stuff in any order

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: Regarding rule precedence and Optional Category [message #1722321 is a reply to message #1722317]

Thu, 04 February 2016 07:30

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

Thanks for the reply.

I wish to have content assist work at any place in a statement like above instead of validation.

Its the dummy one I am using .

Model:
message=Query;

please correct me if I am missing something. Or provide some resource to create a grammar with such requirements. Any examples other than what is mentioned in the doc?

[Updated on: Thu, 04 February 2016 07:30]

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722323 is a reply to message #1722321]

Thu, 04 February 2016 07:40

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

you can implement the filtering in the content assist and or scoping as well, but this depends on your concepts.
in the grammar you posted there are IDs only so i do not get any clue how to give further advice.
can you give a complete grammar and model i can simply copy and paste?

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: Regarding rule precedence and Optional Category [message #1722325 is a reply to message #1722323]

Thu, 04 February 2016 07:49

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

This is the sample grammar that I am using. I am using this to achieve all three points I stated above. For simplicity I just added ID. You can change the value to any random string as I mentioned in my example.

Model:
greetings=Query;

Query:
(key=QTypekeyWord)?measure=MeasureList (by='by'groupBy=GroupBy)?

QTypekeyWord:
qKeyword='plot'
;

MeasureList : names+=Measure ("," names+=Measure)*;
Measure:ID+;

GroupBy:
group+= Dimension ('and' group+=Dimension)* ;

Dimension:
dimension=ID
;

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722327 is a reply to message #1722325]

Thu, 04 February 2016 07:52

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

Hi,

yes but this gramamr say: the by comes at the end.

so isnt your semantics

Query:
(key=QTypekeyWord)? parts+=QueryPart+;

QueryPart:
measure=MeasureList (by='by'groupBy=GroupBy)? ;

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: Regarding rule precedence and Optional Category [message #1722329 is a reply to message #1722327]

Thu, 04 February 2016 07:54

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

Yeah. It is not complete . I am not sure how to have it conditioned and unordered.

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722330 is a reply to message #1722329]

Thu, 04 February 2016 07:57

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

you cannot have conditioned if the decision is static. so what is the condition in your example

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: Regarding rule precedence and Optional Category [message #1722332 is a reply to message #1722330]

Thu, 04 February 2016 08:00

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

and where is the unordered thing? a group always comes after the measures.

but maybe your grammar is just a mixed list of dimensions and bys?

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: Regarding rule precedence and Optional Category [message #1722339 is a reply to message #1722332]

Thu, 04 February 2016 08:14

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

yeah I know there is no condition and unordering. I want to convert this grammar to achieve the three points I mentioned.

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722342 is a reply to message #1722339]

Thu, 04 February 2016 08:27

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

yes
1. Categories are optional and 3. Categories can occur at Multiple places can be done if you reorganize the grammar

but 2. Category are conditional (Some can exist only if a particular category already exists in the statement) cannot be hardcoded to the grammar.
=> you have to adapt scope provider and/or contentassist

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: Regarding rule precedence and Optional Category [message #1722347 is a reply to message #1722342]

Thu, 04 February 2016 09:05

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

Ok Thank you.Could you please direct me to 3 .any examples.?

[Updated on: Thu, 04 February 2016 09:08]

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722348 is a reply to message #1722347]

Thu, 04 February 2016 09:08

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

Model: (list+=StuffOfKindA|list+=StuffOfKindB)+

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: Regarding rule precedence and Optional Category [message #1722349 is a reply to message #1722348]

Thu, 04 February 2016 09:11

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

or

Model:
stuff+=Stuff+;

Stuff: ... (optionalForStuff=OptionalThing)?

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: Regarding rule precedence and Optional Category [message #1722350 is a reply to message #1722349]

Thu, 04 February 2016 09:17

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

or if the optional and the required stuff should have any order

Model: parts+=Part+;

Part: (required=Required) & (optional=Optional)?

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: Regarding rule precedence and Optional Category [message #1722358 is a reply to message #1722350]

Thu, 04 February 2016 09:38

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

So in the following :

(key=QTypekeyWord)? measure=MeasureList (by='by'groupBy=GroupBy)?

In this pattern , QTypeWord and GroupBy are optionals.

while measure=MeasureList is mandatory .

what difference is it to

(key=QTypekeyWord)? (measure=MeasureList)& (by='by'groupBy=GroupBy)?

How do I change it such that even empty state is accepted by the grammar. Right now I am getting a" ()+ did not match any thing at input. Is this because of grammar" in the UI editor. Haven't been able to figure it out .

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722362 is a reply to message #1722358]

Thu, 04 February 2016 10:08

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

Hi,

i still dont get the requirements and semantics of your sample

Model:
greetings=Query;

Query:
(key=QTypekeyWord)? measures+=MeasureList+
;

QTypekeyWord:
qKeyword='plot'
;

MeasureList : names+=Measure ("," names+=Measure)* (by?='by'groupBy=GroupBy)?;
Measure:=> ID+;


GroupBy:
group+= Dimension ('and' group+=Dimension)* ;

Dimension:
dimension=ID
;

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: Regarding rule precedence and Optional Category [message #1722366 is a reply to message #1722362]

Thu, 04 February 2016 10:28

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member



Model:
greetings=Query;

Query:
(key=QTypekeyWord)? measures+=MeasureList+ (by='by'groupBy=GroupBy)? (condition=Condtition)? 
;

QTypekeyWord:
qKeyword='plot'
;

MeasureList : names+=Measure ("," names+=Measure)* (by?='by'groupBy=GroupBy)?;
Measure:=> ID+;


GroupBy:
group+= Dimension ('and' group+=Dimension)* ;

Dimension:
dimension=ID
;

DimensionValue:
	value=ID
;

Condtition:
	con='for' dimVal=DimensionValue 
;

I have added condition category to express my point better.
In this example I am trying to match "plot profit by country for tim".

However, in the grammar when I do "plot profit for tim" . the "by" clause is not expected after tim. because my grammar has a place for condition (which is last).

ideally ,
I want to change this grammar such that when I provide "plot profit for tim" it should be able to accept by after tim.

as "by" and "condition" can be interchangeable and should not hold a specific place in a statement

Report message to a moderator

Re: Regarding rule precedence and Optional Category [message #1722367 is a reply to message #1722366]

Thu, 04 February 2016 10:30

Christian Dietrich is currently offline

Christian Dietrich

Friend

Messages: 14297
Registered: July 2009

Senior Member

this is what unordered groups do

((by='by'groupBy=GroupBy)? &(condition=Condtition)? )

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: Regarding rule precedence and Optional Category [message #1722458 is a reply to message #1722367]

Fri, 05 February 2016 03:00

pranay roy is currently offline

Friend

Messages: 196
Registered: January 2016

Senior Member

Thank you for this. It worked Smile

Smile

Report message to a moderator

Switch to threaded view of this topic

Create a new topic

Submit Reply

Previous Topic:	Initializer from XExpression
Next Topic:	importing from java in custom expressions

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Jul 07 05:06:55 GMT 2022

Powered by FUDForum. Page generated in 0.02431 seconds

.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top