X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FTaskStateAnalysis%2FTaskIndex.java;fp=Robust%2Fsrc%2FAnalysis%2FTaskStateAnalysis%2FTaskIndex.java;h=84f21d0d047a3b66ac3f5f2614ca1a311a5bc4ca;hb=9d2bea60690743588c0c917584813542bd16f3e4;hp=02b64190c7de2bd3f8353b48f6c44832c41e3996;hpb=2bdac2732973de7846e90887a4122b53d2f7a06c;p=IRC.git

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskIndex.java b/Robust/src/Analysis/TaskStateAnalysis/TaskIndex.java
index 02b64190..84f21d0d 100644
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskIndex.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskIndex.java
@@ -4,18 +4,33 @@ import IR.TaskDescriptor;
 public class TaskIndex {
     TaskDescriptor td;
     int index;
+    boolean runtime;
     public TaskIndex(TaskDescriptor td, int index) {
 	this.td=td;
 	this.index=index;
+	runtime=false;
+    }
+
+    public TaskIndex() {
+	runtime=true;
+    }
+
+    public boolean isRuntime() {
+	return runtime;
     }
 
     public int hashCode() {
+	if (runtime)
+	    return 71;
 	return td.hashCode()^index;
     }
 
     public boolean equals(Object o) {
 	if (o instanceof TaskIndex) {
 	    TaskIndex ti=(TaskIndex) o;
+	    if (ti.runtime==runtime)
+		return true;
+
 	    if (ti.index==index && ti.td==td)
 		return true;
 	}