谈谈Java抽象语法树的构建.pdf

谈谈Java 抽象语法树的构建 抽象语法树 （abstract syntax tree, AST ）是程序的一种中间表示形式，是源代码抽象语法结构的树状表 现形式。树上的每个结点都代表一种语法结构。之所以称语法是“抽象”的，是因为这里的语法并不会表 示出真实语法中的每个细节。比如，嵌套括号被隐含在树的结构中，并没有以结点的形式呈现，而类似于 if-than-else 这样的条件语句，可以用两个分支结点表示。本文将谈谈Java 抽象语法树构建方面有哪些常用 的 （解析）工具，重点探讨JDT 的工作机制和配置方法。 当前，将java 程序转化成抽象语法树的工具较多，比如，JDT (/jdt/) 、ANTLR (/) 、RECODER (/projects/recoder/) 以及JavaCC (/)等， 其中RECODER 更新较慢，从2013 年开始停止发布新版本。在这几款工具中，由于JDT 工具为开源软件， 在学术界越来越受欢迎。JDT （Java Development Tools ）是Eclipse 中一组Java 开发工具包，它由JDT Core 、 JDT Debug 以及JDT UI 插件组成，这3 个插件均提供了API 供开发者调用，以支持开发者进一步开发基于 JDT 的其它插件。顾名思义，插件JDT Core 是JDT 的核心包，它提供了整个Eclipse 的核心基础功能，比 如，Eclipse 菜单下的Refactor 操作，其功能的实现都依赖该核心包。另外，这些插件均以jar 文件的形式发 布，在下载的Eclipse 文件夹plugins 下可以直接获得，如果你想获取，只需要搜索类似于下面的jar 文件即 可：org.eclipse.jdt.launchingXX.jar, org.eclipse.jdt.uiXX.jar, org.eclipse.jdtXX.jar ，这里的XX 代表每个插件发 布的版本号。 在插件JDT Core 的org.eclipse.jdt.core.dom 包中，含有AST 、ASTParser、ASTNode 、ASTVisitor 等类， 通过这些类可以获取、创建、访问和修改抽象语法树。比如，ASTVisitor 类就提供了一系列重载visit 函数， 用于遍历抽象语法树，以获得AST 上每个结点信息。 为了形象地理解AST ，下面通过一个具体的程序 （Circle.java）说明AST 的结构以及结点的类型。 package a.b.c; import .Shape; public class Circle { private final double pi = 3.14; public double getSqure (double r) { double result = pi*r*r; return result; } } 图1 Circle.java 对应的AST ，为清晰起见，图1 中“粗体”标识的叶子结点并未详细展开。图中的每个 AST 结点均代表程序中相应的程序单元或语法结构。其中，位于最顶层的CompilationUnit 结点代表源程序 文件 （Circle.java）；TypeDeclaration 结点代表Circle 类；FieldDeclaration 结点代表Circle 类中的属性声明和 初始化语句 “private final double pi = 3.14; ”；MethodDeclaration 结点表示getSqure 方法的声明与实现语句； ReturnStatement 结点表示返回语句 “return result;”，总之，AST 中的每个结点均代表相应的Java 语法结构 （有时也称代码实体），在JDT 中共有92 种AST 结点类型，具体可访问API 文档查看相关信息。 CompilationUnit PACKAGE IMPORTS TYPES PackageDeclaration ImportDeclaration TypeDeclaration MODIFIERS NAME