From: bdemsky <bdemsky>
Date: Thu, 6 Mar 2008 19:07:04 +0000 (+0000)
Subject: td can be null
X-Git-Tag: preEdgeChange~240
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=240f304526ac6769798681b54e2ce8a489c406e2;p=IRC.git

td can be null
---

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();
 	}