java - 在 Java 中访问 AST 的现代方式

Question

在 Java 中访问和修改 AST 的最新方法是什么？我只找到了很多不推荐使用的代码的旧例子。我找到了一些描述，但我也不清楚像 antlr 这样的工具是如何在整个概念中发挥作用的。也许我应该补充一点，我想解析现有程序，而不是从头开始编写 AST。

我想用这个 AST 做的是对其进行转换，以便可以轻松地为规则引擎提取业务规则。也许您对这个想法有一个很好的方法。

Answer 1

我相信 Java 社区主要使用的是 Eclipse AST 接口(interface)(或访问 Java 编译器提供的 AST)之类的东西。这基本上是树节点和大量程序​​计算来测试节点类型并在树上上下移动。我不认为这通常是“最先进的”。我认为 Eclipse 确实提供了一些关于标识符如何与定义相关联的信息(“名称解析”)。

ANTLR 解析器将帮助您构建 AST，我确信已经有一个完整的 ANTLR Java 前端可以做到这一点，请查看他们的站点。我认为树遍历与 Eclipse AST 相同。我认为 ANTLR 的前端不提供名称解析。

更好的方案涉及 attribute grammars ，它允许您使用跨树节点的数据流计算来构建分析器。您可以在 Silver 中找到 Java 实现和 JastAdd .这些在 Java 社区中似乎并不广为人知。 JastAdd 提供对名称解析和数据流信息的访问，恕我直言，这两者都是进行任何有趣的代码分析所必需的。

模式导向方案更好；您描述感兴趣的语法片段和相应的操作。 (属性语法有点像仅限于单个树节点的模式定向方案；模式定向方案在树节点集上运行，您个人不必知道其结构)。 Program transformation systems (PTS) such as Stratego, DMS, and TXL提供这些。然而，这些都不是用 Java 编码的。我很确定 Stratego 和 TXL 有现成的完整 Java 语法和树，但仅此而已。 DMS 为包括 Java 在内的多种语言提供属性语法、名称解析、流分析、使用模式在树上重写，甚至是基于数据流的模式匹配器。

您需要尽可能多的分析信息来支持“业务规则提取”。如果您认为这将容易，那么您将大吃一惊。虽然代码分析能力是必要条件，但要识别业务规则，您需要系统外部的知识，例如感兴趣的业务词汇和操作，以及它们如何映射到代码。该代码不包含该信息。

编辑:根据评论中的讨论，OP 建议采用半自动化流程，这意味着一个人将这些额外知识带入该流程；我非常同意这是必要的。他可能会找到这个 presentation on extracting business rules有助于了解原因以及对此可以采取的措施。