|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ITransferFunction | |
---|---|
edu.cmu.cs.crystal.flow | This package is used for flow analyses. |
edu.cmu.cs.crystal.flow.concur | This experimental package is for running analyses concurrently. |
edu.cmu.cs.crystal.flow.worklist | An internal package for running a flow analysis. |
Uses of ITransferFunction in edu.cmu.cs.crystal.flow |
---|
Constructors in edu.cmu.cs.crystal.flow with parameters of type ITransferFunction | |
---|---|
FlowAnalysis(ITransferFunction<LE> def)
|
Uses of ITransferFunction in edu.cmu.cs.crystal.flow.concur |
---|
Constructors in edu.cmu.cs.crystal.flow.concur with parameters of type ITransferFunction | |
---|---|
ConcurrentFlowAnalysis(ITransferFunction<LE> transferFunction,
Crystal crystal)
Creates a new concurrent flow analysis but does not analyze any methods immediately. |
|
ConcurrentFlowAnalysis(ITransferFunction<LE> transferFunction,
List<MethodDeclaration> methods,
Crystal crystal)
Creates a new concurrent flow analysis and begins to analyze the given method bodies immediately. |
Uses of ITransferFunction in edu.cmu.cs.crystal.flow.worklist |
---|
Methods in edu.cmu.cs.crystal.flow.worklist with parameters of type ITransferFunction | ||
---|---|---|
|
WorklistFactory.createBranchInsensitiveWorklist(MethodDeclaration method,
ITransferFunction<LE> transferFunction)
Creates a worklist object that performs a conventional flow analysis on the given method with the given transfer function. |
Constructors in edu.cmu.cs.crystal.flow.worklist with parameters of type ITransferFunction | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |