ANTLR3：参数和语义谓词（“找不到符号”、“类型非法开始”）

Question

我想在ANTLR3中实现一个“分支”。

我认为使用

branch[boolean is_a]
    : ({ $is_a}? => a)
    | ({!$is_a}? => b);

可以解决问题，但我收到编译错误“找不到符号”和“非法类型开始”，因为在生成的源中，即 DFA45.specialStateTransition(...)没有参数is_a。

我尝试省略 =>1，和/或省略 $is_a 的 $。

第一个集合 a 和 b 不是不相交的。

事实上 b 的类型是 ((C) => c) |一个。

1）因为我不明白 {...} 之间的区别？ => ... 和 {...}？ ...

Answer 1

我不是 100% 确定你为什么会收到这个错误：我需要查看你的整个语法。无论如何，没有必要同时检查 is_a 和 !is_a。并且 $is_a 和 is_a 都是有效的。

假设您正在解析一个数字列表，并且每第 4 个数字，您希望通过不同的“分支”进行处理。其语法如下所示：

grammar T;

parse
@init{int n = 1;}
  :  (number[n\%4 == 0] {n++;})+ EOF
  ;


number [boolean multipleOf4]
  :  {multipleOf4}?=> Int {System.out.println("branch A -> " + $Int.text);}
  |                   Int {System.out.println("branch B :: " + $Int.text);}
  ;

Int
  :  '0'..'9'+
  ;

Space
  :  (' ' | '\t' | '\r' | '\n') {skip();}
  ;

（请注意，% 是 ANTLR 语法中的保留字符（但不在字符串文字和注释中），因此需要使用反斜杠进行转义）

并且可以使用该类进行测试：

import org.antlr.runtime.*;

public class Main {
    public static void main(String[] args) throws Exception {
        ANTLRStringStream in = new ANTLRStringStream("11 22 33 44 55 66 77 88 99");
        TLexer lexer = new TLexer(in);
        CommonTokenStream tokens = new CommonTokenStream(lexer);
        TParser parser = new TParser(tokens);
        parser.parse();
    }
}

现在生成一个解析器/词法分析器 (A)，编译所有源文件 (B) 并运行主类 (C)：

java -cp antlr-3.2.jar org.antlr.Tool T.g // A
javac -cp antlr-3.2.jar *.java            // B
java -cp .:antlr-3.2.jar Main             // C

（在 Windows 上，通过执行 来运行它java -cp .;antlr-3.2.jar Main)

产生以下输出：

branch B :: 11
branch B :: 22
branch B :: 33
branch A -> 44
branch B :: 55
branch B :: 66
branch B :: 77
branch A -> 88
branch B :: 99

所以，是的，您需要一个“门控语义谓词” ({ boolean}?=>) 在这种情况下，不是“验证语义谓词” ({boolean}?)。这两个谓词之间的区别在之前的 SO Q&A 中进行了解释： 什么是ANTLR 中的“语义谓词”？