internal MatchDomainS EnforceS(CheckResultPackageToSchema checkresult, string pn, LL.MDE.DataModels.SimpleRDBMS.Schema s)
{
MatchDomainS match = new MatchDomainS(); LL.MDE.DataModels.SimpleUML.Package p = checkresult.matchDomainP.p;
// Contructing s
editor.AddOrSetInField(s, "name", pn);
// Return newly binded variables
match.s = s;
return(match);
}
internal void Enforce(ISet <CheckResultPackageToSchema> result, LL.MDE.DataModels.SimpleRDBMS.Schema s)
{
foreach (CheckResultPackageToSchema match in result)
{
// Extracting variables binded in source domains
LL.MDE.DataModels.SimpleUML.Package p = match.matchDomainP.p;
string pn = match.matchDomainP.pn;
// Enforcing each enforced domain
MatchDomainS targetMatchDomainS = EnforceS(match, pn, s);
// Retrieving variables binded in the enforced domains
}
}
