soot.shimple

Class DefaultShimpleFactory

java.lang.Object

soot.shimple.DefaultShimpleFactory

All Implemented Interfaces:

ShimpleFactory

public class DefaultShimpleFactory
extends java.lang.Object
implements ShimpleFactory

Field Summary

Fields

Modifier and Type	Field and Description
protected BlockGraph	bg
protected Body	body
protected CallGraph	cg
protected DominatorsFinder<Block>	dFinder
protected DominanceFrontier<Block>	dFrontier
protected DominatorTree<Block>	dTree
protected GlobalValueNumberer	gvn
protected PointsToAnalysis	pta
protected ReversibleGraph<Block>	rbg
protected DominatorsFinder<Block>	rdFinder
protected DominanceFrontier<Block>	rdFrontier
protected DominatorTree<Block>	rdTree
protected SideEffectAnalysis	sea
protected UnitGraph	ug

Constructor Summary

Constructors

Constructor and Description
DefaultShimpleFactory(Body body)

Method Summary

Modifier and Type	Method and Description
void	clearCache() Constructors should memoize their return value.
BlockGraph	getBlockGraph()
Body	getBody()
DominanceFrontier<Block>	getDominanceFrontier()
DominatorsFinder<Block>	getDominatorsFinder()
DominatorTree<Block>	getDominatorTree()
GlobalValueNumberer	getGlobalValueNumberer()
ReversibleGraph<Block>	getReverseBlockGraph()
DominanceFrontier<Block>	getReverseDominanceFrontier()
DominatorsFinder<Block>	getReverseDominatorsFinder()
DominatorTree<Block>	getReverseDominatorTree()
UnitGraph	getUnitGraph()

Methods inherited from class java.lang.Object

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

Field Detail

body

protected final Body body

bg

protected BlockGraph bg

ug

protected UnitGraph ug

dFinder

protected DominatorsFinder<Block> dFinder

dTree

protected DominatorTree<Block> dTree

dFrontier

protected DominanceFrontier<Block> dFrontier

pta

protected PointsToAnalysis pta

cg

protected CallGraph cg

sea

protected SideEffectAnalysis sea

gvn

protected GlobalValueNumberer gvn

rbg

protected ReversibleGraph<Block> rbg

rdTree

protected DominatorTree<Block> rdTree

rdFrontier

protected DominanceFrontier<Block> rdFrontier

rdFinder

protected DominatorsFinder<Block> rdFinder

Constructor Detail

DefaultShimpleFactory

public DefaultShimpleFactory(Body body)

Method Detail

clearCache

public void clearCache()

Description copied from interface: ShimpleFactory

Constructors should memoize their return value. Call clearCache() to force recomputations if body has changed and setBody() hasn't been called again.

Specified by:

clearCache in interface ShimpleFactory

getBody

public Body getBody()

getReverseBlockGraph

public ReversibleGraph<Block> getReverseBlockGraph()

Specified by:

getReverseBlockGraph in interface ShimpleFactory

getReverseDominatorsFinder

public DominatorsFinder<Block> getReverseDominatorsFinder()

Specified by:

getReverseDominatorsFinder in interface ShimpleFactory

getReverseDominatorTree

public DominatorTree<Block> getReverseDominatorTree()

Specified by:

getReverseDominatorTree in interface ShimpleFactory

getReverseDominanceFrontier

public DominanceFrontier<Block> getReverseDominanceFrontier()

Specified by:

getReverseDominanceFrontier in interface ShimpleFactory

getBlockGraph

public BlockGraph getBlockGraph()

Specified by:

getBlockGraph in interface ShimpleFactory

getUnitGraph

public UnitGraph getUnitGraph()

Specified by:

getUnitGraph in interface ShimpleFactory

getDominatorsFinder

public DominatorsFinder<Block> getDominatorsFinder()

Specified by:

getDominatorsFinder in interface ShimpleFactory

getDominatorTree

public DominatorTree<Block> getDominatorTree()

Specified by:

getDominatorTree in interface ShimpleFactory

getDominanceFrontier

public DominanceFrontier<Block> getDominanceFrontier()

Specified by:

getDominanceFrontier in interface ShimpleFactory

getGlobalValueNumberer

public GlobalValueNumberer getGlobalValueNumberer()

Specified by:

getGlobalValueNumberer in interface ShimpleFactory