coins.aflow
クラス FindReach
java.lang.Object
|
+--coins.aflow.util.AnalAdapter
|
+--coins.aflow.FlowAdapter
|
+--coins.aflow.FindReach
- すべての実装インタフェース:
- Analyzer
- 直系の既知のサブクラス:
- FindPReach
- public abstract class FindReach
- extends FlowAdapter
クラス 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
BBlock
s 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)