td can be null

diff --git a/Robust/src/Analysis/TaskStateAnalysis/FEdge.java b/Robust/src/Analysis/TaskStateAnalysis/FEdge.java
index 8cc8cde54f9921206aae5f16b93f722a28d69217..d91f921a2e567408c2e48ab45d673e64adfdcac8 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/FEdge.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/FEdge.java
@@ -113,7 +113,9 @@ public class FEdge extends Edge {
     }
     
     public int hashCode(){
-       int hashcode = label.hashCode()^target.hashCode()^source.hashCode()^td.hashCode()^parameterindex^executeTime;
+       int hashcode = label.hashCode()^target.hashCode()^source.hashCode()^parameterindex^executeTime;
+       if (td!=null)
+           hashcode^=td.hashCode();
        if(newObjInfos != null) {
            hashcode ^= newObjInfos.hashCode();
        }