rascal - M3 的通用核心二元关系

Question

在论文“M3:Rascal 中代码分析的通用模型”3 中，给出了 M3 的通用核心二元关系。它们是:包含、声明和使用。

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

1. 声明
2. 类型
3. 用途
4. 遏制
5. 消息
6. 姓名
7. 文档
8. 修饰符

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

Answer 1

包含、声明和使用仍然是必要的核心关系。其他的足够通用，可以为所有语言实现，但并不是绝对必要的。这取决于您在“后端”使用的工具。