soot.jimple.toolkits.callgraph
Class ReachableMethods

java.lang.Object
  |
  +--soot.jimple.toolkits.callgraph.ReachableMethods

public class ReachableMethods
extends java.lang.Object

Keeps track of the methods transitively reachable from the specified entry points through the given call graph edges.


Constructor Summary
ReachableMethods(CallGraph graph, java.util.Collection entryPoints)
           
ReachableMethods(CallGraph graph, java.util.Iterator entryPoints)
           
ReachableMethods(CallGraph graph, java.util.Iterator entryPoints, Filter filter)
           
 
Method Summary
 boolean contains(SootMethod m)
          Returns true iff method is reachable.
 QueueReader listener()
          Returns a QueueReader object containing all methods found reachable so far, and which will be informed of any new methods that are later found to be reachable.
 QueueReader newListener()
          Returns a QueueReader object which will contain ONLY NEW methods which will be found to be reachable, but not those that have already been found to be reachable.
 int size()
          Returns the number of methods that are reachable.
 void update()
          Causes the QueueReader objects to be filled up with any methods that have become reachable since the last call.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReachableMethods

public ReachableMethods(CallGraph graph,
                        java.util.Iterator entryPoints)

ReachableMethods

public ReachableMethods(CallGraph graph,
                        java.util.Iterator entryPoints,
                        Filter filter)

ReachableMethods

public ReachableMethods(CallGraph graph,
                        java.util.Collection entryPoints)
Method Detail

update

public void update()
Causes the QueueReader objects to be filled up with any methods that have become reachable since the last call.

listener

public QueueReader listener()
Returns a QueueReader object containing all methods found reachable so far, and which will be informed of any new methods that are later found to be reachable.

newListener

public QueueReader newListener()
Returns a QueueReader object which will contain ONLY NEW methods which will be found to be reachable, but not those that have already been found to be reachable.

contains

public boolean contains(SootMethod m)
Returns true iff method is reachable.

size

public int size()
Returns the number of methods that are reachable.