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.
Produces Strings whose code points correspond to code points in a given Charset (by default).
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.
Mark a parameter of a Property method with this annotation to have random values supplied to it via the specified Generator.
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.
Type-safe keys for setValue and valueOf.
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.
MapGenerator<T extends Map>
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.
Mark a parameter of a Property method with this annotation to have random values supplied to it via one of the Generators specified by the aggregated From annotations.
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.
 
 
 
 
 
 
 
 
 
 
Home for machinery to produce UUIDs according to RFC 4122.
 
 
 
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.
 
 
 
 
 
 
 
SetGenerator<T extends Set>
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.