coins.aflow
Class FindEKill

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

All Implemented Interfaces:

Analyzer

Direct Known Subclasses:

FindPEKill

public abstract class FindEKill

extends FlowAdapter

FindEKill Extended by FindPEKill.

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindEKill(FlowResults pResults)

Method Summary

protected abstract void	addEKill(java.util.Set pEKillSet, FlowExpId pFlowExpId, BBlock pBBlock)
protected abstract void	addEKill(java.util.Set pEKillSet, FlowExpId pFlowExpId, BBlock pBBlock, RecordAlias pRecordAlias) Finds the EKill vector for pBBlock considering alias.
void	find(BBlock pBBlock) Finds the EKill vector for pBBlock.
void	find(SetRefRepr pSetRefRepr)
void	find(SubpFlow pSubpFlow) Finds the EKill vectors for all the BBlocks in pSubpFlow.
protected abstract boolean	kills(SetRefRepr pSetRefRepr, FlowExpId pFlowExpId)
protected abstract boolean	killsByAlias(SetRefRepr pSetRefRepr, FlowExpId pFlowExpId, RecordAlias pRecordAlias)
protected abstract void	register(BBlock pBBlock, ExpVector pEKill)
protected abstract void	register(SetRefRepr pSetRefRepr, ExpVector pEKill)

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

FindEKill

public FindEKill(FlowResults pResults)

Method Detail

find

public void find(SubpFlow pSubpFlow)

Finds the EKill vectors for all the BBlocks in pSubpFlow.

find

public void find(BBlock pBBlock)

Finds the EKill vector for pBBlock.

find

public void find(SetRefRepr pSetRefRepr)

addEKill

protected abstract void addEKill(java.util.Set pEKillSet,
                                 FlowExpId pFlowExpId,
                                 BBlock pBBlock,
                                 RecordAlias pRecordAlias)

Finds the EKill vector for pBBlock considering alias.

killsByAlias

protected abstract boolean killsByAlias(SetRefRepr pSetRefRepr,
                                        FlowExpId pFlowExpId,
                                        RecordAlias pRecordAlias)

addEKill

protected abstract void addEKill(java.util.Set pEKillSet,
                                 FlowExpId pFlowExpId,
                                 BBlock pBBlock)

kills

protected abstract boolean kills(SetRefRepr pSetRefRepr,
                                 FlowExpId pFlowExpId)

register

protected abstract void register(BBlock pBBlock,
                                 ExpVector pEKill)

register

protected abstract void register(SetRefRepr pSetRefRepr,
                                 ExpVector pEKill)