用AST查找Java程序中的所有布尔表达式

Question

我正在JavaSymbolic PathFinder之上为Java程序构建一个符号评估测试生成器工具。作为这项工作的一部分，我需要识别Java源文件中的所有布尔表达式，并记录有关它们的信息。我希望能够使用AST框架，如Eclipse JDT或Sun的com.sun.source.tree类，在那里我可以访问表达式并让AST告诉我表达式的类型。

EclipseJDT似乎支持这一点，但前提是您从Eclipse内部运行。关于在Eclipse之外运行JDT的文章很有帮助：JDT中没有Eclipse环境的IJavaProject，以及在Eclipse IDE环境之外执行Eclipse插件（JDT/ast）。然而，这些并不是我想要的；不带Eclipse的JDT？可能非常接近，但我不想从命令行使用JDT，我想将它的一部分合并到我的Java库中，该库将在Java符号探索者中运行。

如果我在Ant构建脚本中包含以下Eclipse库：

<pathelement path="${eclipse-plugin-loc}\org.eclipse.core.contenttype_3.4.200.v20120523-2004.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.core.jobs_3.5.200.v20120521-2346.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.core.resources_3.8.0.v20120522-2034.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.core.runtime_3.8.0.v20120521-2346.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.equinox.common_3.6.100.v20120522-1841.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.equinox.preferences_3.5.0.v20120522-1841.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.jdt.compiler.apt_1.0.500.v20120522-1651.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.jdt.compiler.tool_1.0.101.v20120522-1651.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.jdt.core_3.8.1.v20120531-0637.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.jdt_3.8.0.v201206081400.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.text_3.5.200.v20120523-1310.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.text_3.5.200.v20120523-1310.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.osgi.util_3.2.300.v20120522-1822.jar"/>
<pathelement path="${eclipse-plugin-loc}\org.eclipse.osgi_3.8.0.v20120529-1548.jar"/>

然后我可以让JDT使用以下代码运行：

public void processJavaFile(File toVisit) {
    try {
        String source = readFileToString(toVisit);
        Document document = new Document(source);
        ASTParser parser = ASTParser.newParser(AST.JLS4);
        parser.setResolveBindings(true);
        parser.setSource(document.get().toCharArray());
        CompilationUnit unit = (CompilationUnit) parser.createAST(null);
        PreprocessClassVisitorEclipse pp = new PreprocessClassVisitorEclipse(unit);
        unit.accept(pp);

    } catch (IOException io) {
        System.out.println("Something went wrong with the files!");
    }
}

但这没有正确的上下文供解析器解析类型绑定；在查阅Eclipse文档时，我必须将解析器用于IJavaProject：http://publib.boulder.ibm.com/infocenter/rsahelp/v7r0m0/index.jsp?topic=/org.eclipse.jdt.doc.isv/reference/api/org/eclipse/jdt/core/dom/ASTParser.html.

那么，有什么想法可以让一个运行JDT的IJavaProject作为另一个可执行文件中的库吗？或者，还有其他Java具有类型信息的AST吗？提前感谢您的帮助。

Answer 1

尝试添加以下内容：

parser.setEnvironment(null, null, null, true);
parser.setUnitName(toVisit.getName())

此外，您可以摆脱Document并仅使用

 parser.setSource(source.toCharArray());

参见:StandAloneASTParserTest.java和错误206391