Robust/src/Analysis/TaskStateAnalysis/TEdge.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
  10 public class TEdge extends Edge{
  11
  12         private String target;
  13
  14         public TEdge(TaskNode target){
  15                 super(target);
  16         }
  17
  18
  19
  20     public int hashCode(){
  21         return target.hashCode()^target.toString().hashCode();
  22     }
  23
  24
  25     public boolean equals(Object o) {
  26         if (o instanceof TEdge) {
  27             TEdge e=(TEdge)o;
  28             return e.target.equals(target);
  29         }
  30         return false;
  31     }
  32
  33
  34 }