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.

Field Summary

Fields

Modifier and Type	Field and Description
protected QueueReader<MethodOrMethodContext>	allReachables
protected CallGraph	cg
protected java.util.Iterator<Edge>	edgeSource
protected Filter	filter
protected ChunkedQueue<MethodOrMethodContext>	reachables
protected java.util.Set<MethodOrMethodContext>	set
protected QueueReader<MethodOrMethodContext>	unprocessedMethods

Constructor Summary

Constructors

Constructor and Description
ReachableMethods(CallGraph graph, java.util.Collection<? extends MethodOrMethodContext> entryPoints)
ReachableMethods(CallGraph graph, java.util.Iterator<? extends MethodOrMethodContext> entryPoints)
ReachableMethods(CallGraph graph, java.util.Iterator<? extends MethodOrMethodContext> entryPoints, Filter filter)

Method Summary

Modifier and Type	Method and Description
protected void	addMethod(MethodOrMethodContext m)
protected void	addMethods(java.util.Iterator<? extends MethodOrMethodContext> methods)
boolean	contains(MethodOrMethodContext m) Returns true iff method is reachable.
QueueReader<MethodOrMethodContext>	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<MethodOrMethodContext>	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

Field Detail

cg

protected CallGraph cg

edgeSource

protected java.util.Iterator<Edge> edgeSource

reachables

protected final ChunkedQueue<MethodOrMethodContext> reachables

set

protected final java.util.Set<MethodOrMethodContext> set

unprocessedMethods

protected QueueReader<MethodOrMethodContext> unprocessedMethods

allReachables

protected final QueueReader<MethodOrMethodContext> allReachables

filter

protected Filter filter

Constructor Detail

ReachableMethods

public ReachableMethods(CallGraph graph,
                        java.util.Iterator<? extends MethodOrMethodContext> entryPoints)

ReachableMethods

public ReachableMethods(CallGraph graph,
                        java.util.Iterator<? extends MethodOrMethodContext> entryPoints,
                        Filter filter)

ReachableMethods

public ReachableMethods(CallGraph graph,
                        java.util.Collection<? extends MethodOrMethodContext> entryPoints)

Method Detail

addMethods

protected void addMethods(java.util.Iterator<? extends MethodOrMethodContext> methods)

addMethod

protected void addMethod(MethodOrMethodContext m)

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<MethodOrMethodContext> 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<MethodOrMethodContext> 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(MethodOrMethodContext m)

Returns true iff method is reachable.

size

public int size()

Returns the number of methods that are reachable.