coins.aflow
Class FindPReach

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

All Implemented Interfaces:

Analyzer

public class FindPReach

extends FindReach

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindPReach(FlowResults pResults)

Method Summary

protected boolean	defs(SetRefRepr pSetRefRepr)
protected DefVector	getDef(BBlock pBBlock)
protected DefVector	getKill(BBlock pBBlock)
protected DefVector	getKill(SetRefRepr pSetRefRepr)
protected DefVector	getReach(BBlock pBBlock)
protected DefVector	getReach(SetRefRepr pSetRefRepr)
protected void	register(BBlock pBBlock, DefVector pVect)
protected void	register(SetRefRepr pSetRefRepr, DefVector pDefVector)

Methods inherited from class coins.aflow.FindReach

find, find, find

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

FindPReach

public FindPReach(FlowResults pResults)

Method Detail

getDef

protected DefVector getDef(BBlock pBBlock)

Specified by:

getDef in class FindReach

getKill

protected DefVector getKill(BBlock pBBlock)

Specified by:

getKill in class FindReach

getReach

protected DefVector getReach(BBlock pBBlock)

Specified by:

getReach in class FindReach

register

protected void register(BBlock pBBlock,
                        DefVector pVect)

Specified by:

register in class FindReach

getKill

protected DefVector getKill(SetRefRepr pSetRefRepr)

Specified by:

getKill in class FindReach

getReach

protected DefVector getReach(SetRefRepr pSetRefRepr)

Specified by:

getReach in class FindReach

register

protected void register(SetRefRepr pSetRefRepr,
                        DefVector pDefVector)

Specified by:

register in class FindReach

defs

protected boolean defs(SetRefRepr pSetRefRepr)

Specified by:

defs in class FindReach