antlr - ANTLR4 中的语义谓词？

Question

您如何将用 ANTLR 3 编写的这部分代码翻译成 ANTLR 4？

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

我的意思是这种语义谓词现在似乎不存在。我可以用什么代替？

Answer 1

在 ANTLR v4 中，不再有门控语义谓词，{ ... }?=> ，并且也不再有句法谓词，( ... )=> ，因为 v4 中使用的解析算法可以解决歧义(不再需要此类谓词)。所以，这应该只适合你:

expr
 : refIdentifier
 | refIdentifier
 | lambdaExpression
 ;

注意 v4 中只有一种谓词:语义谓词， { ... }? .例如，如果您需要检查 token 的内容，您可以这样做:

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

ID
 : [a-zA-Z]+
 ;

编辑

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

The semantic predicates {...}? in V4 work like the gated semantic predicates did in V3. The ungated predicates from V3 do not have a counterpart in ANTLR 4.