edu.cmu.cs.crystal.flow.worklist
Class BranchSensitiveWorklist<LE>
java.lang.Object
edu.cmu.cs.crystal.flow.worklist.WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>>
edu.cmu.cs.crystal.flow.worklist.AbstractWorklist<LE>
edu.cmu.cs.crystal.flow.worklist.BranchSensitiveWorklist<LE>
public class BranchSensitiveWorklist<LE>
- extends AbstractWorklist<LE>
This is the branch-sensitive version of the worklist algorithm.
Call WorklistTemplate.performAnalysis()
to run the worklist.
- Author:
- Kevin Bierhoff
- See Also:
for breakpoint support
,
BranchInsensitiveWorklist
BranchSensitiveWorklist
public BranchSensitiveWorklist(MethodDeclaration method,
IBranchSensitiveTransferFunction<LE> transfer)
- Creates a worklist instance for the given method and transfer function.
- Parameters:
method
- transfer
-
BranchSensitiveWorklist
public BranchSensitiveWorklist(MethodDeclaration method,
org.eclipse.core.runtime.IProgressMonitor monitor,
IBranchSensitiveTransferFunction<LE> transfer)
- Creates a worklist instance for the given method and transfer function.
- Parameters:
method
- monitor
- Progress monitor that will be checked for cancellation.transfer
-