Package com.tonic.analysis.query.ast

Class RunSpec

java.lang.Object

com.tonic.analysis.query.ast.RunSpec

public final class RunSpec
extends Object

Execution budget and tracing configuration for queries that require running code.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	RunSpec.Builder	Mutable builder for RunSpec instances.
static class	RunSpec.TraceMode	How much execution trace to retain: none, a bounded ring, or the full trace.

Field Summary

Fields

Modifier and Type	Field	Description
static RunSpec	DEFAULT

Constructor Summary

Constructors

Constructor	Description
RunSpec(int seeds, int maxInstructions, int maxDepth, RunSpec.TraceMode traceMode, int timeBudgetMs)	Creates a run specification.

Method Summary

Modifier and Type	Method	Description
static RunSpec.Builder	builder()	Creates a builder initialized with the default settings.
boolean	equals(Object o)
int	hashCode()
int	maxDepth()
int	maxInstructions()
int	seeds()
int	timeBudgetMs()
String	toString()
RunSpec.TraceMode	traceMode()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

DEFAULT

public static final RunSpec DEFAULT

Constructor Detail

RunSpec

public RunSpec(int seeds,
               int maxInstructions,
               int maxDepth,
               RunSpec.TraceMode traceMode,
               int timeBudgetMs)

Creates a run specification.

Parameters:

seeds - the number of seed inputs per entry point

maxInstructions - the instruction execution cap

maxDepth - the maximum call depth

traceMode - how much execution trace to retain

timeBudgetMs - the wall-clock budget in milliseconds

Method Detail

seeds

public int seeds()

Returns:

the number of seed inputs per entry point

maxInstructions

public int maxInstructions()

Returns:

the instruction execution cap

maxDepth

public int maxDepth()

Returns:

the maximum call depth

traceMode

public RunSpec.TraceMode traceMode()

Returns:

the trace retention mode

timeBudgetMs

public int timeBudgetMs()

Returns:

the wall-clock budget in milliseconds

builder

public static RunSpec.Builder builder()

Creates a builder initialized with the default settings.

Returns:

a new builder

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object