Antlr 4中可选规则的语法错误不能按预期工作

Question

我使用的是Antlr 4.7.2。我试图实现一个“If Else”语句：

主要问题是ParseTree中没有包含可选规则，因此我认为我没有得到可选规则的语法错误。

我现在的语法定义是：

 prog       : stat+ ;                   

 stat       : func_declaration                              #rFuncDeclStat
            | if_stat                                       #rIfStat
            | while_stat                                    #rWhileStat     
            | for_stat                                      #rForStat
            | 'return' expr? STAT_END                       #rReturnStat
            | LET ID ('=' expr)? STAT_END                   #rVarDeclStat
            | var_reference '=' expr STAT_END               #rAssignStat
            | print_stat                                    #rPrintStat                     
            | expr STAT_END                                 #rFuncCallStat
            ;

block_stat  : '{' stat* '}' ;

if_stat     : if '(' expr ')' (stat | block_stat) else_stat?;

else_stat   : ELSE (stat | block_stat) ;

if (2==2){
    let a = 4;
}
else{
    let b = 5;  //var declaration
}

if (2==2){
    let a = 4;
}
else{
    let b = 5;

Answer 1

通常，如果输入流包含的输入比您调用的规则所需的多，则不是语法错误。附加的输入只是留在流中。例如，这允许您在循环中调用规则。

因此，如果对输入if(2==2){let a=4；}else{let b=5；调用prog规则，则if(2==2){let a=4；}部分将被解析为不包含else的if-语句，并且else{let b=5；将保留在输入缓冲区中。

因为这不是您想要的，所以应该在prog规则的末尾添加EOF:

prog       : stat+ EOF;