0

基本上，我已经扩展了 BaseErrorListener，我需要知道错误什么时候是语义错误，什么时候是句法错误。因此，我希望以下内容给我一个失败的谓词异常，但我得到的是一个NoViableAltException（我知道计数正在工作，因为我可以打印出 的值things，而且它是正确的）。有没有办法让我重新做我想做的事？在下面的示例中，如果我们没有以 6 结尾，我希望有一个失败的谓词异常things。

grammar Test;

@parser::members {
    int things = 0;
}
.
.
.
samplerule : THING { things++; } ;
.
.
.
// Want this to be a failed predicate instead of NoViableAltException
anotherrule : ENDTOKEN { things == 6 }? ;
.
.
.

我已经通过以下方式正确地获得了失败的谓词异常（对于不同的场景）：

somerule : { Integer.valueOf(getCurrentToken().getText()) < 256 }? NUMBER ;
.
.
.
NUMBER : [0-9]+ ;
4

2 回答 2

1

在 ANTLR 4 中，谓词只应在您的输入导致两个不同的可能解析树（不明确的语法）并且默认处理生成错误的解析树的情况下使用。您应该创建一个侦听器或访问者实现，其中包含用于对源进行语义验证的逻辑。

于 2013-10-02T19:31:26.607 回答
0

由于280Z28 的回答以及谓词不应该用于我试图做的事情这一明显事实，我走了一条不同的路线。

如果您知道自己在寻找什么，ANTLR4 的文档实际上非常有用——请访问Parser.getCurrentToken()的文档并进一步浏览以了解您可以使用下面的实现做些什么。

我的驱动程序最终看起来如下所示：

// NameOfMyGrammar.java
public class NameOfMyGrammar {

    public static void main(String[] args) throws Exception {

        String inputFile = args[0];

        try {
            ANTLRInputStream input = new ANTLRFileStream(inputFile);

            NameOfMyGrammarLexer lexer = new NameOfMyGrammarLexer(input);

            CommonTokenStream tokens = new CommonTokenStream(lexer);

            MyCustomParser parser = new MyCustomParser(tokens);

            try {
                // begin parsing at "start" rule
                ParseTree tree = parser.start();
                // can print out parse tree if you want..
            } catch (RuntimeException e) {
                // Handle errors if you want..
            }
        } catch (IOException e) {
            System.err.println("Error: " + e);
        }   
    }

    // extend ANTLR-generated parser
    private static class MyCustomParser extends NameOfMyGrammarParser {

        // Constructor (my understanding is that you DO need this)
        public MyCustomParser(TokenStream input) {
            super(input);
        }

        @Override
        public Token getCurrentToken() {
            // Do your semantic checking as you encounter tokens here..
            // Depending on how you want to handle your errors, you can
            // throw exceptions, print out errors, etc.

            // Make sure you end by returning the current token
            return _input.LT(1);
        }
    }
}
于 2013-10-04T15:52:17.207 回答