|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
java.lang.Object | +--coins.backend.ana.DataFlowAnalysis
Data Flow Analysis Tool
フィールドの概要 | |
protected Function |
function
|
protected boolean |
isForward
|
protected int |
timeStamp
Copy of CFG timestamp to be analyzed. |
コンストラクタの概要 | |
DataFlowAnalysis(Function f)
Solve data flow equations for Function f. |
メソッドの概要 | |
(パッケージプライベート) abstract void |
confluence(BasicBlk blk)
Supply confluence operator for block blk. |
(パッケージプライベート) abstract void |
initialize()
Initialize problem-oriented data structure. |
boolean |
isUpToDate()
Return true if this analysis is up to date. |
(パッケージプライベート) abstract boolean |
transfer(BasicBlk blk)
Supply transfer function for block blk. |
(パッケージプライベート) abstract void |
windUp()
Finalize problem-oriented data structure. |
クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
インタフェース coins.backend.LocalAnalysis から継承したメソッド |
printAfterBlock, printAfterFunction, printAfterStmt, printBeforeBlock, printBeforeFunction, printBeforeStmt |
フィールドの詳細 |
protected int timeStamp
protected Function function
protected boolean isForward
コンストラクタの詳細 |
public DataFlowAnalysis(Function f)
メソッドの詳細 |
public boolean isUpToDate()
LocalAnalysis
内の isUpToDate
abstract void initialize()
abstract void confluence(BasicBlk blk)
abstract boolean transfer(BasicBlk blk)
abstract void windUp()
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |