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.
|