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