public class BigIntegerGenerator extends Generator<BigInteger>
Produces values for theory parameters of type BigInteger.
With no additional configuration, the generated values are chosen from a range with a magnitude decided by
GenerationStatus.size().
| Constructor and Description |
|---|
BigIntegerGenerator() |
| Modifier and Type | Method and Description |
|---|---|
void |
configure(InRange range)
|
BigInteger |
generate(SourceOfRandomness random,
GenerationStatus status) |
addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, compatibleWithTypeParameter, configure, hasComponents, numberOfNeededComponents, provideRepository, typespublic void configure(InRange range)
Tells this generator to produce values within a specified minimum and/or maximum inclusive, with uniform distribution.
If an endpoint of the range is not specified, its value takes on a magnitude influenced by
GenerationStatus.size().
range - annotation that gives the range's constraintsNumberFormatException - if the range's values cannot be converted to BigIntegerIllegalArgumentException - if the range's values specify a nonsensical rangepublic BigInteger generate(SourceOfRandomness random, GenerationStatus status)
generate in class Generator<BigInteger>Copyright © 2015. All Rights Reserved.