Package edu.cmu.cs.crystal.flow.worklist

An internal package for running a flow analysis.

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().
 

Package edu.cmu.cs.crystal.flow.worklist Description

An internal package for running a flow analysis. Do not use.