Package net.jqwik.api.constraints

Class Summary

Class	Description
UniqueElements.NOT_SET

Enum Summary

Enum	Description
UseTypeMode

Annotation Types Summary

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 less than 0.
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 greater than 0.
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	Deprecated. Replace with annotation UniqueElements on container (List, Set, Stream, Iterator and array) parameter.
UniqueElements	Add a uniqueness constraint to a Collection, Stream or Array parameter.
UpperChars	Constrain the chars used to generate Strings or Characters to upper and lower case chars.
UseType	Generate a value from the annotated class' or type's constructors or factory methods.
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.