如何用TypePal为Rascal MPL DSL实现双向引用一致性校验？

我正在使用Rascal MPL设计一款用于数据建模的领域特定语言（DSL），以下是语法规范片段及示例代码：

语法规范 #

syntax Declaration
    = @Foldable entity: "entity" EntityId name  "{" Field+ fields "}"
;

syntax Field 
   =  field: Id name ":" Type t Constraints? constraint
   | uniReference: Id name "->" Type typ
   | biReference: Id name "->" Type typ "inverse" Id ref "::" Id attr
;

示例代码 #

entity Employee  {
   hireDate : Date
   payRate : Currency
   boss -> Manager inverse Manager::subordinates
}

entity Manager {
   subordinates -> Set<Employee> inverse Employee::boss
}

我已通过TypePal完成了大量类型检查工作，但遇到问题：如何实现规则确保Employee实体的boss属性与Manager实体的subordinates属性相互对应？

实现思路 #

要验证双向引用的一致性，核心是确保每一条双向引用的反向声明真实存在，且实体、属性名、关联类型完全匹配。可通过以下步骤实现：

• 遍历AST收集所有实体的双向引用元数据，记录源实体、源属性、目标实体、目标属性及类型信息
• 对每条双向引用，检查目标实体中是否存在对应的反向引用，同时验证关联类型的 cardinality 合理性（比如单实体对应集合类型）
• 将验证逻辑封装为TypePal检查规则，集成到现有类型检查流程中

具体代码实现 #

以下是基于Rascal和TypePal的示例实现：

import TypePal;
import analysis::typepal::TypePal;
import lang::rascal::syntax::AST;

// 定义双向引用元数据结构
data BiRef = biRef(str sourceEntity, str sourceAttr, str targetEntity, str targetAttr, Type sourceType);

// 遍历AST收集所有双向引用
list[BiRef] collectBiRefs(list[Declaration] decls) {
    list[BiRef] refs = [];
    for (entity(_, EntityId srcEnt, _, Field+ fields) <- decls) {
        for (biReference(Id srcAttr, _, Type srcType, Id tgtEnt, _, Id tgtAttr) <- fields) {
            refs += biRef(srcEnt, srcAttr, tgtEnt, tgtAttr, srcType);
        }
    }
    return refs;
}

// 实现双向引用一致性检查规则
void checkBiRefConsistency(list[Declaration] decls) {
    list[BiRef] refs = collectBiRefs(decls);
    for (biRef(srcEnt, srcAttr, tgtEnt, tgtAttr, srcType) <- refs) {
        bool refFound = false;
        // 查找目标实体中的反向引用
        for (entity(_, EntityId ent, _, Field+ fields) <- decls) {
            if (ent == tgtEnt) {
                for (biReference(Id attr, _, Type tgtType, Id refEnt, _, Id refAttr) <- fields) {
                    if (refEnt == srcEnt && refAttr == srcAttr) {
                        refFound = true;
                        // 验证类型 cardinality 匹配：单实体对应集合类型
                        if (!(isInstance(srcType, Id(tgtEnt)) && isInstance(tgtType, Appl(Id("Set"), [Id(srcEnt)])))) {
                            reportError(loc(tgtType), 
                                "双向引用类型不匹配：" + srcEnt + "::" + srcAttr + " 指向单个 " + srcType + 
                                "，但 " + tgtEnt + "::" + attr + " 需对应 Set<" + srcEnt + ">");
                        }
                        break;
                    }
                }
                if (refFound) break;
            }
        }
        if (!refFound) {
            reportError(loc(srcAttr), 
                "缺失对应反向引用：" + srcEnt + "::" + srcAttr + " 声明指向 " + tgtEnt + "::" + tgtAttr + 
                "，但该反向引用未定义");
        }
    }
}

// 将规则注册到TypePal检查流程
registerCheck(\checkBiRefConsistency);

关键说明 #

• 元数据收集阶段：通过遍历AST节点提取双向引用的核心关联信息，为后续验证提供数据基础
• 对称性验证阶段：不仅检查反向引用的存在性，还强制验证关联类型的逻辑合理性，避免出现一对多/多对一的矛盾声明
• 错误报告：利用TypePal的reportError函数在代码对应位置输出精准错误信息，方便开发者定位修复

内容的提问来源于stack exchange，提问作者Benni Katchy