Robust/src/Analysis/SSJava/GlobalFlowNode.java

   1 package Analysis.SSJava;
   2
   3 import IR.Descriptor;
   4
   5 public class GlobalFlowNode {
   6
   7   NTuple<Location> locTuple;
   8   CompositeLocation compLoc;
   9
  10   public GlobalFlowNode(NTuple<Location> in) {
  11     locTuple = in;
  12   }
  13
  14   public int hashCode() {
  15     return locTuple.hashCode();
  16   }
  17
  18   public NTuple<Location> getLocTuple() {
  19     return locTuple;
  20   }
  21
  22   public boolean equals(Object obj) {
  23
  24     if (obj instanceof GlobalFlowNode) {
  25       GlobalFlowNode in = (GlobalFlowNode) obj;
  26       if (locTuple.equals(in.getLocTuple())) {
  27         return true;
  28       }
  29     }
  30
  31     return false;
  32
  33   }
  34
  35   public String toString() {
  36     return locTuple.toString();
  37   }
  38
  39   public NTuple<Descriptor> getDescTuple() {
  40     NTuple<Descriptor> descTuple = new NTuple<Descriptor>();
  41
  42     for (int i = 0; i < locTuple.size(); i++) {
  43       descTuple.add(locTuple.get(i).getLocDescriptor());
  44     }
  45
  46     return descTuple;
  47   }
  48
  49   public String getID() {
  50
  51     NTuple<Descriptor> descTuple = getDescTuple();
  52     String id = "";
  53     for (int i = 0; i < descTuple.size(); i++) {
  54       id += descTuple.get(i).getSymbol();
  55     }
  56     return id;
  57   }
  58
  59   public String getPrettyID() {
  60
  61     NTuple<Descriptor> descTuple = getDescTuple();
  62
  63     String id = "<";
  64     String property = "";
  65     for (int i = 0; i < descTuple.size(); i++) {
  66       if (i == 0) {
  67         id += locTuple.get(i);
  68       } else {
  69         id += ",";
  70         id += descTuple.get(i).getSymbol();
  71       }
  72     }
  73     id += ">";
  74
  75     if (compLoc != null) {
  76       id += " " + compLoc;
  77     }
  78
  79     // if (isReturn()) {
  80     // property += "R";
  81     // }
  82     //
  83     // if (isSkeleton()) {
  84     // property += "S";
  85     // }
  86
  87     if (property.length() > 0) {
  88       property = " [" + property + "]";
  89     }
  90
  91     return id + property;
  92   }
  93
  94 }