edu.cmu.cs.crystal.flow.worklist
Class BranchSensitiveWorklist<LE>

java.lang.Object
  extended by edu.cmu.cs.crystal.flow.worklist.WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>>
      extended by edu.cmu.cs.crystal.flow.worklist.AbstractWorklist<LE>
          extended by 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

Constructor Summary
BranchSensitiveWorklist(MethodDeclaration method, IBranchSensitiveTransferFunction<LE> transfer)
          Creates a worklist instance for the given method and transfer function.
BranchSensitiveWorklist(MethodDeclaration method, org.eclipse.core.runtime.IProgressMonitor monitor, IBranchSensitiveTransferFunction<LE> transfer)
          Creates a worklist instance for the given method and transfer function.
 
Method Summary
 
Methods inherited from class edu.cmu.cs.crystal.flow.worklist.WorklistTemplate
performAnalysis
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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 -