From 240f304526ac6769798681b54e2ce8a489c406e2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 6 Mar 2008 19:07:04 +0000
Subject: [PATCH] td can be null

---
 Robust/src/Analysis/TaskStateAnalysis/FEdge.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/TaskStateAnalysis/FEdge.java b/Robust/src/Analysis/TaskStateAnalysis/FEdge.java
index 8cc8cde5..d91f921a 100644
--- 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();
 	}
-- 
2.34.1