changes.

[IRC.git] / Robust / src / Analysis / SSJava / NodeTupleSet.java

diff --git a/Robust/src/Analysis/SSJava/NodeTupleSet.java b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index c8e80cb75513f71c74e2347a9cf3c1e2d95a239c..f614080d71f97ba3a8cb442f1a1aa27cf36d9623 100644 (file)
--- 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();
   }
@@ -87,6 +91,10 @@ public class NodeTupleSet {
   private void setGlobalLocTupleList(ArrayList<NTuple<Location>> in) {
     globalLocTupleList = in;
   }
+  
+  public ArrayList<NTuple<Location>> getGlobalLocTupleSet() {
+    return globalLocTupleList;
+  }
 
   private void setDescTupleList(ArrayList<NTuple<Descriptor>> in) {
     list = in;