Robust/src/Analysis/TaskStateAnalysis/TagEdge.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.*;
   3 import Analysis.TaskStateAnalysis.*;
   4 import IR.Tree.*;
   5 import IR.Flat.*;
   6 import java.util.*;
   7 import Util.Edge;
   8
   9 /* Edge *****************/
  10
  11 public class TagEdge extends Edge {
  12
  13   private TaskDescriptor td;
  14   /** Class Constructor
  15    *
  16    */
  17   public TagEdge(TagState target, TaskDescriptor td) {
  18     super(target);
  19     this.td=td;
  20   }
  21
  22   public int hashCode() {
  23     return target.hashCode()^td.hashCode();
  24   }
  25
  26   public TaskDescriptor getTask() {
  27     return td;
  28   }
  29
  30   public boolean equals(Object o) {
  31     if (o instanceof TagEdge) {
  32       TagEdge e=(TagEdge)o;
  33       if (e.target.equals(target)&&
  34           e.td==td)
  35         return true;
  36     }
  37     return false;
  38   }
  39 }