Package randoop.main
Class GenInputsAbstract.Limits
java.lang.Object
randoop.main.GenInputsAbstract.Limits
- Enclosing class:
- GenInputsAbstract
Wraps the three ways of limiting Randoop test generation.
The purpose is to shorten parameter lists and make them easier to read.
-
Field Summary
Modifier and TypeFieldDescriptionint
Maximum number of attempts to generate a sequence.int
Maximum number of sequences to generate.int
Maximum number of sequences to output.int
Maximum time in milliseconds to spend in generation. -
Constructor Summary
-
Method Summary
-
Field Details
-
time_limit_millis
public int time_limit_millisMaximum time in milliseconds to spend in generation. Must be non-negative. Zero means no limit. -
attempted_limit
public int attempted_limitMaximum number of attempts to generate a sequence. Must be non-negative. -
generated_limit
public int generated_limitMaximum number of sequences to generate. Must be non-negative. -
output_limit
public int output_limitMaximum number of sequences to output. Must be non-negative.
-
-
Constructor Details
-
Limits
public Limits() -
Limits
public Limits(int time_limit, int attempted_limit, int generated_limit, int output_limit) - Parameters:
time_limit
- maximum time in seconds to spend in generation. Must be non-negative. Zero means no limit.attempted_limit
- the maximum number of attempts to create a sequence. Must be non-negative.generated_limit
- the maximum number of sequences to output. Must be non-negative.output_limit
- the maximum number of sequences to generate. Must be non-negative.
-