M3的通用核心二进制关系

Question

在" M3 : Rascal中代码分析的通用模型“一文中，给出了M3的3种通用核心二进制关系。这些是：containment、declarations和uses。

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

1. 声明
2. 类型
3. 使用
4. 安全壳
5. 消息
6. 名字
7. 文档
8. 修饰符

这张名单是在这段时间里扩大的吗？如果是这样的话，应该使用所有关系来正确实现M3吗？

Answer 1

containment、declarations和uses仍然是必要的核心关系。其他语言具有足够的通用性，可以在所有语言中实现，但并非绝对必要。这取决于您在“后端”中使用的工具。