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.


フィールドの概要
 HIR dummySettingByParam
           
 HIR dummyUninitialization
           
(パッケージプライベート)  java.util.List[] fDominatorListsOfSubp
           
(パッケージプライベート)  TreeStructure fDominatorTree
           
 FlowRoot flowRoot
           
(パッケージプライベート)  java.util.List[] fPostDominatorListsOfSubp
           
(パッケージプライベート)  TreeStructure fPostDominatorTree
           
protected  FlowResults fResults
           
protected  SubpFlow fSubpFlow
           
protected  IoRoot ioRoot
           
 
コンストラクタの概要
FlowAdapter(FlowRoot pFlowRoot)
           
 
メソッドの概要
 java.util.List getDominators(BBlock pBBlock)
           
 FlowResults getFlowResults()
           
 java.util.List getPostDominators(BBlock pBBlock)
           
 TreeStructure makeDominatorTreeFor(java.util.List pBBlocks, BBlock pEntry, boolean pIsDom)
          Makes a (post)dominator tree for the given list of BBlocks.
protected  boolean prepareDominators()
           
protected  boolean preparePostDominators()
           
 void setFlowResults(FlowResults pResults)
           
 
クラス 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()