Question

我正在创建一个创建AST的解析器，然后重写它以解决所有歧义，然后遍历它并计算结果。

重写的一部分是将^(QUERY ID)等节点转换为^(DECIMALQUERY ID)或^(DATEQUERY ID)，具体取决于ID所代表的变量的类型。

query
    :   ^(QUERY ID)
    { 
        var type = GetQueryType($ID.text); 
    }
    -> { type == QueryType.Decimal }?   ^(DECIMALQUERY ID)
    -> { type == QueryType.Date }?      ^(DATEQUERY ID)
    -> { type == QueryType.String }?    ^(STRINGQUERY ID)
;

也就是说，根据type值，QUERY令牌会转换为DECIMALQUERY，DATEQUERY或STRINGQUERY。

问题是ANTLR拒绝为这个语法生成代码。命令是：

java -jar ..\..\binaries\antlr-3.4-complete.jar -message-format vs2005 .\TreeTransform.g

错误：

.\TreeTransform.g(54,2) : error 100 : syntax error: antlr: MismatchedTokenException(52!=84)
.\TreeTransform.g(53,52) : error 100 : syntax error: assign.types: NoViableAltException(0@[])
org\antlr\grammar\v3\DefineGrammarItemsWalker.g: node from line 53:51 no viable alternative at input ')'
.\TreeTransform.g(53,52) : error 100 : syntax error: buildnfa: NoViableAltException(0@[])
.\TreeTransform.g(53,52) : error 100 : syntax error: codegen: NoViableAltException(0@[])
.\TreeTransform.g(53,52) : error 100 : syntax error: antlr.print: NoViableAltException(0@[])
.\TreeTransform.g(53,52) : error 100 : syntax error: antlr.print: NoViableAltException(0@[])

但是当我删除最后一个语义谓词时，一切正常：

query
    :   ^(QUERY ID)
    { 
        var type = GetQueryType($ID.text); 
    }
    -> { type == QueryType.Decimal }?   ^(DECIMALQUERY ID)
    -> { type == QueryType.Date }?      ^(DATEQUERY ID)
    ->                                  ^(STRINGQUERY ID)
;

但我不喜欢类型string是'默认'分支的想法。如果三个谓词中没有一个产生真值，我宁愿有一个异常（即一个新类型被添加到枚举中，但没有添加到语法中;如果我删除最后一个谓词，它将回退到字符串全部相同）。 / p>

所以，我的问题是：

如何明确指定这种基于类型的切换的所有情况？如果没有满足三种替代方案，是否有办法强制例外？

完整的解析器和树变换器语法在这里：

https://bitbucket.org/ik/public/src/8f91e683e79a084138d6b55beabf8d5e18d965d4/AntlrSemanticPredicatesProblem?at=default

Answer 1

为了最大限度地支持理智的错误消息，您应该使用以下内容：

-> { type == QueryType.Decimal }?   ^(DECIMALQUERY[$QUERY] ID)
-> { type == QueryType.Date }?      ^(DATEQUERY[$QUERY] ID)
-> { type == QueryType.String }?    ^(STRINGQUERY[$QUERY] ID)
->                                  ^(INVALIDQUERY[$QUERY] ID)

然后，您可以报告树中INVALIDQUERY出现的情况，而不会导致解析器失败。

PS：我添加的[$QUERY]参数确保令牌行/列信息保留在重写的树中。

树重写语法中的ANTLR3语义谓词

1 个答案: