ANTLR4中的语义谓词？

Question

如何将这部分用ANTLR3编写的代码翻译成ANTLR4？

expr: (Identifier '.')=> (refIdentifier)
  | (Identifier '!')=> (refIdentifier)
  | (Identifier '=>')=> (lambdaExpression);

我的意思是，这种语义谓词现在似乎不存在了。我能用什么来代替呢？

Answer 1

在ANTLR v4中，不再有门控语义谓词{ ... }?=>，也不再有语法谓词( ... )=>，因为v4中使用的解析算法可以解决歧义(不再需要这样的谓词)。所以，这对你来说应该是有效的：

expr
 : refIdentifier
 | refIdentifier
 | lambdaExpression
 ;

注意，在v4中只有一种类型的谓词:语义谓词，即{ ... }?。例如，如果你需要检查一个令牌的内容，你可以这样做：

id_capitals_only
 : {_input.LT(1).getText().matches("[A-Z]+")}? ID
 ;

ID
 : [a-zA-Z]+
 ;

编辑

正如Sam Harwell在评论中提到的：

语义谓词{...}？在V4中，就像V3中的门控语义谓词一样。来自V3的非门限谓词在ANTLR4中没有对应的谓词。