changes.

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

diff --git a/Robust/src/Analysis/SSJava/GlobalFlowGraph.java b/Robust/src/Analysis/SSJava/GlobalFlowGraph.java
index 5a2595a4e9527a29f5fa8b34a6c408e40a315e72..bd0faa10eeff8ff525be6134bcee9169ae72b4b5 100644 (file)
--- a/Robust/src/Analysis/SSJava/GlobalFlowGraph.java
+++ b/Robust/src/Analysis/SSJava/GlobalFlowGraph.java
@@ -349,4 +349,20 @@ public class GlobalFlowGraph {
     }
   }
 
+  public Set<GlobalFlowNode> debug_getIncomingNodeSetFromPrefix(GlobalFlowNode node,
+      NTuple<Location> curPrefix) {
+
+    Set<GlobalFlowNode> result = new HashSet<GlobalFlowNode>();
+
+    Set<GlobalFlowNode> allIncomingNodeSet = getIncomingNodeSet(node);
+    for (Iterator iterator = allIncomingNodeSet.iterator(); iterator.hasNext();) {
+      GlobalFlowNode incomingNode = (GlobalFlowNode) iterator.next();
+      if (incomingNode.getLocTuple().startsWith(curPrefix)) {
+        result.add(incomingNode);
+      }
+    }
+
+    return result;
+  }
+
 }