coins.aflow
Interface HirSubpFlow

All Superinterfaces:
SubpFlow
All Known Implementing Classes:
HirSubpFlowImpl

public interface HirSubpFlow
extends SubpFlow

HirSubpFlow interface HIR subprogram flow analysis interface.


Methods inherited from interface coins.aflow.SubpFlow
allocateExpIdTable, assigner, bblock, bblockSubtreeIterator, bblockVector, cfgBfoIterator, cfgFromExitIterator, cfgIterator, clear, computeSetOfAddressTakenVariables, computeSetOfGlobalVariables, controlFlowAnal, correlateBBlockAndIR, defVector, expVector, findDAvailInAvailOut, findDDefInDefOut, findDDefined, findDefUse, findDEGen, findDExposedUsed, findDKill, findDReach, findPDef, findPDefined, findPEKill, findPExposedUsed, findPKill, findPLiveInLiveOut, findPReach, findUseDef, flowAnalSymVector, getBBlock, getBBlockOfIR, getBBlocks, getBBlocksFromEntry, getBBlocksFromExit, getBBlockTable, getDefUseList, getEntryBBlock, getExitBBlock, getExpId, getExpOfTemp, getFlowExpIdTable, getIrIndexMax, getIrIndexMin, getNumberOfBBlocks, getNumberOfRelevantBBlocks, getReachableBBlocks, getRecordAlias, getRestructureFlag, getSetRefReprOfIR, getSetRefReprs, getSubpDefinition, getSubpSym, getSymIndexTable, getUDList, initiateDataFlow, makeDominatorTree, makePostdominatorTree, pointVector, printExpIdTable, recordBBlock, results, setBBlockOfIR, setBBlocks, setDefUseList, setEntryBBlock, setExitBBlock, setExpId, setExpOfTemp, setFlowExpIdTable, setOfAddressTakenVariables, setOfGlobalVariables, setReachableBBlocks, setRecordAlias, setRestructureFlag, setSetRefReprOfIR, setSetRefReprs, setSymIndexTable, setUDList