|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||
---|---|---|
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |