|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||
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 内の getFlowAnalSymDataFlowImpl 内の getFlowAnalSympublic void findEGen(BBlock pBBlock)
DataFlow 内の findEGenDataFlowImpl 内の findEGenpBBlock - BBlock whose EGen vector to find.public void findEKill(BBlock pBBlock)
DataFlow 内の findEKillDataFlowImpl 内の findEKillpBBlock - BBlock whose EGen vector to be found.public java.util.Set getUseFlowAnalSymsForHir(HIR pSubtree)
DataFlow 内の getUseFlowAnalSymsForHirDataFlowImpl 内の getUseFlowAnalSymsForHirpSubtree - IR node that is the root of the subtree to examine.
public java.util.Set getUseFlowAnalSyms(FlowAnalSym pFlowAnalSym)
DataFlowImpl 内の getUseFlowAnalSyms
|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||