M3 的通用核心二元关系

Question

论文"M3: a General Model for Code Analytics in Rascal" 3 给出了 M3 的通用核心二元关系。它们是：containment、declarations 和 uses。

查看analysis::m3::Core中的M3源代码，我看到了更多的二元关系：

1. 声明
2. 类型
3. 使用
4. 遏制
5. 消息
6. 姓名
7. 文档
8. 修改器

在此期间，此列表是否刚刚扩展？如果是这样，是否应该使用所有关系来正确实施 M3？

Answer 1

containment、declarations、uses仍然是必要的核心关系。其他的足够通用，可以为所有语言实现，但不是绝对必要的。这取决于您在 "back-end" 中使用的工具。