文章/答案/技术大牛

发布

问Xtext的左递归规则
EN

Stack Overflow用户

提问于 2014-02-10 10:03:42

回答 1查看 251关注 0票数 0

我在Xtext中遇到了一个递归规则问题。简化后的版本如下：

grammar my.mavenized.HeroLanguage with org.eclipse.xtext.common.Terminals

generate heroLanguage "http://www.mavenized.my/HeroLanguage"

Atomic:
    Map |
    FunctionCall |
    value=ID;

Map:
    'map' '{'
        (entries+=MapEntry)+
    '}';

MapEntry:
    '(' key=Atomic ')' '=>' value=Atomic;

FunctionCall:
    name=ID '(' arg=Atomic ')';

Xtext给出了这个错误消息：

[fatal] rule ruleAtomic has non-LL(*) decision due to recursive rule invocations reachable from alts 2,3.  Resolve by left-factoring or using syntactic predicates or using backtrack=true option.

但是我找不到左递归问题。Xtext中是否有一些关于左递归的隐式规则？

谢谢。

recursion

antlr

grammar

xtext

回答 1

Stack Overflow用户

发布于 2014-02-10 15:28:16

You Map包含一个以Atomic结尾的MapEntry列表。反过来，Atomic可以是FunctionCall，也可以是普通ID。不过，FunctionCall的尾部看起来像是下一个MapEntry的开始。由于该尾部嵌套得非常深，因此无法确定要遵循哪条路径。这就是你的错误信息的来源。您可以使用一个谓词来说服解析器关于on或other path to go，例如

FunctionCall:
  name=ID =>'(' arg=Atomic ')' 
;

如果这对于您的用例是不可能的，那么您可能想要启用回溯，尽管不推荐这样做。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/21667907

复制

相似问题

问Xtext的左递归规则
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Xtext的左递归规则EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Xtext的左递归规则
EN