changes: fixes the case that a shared location appears in the middle of a composite...

[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..450849a2c0d9d861f32065c806c4b6853d2dba28 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();
   }
@@ -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;
   }