coins.aflow
クラス MakeControlFlowGraph

java.lang.Object
  |
  +--coins.aflow.MakeControlFlowGraph
直系の既知のサブクラス:
MakeControlFlowGraphHir

public abstract class MakeControlFlowGraph
extends java.lang.Object


フィールドの概要
 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
 

フィールドの詳細

fSubpFlow

SubpFlow fSubpFlow

fResults

protected FlowResults fResults

flowRoot

public final FlowRoot flowRoot

ioRoot

public final IoRoot ioRoot
コンストラクタの詳細

MakeControlFlowGraph

MakeControlFlowGraph(FlowResults pResults)
Creates new MakeControlFlowGraph

メソッドの詳細

find

public void find(SubpFlow pSubpFlow)
Make a new control flow graph.


makeControlFlowGraph

abstract void makeControlFlowGraph(SubpDefinition pSubpDef,
                                   SubpFlow pSubpFlow)

findEntryBlock

BBlock findEntryBlock()

findExitBlock

BBlock findExitBlock()
Finds the exit BBlock.


addEdge

void addEdge(BBlock ppred,
             BBlock psucc)
addEdge: Add an edge between the given BBlocks.


deleteEdge

void deleteEdge(BBlock pBBlock)

recordReachableBBlocks

void recordReachableBBlocks()
Records the BBlocks in the flow in the order suitable for solving data flow equations. BBlocks that are never visited are not included.


domBitLookUp

public int domBitLookUp(int pBitPos)
domBitLookUp: Maps the bit position in BBlockVector to the BBlockNumber.


unifyBBlocks

void unifyBBlocks()