Eclipse Community Forums: TMF (Xtext) » Recursive Definitions in xtext

Home » Modeling » TMF (Xtext) » Recursive Definitions in xtext

Recursive Definitions in xtext [message #52950]

Thu, 25 June 2009 15:14

Eclipse User

Hi,

I'm getting into trouble when I use recursive definitions in xtext.

The following simple grammar produces Stack-Overflow-Exceptions when it is
generated:

------------------------------------------------------------
Model:
(assignment+=RightAssignment)*;

RightAssignment:
AdditiveOperation;

AdditiveOperation:
MultiplikativeOperation (("+" | "-") MultiplikativeOperation)* ;

MultiplikativeOperation:
UnaryExpression (("*" | "/") UnaryExpression)* ;

UnaryExpression:
Literal | "(" AdditiveOperation ")";

Literal:
ID | INT;
------------------------------------------------------------ --

The reason of the Stack-Overflow seems to be the -"(" AdditiveOperation
")"- construct in the UnaryExpression rule.

What's wrong with this recursive approach?

Thanks for your help!

Re: Recursive Definitions in xtext [message #52975 is a reply to message #52950]

Thu, 25 June 2009 16:14

Eclipse User

Hi Gunnar,

altough it may not be highlighted as an error (I guess due to the
StackOverflowError - would you please be so kind and file a bugzilla?),
the rule AdditiveOperation is invalid because it consists of two
unassigned RuleCalls (MultiplicativeOperation), which is only allows in
an Alternative.

Please have a look into the concept of assigned Actions and the explicit
definition of return Types[1] to implement your Expression grammar.

You may even want to study the SimpleExpressions sample language[2].

Hope that helps,
Sebastian

[1] http://www.eclipse.org/Xtext/documentation/0_7_0/xtext.html
[2]
http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.tmf/org .eclipse.xtext/tests/org.eclipse.xtext.generator.tests/src/o rg/eclipse/xtext/testlanguages/SimpleExpressionsTestLanguage .xtext?root=Modeling_Project&view=markup

Am 25.06.2009 21:14 Uhr, schrieb Gunnar Reimann:
> Hi,
>
> I'm getting into trouble when I use recursive definitions in xtext.
>
> The following simple grammar produces Stack-Overflow-Exceptions when it
> is generated:
>
> ------------------------------------------------------------
> Model:
> (assignment+=RightAssignment)*;
>
> RightAssignment:
> AdditiveOperation;
>
> AdditiveOperation:
> MultiplikativeOperation (("+" | "-") MultiplikativeOperation)* ;
>
> MultiplikativeOperation:
> UnaryExpression (("*" | "/") UnaryExpression)* ;
>
> UnaryExpression:
> Literal | "(" AdditiveOperation ")";
>
> Literal:
> ID | INT;
> ------------------------------------------------------------ --
>
> The reason of the Stack-Overflow seems to be the -"(" AdditiveOperation
> ")"- construct in the UnaryExpression rule.
>
> What's wrong with this recursive approach?
>
> Thanks for your help!
>
>
>

Re: Recursive Definitions in xtext [message #53000 is a reply to message #52950]

Thu, 25 June 2009 16:34

Eclipse User

Just a remark:

This one works:

-----------------------------
Model:
(assignment+=RightAssignment)*;

RightAssignment:
AdditiveOperation;

AdditiveOperation:
MultiplikativeOperation (("+" | "-") MultiplikativeOperation)* ;

MultiplikativeOperation:
UnaryExpression (("*" | "/") UnaryExpression)* ;

UnaryExpression:
Literal;

Literal:
ID | INT;

-----------------------------

So the problem seems to be the recursive call of "AdditiveOperation".

Gunnar Reimann wrote:

> Hi,

> I'm getting into trouble when I use recursive definitions in xtext.

> The following simple grammar produces Stack-Overflow-Exceptions when it is
> generated:

> ------------------------------------------------------------
> Model:
> (assignment+=RightAssignment)*;

> RightAssignment:
> AdditiveOperation;

> AdditiveOperation:
> MultiplikativeOperation (("+" | "-") MultiplikativeOperation)* ;

> MultiplikativeOperation:
> UnaryExpression (("*" | "/") UnaryExpression)* ;

> UnaryExpression:
> Literal | "(" AdditiveOperation ")";

> Literal:
> ID | INT;
> ------------------------------------------------------------ --

> The reason of the Stack-Overflow seems to be the -"(" AdditiveOperation
> ")"- construct in the UnaryExpression rule.

> What's wrong with this recursive approach?

> Thanks for your help!

Re: Recursive Definitions in xtext [message #53026 is a reply to message #53000]

Thu, 25 June 2009 16:37

Eclipse User

Hi Gunnar,

it actually does not work, as every rule except Model will be infered as
a data type rule, which is probably not what you expect.

Regards,
Sebastian

Am 25.06.2009 22:34 Uhr, schrieb Gunnar Reimann:
> Just a remark:
>
> This one works:
>
> -----------------------------
> Model:
> (assignment+=RightAssignment)*;
>
> RightAssignment:
> AdditiveOperation;
>
> AdditiveOperation:
> MultiplikativeOperation (("+" | "-") MultiplikativeOperation)* ;
>
> MultiplikativeOperation:
> UnaryExpression (("*" | "/") UnaryExpression)* ;
>
> UnaryExpression:
> Literal;
>
> Literal:
> ID | INT;
>
> -----------------------------
>
> So the problem seems to be the recursive call of "AdditiveOperation".
>
>
>
> Gunnar Reimann wrote:
>
>> Hi,
>
>> I'm getting into trouble when I use recursive definitions in xtext.
>
>> The following simple grammar produces Stack-Overflow-Exceptions when
>> it is generated:
>
>> ------------------------------------------------------------
>> Model:
>> (assignment+=RightAssignment)*;
>
>> RightAssignment:
>> AdditiveOperation;
>
>> AdditiveOperation:
>> MultiplikativeOperation (("+" | "-") MultiplikativeOperation)* ;
>
>> MultiplikativeOperation:
>> UnaryExpression (("*" | "/") UnaryExpression)* ;
>
>> UnaryExpression:
>> Literal | "(" AdditiveOperation ")";
>
>> Literal:
>> ID | INT;
>> ------------------------------------------------------------ --
>
>> The reason of the Stack-Overflow seems to be the -"("
>> AdditiveOperation ")"- construct in the UnaryExpression rule.
>
>> What's wrong with this recursive approach?
>
>> Thanks for your help!
>
>

Re: Recursive Definitions in xtext [message #53178 is a reply to message #53026]

Fri, 26 June 2009 05:27

Eclipse User

Hi Sebastian,

thank you for your help! But as we are not working with xtext 0.7, this
one does, what we want:

-----------------------------------------------------

Model:
(right+=RightAssignment)*;

RightAssignment:
(AdditiveOperation);

AdditiveOperation:
expr+=MultiplikativeOperation (("+" | "-") expr+=MultiplikativeOperation)*
;

MultiplikativeOperation:
expr+=UnaryExpression (("*" | "/") expr+=UnaryExpression)* ;

UnaryExpression:
literal=Literal | "(" expr+=AdditiveOperation ")";

NumLiteral:
INT;

SymLiteral:
ID;

Literal:
NumLiteral | SymLiteral;

------------------------------------------------------------ --

Greetings,

Gunnar

Re: Recursive Definitions in xtext [message #53204 is a reply to message #53178]

Fri, 26 June 2009 05:44

Eclipse User

Hi Gunnar,

currently you'll get more helpful answers to questions regarding oAW
Xtext at http://www.openarchitectureware.org/forum/?menu=Forum.

Regards,
Sebastian

Am 26.06.2009 11:27 Uhr, schrieb Gunnar Reimann:
> Hi Sebastian,
>
> thank you for your help! But as we are not working with xtext 0.7, this
> one does, what we want:
>
> -----------------------------------------------------
>
> Model:
> (right+=RightAssignment)*;
>
> RightAssignment:
> (AdditiveOperation);
>
> AdditiveOperation:
> expr+=MultiplikativeOperation (("+" | "-")
> expr+=MultiplikativeOperation)* ;
>
> MultiplikativeOperation:
> expr+=UnaryExpression (("*" | "/") expr+=UnaryExpression)* ;
>
> UnaryExpression:
> literal=Literal | "(" expr+=AdditiveOperation ")";
>
> NumLiteral:
> INT;
>
> SymLiteral:
> ID;
>
> Literal:
> NumLiteral | SymLiteral;
>
> ------------------------------------------------------------ --
>
>
> Greetings,
>
> Gunnar
>
>
>

Previous Topic:	[Announce] TMF XTEXT 0.7.0 is available
Next Topic:	DSL project creation - extention points?

Goto Forum:

-=] Back to Top [=-

Current Time: Thu May 08 21:10:01 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter