Eclipse Community Forums: TMF (Xtext)

Help

Home

Home » Modeling » TMF (Xtext) » Rules priority xtext

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

Rules priority xtext [message #1735763]

Wed, 22 June 2016 14:25

Josselin Kerdraon

Messages: 29
Registered: February 2016

Junior Member

Hi,

I made a grammar that provides functions and variables use. There are 2 types of functions my program will use:

First are functions developed by user in files. My rule for this function call is:

FunctionCall:
functionName=[newFunction|STR] '('(arguments+=[Assignable|STR] ',')* arguments+=[Assignable|STR] ')'
;

"newFunction" is a link to a function declaration rule

Second are functions directly developed in the program by me. The difference with previous rule is that the name is already definded. For example:

BarToPSI:
'BarToPSI('input=[Assignable|STR] ',' output=[Assignable|STR]')'
;

Here, there is no function declaration

Of course, there is a conflict between these 2 rules. Is there a way to define a priority on this ? I mean, how could I say to xtext to choose the second rule if there is a conflict ?

Report message to a moderator

Re: Rules priority xtext [message #1735765 is a reply to message #1735763]

Wed, 22 June 2016 14:36

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

actually there is no conflict

at least not with deeper knowlege of STR rule

can you give a complete minimal grammar illustrating your problem

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Rules priority xtext [message #1735770 is a reply to message #1735765]

Wed, 22 June 2016 14:54

Josselin Kerdraon

Messages: 29
Registered: February 2016

Junior Member

Hi Chistian,

here is a minimal version of my grammar:

Script:
instructions+=Instruction*;

Instruction:
statemement=Statement ';' |
call=FunctionCall ';'

Statement:
function=BarToMBar

BarToMBar:
'BarToMBar('input=[Assignable|STR] ',' output=[Assignable|STR]')'
;

FunctionCall:
functionName=[newFunction|STR] '('(arguments+=[Assignable|STR] ',')* arguments+=[Assignable|STR] ')'
;

CalcDeclaration returns newFunction:
'def' name=STR '('inParameters+=InVariable (',' inParameters+=InVariable )* (',' outParameters+=OutVariable)* ')' '{'
instructions+=Instruction*
'}'
;

terminal STR : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'0'..'9'|'_'|'\\')*;

ANTLR returns this to me:

warning(200): ../fr.snecma.saturne.script/src-gen/fr/snecma/saturne/script/parser/antlr/internal/InternalScript.g:1210:1: Decision can match input such as "RULE_STRING" using multiple alternatives: 1, 2
As a result, alternative(s) 2 were disabled for that input
warning(200): ../fr.snecma.saturne.script/src-gen/fr/snecma/saturne/script/parser/antlr/internal/InternalScript.g:3476:2: Decision can match input such as "'-'" using multiple alternatives: 1, 2
As a result, alternative(s) 2 were disabled for that input

Report message to a moderator

Re: Rules priority xtext [message #1735772 is a reply to message #1735770]

Wed, 22 June 2016 15:11

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

the grammar is not complete.

CalcDeclaration is uncalled. Assignable is undefined, same for InVariable and OutVariable

e.g.

InVariable and OutVariable

look likely to cause this (depending on the grammar)

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Rules priority xtext [message #1735773 is a reply to message #1735772]

Wed, 22 June 2016 15:15

Josselin Kerdraon

Messages: 29
Registered: February 2016

Junior Member

I forgot to copy this:

Script:
instructions+=Instruction*;

Instruction:
statemement=Statement ';' |
CalcDeclaration |
call=FunctionCall ';'

Statement:
function=BarToMBar

BarToMBar:
'BarToMBar('input=[Assignable|STR] ',' output=[Assignable|STR]')'
;

FunctionCall:
functionName=[newFunction|STR] '('(arguments+=[Assignable|STR] ',')* arguments+=[Assignable|STR] ')'
;

CalcDeclaration returns newFunction:
'def' name=STR '('inParameters+=InVariable (',' inParameters+=InVariable )* (',' outParameters+=OutVariable)* ')' '{'
instructions+=Instruction*
'}'
;

VariableDeclaration returns newVariable:
InternVariable | ExternVariable
;

InternVariable:
'var' name=STR '=' (value=Expression)?
;

ExternVariable:
'ext var' name=STR '=' (value=Expression)?
;

Argument returns newArgument:
InVariable | OutVariable
;

InVariable:
'in var' name=STR ('=' value=Expression)?
;

OutVariable:
'out var' name=STR ('=' value=Expression)?
;

Assignable:
VariableDeclaration | Argument
;

terminal STR : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'0'..'9'|'_'|'\\')*;

I think there is all rules about variables and functions Wink

Report message to a moderator

Re: Rules priority xtext [message #1735775 is a reply to message #1735773]

Wed, 22 June 2016 15:23

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

first one tipp: never use spaces in keyword 'a b' => 'a' 'b'

then there is expression missing in your grammar.

so can you create a new project and try the grammar there to get a minimal reproducing example

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Rules priority xtext [message #1735778 is a reply to message #1735775]

Wed, 22 June 2016 15:31

Josselin Kerdraon

Messages: 29
Registered: February 2016

Junior Member

Well, Expression is almost the rest of my grammar (very big)

For information, all my grammar worked fine before I add this line:

BarToMBar:
'BarToMBar('input=[Assignable|STR] ',' output=[Assignable|STR]')'

Assignable is only used by BarToMBar and FunctionCall

Report message to a moderator

Re: Rules priority xtext [message #1735779 is a reply to message #1735778]

Wed, 22 June 2016 15:36

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

as i said: when i cannot reproduce this i cannot tell

setting

Expression value=ID does not help to make it fail.

did you have a look at the generated antlr file in the lines

1210 and 3476

it is complaining about "-" and the STRING rule which both are not used in what you posted

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Previous Topic:	Using forEach correctly
Next Topic:	port existing Eclipse Plugin to Intellij

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 21:14:32 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter