Robust/src/Analysis/TaskStateAnalysis/TaskIndex.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.TaskDescriptor;
   3
   4 public class TaskIndex {
   5     TaskDescriptor td;
   6     int index;
   7     public TaskIndex(TaskDescriptor td, int index) {
   8         this.td=td;
   9         this.index=index;
  10     }
  11
  12     public int hashCode() {
  13         return td.hashCode()^index;
  14     }
  15
  16     public boolean equals(Object o) {
  17         if (o instanceof TaskIndex) {
  18             TaskIndex ti=(TaskIndex) o;
  19             if (ti.index==index && ti.td==td)
  20                 return true;
  21         }
  22         return false;
  23     }
  24
  25     public TaskDescriptor getTask() {
  26         return td;
  27     }
  28     public int getIndex() {
  29         return index;
  30     }
  31 }