coins.mdf
クラス MacroFlowGraph.ControlBranch

java.lang.Object
  |
  +--coins.mdf.MacroFlowGraph.ControlBranch
含まれているクラス:
MacroFlowGraph

class MacroFlowGraph.ControlBranch
extends java.lang.Object

This class individuate each conditional branches.


コンストラクタの概要
(パッケージプライベート) MacroFlowGraph.ControlBranch(MacroFlowGraph mfg)
          Constructor: Collect the macro tasks which have the conditional branches and inidividuate them.
 
メソッドの概要
(パッケージプライベート)  MacroTask[] branchPair(int num)
          Get a pair of macro task, that consist of source and target of the conditional branch.
(パッケージプライベート)  int branchUniqueNum(MacroTask src, MacroTask dst)
          Get the unique number of the conditinal branches.
(パッケージプライベート)  int size()
          Get the number of macro tasks which have the conditional branches.
(パッケージプライベート)  int[] whichCond(MacroTask src, MacroTask dst)
          Get the decision which way to branch.
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

コンストラクタの詳細

MacroFlowGraph.ControlBranch

MacroFlowGraph.ControlBranch(MacroFlowGraph mfg)
Constructor: Collect the macro tasks which have the conditional branches and inidividuate them.

メソッドの詳細

size

int size()
Get the number of macro tasks which have the conditional branches.

戻り値:
the number of macro tasks which have the conditional branches

branchPair

MacroTask[] branchPair(int num)
Get a pair of macro task, that consist of source and target of the conditional branch. The first element of the array means the source, and the second element of the array means the target.

パラメータ:
num - The unique number for the conditional branches
戻り値:
The pair of the macro tasks

branchUniqueNum

int branchUniqueNum(MacroTask src,
                    MacroTask dst)
Get the unique number of the conditinal branches.

パラメータ:
src - The source macro task of the conditional branch
dst - The target macro task of the conditional branch
戻り値:
The unique number of the conditional branch

whichCond

int[] whichCond(MacroTask src,
                MacroTask dst)
Get the decision which way to branch.

パラメータ:
src - The macro task which `dst' is control depended
dst - The macro task which control depend on `src'
戻り値:
The list of decisions which are needed to reach from `src' to `dst' in flow.