我正在创建一个解析器,它创建一个 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
token 转换为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)
;
但我不喜欢 typestring
是“默认”分支的想法。如果三个谓词都不为真,我宁愿有一个例外(即一个新类型被添加到枚举中,但没有被添加到语法中;如果我删除最后一个谓词,它仍然会退回到字符串)。
所以,我的问题是:
如何明确指定这种基于类型的切换的所有情况?如果三个选项都没有满足,有没有办法强制例外?
完整的解析器和树转换器语法在这里: