|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
java.lang.Object | +--coins.flow.DataFlowImpl | +--coins.flow.DataFlowHirImpl
Implementation of the DataFlow interface for HIR.
There are some dependencies between the methods in this class.
For example, findReach() mustn't be called before both findDef() and findKill() have been called,
and findKill() in turn depends on the result of findDefined().
Access restrictions (or the like) that reflect these dependencies are not yet implemented. Please be careful in using.
DataFlowImpl.findAll()
method calls these methods in the correct order.
フィールドの概要 |
クラス coins.flow.DataFlowImpl から継承したフィールド |
DEF_INVERTED, DEF_ZERO, EXP_INVERTED, EXP_ZERO, fDbgFlow, fDefCount, fDefNodeIndexTable, fFlowAnalSymTable, flow, flowRoot, fRecordAlias, fShowDataFlow, fSubpFlow, fUndefinedUseNodesOfSym, hirRoot, ioRoot, showDataFlowByName, symRoot |
コンストラクタの概要 | |
DataFlowHirImpl(FlowRoot pFlowRoot,
HirSubpFlow pSubpFlow)
Constructs a DataFlow instance and prepares for DFA. |
メソッドの概要 | |
void |
findEGen(BBlock pBBlock)
Finds and sets the EGen vector for the given BBlock. |
void |
findEKill(BBlock pBBlock)
Finds and sets the EGen vector for the given BBlock. |
FlowAnalSym |
getFlowAnalSym(int ExpIndex)
getExpId |
java.util.Set |
getUseFlowAnalSyms(FlowAnalSym pFlowAnalSym)
Returns the Set of ExpIds that are contained in the given ExpId and are used. |
java.util.Set |
getUseFlowAnalSymsForHir(HIR pSubtree)
!! |
クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
コンストラクタの詳細 |
public DataFlowHirImpl(FlowRoot pFlowRoot, HirSubpFlow pSubpFlow)
メソッドの詳細 |
public FlowAnalSym getFlowAnalSym(int ExpIndex)
DataFlow
内の getFlowAnalSym
DataFlowImpl
内の getFlowAnalSym
public void findEGen(BBlock pBBlock)
DataFlow
内の findEGen
DataFlowImpl
内の findEGen
pBBlock
- BBlock whose EGen vector to find.public void findEKill(BBlock pBBlock)
DataFlow
内の findEKill
DataFlowImpl
内の findEKill
pBBlock
- BBlock whose EGen vector to be found.public java.util.Set getUseFlowAnalSymsForHir(HIR pSubtree)
DataFlow
内の getUseFlowAnalSymsForHir
DataFlowImpl
内の getUseFlowAnalSymsForHir
pSubtree
- IR node that is the root of the subtree to examine.
public java.util.Set getUseFlowAnalSyms(FlowAnalSym pFlowAnalSym)
DataFlowImpl
内の getUseFlowAnalSyms
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |