在论文“ M3：Rascal中代码分析的通用模型”中3给出了M3的通用核心二进制关系。它们是：containment，declarations和uses。
查看analysis::m3::Core中的M3源代码，我看到了更多的二进制关系：
声明书
种类
用途
遏制
留言内容
名字
文献资料
修饰符
在此期间，此列表是否只是扩展了？如果是这样，是否应将所有关系用于M3的正确实施？
最佳答案
containment，declarations和uses仍然是必要的核心关系。其他语言具有足够的通用性，可以对所有语言实施，但并非绝对必要。这取决于您在“后端”中使用的工具。
关于rascal - M3的通用核心二进制关系，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/37116715/