Question

我正在尝试使用ANTLR编写语法，但我无法理解antlr如何与递归选择一起使用。

我阅读了很多文章和论坛，但无法解决我的问题...

这是我语法的一小部分：

grammar MyGrammar;

ComponentRef :
    IDENT ('[' Expression (',' Expression)* ']')?
;

Expression:
    ComponentRef ('(' FunctionArguments ')')?
;

FunctionArguments:
    Expression (',' Expression)*
;

IDENT: ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;

我仍然不明白为什么它不起作用......没有歧义！不是吗？

以下是我的语法应该使用的代码示例：

a
a[b,c]
a[b[c], d]
func(a)
func(a,b,c)
func[a](b,c)
func(a[b], c[d])
func[a](b[c])

提前谢谢你！

Answer 1

我听起来有点生硬，但我不相信你读了很多文章（至少不是正确的文章），因为你似乎并不知道词法分析器和解析器规则之间的区别。确保您了解它：Practical difference between parser rules and lexer rules in ANTLR?

同时查看此SO Q＆amp; A：ANTLR Tutorials

您只使用词法规则，这是不正确的。虽然lexer规则可以递归（在ANTLR语法中），但你真的应该避免它。在您的情况下，大多数规则应该是解析器规则：

componentRef :
    IDENT ('[' expression (',' expression)* ']')?
;

expression:
    componentRef ('(' functionArguments ')')?
;

functionArguments:
   expression (',' expression)*
;

IDENT: ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;

上面的语法无法识别您发布的输入，但不再有错误。识别您发布的输入的语法可能看起来像这样（未经测试！）语法：

parse
 : expr* EOF
 ;

expr
 : IDENT (index | call)*
 ;

index
 : '[' expr_list ']'
 ;

call
 : '(' expr_list ')'
 ;

expr_list
 : expr (',' expr)*
 ;

IDENT
 : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*
 ;

SPACE
 : (' ' | '\t' | '\r' | '\n')+ {skip();}
 ;

Answer 2

我假设你的国会大厦表达是错误的。你可能打算输入小写。

你怎么能说没有含糊之处？表达式调用functionArguments，functionArguments调用表达式。 -1

Antlr和左递归规则

2 个答案: