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 }