| Interface | Description |
|---|---|
| Arbitrary<T> |
The main interface for representing objects that can be generated and shrunk.
|
| ArbitrarySupplier<T> |
Implementations of this class are used to provide single arbitraries for
ForAll parameters and parameter types annotated with From. |
| Combinators.Combinator2<T1,T2> |
Combinator for two values.
|
| Combinators.Combinator3<T1,T2,T3> |
Combinator for three values.
|
| Combinators.Combinator4<T1,T2,T3,T4> |
Combinator for four values.
|
| Combinators.Combinator5<T1,T2,T3,T4,T5> |
Combinator for five values.
|
| Combinators.Combinator6<T1,T2,T3,T4,T5,T6> |
Combinator for six values.
|
| Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7> |
Combinator for seven values.
|
| Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8> |
Combinator for eight values.
|
| Combinators.F2<T1,T2,R> | |
| Combinators.F3<T1,T2,T3,R> | |
| Combinators.F4<T1,T2,T3,T4,R> | |
| Combinators.F5<T1,T2,T3,T4,T5,R> | |
| Combinators.F6<T1,T2,T3,T4,T5,T6,R> | |
| Combinators.F7<T1,T2,T3,T4,T5,T6,T7,R> | |
| Combinators.F8<T1,T2,T3,T4,T5,T6,T7,T8,R> | |
| Combinators.ListCombinator<T> |
Combinator for any number of values.
|
| EdgeCases<T> | |
| EdgeCases.Config<T> | |
| ExhaustiveGenerator<T> |
Used only internally to run and compute exhaustive generation of parameters
|
| Falsifier<T> |
This interface is no longer used anywhere in jqwik's public API
and could therefore be deprecated and moved to engine implementation.
|
| RandomDistribution |
Determines how generated numerical values are generated and distributed
across the allowed range and a center withing this range.
|
| RandomDistribution.RandomNumericGenerator |
Generator for BigInteger values which are behind all generated numeric values in jqwik.
|
| RandomGenerator<T> | |
| Reporter |
An interface that can be used to report additional information for a test element,
i.e. a test container or property.
|
| SampleReportingFormat | |
| Shrinkable<T> | |
| Tuple |
Typed Tuples are very convenient containers to have, especially in the context of
generating dependent values.
|
| Enum | Description |
|---|---|
| AfterFailureMode |
The after-failure mode determines how a property behaves after it has been falsified.
|
| EdgeCasesMode |
The edge-cases mode determines if and when combined edge-cases of all parameters will be explicitly generated.
|
| FixedSeedMode |
The fixed seed mode determines how jqwik should behave if a property has an
explicit
Property.seed() specified. |
| GenerationMode |
The generation mode defines the generation behaviour of a property.
|
| Reporting | |
| ShrinkingMode |
The shrinking mode defines the shrinking behaviour of a property.
|
| Exception | Description |
|---|---|
| CannotFindArbitraryException | |
| JqwikException |
Base exception for exceptions that are thrown during the discovery phase
and during setup of properties before they are actually run.
|
| TooManyFilterMissesException |
| Annotation Type | Description |
|---|---|
| Data |
Used to annotate methods that can provide data points for property methods.
|
| Disabled |
Use
@Disabled("reason to disable") to disable test container or test method
during normal test execution. |
| Example |
Use
@Example to mark methods that are simple, example-based
test cases. |
| ForAll |
Used to annotate method parameters that will be provided by jqwik.
|
| From |
Used to annotate type parameters within property parameters annotated with ForAll .
|
| FromData |
Used to annotate property methods.
|
| Group | |
| Label |
Use
@Label("a descriptive name") to give test classes, groups and methods
a more readable label (aka display name). |
| NonNullApi | |
| Property |
Use
@Property to mark methods that serve as properties. |
| PropertyDefaults |
Annotate a container class with
@PropertyDefaults
if you want to set defaults of Property attributes of all contained property methods. |
| Provide |
Used to annotate methods that can provide values for property method parameters.
|
| Report |
Use
@Report to specify what additional things should be reported
when running a property. |
| Tag |
Use
@Tag("a tag") to give test classes, groups and methods an (additional) tag
which can later be used to select the set of tests to execute. |
| TagList |