From 98d09d94663b4092b2d083dd09c149fce7b32c6f Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 17 Apr 2009 19:17:08 +0000
Subject: [PATCH] updates

---
 Robust/src/Analysis/CallGraph/CallGraph.java | 23 +++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/CallGraph/CallGraph.java b/Robust/src/Analysis/CallGraph/CallGraph.java
index 7b011300..6afc89f6 100644
--- a/Robust/src/Analysis/CallGraph/CallGraph.java
+++ b/Robust/src/Analysis/CallGraph/CallGraph.java
@@ -136,13 +136,34 @@ public class CallGraph {
       for(Iterator it=s.iterator(); it.hasNext();) {
 	MethodDescriptor md=(MethodDescriptor)it.next();
 	if( !found.contains(md) ) {
-	  found.contains(md);
 	  ns.addAll(getMoreMethodCalls(found, md));
 	}
       }
     return ns;
   }
 
+  /** Returns all methods transitively callable from d */
+
+  public Set getAllMethods(Descriptor d) {
+    HashSet tovisit=new HashSet();
+    tovisit.add(d);
+    HashSet callable=new HashSet();
+    while(!tovisit.isEmpty()) {
+      Descriptor md=(Descriptor)tovisit.iterator().next();
+      tovisit.remove(md);
+      Set s=(Set)mapCaller2CalleeSet.get(md);
+      if (s!=null) {
+	for(Iterator it=s.iterator(); it.hasNext();) {
+	  MethodDescriptor md2=(MethodDescriptor)it.next();
+	  if( !callable.contains(md2) ) {
+	    callable.add(md2);
+	    tovisit.add(md2);
+	  }
+	}
+      }
+    }
+    return callable;
+  }
 
   private void buildGraph() {
     Iterator it=state.getClassSymbolTable().getDescriptorsIterator();
-- 
2.34.1