soot.jimple.toolkits.annotation.purity

Class DirectedCallGraph

java.lang.Object

soot.jimple.toolkits.annotation.purity.DirectedCallGraph

All Implemented Interfaces:

java.lang.Iterable, DirectedGraph

public class DirectedCallGraph
extends java.lang.Object
implements DirectedGraph

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 strarting 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	heads
protected java.util.Set	nodes
protected java.util.Map<java.lang.Object,java.util.List>	pred
protected int	size
protected java.util.Map<java.lang.Object,java.util.List>	succ
protected java.util.List	tails

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.List	getHeads() You get a List of SootMethod.
java.util.List	getPredsOf(java.lang.Object s) You get a List of SootMethod.
java.util.List	getSuccsOf(java.lang.Object s) You get a List of SootMethod.
java.util.List	getTails() You get a List of SootMethod.
java.util.Iterator	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 nodes

succ

protected java.util.Map<java.lang.Object,java.util.List> succ

pred

protected java.util.Map<java.lang.Object,java.util.List> pred

heads

protected java.util.List heads

tails

protected java.util.List tails

size

protected int size

Constructor Detail

DirectedCallGraph

public DirectedCallGraph(CallGraph cg,
                         SootMethodFilter filter,
                         java.util.Iterator 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 fastly... 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:

heads - is a List of SootMethod

Method Detail

getHeads

public java.util.List getHeads()

You get a List of SootMethod.

Specified by:

getHeads in interface DirectedGraph

getTails

public java.util.List getTails()

You get a List of SootMethod.

Specified by:

getTails in interface DirectedGraph

iterator

public java.util.Iterator iterator()

You get an Iterator on SootMethod.

Specified by:

iterator in interface java.lang.Iterable

Specified by:

iterator in interface DirectedGraph

size

public int size()

Description copied from interface: DirectedGraph

Returns the node count for this graph.

Specified by:

size in interface DirectedGraph

getSuccsOf

public java.util.List getSuccsOf(java.lang.Object s)

You get a List of SootMethod.

Specified by:

getSuccsOf in interface DirectedGraph

getPredsOf

public java.util.List getPredsOf(java.lang.Object s)

You get a List of SootMethod.

Specified by:

getPredsOf in interface DirectedGraph