Eclipse Community Forums: TMF (Xtext) » Ambiguous rules and Predicate behavior

Home » Modeling » TMF (Xtext) » Ambiguous rules and Predicate behavior

Ambiguous rules and Predicate behavior [message #1861641]

Tue, 24 October 2023 19:25

Eclipse User

I am stuck with the following ambiguous rules in Xtext:

UnaryExpression returns ExpressionAtom:

..................

| EXISTS? '(' SelectStatement ')'

| '(' Expressions ')'
//nestedExpression
;

When I generate artifacts I get a warning about multiple alternatives. The '(' token is the source of ambiguity.

If I use a predicate "=>" to select the first alternative (i.e., the SelectStatement rule), I ended up with a never-reached alternative2. the SelectStatement rule starts with the 'select' keyword. I thought that if the selected alternative fails, the parser will automatically try the second alternative, but it seems that it is a one-way parsing. What should I do to force the parser to try other alternatives if the chosen one fails?

Re: Ambiguous rules and Predicate behavior [message #1862547 is a reply to message #1861641]

Mon, 11 December 2023 07:17

Eclipse User

The issue is that if EXISTS is not found, then a ( could both refer to the first as well as the second alternative.
If you want to make it LL(1) you could for instance write it like this:

| EXISTS '(' SelectStatement ')'
| '(' (Expressions | SelectStatement) ')

Previous Topic:	Identity preservation in Xtend
Next Topic:	Nested Conditional Formatters always create Conflict

Goto Forum:

-=] Back to Top [=-

Current Time: Tue Apr 22 11:58:58 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter