X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FNodeTupleSet.java;h=52384828de15df06bbe46a614b647041a1675a73;hp=c8e80cb75513f71c74e2347a9cf3c1e2d95a239c;hb=8d750e51bc5fa6b54ed568859dd8a6a25ad9e4c4;hpb=9dfdca00acf795117136425841493a1b0f036f10

diff --git a/Robust/src/Analysis/SSJava/NodeTupleSet.java b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index c8e80cb7..52384828 100644
--- a/Robust/src/Analysis/SSJava/NodeTupleSet.java
+++ b/Robust/src/Analysis/SSJava/NodeTupleSet.java
@@ -14,6 +14,8 @@ public class NodeTupleSet {
 
   private ArrayList<NTuple<Location>> globalLocTupleList;
 
+  private NTuple<Descriptor> baseDescTuple;
+
   public NodeTupleSet() {
     list = new ArrayList<NTuple<Descriptor>>();
     globalLocTupleList = new ArrayList<NTuple<Location>>();
@@ -31,10 +33,24 @@ public class NodeTupleSet {
     list.add(tuple);
   }
 
+  public void setMethodInvokeBaseDescTuple(NTuple<Descriptor> in) {
+    baseDescTuple = in;
+  }
+
+  public NTuple<Descriptor> getBaseDesc() {
+    return baseDescTuple;
+  }
+
   public void addGlobalFlowTuple(NTuple<Location> tuple) {
+    System.out.println("-----add global value flow tuple=" + tuple);
     globalLocTupleList.add(tuple);
   }
 
+  public void addGlobalFlowTupleSet(ArrayList<NTuple<Location>> in) {
+    System.out.println("-----add global value flow in=" + in);
+    globalLocTupleList.addAll(in);
+  }
+
   public Iterator<NTuple<Location>> globalIterator() {
     return globalLocTupleList.iterator();
   }
@@ -88,6 +104,10 @@ public class NodeTupleSet {
     globalLocTupleList = in;
   }
 
+  public ArrayList<NTuple<Location>> getGlobalLocTupleSet() {
+    return globalLocTupleList;
+  }
+
   private void setDescTupleList(ArrayList<NTuple<Descriptor>> in) {
     list = in;
   }