X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FNodeTupleSet.java;h=450849a2c0d9d861f32065c806c4b6853d2dba28;hb=e7c8e9210252cff4bae7cb0551182bd179fa98a2;hp=c8e80cb75513f71c74e2347a9cf3c1e2d95a239c;hpb=2dcc891b7dfc2a791c10b820da51755813adefd7;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/NodeTupleSet.java b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index c8e80cb7..450849a2 100644
--- a/Robust/src/Analysis/SSJava/NodeTupleSet.java
+++ b/Robust/src/Analysis/SSJava/NodeTupleSet.java
@@ -35,6 +35,10 @@ public class NodeTupleSet {
     globalLocTupleList.add(tuple);
   }
 
+  public void addGlobalFlowTupleSet(ArrayList<NTuple<Location>> in) {
+    globalLocTupleList.addAll(in);
+  }
+
   public Iterator<NTuple<Location>> globalIterator() {
     return globalLocTupleList.iterator();
   }
@@ -88,6 +92,10 @@ public class NodeTupleSet {
     globalLocTupleList = in;
   }
 
+  public ArrayList<NTuple<Location>> getGlobalLocTupleSet() {
+    return globalLocTupleList;
+  }
+
   private void setDescTupleList(ArrayList<NTuple<Descriptor>> in) {
     list = in;
   }