coins.aflow
Class FindKill

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

All Implemented Interfaces:

Analyzer

Direct Known Subclasses:

FindDKill

public abstract class FindKill

extends FlowAdapter

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindKill(FlowResults pResults)

Method Summary

void	find(BBlock pBBlock) Finds and sets the Kill vector for the given BBlock using the Defined vector for that BBlock.
void	find(SetRefRepr pSetRefRepr)
void	find(SubpFlow pSubpFlow)
protected abstract DefVector	getKill(SetRefRepr pSetRefRepr)
protected abstract boolean	kills(SetRefRepr pKiller, SetRefRepr pKillee)
protected abstract boolean	killsByAlias(SetRefRepr pKiller, SetRefRepr pKillee, RecordAlias pRecordAlias)
protected abstract void	register(BBlock pBBlock, DefVector pDefVect)
protected abstract void	register(SetRefRepr pSetRefRepr, DefVector pDefVect)

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

FindKill

public FindKill(FlowResults pResults)

Method Detail

find

public void find(SubpFlow pSubpFlow)

find

public void find(BBlock pBBlock)

Finds and sets the Kill vector for the given BBlock using the Defined vector for that BBlock.

Parameters:

pBBlock - BBlock whose Kill vector to find.

find

public void find(SetRefRepr pSetRefRepr)

killsByAlias

protected abstract boolean killsByAlias(SetRefRepr pKiller,
                                        SetRefRepr pKillee,
                                        RecordAlias pRecordAlias)

getKill

protected abstract DefVector getKill(SetRefRepr pSetRefRepr)

kills

protected abstract boolean kills(SetRefRepr pKiller,
                                 SetRefRepr pKillee)

register

protected abstract void register(SetRefRepr pSetRefRepr,
                                 DefVector pDefVect)

register

protected abstract void register(BBlock pBBlock,
                                 DefVector pDefVect)