All Classes and Interfaces
Class
Description
Base class for generators of values of type
String.Mark a parameter of a
Property method with this annotation to
ensure that a limited set of values are guaranteed to be used as the value
of that parameter to test the property.Produces values of type
ArrayList.Produces values of type
BiFunction.Produces values of type
BigDecimal.Produces values of type
BigInteger.Produces values of type
BinaryOperator.Produces values of type
BiPredicate.Produces values of type
BitSet.Produces values of type
boolean or Boolean.Produces values of type
byte or Byte.Produces values of type
Callable.Produces values of type
char or Character.Produces values of type
Charset.Produces values of type
Clock.Maps ordinal values to corresponding Unicode code points in a
Charset.Base class for generators of
Collections.Produces values for property parameters of types that have parameterizations
that would also need generation, such as collections, maps, and predicates.
Produces instances of a class by generating values for the parameters of
one of the constructors on the class, and invoking the constructor.
Produces values of type
Date.Base class for generators of decimal types, such as
double and
BigDecimal.Mark a parameter of a
Property
method with this annotation to make values generated for the parameter
distinct from each other.Produces values of type
DoubleFunction.Produces values for property parameters of type
double or
Double.Produces values of type
Duration.Names a
Charset.Produces instances of a class by reflecting the class's fields and
generating random values for them.
Produces values of type
float or Float.Produces values of type
Function.Produces values of type
Function.Represents a strategy for generating random values.
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.Produces values for property parameters.
Apply this annotation to an annotation that marks property parameters,
in order that the marked annotation can be used to configure
generators for values of the parameter's type.
Raised if a problem arises when attempting to configure a generator with
annotations from a property parameter.
An access point for available generators.
Produces values of type
HashMap.Produces values of type
HashSet.Produces values of type
Hashtable.Mark a parameter of a
Property
method with this annotation to constrain the values generated for the
parameter to a given range.Produces values of type
Instant.Produces values of type
int or Integer.Base class for generators of integral types, such as
int and
BigInteger.Produces values of type
IntFunction.JUnit test runner for junit-quickcheck property-based tests.
Extension of JUnit framework class for junit-quickcheck's discovery
of JUnit annotations/methods/fields.
Helper class for creating instances of "functional interfaces".
Produces values of type
LinkedHashMap.Produces values of type
LinkedHashSet.Produces values of type
LinkedList.Base class for generators of
Lists.Produces values of type
LocalDate.Produces values of type
LocalDateTime.Produces values of type
Locale.Produces values of type
LocalTime.Produces values of type
LongFunction.Produces values of type
long or Long.Base class for generators of
Maps.Allows access to an actual failing example.
Represents different modes of execution of property-based tests.
Produces values of type
MonthDay.Counterexample hook that does nothing.
Mark a parameter of a
Property
method with this annotation to indicate that the parameter is nullable, and
to optionally configure the probability of generating a null value.Produces values of type
OffsetDateTime.Produces values of type
OffsetTime.Mark a parameter of a
Property method with this annotation to
limit the set of values of that parameter used to test the property.Produces values of type
OptionalDouble.Produces values of type
Optional.Produces values of type
Optional.Produces values of type
OptionalInt.Produces values of type
OptionalLong.Typed pair of elements.
Produces values of type
Period.Mark a parameter of a
Property
method with this annotation to constrain the values generated for the
parameter to a given precision.Produces values of type
Predicate.Produces values of type
Predicate.Produces values of type
Properties.Mark a method on a class that is run with the
JUnitQuickcheck
runner with this annotation to have it run as a property-based test.Used in version 3 and version 5 UUID generation to specify a
"namespace" UUID for use in generation.
Well-known "namespace" UUIDs.
Produces values of type
UUID that are RFC 4122 Version 3
identifiers.Produces values of type
UUID that are RFC 4122 Version 4
identifiers.Produces values of type
UUID that are RFC 4122 Version 5
identifiers.Base class for generators of
Sets.Produces values of type
short or Short.Represents a strategy for producing objects "smaller than" a given object.
Mark a parameter of a
Property
method with this annotation to constrain the size of values generated for
the parameter.A source of randomness, fed to
generators
so they can produce random values for property parameters.
Produces values of type
Stack.Describes ways of transforming string input into objects of another type.
Produces
Strings whose characters are in the interval
[0x0000, 0xD7FF].Produces values of type
Supplier.Produces values of type
Supplier.Produces values of type
TimeZone.Produces values of type
ToDoubleBiFunction.Produces values of type
ToDoubleFunction.Produces values of type
ToIntBiFunction.Produces values of type
ToIntFunction.Produces values of type
ToLongBiFunction.Produces values of type
ToLongFunction.Produces values of type
UnaryOperator.Produces values of type
Vector.Produces values for property parameters of type
void or
Void.Mark a parameter of a
Property method with this annotation to
specify metadata about values generated for that parameter.Produces values of type
Year.Produces values of type
YearMonth.Produces values of type
ZonedDateTime.Produces values of type
ZoneId.Produces values of type
ZoneOffset.