coins.aflow
Class FindReach

java.lang.Object
  coins.aflow.util.AnalAdapter
      coins.aflow.FlowAdapter
          coins.aflow.FindReach

All Implemented Interfaces:

Analyzer

Direct Known Subclasses:

FindPReach

public abstract class FindReach

extends FlowAdapter

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindReach(FlowResults pResults)

Method Summary

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)

Methods inherited from class coins.aflow.FlowAdapter

find, 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

FindReach

public FindReach(FlowResults pResults)

Method Detail

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)