Shrink process for the given "larger" value.GeneratorConfiguration annotations present
on the given program element.Theory methods with many parameters,
and will likely go away.Theory methods with many parameters,
and will likely go away.Theory
methods with parameters marked with this annotation, write them as
Property methods on classes run with the
JUnitQuickcheck runner.Generators are fed instances of this interface on each generation
so that, if they choose, they can use these instances to influence the
results of a generation for a particular property parameter.BigInteger representable by the given number
of bits.byte value, uniformly distributed across the
interval [min, max].char value, uniformly distributed across the
interval [min, max].double value in the interval
[min, max).Duration value, uniformly distributed across the
interval [min, max].float value in the interval
[min, max).Instant value, uniformly distributed across the
interval [min, max].int value, uniformly distributed across the
interval [min, max].long value, uniformly distributed across the
interval [min, max].short value, uniformly distributed across the
interval [min, max].JUnitQuickcheck
runner with this annotation to have it run as a property-based test.Property
method with this annotation to constrain the size of values generated for
the parameter.generators so they
can produce random values for property parameters.Property
method with this annotation to generate all the parameter type's values
in turn, rather than at random.Property method with this annotation to
specify metadata about values generated for that parameter.Copyright © 2016. All rights reserved.