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