[513375] Unconnected edges are not hazardous
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 4ee1647..2d3f45c 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 @@
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 @@
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) {
