パッケージ coins.aflow

インタフェースの概要
AssignFlowExpId  
BBlock BBlock interface: Interface for basic block class BBlock.
BBlockHir BBlockHir interface: //##11 Interface for HIR basic block.
BBlockNodeIterator BBlockNodIterator inteterface Basic block node iterator to traverse node in a basic block.
BBlockSubtreeIterator BBlockSubtreeIterator interface // (##6) Basic block subtree iterator to traverse top-subtree in a basic block.
BBlockVector BBlockVector interface Each bit in this BitVector represents a BBlock object whose number property (that can be queried by getBBlockNumber()) corresponds to the bit position.
DefUseCell DefUseCell interface Def-use list cell representaing a definition and list of its use points.
DefUseList DefUseList interface Def-use list representaing list of definitions of a symbol where each definition has list of its use points.
DefVector DefVector interface A bit in this BitVector corresponds to a SetRefRepr.
DefVectorIterator DefVectorIterator interface: (##6) Interface to traverse all nodes defining some symbol value in specified DefVector.
DNodeIterator  
Edge Edge interface Interface for edge connecting basic blocks in the control flow graph.
ExpVector ExpVector interface An ExpVector is a BitVector each of whose bit corresponds to a FlowExpId.
ExpVectorIterator ExpVectorIterator interface: (##6) Interface to traverse all expressions that has true bit in specified ExpVector.
FlowAnalSymVector BitVector class where each bit represents a FlowAnalSym.
FlowAnalSymVectorIterator  
FlowExpId  
HirSubpFlow HirSubpFlow interface HIR subprogram flow analysis interface.
LoopInf LoopInf interface //##10 Interface for loop information.
NodeIterator  
NodeListIterator  
PointVector PointVector interface
PointVectorIterator PointVectorIterator interface: (##6) Interface to traverse all nodes that have true bit in specified PointVector.
SetRefRepr SetRefRepr interface Used in data flow analysis to represent a Stmt in HIR and an instruction in LIR.
SetRefReprHir  
SetRefReprIterator CoinsIterator tailored to SetRefReprList.
SubpFlow SubpFlow interface: Interface for subprogram flow analysis.
UDChain This is the reverse of the DefUseCell interface.
UDList UDList interface List of UDChains that are associated with a particular FlowAnalSym
 

クラスの概要
AssignHashBasedFlowExpId  
AssignHashBasedFlowExpIdHir  
BBlockHirImpl BBlockHirImpl: Implements BBlock methods applicalble for HIR.
BBlockHirNodeIteratorImpl Unreliable
BBlockImpl  
BBlockStmtIterator Unreliable
BBlockVectorImpl BBlockVectorImpl class:
DefUseCell.DefNode  
DefUseCellImpl DefUseCellImpl class: Def-use list cell representaing a definition and list of its use points.
DefUseListImpl DefUseListImpl class: Def-use list representaing list of definitions of a symbol where each definition has list of its use points.
DefVectorImpl DefVectorImpl class:
DefVectorIteratorImpl DefVectorIteratorImpl class: (##6)
EdgeImpl EdgeImpl class Class for edge connecting basic blocks.
ExpVectorImpl ExpVectorImpl class:
ExpVectorIteratorImpl ExpVectorIteratorImpl class: (##6)
FindAvailInAvailOut  
FindDAvailInAvailOut  
FindDDefInDefOut  
FindDDefined  
FindDef  
FindDefInDefOut  
FindDefined  
FindDefUseList Finds DefUseLists for FlowAnalSyms.
FindDefUseList0 Finds DefUseLists for FlowExpId/code>s.
FindDEGen  
FindDKill Finds the "DKill" vector for a BBlock or SetRefRepr.
FindEGen  
FindEKill FindEKill Extended by FindPEKill.
FindExposedUsed  
FindKill  
FindLiveInLiveOut  
FindPDef Finds the "PDef" vector for a BBlcok or a SetRefRepr.
FindPDefined  
FindPEKill  
FindPExposedUsed  
FindPLiveInLiveOut  
FindPReach  
FindReach  
Flow Representation of data flow information: Each expression is assigned an expression identifier (FlowExpId) if the expression has a value (such as r-value or l-value).
FlowAdapter Adapter class for Analyzer interface.
FlowAnalSymVectorImpl  
FlowAnalSymVectorIteratorImpl  
FlowResults This class is a SelfCollectingResults class that has several convenience methods.
FlowUtil Collection of utility methods.
HashBasedFlowExpId An implementation of FlowExpId.
HashBasedFlowExpIdHir  
HirSubpFlowImpl HirSubpFlowImpl class: HIR subprogram flow analysis class.
InitiateFlow Initiate data flow analysis. this class's initiate(SubpFlow) method should be called before doing other flow analyses.
InitiateFlowHir HIR data flow initiation class.
IrAdapter  
LoopInfImpl LoopInfImpl: //##10 Loop information class.
MakeControlFlowGraph  
MakeControlFlowGraphHir  
MakeDominatorTree Makes a dominator tree for the given list of BBlocks.
MakeDominatorTreeForSubpFlow Makes a dominator tree for a SubpFlow
MakePostdominatorTreeForSubpFlow  
PointVectorImpl PointVectorImpl class:
PointVectorIteratorImpl PointVectorIteratorImpl class: (##6)
RecordSetRefReprs Stores SetRefRepr objects into BBlocks.
RecordSetRefReprsHir  
RegisterFlowAnalClasses This class defines the correspondence between the flow analysis item name and the class that analyzes the item.
SetRefReprEImpl Implementation of the SetRefRepr interface
SetRefReprHirEImpl Implementation of the SetRefRepr interface for HIR
SetRefReprHirImpl Implementation of the SetRefRepr interface for HIR
SetRefReprImpl Implementation of the SetRefRepr interface
SetRefReprList List of SetRefReprs that support SetRefReprIterator.
SetRefReprListHir List of SetRefReprHir objects.
ShowFlow  
SimpleLoopAnal  
SimpleLoopInf  
SubpFlowImpl SubpFlowImpl class: Subprogram flow analysis class.
UDChain.UseNode  
UDChainImpl  
UDListImpl