coins.aflow
Class FindDefInDefOut

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

All Implemented Interfaces:

Analyzer

Direct Known Subclasses:

FindDDefInDefOut

public abstract class FindDefInDefOut

extends FlowAdapter

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindDefInDefOut(FlowResults pResults)
Creates new FindDefInDefOut

Method Summary

void	find(BBlock pBBlock)
void	find(SetRefRepr pSetRefRepr)
void	find(SubpFlow pSubpFlow) Finds DefIn and DefOut vectors for all the BBlocks in pSubpFlow.
protected abstract FlowAnalSymVector	getDefIn(BBlock pBBlock)
protected abstract FlowAnalSymVector	getDefIn(SetRefRepr pSetRefRepr)
protected abstract FlowAnalSymVector	getDefined(BBlock pBBlock)
protected abstract FlowAnalSymVector	getDefined(SetRefRepr pSetRefRepr)
protected abstract void	registerDefIn(BBlock pBBlock, FlowAnalSymVector pDefIn)
protected abstract void	registerDefIn(SetRefRepr pSetRefRepr, FlowAnalSymVector pDefIn)
protected abstract void	registerDefOut(BBlock pBBlock, FlowAnalSymVector pDefOut)

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

FindDefInDefOut

public FindDefInDefOut(FlowResults pResults)

Creates new FindDefInDefOut

Method Detail

find

public void find(SubpFlow pSubpFlow)

Finds DefIn and DefOut vectors for all the BBlocks in pSubpFlow.

find

public void find(BBlock pBBlock)

find

public void find(SetRefRepr pSetRefRepr)

registerDefIn

protected abstract void registerDefIn(SetRefRepr pSetRefRepr,
                                      FlowAnalSymVector pDefIn)

registerDefIn

protected abstract void registerDefIn(BBlock pBBlock,
                                      FlowAnalSymVector pDefIn)

registerDefOut

protected abstract void registerDefOut(BBlock pBBlock,
                                       FlowAnalSymVector pDefOut)

getDefined

protected abstract FlowAnalSymVector getDefined(BBlock pBBlock)

getDefIn

protected abstract FlowAnalSymVector getDefIn(BBlock pBBlock)

getDefined

protected abstract FlowAnalSymVector getDefined(SetRefRepr pSetRefRepr)

getDefIn

protected abstract FlowAnalSymVector getDefIn(SetRefRepr pSetRefRepr)