Bound policy for EOperations

diverse-project · Sep 18, 2015 · bbe8ca3 · bbe8ca3
1 parent 982346f
commit bbe8ca3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...fr.inria.diverse.melange.lib/src/main/java/fr/inria/diverse/melange/lib/EcoreMerger.xtend b/...fr.inria.diverse.melange.lib/src/main/java/fr/inria/diverse/melange/lib/EcoreMerger.xtend
@@ -253,6 +253,8 @@ class PackageMergeMerger implements EcoreMerger {
 	private def dispatch void doMerge(EOperation rcv, EOperation merged) {
 		rcv.ordered = rcv.ordered || merged.ordered
 		rcv.unique = rcv.ordered || merged.unique
+		rcv.lowerBound = #[rcv.lowerBound, merged.lowerBound].min
+		rcv.upperBound = maxBound(rcv.upperBound, merged.upperBound)
 	}
 
 	private def dispatch void doMerge(EParameter rcv, EParameter merged) {