coins.backend.ana
クラス DataFlowAnalysis

java.lang.Object
  |
  +--coins.backend.ana.DataFlowAnalysis
すべての実装インタフェース:
LocalAnalysis
直系の既知のサブクラス:
LiveVariableBitMap

public abstract class DataFlowAnalysis
extends java.lang.Object
implements LocalAnalysis

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
 

フィールドの詳細

timeStamp

protected int timeStamp
Copy of CFG timestamp to be analyzed.


function

protected Function function

isForward

protected boolean isForward
コンストラクタの詳細

DataFlowAnalysis

public DataFlowAnalysis(Function f)
Solve data flow equations for Function f.

メソッドの詳細

isUpToDate

public boolean isUpToDate()
Return true if this analysis is up to date.

定義:
インタフェース LocalAnalysis 内の isUpToDate

initialize

abstract void initialize()
Initialize problem-oriented data structure.


confluence

abstract void confluence(BasicBlk blk)
Supply confluence operator for block blk. It is either Meet or Join.


transfer

abstract boolean transfer(BasicBlk blk)
Supply transfer function for block blk.


windUp

abstract void windUp()
Finalize problem-oriented data structure.