|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.cmu.cs.crystal.flow.worklist.WorklistFactory
public class WorklistFactory
Factory for worklist objects to be used by flow analysis implementations. Worklist objects can perform conventional or branch-sensitive flow analyses.
MotherFlowAnalysis
Constructor Summary | |
---|---|
WorklistFactory()
Default worklist factory. |
Method Summary | ||
---|---|---|
|
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. |
|
|
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. |
|
void |
setMonitor(org.eclipse.core.runtime.IProgressMonitor monitor)
Use the given progress monitor to listen to cancellation in subsequently created worklist instances. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public WorklistFactory()
to use a cancellation monitor.
Method Detail |
---|
public void setMonitor(org.eclipse.core.runtime.IProgressMonitor monitor)
monitor
- Monitor to listen to cancellation or null
if worklists should not be cancelled.public <LE> WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>> createBranchInsensitiveWorklist(MethodDeclaration method, ITransferFunction<LE> transferFunction)
LE
- method
- transferFunction
-
createBranchSensitiveWorklist(MethodDeclaration, IBranchSensitiveTransferFunction)
public <LE> WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>> createBranchSensitiveWorklist(MethodDeclaration method, IBranchSensitiveTransferFunction<LE> transferFunction)
LE
- method
- transferFunction
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |