edu.cmu.cs.crystal.flow.worklist
Class BranchInsensitiveWorklist<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.BranchInsensitiveWorklist<LE>
public class BranchInsensitiveWorklist<LE>
- extends AbstractWorklist<LE>
This is the branch-insensitive version of the worklist algorithm.
Call WorklistTemplate.performAnalysis()
to run the worklist.
- Author:
- Kevin Bierhoff
- See Also:
for breakpoint support
,
BranchSensitiveWorklist
BranchInsensitiveWorklist
public BranchInsensitiveWorklist(MethodDeclaration method,
ITransferFunction<LE> def)
- Creates a worklist instance for the given method and transfer function.
- Parameters:
method
- def
-
BranchInsensitiveWorklist
public BranchInsensitiveWorklist(MethodDeclaration method,
org.eclipse.core.runtime.IProgressMonitor monitor,
ITransferFunction<LE> def)
- Creates a worklist instance for the given method and transfer function.
- Parameters:
method
- monitor
- Monitor that will be checked for cancellationdef
-