ANTLR4解析错误：在输入没有可行的替代

Question

我有一个明显错误的语法，因为解析简单文件会生成奇怪的错误消息。

我在不改变错误的情况下尽可能简化了以下语法（如果删除'this' ANTLRWorks的树gui输出将示例文件的标记int颜色不同，尽管结构似乎相同）。

grammar DepClsJ_no_java_debug; 

module : (methodDecl)* ; 

methodDecl : pathType Identifier '()' block ; 

pathType : Identifier | 'this' ; 

block : '{' 
    (localDecl ';' )* 
    (statement )* 
    (expr )? 
    '}' ; 

localDecl : pathType Identifier ('=' expr)?; 

statement : block | expr ';' ; 

expr : dotExpr ('=' dotExpr )* ; dotExpr : Identifier ('.' Identifier)* ; 

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

演示代码：

void main() { 
    a = c; 
    int b; 
} 

ANTLRWorks 2给了我以下错误消息：

line 3:8 no viable alternative at input 'intb' 
line 3:9 mismatched input ';' expecting '()' 

Answer 1

int b;是localDecl，这根据你的语法不能出现后block规则第一个statement。如果通过使用以下内容来放松语法，那么在解析成功完成后，您可能已经使用了分析树侦听器来生成有意义的错误消息。

block 
    : '{' 
    (localDecl ';' | statement)* 
    expr? 
    '}' 
    ;