Robust/src/Analysis/SSJava/FlowNode.java

   1 package Analysis.SSJava;
   2
   3 import java.util.HashSet;
   4 import java.util.Set;
   5
   6 import IR.ClassDescriptor;
   7 import IR.Descriptor;
   8 import IR.FieldDescriptor;
   9 import IR.VarDescriptor;
  10
  11 public class FlowNode {
  12
  13   // descriptor tuple is a unique identifier of the flow node
  14   protected NTuple<Descriptor> descTuple;
  15
  16   // if the infer node represents the base type of field access,
  17   // this set contains fields of the base type
  18   private Set<FlowNode> fieldNodeSet;
  19
  20   // set true if this node stores a return value
  21   private boolean isReturn;
  22
  23   private boolean isDeclarationNode = false;
  24
  25   private boolean isIntermediate;
  26
  27   private CompositeLocation compLoc;
  28
  29   private boolean isSkeleton;
  30
  31   private boolean isFormHolder = false;
  32
  33   private NTuple<Descriptor> baseTuple;
  34
  35   public boolean isIntermediate() {
  36     return isIntermediate;
  37   }
  38
  39   public void setIntermediate(boolean isIntermediate) {
  40     this.isIntermediate = isIntermediate;
  41   }
  42
  43   public void setFormHolder(boolean in) {
  44     isFormHolder = in;
  45   }
  46
  47   public boolean isFromHolder() {
  48     return isFormHolder;
  49   }
  50
  51   public void setBaseTuple(NTuple<Descriptor> in) {
  52     baseTuple = in;
  53   }
  54
  55   public NTuple<Descriptor> getBaseTuple() {
  56     return baseTuple;
  57   }
  58
  59   public Set<FlowNode> getFieldNodeSet() {
  60     return fieldNodeSet;
  61   }
  62
  63   public FlowNode(NTuple<Descriptor> tuple) {
  64
  65     this.isSkeleton = false;
  66     this.isIntermediate = false;
  67
  68     NTuple<Descriptor> base = null;
  69     Descriptor desc = null;
  70     if (tuple.size() > 1) {
  71       base = tuple.subList(0, tuple.size() - 1);
  72       desc = tuple.get(tuple.size() - 1);
  73     } else {
  74       base = tuple;
  75     }
  76     fieldNodeSet = new HashSet<FlowNode>();
  77     descTuple = new NTuple<Descriptor>();
  78     if (base != null) {
  79       descTuple.addAll(base);
  80     }
  81     if (desc != null) {
  82       descTuple.add(desc);
  83     }
  84
  85   }
  86
  87   public void setCompositeLocation(CompositeLocation in) {
  88     compLoc = in;
  89   }
  90
  91   public CompositeLocation getCompositeLocation() {
  92     return compLoc;
  93   }
  94
  95   public void addFieldNode(FlowNode node) {
  96     fieldNodeSet.add(node);
  97   }
  98
  99   public NTuple<Descriptor> getDescTuple() {
 100     return descTuple;
 101   }
 102
 103   public Descriptor getOwnDescriptor() {
 104     return descTuple.get(descTuple.size() - 1);
 105   }
 106
 107   public boolean isPrimitiveType() {
 108     Descriptor desc = descTuple.get(descTuple.size() - 1);
 109     if (desc instanceof VarDescriptor) {
 110       return ((VarDescriptor) desc).getType().isPrimitive();
 111     } else if (desc instanceof FieldDescriptor) {
 112       return ((FieldDescriptor) desc).getType().isPrimitive();
 113     }
 114     return false;
 115   }
 116
 117   public String toString() {
 118     String rtr = "[FlowNode]:";
 119     if (isSkeleton()) {
 120       rtr += "SKELETON:";
 121     }
 122     rtr += ":" + descTuple;
 123     return rtr;
 124   }
 125
 126   public int hashCode() {
 127     return 7 + descTuple.hashCode();
 128   }
 129
 130   public boolean equals(Object obj) {
 131
 132     if (obj instanceof FlowNode) {
 133       FlowNode in = (FlowNode) obj;
 134       if (descTuple.equals(in.getDescTuple())) {
 135         return true;
 136       }
 137     }
 138
 139     return false;
 140
 141   }
 142
 143   public String getID() {
 144     String id = "";
 145     for (int i = 0; i < descTuple.size(); i++) {
 146       id += descTuple.get(i).getSymbol();
 147     }
 148     return id;
 149   }
 150
 151   public String getPrettyID() {
 152     String id = "<";
 153     String property = "";
 154     for (int i = 0; i < descTuple.size(); i++) {
 155       if (i != 0) {
 156         id += ",";
 157       }
 158       id += descTuple.get(i).getSymbol();
 159     }
 160     id += ">";
 161
 162     if (compLoc != null) {
 163       id += " " + compLoc;
 164     }
 165
 166     // if (isReturn()) {
 167     // property += "R";
 168     // }
 169     //
 170     // if (isSkeleton()) {
 171     // property += "S";
 172     // }
 173
 174     if (property.length() > 0) {
 175       property = " [" + property + "]";
 176     }
 177
 178     return id + property;
 179   }
 180
 181   public void setDeclarationNode() {
 182     isDeclarationNode = true;
 183   }
 184
 185   public boolean isDeclaratonNode() {
 186     return isDeclarationNode;
 187   }
 188
 189   public NTuple<Descriptor> getCurrentDescTuple() {
 190
 191     if (compLoc == null) {
 192       return descTuple;
 193     }
 194
 195     NTuple<Descriptor> curDescTuple = new NTuple<Descriptor>();
 196     for (int i = 0; i < compLoc.getSize(); i++) {
 197       Location locElement = compLoc.get(i);
 198       curDescTuple.add(locElement.getLocDescriptor());
 199     }
 200     return curDescTuple;
 201   }
 202
 203   public boolean isSkeleton() {
 204     return isSkeleton;
 205   }
 206
 207   public void setSkeleton(boolean isSkeleton) {
 208     this.isSkeleton = isSkeleton;
 209   }
 210
 211 }