| Interface | Description |
|---|---|
| Arbitrary<T> |
The main interface for representing objects that can be generated and shrunk.
|
| 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> | |
| ExhaustiveGenerator<T> | |
| Falsifier<T> | |
| RandomGenerator<T> | |
| Shrinkable<T> | |
| ShrinkingSequence<T> | |
| Tuple |
| Class | Description |
|---|---|
| Arbitraries | |
| Assume | |
| CannotFindArbitraryException | |
| Combinators | |
| Combinators.Combinator2<T1,T2> | |
| Combinators.Combinator3<T1,T2,T3> | |
| Combinators.Combinator4<T1,T2,T3,T4> | |
| Combinators.Combinator5<T1,T2,T3,T4,T5> | |
| Combinators.Combinator6<T1,T2,T3,T4,T5,T6> | |
| Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7> | |
| Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8> | |
| Combinators.ListCombinator<T> | |
| FalsificationResult<T> | |
| ShrinkingDistance | |
| Statistics | |
| Table | |
| TooManyFilterMissesException | |
| Tuple.Tuple1<T1> | |
| Tuple.Tuple2<T1,T2> | |
| Tuple.Tuple3<T1,T2,T3> | |
| Tuple.Tuple4<T1,T2,T3,T4> | |
| Tuple.Tuple5<T1,T2,T3,T4,T5> | |
| Tuple.Tuple6<T1,T2,T3,T4,T5,T6> | |
| Tuple.Tuple7<T1,T2,T3,T4,T5,T6,T7> | |
| Tuple.Tuple8<T1,T2,T3,T4,T5,T6,T7,T8> | |
| Tuples | Deprecated |
| Tuples.Tuple2<T1,T2> | Deprecated
Use
Tuple.Tuple2 instead. |
| Tuples.Tuple3<T1,T2,T3> | Deprecated
Use
Tuple.Tuple3 instead. |
| Tuples.Tuple4<T1,T2,T3,T4> | Deprecated
Use
Tuple.Tuple4 instead. |
| Enum | Description |
|---|---|
| AfterFailureMode |
The after-failure mode determines how a property behaves after it has been falsified.
|
| FalsificationResult.Status | |
| GenerationMode |
The generation mode defines the generation behaviour of a property.
|
| Reporting | |
| ShrinkingMode |
The shrinking mode defines the shrinking behaviour of a property.
|
| Annotation Type | Description |
|---|---|
| Data |
Used to annotate methods that can provide data points for property methods.
|
| 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.
|
| 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). |
| Property |
Use
@Property to mark methods that serve as properties. |
| 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 |