coins.flow
クラス FlowAdapter
java.lang.Object
|
+--coins.flow.FlowAdapter
- public class FlowAdapter
- extends java.lang.Object
FlowAdapter contains methods to expand the flow analysis capability.
A subclass of this may be added to afford new analysis requirements or
new methods commonly used in several cases may be added to this class
without disturbing other classes.
クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
flowRoot
public final FlowRoot flowRoot
ioRoot
protected IoRoot ioRoot
fSubpFlow
protected SubpFlow fSubpFlow
fResults
protected FlowResults fResults
dummyUninitialization
public final HIR dummyUninitialization
dummySettingByParam
public final HIR dummySettingByParam
fDominatorTree
TreeStructure fDominatorTree
fPostDominatorTree
TreeStructure fPostDominatorTree
fDominatorListsOfSubp
java.util.List[] fDominatorListsOfSubp
fPostDominatorListsOfSubp
java.util.List[] fPostDominatorListsOfSubp
FlowAdapter
public FlowAdapter(FlowRoot pFlowRoot)
getDominators
public java.util.List getDominators(BBlock pBBlock)
getPostDominators
public java.util.List getPostDominators(BBlock pBBlock)
makeDominatorTreeFor
public TreeStructure makeDominatorTreeFor(java.util.List pBBlocks,
BBlock pEntry,
boolean pIsDom)
- Makes a (post)dominator tree for the given list of BBlocks.
pEntry will be the root of the tree. The list of BBlockspBBlocks
should be connected and every BBlock should be reachable from
(should reach) pBBlock.
This method is a modified version of makeDominatorTreeFor
in coins.aflow.MakeDominatorTree.
- パラメータ:
pIsDom
- if true, find dominator tree,
otherwise, find postdominator tree.
- 戻り値:
- the resultant coins.flow.util.TreeStructure object.
prepareDominators
protected boolean prepareDominators()
preparePostDominators
protected boolean preparePostDominators()
setFlowResults
public void setFlowResults(FlowResults pResults)
getFlowResults
public FlowResults getFlowResults()