coins.aflow
Class FindDAvailInAvailOut

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

All Implemented Interfaces:

Analyzer

public class FindDAvailInAvailOut

extends FindAvailInAvailOut

Field Summary

Fields inherited from class coins.aflow.FlowAdapter

flow, flowRoot, fResults, hirRoot, ioRoot, symRoot

Constructor Summary

FindDAvailInAvailOut(FlowResults pResults)
Creates a new instance of FindDAvailInAvailOut

Method Summary

protected ExpVector	getAvailIn(BBlock pBBlock)
protected ExpVector	getAvailIn(SetRefRepr pSetRefRepr)
protected ExpVector	getEGen(BBlock pBBlock)
protected ExpVector	getEKill(BBlock pBBlock)
protected ExpVector	getEKill(SetRefRepr pSetRefRepr)
protected void	registerAvailIn(BBlock pBBlock, ExpVector pAvailIn)
protected void	registerAvailIn(SetRefRepr pSetRefRepr, ExpVector pAvailIn)
protected void	registerAvailOut(BBlock pBBlock, ExpVector pAvailOut)

Methods inherited from class coins.aflow.FindAvailInAvailOut

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

FindDAvailInAvailOut

public FindDAvailInAvailOut(FlowResults pResults)

Creates a new instance of FindDAvailInAvailOut

Method Detail

registerAvailIn

protected void registerAvailIn(BBlock pBBlock,
                               ExpVector pAvailIn)

Specified by:

registerAvailIn in class FindAvailInAvailOut

registerAvailOut

protected void registerAvailOut(BBlock pBBlock,
                                ExpVector pAvailOut)

Specified by:

registerAvailOut in class FindAvailInAvailOut

getEKill

protected ExpVector getEKill(BBlock pBBlock)

Specified by:

getEKill in class FindAvailInAvailOut

getAvailIn

protected ExpVector getAvailIn(BBlock pBBlock)

Specified by:

getAvailIn in class FindAvailInAvailOut

getEGen

protected ExpVector getEGen(BBlock pBBlock)

Specified by:

getEGen in class FindAvailInAvailOut

getAvailIn

protected ExpVector getAvailIn(SetRefRepr pSetRefRepr)

Specified by:

getAvailIn in class FindAvailInAvailOut

registerAvailIn

protected void registerAvailIn(SetRefRepr pSetRefRepr,
                               ExpVector pAvailIn)

Specified by:

registerAvailIn in class FindAvailInAvailOut

getEKill

protected ExpVector getEKill(SetRefRepr pSetRefRepr)

Specified by:

getEKill in class FindAvailInAvailOut