Checkins

[IRC.git] / Robust / src / Analysis / CallGraph / CallGraph.java

diff --git a/Robust/src/Analysis/CallGraph/CallGraph.java b/Robust/src/Analysis/CallGraph/CallGraph.java
index 2b08617fc6a43cb4f5b02d0aba700493c3b6ac07..c8129723d07b131172621fb5f4d08ea5c9b890ce 100644 (file)
--- a/Robust/src/Analysis/CallGraph/CallGraph.java
+++ b/Robust/src/Analysis/CallGraph/CallGraph.java
@@ -64,6 +64,20 @@ public class CallGraph {
        return ns;
     }
 
+    /** Given a call to MethodDescriptor, lists the methods which
+        could actually be call by that method. */
+    public Set getMethodCalls(MethodDescriptor md) {
+       HashSet ns=new HashSet();
+       ns.add(md);
+       Set s=(Set)methodmap.get(md);
+       if (s!=null)
+           for(Iterator it=s.iterator();it.hasNext();) {
+               MethodDescriptor md2=(MethodDescriptor)it.next();
+               ns.addAll(getMethodCalls(md2));
+           }
+       return ns;
+    }
+
     private void buildGraph() { 
        Iterator it=state.getClassSymbolTable().getDescriptorsIterator();
        while(it.hasNext()) {