fix a bug for Taint similar to ReachState, when either is an element of an ExistPred...
[IRC.git] / Robust / src / Analysis / SSJava / VarID.java
1 package Analysis.SSJava;
2
3 import java.util.ArrayList;
4 import IR.Descriptor;
5
6 public class VarID {
7
8   // contains field and var descriptors
9   // given the case a.b.f it contains descriptors for a,b, and f
10   private ArrayList<Descriptor> var;
11   // properties of ID
12   private boolean isThis;
13   private boolean isGlobal;
14   private boolean isTop;
15
16   public VarID(Descriptor var) {
17     this.var = new ArrayList<Descriptor>();
18     this.var.add(var);
19     isThis = false;
20     isGlobal = false;
21     isTop = false;
22   }
23
24   public void addAccess(Descriptor var) {
25     this.var.add(var);
26   }
27
28   public void setThis() {
29     isThis = true;
30   }
31
32   public void setGlobal() {
33     isGlobal = true;
34   }
35
36   public void setTop() {
37     isTop = true;
38   }
39
40   public String toString() {
41     String toReturn = "";
42     for (Descriptor d : var)
43       toReturn += d.toString() + " ";
44     return toReturn;
45   }
46
47   public void setReturn() {
48     //interim fixes
49   }
50 }