Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEd Willink2014-01-31 07:18:15 +0000
committerEd Willink2014-01-31 07:53:07 +0000
commit02c89eccd88d0e89b0d60f8f6b7b437e1ffb6118 (patch)
tree6389b5e24148244cee5f3ceda055672b67cdfc37 /examples
parent7467417628d5d86bdfffd5f97b808860c151fa27 (diff)
downloadorg.eclipse.qvtd-02c89eccd88d0e89b0d60f8f6b7b437e1ffb6118.tar.gz
org.eclipse.qvtd-02c89eccd88d0e89b0d60f8f6b7b437e1ffb6118.tar.xz
org.eclipse.qvtd-02c89eccd88d0e89b0d60f8f6b7b437e1ffb6118.zip
[omg] Track explicit opposites
Diffstat (limited to 'examples')
-rw-r--r--examples/org.eclipse.qvtd.examples.qvtrelation.reltocore/qvtrsrc/RelToCore.qvtr20
1 files changed, 10 insertions, 10 deletions
diff --git a/examples/org.eclipse.qvtd.examples.qvtrelation.reltocore/qvtrsrc/RelToCore.qvtr b/examples/org.eclipse.qvtd.examples.qvtrelation.reltocore/qvtrsrc/RelToCore.qvtr
index 45968e006..945fed8b6 100644
--- a/examples/org.eclipse.qvtd.examples.qvtrelation.reltocore/qvtrsrc/RelToCore.qvtr
+++ b/examples/org.eclipse.qvtd.examples.qvtrelation.reltocore/qvtrsrc/RelToCore.qvtr
@@ -551,8 +551,8 @@ top relation InvokedRelationToMappingForChecking
transformation = rt,
isTopLevel = false,
name = rn,
- RelationCallExp = ri:RelationCallExp {
- Predicate = p:Predicate {
+ relationCallExp = ri:RelationCallExp {
+ predicate = p:Predicate {
pattern = pt:Pattern {
whereOwner = ir:Relation {name = irn}
}
@@ -642,8 +642,8 @@ top relation InvokedRelationToMappingForEnforcement
transformation = rt,
isTopLevel = false,
name = rn,
- RelationCallExp = ri:RelationCallExp {
- Predicate = p:Predicate {
+ relationCallExp = ri:RelationCallExp {
+ predicate = p:Predicate {
pattern = pt:Pattern {
whereOwner = ir:Relation {name = irn}
}
@@ -1387,7 +1387,7 @@ relation RDomainToMDBottomForEnforcementOfIdentityProp
value = e:OclExpression {}
}
} {
- c.Key.part->includes(pp)
+ c.key.part->includes(pp)
}
++ _
};
@@ -1425,7 +1425,7 @@ relation RDomainToMDBottomForEnforcementOfIdentityPropObject
value = e:ObjectTemplateExp {bindsTo = tv:Variable{}}
}
} {
- c.Key.part->includes(pp)
+ c.key.part->includes(pp)
}
++ _
};
@@ -1582,7 +1582,7 @@ relation RDomainToMDBottomForEnforcementOfNonIdentityPropPrimitive
value = e:OclExpression {}
}
} {
- (not c.Key.part->includes(pp)) and (not e.oclIsKindOf(TemplateExp))
+ (not c.key.part->includes(pp)) and (not e.oclIsKindOf(TemplateExp))
},
rd:RelationDomain {
pattern = rdp:DomainPattern {
@@ -1712,7 +1712,7 @@ relation RDomainToMDBottomForEnforcementOfNonIdentityPropObject
value = pte:ObjectTemplateExp {bindsTo = pv:Variable {}}
}
} {
- not c.Key.part->includes(pp)
+ not c.key.part->includes(pp)
}
++ _
}
@@ -1900,7 +1900,7 @@ relation RDomainVarsToTraceClassProps
domain relations rd:RelationDomain {
rule = r:Relation{},
pattern = dp:DomainPattern {
- bindsTo = domainVars:Set(Variable) {dv:Variable {TemplateExp = te: TemplateExp{}}++_}
+ bindsTo = domainVars:Set(Variable) {dv:Variable {templateExp = te: TemplateExp{}}++_}
}
};
enforce domain core mb:BottomPattern {
@@ -1926,7 +1926,7 @@ relation ROppositeDomainVarsToTraceClassProps
r:Relation {},
rd:RelationDomain {} ++ _
},
- domainVars:Set(Variable) {dv:Variable{TemplateExp = te:TemplateExp{}} ++ _}
+ domainVars:Set(Variable) {dv:Variable{templateExp = te:TemplateExp{}} ++ _}
++ _
};
enforce domain core mb:BottomPattern {

Back to the top