Robust/src/Analysis/TaskStateAnalysis/FEdge.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 FEdge extends Edge {
  12
  13     private String label;
  14
  15     public FEdge(FlagState target, String label) {
  16         super(target);
  17         this.label = label;
  18     }
  19
  20     public String getLabel() {
  21         return label;
  22     }
  23
  24     public int hashCode(){
  25         return target.hashCode()^label.hashCode();
  26     }
  27
  28     public boolean equals(Object o) {
  29         if (o instanceof FEdge) {
  30             FEdge e=(FEdge)o;
  31             return e.label.equals(label)&&
  32                 e.target.equals(target);
  33         }
  34         return false;
  35     }
  36
  37
  38 }