soot.jimple.toolkits.annotation.purity

Class DirectedCallGraph

java.lang.Object

soot.jimple.toolkits.annotation.purity.DirectedCallGraph

All Implemented Interfaces:

java.lang.Iterable<SootMethod>, DirectedGraph<SootMethod>

public class DirectedCallGraph
extends java.lang.Object
implements DirectedGraph<SootMethod>

Builds a DirectedGraph from a CallGraph and SootMethodFilter. This is used in AbstractInterproceduralAnalysis to construct a reverse pseudo topological order on which to iterate. You can specify a SootMethodFilter to trim the graph by cutting call edges. Methods filtered-out by the SootMethodFilter will not appear in the DirectedGraph!

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<SootMethod>	heads
protected java.util.Set<SootMethod>	nodes
protected java.util.Map<SootMethod,java.util.List<SootMethod>>	pred
protected int	size
protected java.util.Map<SootMethod,java.util.List<SootMethod>>	succ
protected java.util.List<SootMethod>	tails

Constructor Summary

Constructors

Constructor and Description
DirectedCallGraph(CallGraph cg, SootMethodFilter filter, java.util.Iterator<SootMethod> heads, boolean verbose) The constructor does all the work here.

Method Summary

Modifier and Type	Method and Description
java.util.List<SootMethod>	getHeads() You get a List of SootMethod.
java.util.List<SootMethod>	getPredsOf(SootMethod s) You get a List of SootMethod.
java.util.List<SootMethod>	getSuccsOf(SootMethod s) You get a List of SootMethod.
java.util.List<SootMethod>	getTails() You get a List of SootMethod.
java.util.Iterator<SootMethod>	iterator() You get an Iterator on SootMethod.
int	size() Returns the node count for this graph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

nodes

protected java.util.Set<SootMethod> nodes

succ

protected java.util.Map<SootMethod,java.util.List<SootMethod>> succ

pred

protected java.util.Map<SootMethod,java.util.List<SootMethod>> pred

heads

protected java.util.List<SootMethod> heads

tails

protected java.util.List<SootMethod> tails

size

protected int size

Constructor Detail

DirectedCallGraph

public DirectedCallGraph(CallGraph cg,
                         SootMethodFilter filter,
                         java.util.Iterator<SootMethod> heads,
                         boolean verbose)

The constructor does all the work here. After constructed, you can safely use all interface methods. Moreover, these methods should perform very fast... The DirectedGraph will only contain methods in call paths from a method in head and comprising only methods wanted by filter. Moreover, only concrete methods are put in the graph...

Parameters:

cg -

filter -

heads - is a List of SootMethod

verbose -

Method Detail

getHeads

public java.util.List<SootMethod> getHeads()

You get a List of SootMethod.

Specified by:

getHeads in interface DirectedGraph<SootMethod>

Returns:

getTails

public java.util.List<SootMethod> getTails()

You get a List of SootMethod.

Specified by:

getTails in interface DirectedGraph<SootMethod>

Returns:

iterator

public java.util.Iterator<SootMethod> iterator()

You get an Iterator on SootMethod.

Specified by:

iterator in interface java.lang.Iterable<SootMethod>

Specified by:

iterator in interface DirectedGraph<SootMethod>

Returns:

size

public int size()

Description copied from interface: DirectedGraph

Returns the node count for this graph.

Specified by:

size in interface DirectedGraph<SootMethod>

Returns:

getSuccsOf

public java.util.List<SootMethod> getSuccsOf(SootMethod s)

You get a List of SootMethod.

Specified by:

getSuccsOf in interface DirectedGraph<SootMethod>

Parameters:

s -

Returns:

getPredsOf

public java.util.List<SootMethod> getPredsOf(SootMethod s)

You get a List of SootMethod.

Specified by:

getPredsOf in interface DirectedGraph<SootMethod>

Parameters:

s -

Returns: