如何报告antlr4中的语法歧义

Question

根据antlr4书（第159页），并使用语法Ambig. g4，语法歧义可以通过以下方式报告：

grun Ambig stat -diagnostics

或等效代码形式：

parser.removeErrorListeners();
parser.addErrorListener(new DiagnosticErrorListener());
parser.getInterpreter().setPredictionMode(PredictionMode.LL_EXACT_AMBIG_DETECTION);

grun命令使用antlr-4.5.3为我正确报告歧义。但是当我使用代码表单时，我没有收到歧义报告。这是命令跟踪：

$ antlr4 Ambig.g4   # see the book's page.159 for the grammar
$ javac Ambig*.java
$ grun Ambig stat -diagnostics < in1.txt # in1.txt is as shown on page.159
    line 1:3 reportAttemptingFullContext d=0 (stat), input='f();'
    line 1:3 reportAmbiguity d=0 (stat): ambigAlts={1, 2}, input='f();'
$ javac TestA_Listener.java
$ java TestA_Listener < in1.txt   # exits silently

TestA_Listener.java代码如下：

import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*; // for PredictionMode
import java.util.*;
public class TestA_Listener {
    public static void main(String[] args) throws Exception {
        ANTLRInputStream input = new ANTLRInputStream(System.in);
        AmbigLexer lexer = new AmbigLexer(input);
        CommonTokenStream tokens = new CommonTokenStream(lexer);
        AmbigParser parser = new AmbigParser(tokens);
        parser.removeErrorListeners(); // remove ConsoleErrorListener
        parser.addErrorListener(new DiagnosticErrorListener());
        parser.getInterpreter().setPredictionMode(PredictionMode.LL_EXACT_AMBIG_DETECTION);
        parser.stat();
    }
}

有人能指出应该如何修改上述java代码以打印歧义报告吗？

为了完整起见，下面是代码 Ambig.g4 ：

语法阿姆比格；

stat: expr ';'        // expression statement
    | ID '(' ')' ';'  // function call statement
    ;

expr: ID '(' ')'
    | INT
    ;

INT :   [0-9]+ ;
ID  :   [a-zA-Z]+ ;
WS  :   [ \t\r\n]+ -> skip ;

以下是1.txt中的输入文件：

f();

Answer 1

以下代码将起作用

public static void main(String[] args) throws IOException {
    CharStream input = CharStreams.fromStream(System.in);
    AmbigLexer lexer = new AmbigLexer(input);
    CommonTokenStream tokens = new CommonTokenStream(lexer);
    AmbigParser parser = new AmbigParser(tokens);
    //parser.removeErrorListeners(); // remove ConsoleErrorListener
    parser.addErrorListener(new org.antlr.v4.runtime.DiagnosticErrorListener());  // add ours
    parser.getInterpreter().setPredictionMode(PredictionMode.LL_EXACT_AMBIG_DETECTION);
    parser.stat(); // parse as usual
}

Answer 2

我等了好几天，让其他人发布他们的答案。终于经过几轮实验，我找到了答案：

应从上述代码中删除以下行。然后，我们得到与 grun 给出的相同的模糊性报告。

parser.removeErrorListeners(); // remove ConsoleErrorListener

Answer 3

Antlr4是一个自上而下的解析器，因此对于给定的输入，解析匹配是明确的：

stat-

第二个统计alt是多余的，从未达到过，而不是模棱两可的。

为了解决明显的冗余，可以使用一个谓词:

stat: e=expr {isValidExpr($e)}? ';'   #exprStmt
    | ID '(' ')' ';'                  #funcStmt
    ;

当isValidexpr为false时，将评估函数语句替代方案。