coins.aflow
Class FindDef

java.lang.Object
  extended bycoins.aflow.util.AnalAdapter
      extended bycoins.aflow.FlowAdapter
          extended bycoins.aflow.FindDef
All Implemented Interfaces:
Analyzer
Direct Known Subclasses:
FindPDef

public abstract class FindDef
extends FlowAdapter


Field Summary
 
Fields inherited from class coins.aflow.FlowAdapter
flow, flowRoot, fResults, hirRoot, ioRoot, symRoot
 
Constructor Summary
FindDef(FlowResults pResults)
           
 
Method Summary
protected abstract  boolean addDefs(java.util.Set pDefSet, SetRefRepr pSetRefRepr)
           
 void find()
          Performs the analysis.
 void find(BBlock pBBlock)
          Finds the Def vector for pBBlock.
 void find(SubpFlow pSubpFlow)
          Finds the Def vectors for all the BBlocks in pSubpFlow.
protected abstract  void register(BBlock pBBlock, DefVector pVect)
           
 
Methods inherited from class coins.aflow.FlowAdapter
find, find, find, find, find
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FindDef

public FindDef(FlowResults pResults)
Method Detail

find

public void find()
Description copied from interface: Analyzer
Performs the analysis.

Specified by:
find in interface Analyzer
Overrides:
find in class FlowAdapter

find

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


find

public void find(BBlock pBBlock)
Finds the Def vector for pBBlock.


addDefs

protected abstract boolean addDefs(java.util.Set pDefSet,
                                   SetRefRepr pSetRefRepr)

register

protected abstract void register(BBlock pBBlock,
                                 DefVector pVect)