问题标签 [ekeko]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - 验证软件变更合同的结构规律
我正在做我的项目以创建一个工具，该工具可以找到特定软件的两个版本之间的结构规律（结构规律是源代码中必须遵守的规则）的变化，并检查最新版本是否违反结构规律旧版本的。
我正在使用一种称为EKEKO（针对 Eclipse 工作区的 Clojure 库元编程）的查询语言。我创建了要使用的谓词，并且我可以找到两个版本之间的区别。
但是我的问题是找到一种方法来举例说明：toString旧版本中调用的所有方法都应该有一个新名称，即print. 所以在这种情况下，我需要检查新版本是否符合结构合同（关于名称约定）。
在前面的代码中，我可以得到项目的两个版本之间的不同。我需要做的是类似于下面的代码：
projectResults 在给定项目上应用 Ekeko 环境并找到指定谓词的结果，在这种情况下（f1 和 f2）。
但是另外，我需要小心比较操作，因为不同项目中的同一个类并不意味着它们是相等的。
有什么想法可以帮助我继续前进吗？提前致谢！