diff options
author | Ed Willink | 2020-02-20 21:19:14 +0000 |
---|---|---|
committer | Ed Willink | 2020-02-25 12:33:36 +0000 |
commit | 94b3e98579c14346e1469d80270f539b58418cf4 (patch) | |
tree | 4bc92799c2ed9a46b6199e03921e7ca0a258b670 | |
parent | b5defc1dd4d4d27fea9586b284a6c26df78e993e (diff) | |
download | org.eclipse.qvtd-94b3e98579c14346e1469d80270f539b58418cf4.tar.gz org.eclipse.qvtd-94b3e98579c14346e1469d80270f539b58418cf4.tar.xz org.eclipse.qvtd-94b3e98579c14346e1469d80270f539b58418cf4.zip |
[513375] xtra partition only for global success
-rw-r--r-- | plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/partitioner/ReachabilityPartitioningStrategy.java | 1 |
1 files changed, 1 insertions, 0 deletions
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 add9d07a0..72b3a5796 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 @@ public class ReachabilityPartitioningStrategy extends AbstractPartitioningStrate } } List<@NonNull Node> novelXtraNodes = new ArrayList<>(); + novelXtraNodes.add(globalSuccessNode); for (@NonNull Node node : originalNodes) { if (basicGetPartitionFactory(node) == null) { novelXtraNodes.add(node); |