|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
java.lang.Object | +--coins.aflow.MakeControlFlowGraph
フィールドの概要 | |
FlowRoot |
flowRoot
|
protected FlowResults |
fResults
|
(パッケージプライベート) SubpFlow |
fSubpFlow
|
IoRoot |
ioRoot
|
コンストラクタの概要 | |
(パッケージプライベート) |
MakeControlFlowGraph(FlowResults pResults)
Creates new MakeControlFlowGraph |
メソッドの概要 | |
(パッケージプライベート) void |
addEdge(BBlock ppred,
BBlock psucc)
addEdge: Add an edge between the given BBlocks. |
(パッケージプライベート) void |
deleteEdge(BBlock pBBlock)
|
int |
domBitLookUp(int pBitPos)
domBitLookUp: Maps the bit position in BBlockVector to the BBlockNumber. |
void |
find(SubpFlow pSubpFlow)
Make a new control flow graph. |
(パッケージプライベート) BBlock |
findEntryBlock()
|
(パッケージプライベート) BBlock |
findExitBlock()
Finds the exit BBlock. |
(パッケージプライベート) abstract void |
makeControlFlowGraph(SubpDefinition pSubpDef,
SubpFlow pSubpFlow)
|
(パッケージプライベート) void |
recordReachableBBlocks()
Records the BBlocks in the flow in the order suitable for solving data flow equations. |
(パッケージプライベート) void |
unifyBBlocks()
|
クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
フィールドの詳細 |
SubpFlow fSubpFlow
protected FlowResults fResults
public final FlowRoot flowRoot
public final IoRoot ioRoot
コンストラクタの詳細 |
MakeControlFlowGraph(FlowResults pResults)
メソッドの詳細 |
public void find(SubpFlow pSubpFlow)
abstract void makeControlFlowGraph(SubpDefinition pSubpDef, SubpFlow pSubpFlow)
BBlock findEntryBlock()
BBlock findExitBlock()
void addEdge(BBlock ppred, BBlock psucc)
void deleteEdge(BBlock pBBlock)
void recordReachableBBlocks()
public int domBitLookUp(int pBitPos)
void unifyBBlocks()
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |