ANTLR中抽象语法树(AST)的生成和使用
直接在语法文件中嵌入求值处理代码的方式在ANTLR中称为嵌入式动作。复杂情况下需要基于语法树遍历生成目标代码。前者语法复杂时使语法文件臃肿。另外,语法可能经常需要修改,但语法的主要表达式不会变动,将语法识别与转换、生成(目标代码)等处理分离是有好处的。
1. AST构造
使用全局option设置output=AST,ANTLR生成的识别器中每个方法都返回一个AST节点或节点集合,起始规则返回的是所有匹配到的AST节点的集合。AST节点集合都是一个链表结构。为了使识别器返回AST树,需要在语法文件中使用AST构造,告诉ANTLR在语法识别时如何构造树结构。
ANTLR在语法规则表达式后面添加后缀实现基于堆栈的递归算法一般采用的文本表达方式,如3+4*5表示成+(3(*4 5))。后缀^表示它前面的表达式为操作符,后缀!表示它前面的表达式不需要生成AST节点。