Package com.tonic.analysis.query.ast
Class RunSpec.Builder
- java.lang.Object
-
- com.tonic.analysis.query.ast.RunSpec.Builder
-
-
Constructor Summary
Constructors Constructor Description Builder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description RunSpecbuild()Builds the immutable run specification.RunSpec.BuildermaxDepth(int depth)Sets the maximum call depth.RunSpec.BuildermaxInstructions(int max)Sets the instruction execution cap.RunSpec.Builderseeds(int seeds)Sets the number of seed inputs per entry point.RunSpec.BuildertimeBudget(int ms)Sets the wall-clock budget.RunSpec.BuildertraceMode(RunSpec.TraceMode mode)Sets the trace retention mode.
-
-
-
Method Detail
-
seeds
public RunSpec.Builder seeds(int seeds)
Sets the number of seed inputs per entry point.- Parameters:
seeds- the seed count- Returns:
- this builder
-
maxInstructions
public RunSpec.Builder maxInstructions(int max)
Sets the instruction execution cap.- Parameters:
max- the maximum instruction count- Returns:
- this builder
-
maxDepth
public RunSpec.Builder maxDepth(int depth)
Sets the maximum call depth.- Parameters:
depth- the depth limit- Returns:
- this builder
-
traceMode
public RunSpec.Builder traceMode(RunSpec.TraceMode mode)
Sets the trace retention mode.- Parameters:
mode- the trace mode- Returns:
- this builder
-
timeBudget
public RunSpec.Builder timeBudget(int ms)
Sets the wall-clock budget.- Parameters:
ms- the budget in milliseconds- Returns:
- this builder
-
build
public RunSpec build()
Builds the immutable run specification.- Returns:
- the configured RunSpec
-
-