coins.aflow
クラス FindReach

java.lang.Object
  |
  +--coins.aflow.util.AnalAdapter
        |
        +--coins.aflow.FlowAdapter
              |
              +--coins.aflow.FindReach
すべての実装インタフェース:
Analyzer
直系の既知のサブクラス:
FindPReach

public abstract class FindReach
extends FlowAdapter


フィールドの概要
 
クラス coins.aflow.FlowAdapter から継承したフィールド
flow, flowRoot, fResults, hirRoot, ioRoot, symRoot
 
コンストラクタの概要
FindReach(FlowResults pResults)
           
 
メソッドの概要
protected abstract  boolean defs(SetRefRepr pSetRefRepr)
           
 void find(BBlock pBBlock)
           
 void find(SetRefRepr pSetRefRepr)
           
 void find(SubpFlow pSubpFlow)
          Finds Reach vectors for all the BBlocks in pSubpFlow.
protected abstract  DefVector getDef(BBlock pBBlock)
           
protected abstract  DefVector getKill(BBlock pBBlock)
           
protected abstract  DefVector getKill(SetRefRepr pSetRefRepr)
           
protected abstract  DefVector getReach(BBlock pBBlock)
           
protected abstract  DefVector getReach(SetRefRepr pSetRefRepr)
           
protected abstract  void register(BBlock pBBlock, DefVector pVect)
           
protected abstract  void register(SetRefRepr pSetRefRepr, DefVector pDefVector)
           
 
クラス coins.aflow.FlowAdapter から継承したメソッド
find, find, find, find, find, find
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

コンストラクタの詳細

FindReach

public FindReach(FlowResults pResults)
メソッドの詳細

find

public void find(SubpFlow pSubpFlow)
Finds Reach vectors for all the BBlocks in pSubpFlow.


find

public void find(BBlock pBBlock)

find

public void find(SetRefRepr pSetRefRepr)

defs

protected abstract boolean defs(SetRefRepr pSetRefRepr)

getDef

protected abstract DefVector getDef(BBlock pBBlock)

getKill

protected abstract DefVector getKill(BBlock pBBlock)

getReach

protected abstract DefVector getReach(BBlock pBBlock)

register

protected abstract void register(BBlock pBBlock,
                                 DefVector pVect)

getKill

protected abstract DefVector getKill(SetRefRepr pSetRefRepr)

getReach

protected abstract DefVector getReach(SetRefRepr pSetRefRepr)

register

protected abstract void register(SetRefRepr pSetRefRepr,
                                 DefVector pDefVector)