coins.aflow
Class FindAvailInAvailOut

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

All Implemented Interfaces:

Analyzer

Direct Known Subclasses:

FindDAvailInAvailOut

public abstract class FindAvailInAvailOut

extends FlowAdapter

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindAvailInAvailOut(FlowResults pResults)
Creates new FindAvailInAvailOut

Method Summary

void	find(BBlock pBBlock)
void	find(SetRefRepr pSetRefRepr)
void	find(SubpFlow pSubpFlow) Finds AvailIn and AvailOut vectors for all the BBlocks in pSubpFlow.
protected abstract ExpVector	getAvailIn(BBlock pBBlock)
protected abstract ExpVector	getAvailIn(SetRefRepr pSetRefRepr)
protected abstract ExpVector	getEGen(BBlock pBBlock)
protected abstract ExpVector	getEKill(BBlock pBBlock)
protected abstract ExpVector	getEKill(SetRefRepr pSetRefRepr)
protected abstract void	registerAvailIn(BBlock pBBlock, ExpVector pAvailIn)
protected abstract void	registerAvailIn(SetRefRepr pSetRefRepr, ExpVector pAvailIn)
protected abstract void	registerAvailOut(BBlock pBBlock, ExpVector pAvailOut)

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

FindAvailInAvailOut

public FindAvailInAvailOut(FlowResults pResults)

Creates new FindAvailInAvailOut

Method Detail

find

public void find(SubpFlow pSubpFlow)

Finds AvailIn and AvailOut vectors for all the BBlocks in pSubpFlow.

find

public void find(BBlock pBBlock)

find

public void find(SetRefRepr pSetRefRepr)

getEKill

protected abstract ExpVector getEKill(SetRefRepr pSetRefRepr)

getAvailIn

protected abstract ExpVector getAvailIn(SetRefRepr pSetRefRepr)

registerAvailIn

protected abstract void registerAvailIn(SetRefRepr pSetRefRepr,
                                        ExpVector pAvailIn)

getEGen

protected abstract ExpVector getEGen(BBlock pBBlock)

getEKill

protected abstract ExpVector getEKill(BBlock pBBlock)

getAvailIn

protected abstract ExpVector getAvailIn(BBlock pBBlock)

registerAvailIn

protected abstract void registerAvailIn(BBlock pBBlock,
                                        ExpVector pAvailIn)

registerAvailOut

protected abstract void registerAvailOut(BBlock pBBlock,
                                         ExpVector pAvailOut)