Package soot.jimple.toolkits.annotation.purity

Interface Summary

Interface	Description
PurityNode	Interface shared by all kinds of nodes in a PurityGraph.
SootMethodFilter	Allows specifying which SootMethod you want to analyse in a AbstractInterproceduralAnalysis.

Class Summary

Class	Description
AbstractInterproceduralAnalysis<S>	Inter-procedural iterator skeleton for summary-based analysis A "summary" is an abstract element associated to each method that fully models the effect of calling the method.
DirectedCallGraph	Builds a DirectedGraph from a CallGraph and SootMethodFilter.
PurityAnalysis	Purity analysis phase.
PurityEdge	An edge in a purity graph.
PurityGlobalNode	The GBL node.
PurityGraph	Purity graphs are mutable structures that are updated in-place.
PurityGraphBox	Simple box class that encapsulates a reference to a PurityGraph.
PurityInterproceduralAnalysis
PurityIntraproceduralAnalysis	Intra-procedural purity-graph analysis.
PurityMethodNode	Kind of Stmt inside node, but global to the method.
PurityParamNode	A node representing a method parameter.
PurityStmtNode	A node created dynamically and attached to a statement Stmt.
PurityThisNode	A node representing the this parameter.