Package net.jqwik.api

Interface Summary

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>
EdgeCases<T>
ExhaustiveGenerator<T>	Used only internally to run and compute exhaustive generation of parameters
Falsifier<T>
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>
Shrinkable<T>
ShrinkingSequence<T>
Tuple

Class Summary

Class	Description
Arbitraries
Arbitraries.ArbitrariesFacade
Arbitrary.ArbitraryFacade
Assume
Combinators
Combinators.BuilderCombinator<B>
Combinators.CombinableBuilder<B,T>
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.CombinatorsFacade
Combinators.ListCombinator<T>
EdgeCases.EdgeCasesFacade
ExhaustiveGenerator.ExhaustiveGeneratorFacade
FacadeLoader
FalsificationResult<T>
Functions
Functions.FunctionsFacade
Functions.FunctionWrapper
RandomDistribution.RandomDistributionFacade
RandomGenerator.RandomGeneratorFacade
Shrinkable.ShrinkableFacade
ShrinkingDistance
ShrinkingSequence.ShrinkingSequenceFacade
Table
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>

Enum Summary

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

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 Types Summary

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