edu.cmu.cs.crystal.flow.worklist
Class BranchInsensitiveWorklist<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.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

Constructor Summary
BranchInsensitiveWorklist(MethodDeclaration method, org.eclipse.core.runtime.IProgressMonitor monitor, ITransferFunction<LE> def)
          Creates a worklist instance for the given method and transfer function.
BranchInsensitiveWorklist(MethodDeclaration method, ITransferFunction<LE> def)
          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

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 cancellation
def -