public static class PartialEvaluator.Builder
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
PartialEvaluator |
build() |
static PartialEvaluator.Builder |
create() |
PartialEvaluator.Builder |
disablePrettyPrinting()
Disable pretty printing of errors.
|
PartialEvaluator.Builder |
setBranchTargetFinder(BranchTargetFinder branchTargetFinder)
The utility class that will find all branches.
|
PartialEvaluator.Builder |
setBranchUnit(BasicBranchUnit branchUnit)
The branch unit that will handle all branches.
|
PartialEvaluator.Builder |
setCallingInstructionBlockStack(java.util.Stack<PartialEvaluator.InstructionBlock> callingInstructionBlockStack)
the stack of instruction blocks to be evaluated.
|
PartialEvaluator.Builder |
setEvaluateAllCode(boolean evaluateAllCode)
Specifies whether all casts, branch targets, and exceptionhandlers should be evaluated, even
if they are unnecessary or unreachable.
|
PartialEvaluator.Builder |
setExtraInstructionVisitor(InstructionVisitor extraInstructionVisitor)
an optional extra visitor for all instructions right before they are executed.
|
PartialEvaluator.Builder |
setInvocationUnit(InvocationUnit invocationUnit)
The invocation unit that will handle all communication with other fields and methods.
|
PartialEvaluator.Builder |
setPrettyPrinting(int prettyInstructionBuffered)
Specifies how many instructions should be considered in the context of a pretty message.
|
PartialEvaluator.Builder |
setStateTracker(PartialEvaluatorStateTracker stateTracker) |
PartialEvaluator.Builder |
setValueFactory(ValueFactory valueFactory)
the value factory that will create all values during evaluation.
|
PartialEvaluator.Builder |
stopAnalysisAfterNEvaluations(int stopAnalysisAfterNEvaluations)
The analysis of one method will forcibly stop (throwing a ExcessiveComplexityException) after
this many evaluations of a single instruction.
|
public static PartialEvaluator.Builder create()
public PartialEvaluator build()
public PartialEvaluator.Builder setStateTracker(PartialEvaluatorStateTracker stateTracker)
public PartialEvaluator.Builder setValueFactory(ValueFactory valueFactory)
public PartialEvaluator.Builder setInvocationUnit(InvocationUnit invocationUnit)
public PartialEvaluator.Builder setEvaluateAllCode(boolean evaluateAllCode)
public PartialEvaluator.Builder setPrettyPrinting(int prettyInstructionBuffered)
public PartialEvaluator.Builder disablePrettyPrinting()
public PartialEvaluator.Builder setExtraInstructionVisitor(InstructionVisitor extraInstructionVisitor)
public PartialEvaluator.Builder setBranchUnit(BasicBranchUnit branchUnit)
public PartialEvaluator.Builder setBranchTargetFinder(BranchTargetFinder branchTargetFinder)
public PartialEvaluator.Builder setCallingInstructionBlockStack(java.util.Stack<PartialEvaluator.InstructionBlock> callingInstructionBlockStack)
public PartialEvaluator.Builder stopAnalysisAfterNEvaluations(int stopAnalysisAfterNEvaluations)