Package proguard.analysis.cpa.defaults
Class BamCpaRun.Builder
- java.lang.Object
-
- proguard.analysis.cpa.defaults.BamCpaRun.Builder
-
- Direct Known Subclasses:
JvmBamCpaRun.Builder
- Enclosing class:
- BamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
public abstract static class BamCpaRun.Builder extends java.lang.Object
A builder forBamCpaRun
. It assumes either the best performing parameters or the most basic one, if there is no absolute benefit.
-
-
Field Summary
Fields Modifier and Type Field Description protected AbortOperator
abortOperator
protected int
maxCallStackDepth
protected boolean
reduceHeap
-
Constructor Summary
Constructors Constructor Description Builder()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract BamCpaRun<?,?,?,?,?>
build()
Returns theBamCpaRun
for given parameters.BamCpaRun.Builder
setAbortOperator(AbortOperator abortOperator)
Sets the abort operator for premature CPA algorithm termination.BamCpaRun.Builder
setMaxCallStackDepth(int maxCallStackDepth)
Sets the call stack limit for the interprocedural analysis.BamCpaRun.Builder
setReduceHeap(boolean reduceHeap)
Sets whether the heap should be reduced before method calls.
-
-
-
Field Detail
-
maxCallStackDepth
protected int maxCallStackDepth
-
abortOperator
protected AbortOperator abortOperator
-
reduceHeap
protected boolean reduceHeap
-
-
Method Detail
-
setMaxCallStackDepth
public BamCpaRun.Builder setMaxCallStackDepth(int maxCallStackDepth)
Sets the call stack limit for the interprocedural analysis.
-
setAbortOperator
public BamCpaRun.Builder setAbortOperator(AbortOperator abortOperator)
Sets the abort operator for premature CPA algorithm termination.
-
setReduceHeap
public BamCpaRun.Builder setReduceHeap(boolean reduceHeap)
Sets whether the heap should be reduced before method calls.
-
-