| Annotation Type | Description |
|---|---|
| AlphaChars |
Constrain the chars used to generate Strings or Characters to upper and lower case chars.
|
| BigRange |
Constrain the range of a generated "Big" number.
|
| ByteRange |
Constrain the range of a generated byte or Byte parameters.
|
| CharRange |
Constrain the chars used to generate Strings or Characters to chars in the range
from
from to to. |
| CharRangeList | |
| Chars |
Constrain the chars used to generate Strings or Characters to chars
contained in
value. |
| CharsList | |
| DoubleRange |
Constrain the range of a generated double or Double parameters.
|
| FloatRange |
Constrain the range of a generated float or Float parameters.
|
| IntRange |
Constrain the range of a generated int or Integer parameters.
|
| LongRange |
Constrain the range of a generated long or BigInteger parameters.
|
| LowerChars |
Constrain the chars used to generate Strings or Characters to lower case chars.
|
| Negative |
Constrain the range of a generated number to be 0 or less.
|
| NotEmpty |
Constrain the size of generated "sizable" types to be at least 1.
|
| NumericChars |
Constrain the chars used to generate Strings or Characters to digits.
|
| Positive |
Constrain the range of a generated number to be 0 or greater.
|
| Scale |
Use to constrain the maximum number of decimal places when generating decimal numbers.
|
| ShortRange |
Constrain the range of a generated short or Short parameters.
|
| Size |
Constrain the size of generated "sizable" types.
|
| StringLength |
Constrain the length of generated Strings.
|
| Unique |
Make a generated value to be unique withing the same try.
|
| UpperChars |
Constrain the chars used to generate Strings or Characters to upper and lower case chars.
|
| Whitespace |
Constrain the chars used to generate Strings or Characters to chars
that will return
true for Character.isWhitespace(char). |
| WithNull |
Allows jqwik to inject null parameters into generated values.
|