commit | 94b3e98579c14346e1469d80270f539b58418cf4 | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Thu Feb 20 21:19:14 2020 +0000 |
committer | Ed Willink <ed@willink.me.uk> | Tue Feb 25 12:33:36 2020 +0000 |
tree | 4bc92799c2ed9a46b6199e03921e7ca0a258b670 | |
parent | b5defc1dd4d4d27fea9586b284a6c26df78e993e [diff] |
[513375] xtra partition only for global success
diff --git a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/ReachabilityPartitioningStrategy.java b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/ReachabilityPartitioningStrategy.java index add9d07..72b3a57 100644 --- a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/ReachabilityPartitioningStrategy.java +++ b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/ReachabilityPartitioningStrategy.java
@@ -1013,6 +1013,7 @@ } } List<@NonNull Node> novelXtraNodes = new ArrayList<>(); + novelXtraNodes.add(globalSuccessNode); for (@NonNull Node node : originalNodes) { if (basicGetPartitionFactory(node) == null) { novelXtraNodes.add(node);