diff options
author | Ed Willink | 2020-02-20 12:15:10 +0000 |
---|---|---|
committer | Ed Willink | 2020-02-25 12:33:16 +0000 |
commit | 90b8bf1f36652fb5bb5bb06cdf6db862743ba936 (patch) | |
tree | a063b8788a606038a3f4f764820efa2331f43cad /plugins | |
parent | 4f0ec2ad4a1cbfd3a3a45f3f4f300845fed8da4d (diff) | |
download | org.eclipse.qvtd-90b8bf1f36652fb5bb5bb06cdf6db862743ba936.tar.gz org.eclipse.qvtd-90b8bf1f36652fb5bb5bb06cdf6db862743ba936.tar.xz org.eclipse.qvtd-90b8bf1f36652fb5bb5bb06cdf6db862743ba936.zip |
[513375] Unconnected edges are not hazardous
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/ConnectionManager.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/ConnectionManager.java b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/ConnectionManager.java index 4ee164735..2d3f45c57 100644 --- a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/ConnectionManager.java +++ b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvts/ConnectionManager.java @@ -1041,7 +1041,7 @@ public class ConnectionManager s.append(" <=> " + oppositeProperty.getOwningClass().getName() + "::" + oppositeProperty.getName()); } } - return lastProduction >= firstConsumption; + return (lastProduction >= 0) && (lastProduction >= firstConsumption); } public boolean isHazardousWrite(@Nullable StringBuilder s, @NonNull NavigationEdge edge) { @@ -1086,7 +1086,7 @@ public class ConnectionManager s.append(" <=> " + oppositeProperty.getOwningClass().getName() + "::" + oppositeProperty.getName()); } } - return lastProduction >= firstConsumption; + return (lastProduction >= 0) && (lastProduction >= firstConsumption); } public void mergePartitionsInto(@NonNull MergedPartition newPartition, @NonNull Iterable<@NonNull BasicPartitionAnalysis> oldPartitionAnalyses) { |