用于解析简单表达式的Antlr语法

Question

我想用antlr4解析以下表达式

termspannear ( xxx, xxx , 5 , true ) 

termspannear ( xxx, termspannear ( xxx, xxx , 5 , true ) , 5 , true ) 

可以嵌套termpannear函数的位置

这是我的语法：

//Define a gramar to parse TermSpanNear
grammar TermSpanNear;
start       : TERMSPAN ;

TERMSPAN    : TERMSPANNEAR | 'xxx' ;
TERMSPANNEAR: 'termspannear' OPENP BODY CLOSEP ;
BODY        : TERMSPAN COMMA TERMSPAN COMMA SLOP COMMA ORDERED ;
COMMA       : ',' ;
OPENP       : '(' ;
CLOSEP      : ')' ;
SLOP        : [0-9]+ ;
ORDERED     : 'true' | 'false' ;
WS          : [ \t\r\n]+ -> skip ; // skip spaces, tabs, newlines

运行后：

antlr4 TermSpanNear.g4
javac TermSpanNear*.java
grun TermSpanNear start -gui
termspannear ( xxx, xxx , 5 , true )
^D![enter image description here][1]
line 1:0 token recognition error at: 'termspannear '
line 1:13 extraneous input '(' expecting TERMSPAN

树看起来像：

有人可以帮我这个语法吗？ 因此，解析的树包含所有参数以及嵌套工作

注意：经我的建议改写为

//Define a gramar to parse TermSpanNear
grammar TermSpanNear;
start       : termspan EOF;

termspan    : termspannear | 'xxx' ;
termspannear: 'termspannear' '('  body  ')' ;
body        : termspan ',' termspan ',' SLOP ',' ORDERED ;

SLOP        : [0-9]+ ;
ORDERED     : 'true' | 'false' ;
WS          : [ \t\r\n]+ -> skip ; // skip spaces, tabs, newlines

我认为现在可以正常工作了，我得到了以下树：

termspannear ( xxx, xxx , 5 , true ) 

对于
termspannear（xxx，termspannear（xxx，xxx，5，true），5，true）

Answer 1

您正在使用太多的词法分析器规则。

当您定义这样的令牌时：

BODY        : TERMSPAN COMMA TERMSPAN COMMA SLOP COMMA ORDERED ;

然后令牌生成器（lexer）将尝试创建（单个！）令牌： xxx,xxx,5,true 。 例如，它不允许在其之间的任何空间。 Lexer规则（以大写字母开头的规则）实际上应该是语言的“原子”（最小的部分）。 每当您开始创建像主体这样的元素时，就可以在解析器规则中而不是在词法分析器规则中将原子粘合在一起。

尝试这样的事情：

grammar TermSpanNear;

// parser rules (the elements)
start          : termpsan EOF ;
termpsan       : termpsannear | 'xxx' ;
termpsannear   : 'termspannear' OPENP body CLOSEP ;
body           : termpsan COMMA termpsan COMMA SLOP COMMA ORDERED ;

// lexer rules (the atoms)
COMMA          : ',' ;
OPENP          : '(' ;
CLOSEP         : ')' ;
SLOP           : [0-9]+ ;
ORDERED        : 'true' | 'false' ;
WS             : [ \t\r\n]+ -> skip ;