| 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 |
| 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.
|
| 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.
|
| 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 |