[512737] Ensure all realized edges contribute to an AssignmentRegion

1 files changed, 11 insertions, 0 deletions

diff --git a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/Partitioner.java b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/Partitioner.java
index 0a9c28359..93519712c 100644
--- a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/Partitioner.java
+++ b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/Partitioner.java
@@ -533,11 +533,22 @@ public class Partitioner
 					regions.add(createSpeculationRegion());
 					regions.add(createSpeculatedRegion());
 				}
+				//
+				//	Create an AssignmentRegion for each to-be-realized edge to an output, which may also realize most trace edges too.
+				//
 				for (@NonNull Edge outputEdge : realizedOutputEdges) {
 					if (!hasRealizedEdge(outputEdge)) {
 						regions.add(createAssignmentRegion(outputEdge, regions.size()));
 					}
 				}
+				//
+				//	Create an AssignmentRegion for each still to-be-realized edge to an output.
+				//
+				for (@NonNull Edge edge : realizedEdges) {
+					if (!hasRealizedEdge(edge)) {
+						regions.add(createAssignmentRegion(edge, regions.size()));
+					}
+				}
 				check();
 			}
 		}