Uses of Interface
edu.cmu.cs.crystal.flow.IBranchSensitiveTransferFunction

Packages that use IBranchSensitiveTransferFunction
edu.cmu.cs.crystal.flow This package is used for flow analyses. 
edu.cmu.cs.crystal.flow.worklist An internal package for running a flow analysis. 
 

Uses of IBranchSensitiveTransferFunction in edu.cmu.cs.crystal.flow
 

Constructors in edu.cmu.cs.crystal.flow with parameters of type IBranchSensitiveTransferFunction
FlowAnalysis(IBranchSensitiveTransferFunction<LE> def)
           
 

Uses of IBranchSensitiveTransferFunction in edu.cmu.cs.crystal.flow.worklist
 

Methods in edu.cmu.cs.crystal.flow.worklist with parameters of type IBranchSensitiveTransferFunction
<LE> WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>>
WorklistFactory.createBranchSensitiveWorklist(MethodDeclaration method, IBranchSensitiveTransferFunction<LE> transferFunction)
          Creates a worklist object that performs a branch-sensitive flow analysis on the given method with the given transfer function.
 

Constructors in edu.cmu.cs.crystal.flow.worklist with parameters of type IBranchSensitiveTransferFunction
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.