|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
AbstractWorklist<LE> | |
AnalysisResult<LE,N,OP extends IAbstractLatticeOperations<LE,N>> | Encapsulates the results of running an analysis. |
BranchInsensitiveWorklist<LE> | This is the branch-insensitive version of the worklist algorithm. |
BranchSensitiveWorklist<LE> | This is the branch-sensitive version of the worklist algorithm. |
WorklistFactory | Factory for worklist objects to be used by flow analysis implementations. |
WorklistNodeOrderComparator | Comparator to be used in ordering nodes in a worklist. |
WorklistTemplate<LE,N,OP extends IAbstractLatticeOperations<LE,N>> | This class encapsulates a worklist algorithm for computing fixed points
over flow graphs as a Template Method performAnalysis() . |
An internal package for running a flow analysis. Do not use.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |