ANTLR 动作和语义谓词

我有一个非常简单的语法，如下所示： （我需要使用语义谓词，因为我需要解析关键字可以用作标识符的语言）。 参考:https://github.com/antlr/antlr4/blob/master/doc/predicates.md

有一个读入整数序列的语法，它的玄机是由输入的部分指定有多少个整数组合在一起，所以我们必须等到运行时才能知道有多少整数被匹配。这里是示例输入文件idata.txt的内容： 2 9 10 3 1 2 3 第1个数字表示匹配后续两个数字9和10；紧跟10的数字3表示匹配接下来的三个数字。我们的目的是设计一个语法IData.g，把9和10组合在一起，把1、2和3组合在一起。在语法上执行以下命令后显示的语

查看文档，ANTLR2过去有一种叫做谓词法的东西，下面的例子是这样的（灵感来自Pascal）： 在我看来，这实际上是规则开头的一个积极的前瞻性断言：如果前瞻性与匹配，那么第一个规则将被应用（并与该输入的部分匹配），依此类推。 我还没有在ANTLR4中找到这样的东西。2到3迁移指南似乎没有提到这一点，而3到4更改文档指出： ANTLR3和4之间最大的区别是ANTLR4接受您给出的任何语法，除非该语法

我正在用这个缩放的语法解析一个类似C++的声明（删除了许多细节，使其成为一个完全可用的示例）。它不能神秘地工作（至少对我来说）。它是否与上下文相关谓词的使用有关？如果是，如何实现“计算子节点数逻辑”？ 我需要实现标准的C++规则，即在下不允许超过1个。 在之前使用语义谓词似乎是解决方案。由于嵌套的是可能的，因此计数自然被声明为中的局部变量。 但是，一个不带'=0'的输入来帮助解析 分析失败，出现“