coins.flow
クラス ControlFlowImpl

java.lang.Object
  |
  +--coins.flow.ControlFlowImpl
すべての実装インタフェース:
ControlFlow

public class ControlFlowImpl
extends java.lang.Object
implements ControlFlow


フィールドの概要
 int fDbgLevel
           
 BBlockVector[] fDom
           
 Flow flow
           
 FlowRoot flowRoot
           
 BBlockVector[] fPostDom
           
 BBlockVector[] fPostsDom
           
 BBlockVector[] fsDom
           
 IoRoot ioRoot
           
 
コンストラクタの概要
ControlFlowImpl(FlowRoot pFlowRoot, SubpFlow pFlow, SubpDefinition pSubDef)
          Make control flow graph.
 
メソッドの概要
 int domBitLookUp(int pBitPos)
          domBitLookUp Get the basic block number from the bit position in BBlockVector.
 int domLookUp(int ppNo)
          Find bit position in BBlockVector from basic block number.
 ShowControlFlow getShowControlFlow()
          Get an instance of ShowCOntrolFlow.
protected  boolean isEndedWithJump(Stmt pStmt)
           
 boolean linkBBlockInDfoAndInverseDfo()
          linkBBlockInDfoAndInverseDfo
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

flowRoot

public final FlowRoot flowRoot

ioRoot

public final IoRoot ioRoot

flow

public final Flow flow

fDom

public BBlockVector[] fDom

fsDom

public BBlockVector[] fsDom

fPostDom

public BBlockVector[] fPostDom

fPostsDom

public BBlockVector[] fPostsDom

fDbgLevel

public final int fDbgLevel
コンストラクタの詳細

ControlFlowImpl

public ControlFlowImpl(FlowRoot pFlowRoot,
                       SubpFlow pFlow,
                       SubpDefinition pSubDef)
Make control flow graph.

メソッドの詳細

getShowControlFlow

public ShowControlFlow getShowControlFlow()
Get an instance of ShowCOntrolFlow.

定義:
インタフェース ControlFlow 内の getShowControlFlow

domLookUp

public int domLookUp(int ppNo)
Find bit position in BBlockVector from basic block number.

定義:
インタフェース ControlFlow 内の domLookUp

domBitLookUp

public int domBitLookUp(int pBitPos)
domBitLookUp Get the basic block number from the bit position in BBlockVector.

定義:
インタフェース ControlFlow 内の domBitLookUp

linkBBlockInDfoAndInverseDfo

public boolean linkBBlockInDfoAndInverseDfo()
linkBBlockInDfoAndInverseDfo

戻り値:
true if normal, false if virtual edge to exit block is created.

isEndedWithJump

protected boolean isEndedWithJump(Stmt pStmt)