|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
Theory method with this annotation to have
random values supplied to it.Theory method already marked with ForAll
with this annotation to have random values supplied to it via one of the specified Generators, chosen at
random with equal probability.Generators are fed instances of this interface on each generation so that, if they choose, the generators
can use these instances to influence the results of a generation for a particular theory parameter.BigInteger representable by the given number of bits.
byte value v such that min <= v <= max, uniformly distributed across
the interval [min, max].
char value v such that min <= v <= max, uniformly distributed across
the interval [min, max].
double value v such that min <= v < max.
float value v such that min <= v < max.
int value v such that min <= v <= max, uniformly distributed across
the interval [min, max].
long value v such that min <= v <= max, uniformly distributed across
the interval [min, max].
short value v such that min <= v <= max, uniformly distributed across
the interval [min, max].
Generators so they can produce
random values for theory parameters.Theory method already marked with ForAll
with this annotation to constrain the values generated for it.Theory method already marked with
ForAll with this annotation to generate all the parameter type's values
in turn, rather than at random.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||