Skip navigation links
A B C D E F G H I J L M N O P R S T U V W 

A

AbstractDomainContextBase - Class in net.jqwik.api.domains
Subclass for easier implementation of DomainContext
AbstractDomainContextBase() - Constructor for class net.jqwik.api.domains.AbstractDomainContextBase
 
acceptTargetType(TypeUsage) - Method in class net.jqwik.api.configurators.ArbitraryConfiguratorBase
Override if configurator only works for certain types of domain objects
Action<S> - Interface in net.jqwik.api.stateful
An action class represents a state change that can be preformed on a stateful S.
ActionSequence<M> - Interface in net.jqwik.api.stateful
A sequence of Actions that can be run with a model of type M
ActionSequence.RunState - Enum in net.jqwik.api.stateful
 
ActionSequenceArbitrary<M> - Interface in net.jqwik.api.stateful
 
activated() - Method in enum net.jqwik.api.EdgeCasesMode
 
AddLifecycleHook - Annotation Type in net.jqwik.api.lifecycle
Use to register a concrete lifecycle hook implementation for a test element -- a container class or a property method.
after(PropertyExecutionResult) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
Override if you want to perform some work once after the annotated property (or example).
AfterContainer - Annotation Type in net.jqwik.api.lifecycle
Annotate static methods of a container class with @AfterContainer to have them run exactly once after all of its properties or any lifecycle methods from embedded containers have been run.
afterContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.AfterContainerHook
The code of this method will be run exactly once after all property methods and child containers.
afterContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
 
AfterContainerHook - Interface in net.jqwik.api.lifecycle
Implement this hook to define behaviour for a container (class or whole test suite) that should be run exactly once after of its property methods and child containers.
afterContainerProximity() - Method in interface net.jqwik.api.lifecycle.AfterContainerHook
The higher the value, the closer to the actual property methods, i.e. the earlier it will be run.
afterContainerProximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
 
AfterExample - Annotation Type in net.jqwik.api.lifecycle
This is an alias of AfterProperty
AfterFailureMode - Enum in net.jqwik.api
The after-failure mode determines how a property behaves after it has been falsified.
AfterProperty - Annotation Type in net.jqwik.api.lifecycle
Annotate methods of a container class with @AfterProperty to have them run once after each property (or example) including properties (or examples) of embedded containers.
AfterTry - Annotation Type in net.jqwik.api.lifecycle
Annotate methods of a container class with @AfterTry to have them run once after each try - the actual invocation of the property method with generated parameters - including properties of embedded containers.
all() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all unicode chars to show up in generated values.
all() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all unicode chars even noncharacters and private use characters but only in plane 0 (aka Basic Multilingual Plane)
allValues() - Method in interface net.jqwik.api.Arbitrary
Create optional stream of all possible values this arbitrary could generate.
alpha() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all alpha chars to show up in generated strings.
AlphaChars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to upper and lower case chars.
andThen(Function<Shrinkable<T>, ShrinkingSequence<T>>) - Method in interface net.jqwik.api.ShrinkingSequence
 
andThen(ShrinkingSequence<T>, Function<Shrinkable<T>, ShrinkingSequence<T>>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
 
append(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
 
appliesTo(Optional<AnnotatedElement>) - Method in interface net.jqwik.api.lifecycle.LifecycleHook
This method is called once per hook and potential element during lifecycle hooks registration.
appliesTo(Object) - Method in interface net.jqwik.api.SampleReportingFormat
 
apply(T1, T2) - Method in interface net.jqwik.api.Combinators.F2
 
apply(T1, T2, T3) - Method in interface net.jqwik.api.Combinators.F3
 
apply(T1, T2, T3, T4) - Method in interface net.jqwik.api.Combinators.F4
 
apply(T1, T2, T3, T4, T5) - Method in interface net.jqwik.api.Combinators.F5
 
apply(T1, T2, T3, T4, T5, T6) - Method in interface net.jqwik.api.Combinators.F6
 
apply(T1, T2, T3, T4, T5, T6, T7) - Method in interface net.jqwik.api.Combinators.F7
 
apply(T1, T2, T3, T4, T5, T6, T7, T8) - Method in interface net.jqwik.api.Combinators.F8
 
Arbitraries - Class in net.jqwik.api
 
Arbitraries.ArbitrariesFacade - Class in net.jqwik.api
 
ArbitrariesFacade() - Constructor for class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
Arbitrary<T> - Interface in net.jqwik.api
The main interface for representing objects that can be generated and shrunk.
Arbitrary.ArbitraryFacade - Class in net.jqwik.api
 
ArbitraryConfigurationException - Exception in net.jqwik.api.configurators
 
ArbitraryConfigurator - Interface in net.jqwik.api.configurators
Implementors can modify any arbitrary before it's being used for value generation.
ArbitraryConfiguratorBase - Class in net.jqwik.api.configurators
Using this base class is the easiest way to make use of the configuration mechanism described in ArbitraryConfigurator Implementations must be registered in /META-INF/services/net.jqwik.api.configurators.ArbitraryConfigurator so that they will be automatically considered for arbitrary configuration.
ArbitraryConfiguratorBase() - Constructor for class net.jqwik.api.configurators.ArbitraryConfiguratorBase
 
ArbitraryFacade() - Constructor for class net.jqwik.api.Arbitrary.ArbitraryFacade
 
ArbitraryProvider - Interface in net.jqwik.api.providers
Implementation of this class are used to provide default arbitraries to ForAll parameters without an explicit provider reference.
ArbitraryProvider.SubtypeProvider - Interface in net.jqwik.api.providers
 
AroundContainerHook - Interface in net.jqwik.api.lifecycle
An aggregate interface of BeforeContainerHook and AfterContainerHook for convenience.
aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
When you wrap a property you can do stuff before and/or after its execution.
aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
 
AroundPropertyHook - Interface in net.jqwik.api.lifecycle
Implement this hook to define behaviour that should "wrap" the execution of a property, i.e., do something directly before or after running a property - or both.
aroundPropertyProximity() - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
The higher the value, the closer to the actual property method.
aroundPropertyProximity() - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
 
aroundTry(TryLifecycleContext, TryExecutor, List<Object>) - Method in interface net.jqwik.api.lifecycle.AroundTryHook
When you wrap a try you can do stuff before and/or after its execution.
AroundTryHook - Interface in net.jqwik.api.lifecycle
Implement this hook to define behaviour that should "wrap" the execution of a single try, i.e., do something directly before or after executing a property method with a given list of parameters.
aroundTryProximity() - Method in interface net.jqwik.api.lifecycle.AroundTryHook
The higher the value, the closer to the actual property method.
array(Arbitrary<T>, Class<A>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
 
array(Class<A>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type T[] using the existing arbitrary for generating the elements of the array.
as(Combinators.F2<T1, T2, R>) - Method in class net.jqwik.api.Combinators.Combinator2
 
as(Combinators.F3<T1, T2, T3, R>) - Method in class net.jqwik.api.Combinators.Combinator3
 
as(Combinators.F4<T1, T2, T3, T4, R>) - Method in class net.jqwik.api.Combinators.Combinator4
 
as(Combinators.F5<T1, T2, T3, T4, T5, R>) - Method in class net.jqwik.api.Combinators.Combinator5
 
as(Combinators.F6<T1, T2, T3, T4, T5, T6, R>) - Method in class net.jqwik.api.Combinators.Combinator6
 
as(Combinators.F7<T1, T2, T3, T4, T5, T6, T7, R>) - Method in class net.jqwik.api.Combinators.Combinator7
 
as(Combinators.F8<T1, T2, T3, T4, T5, T6, T7, T8, R>) - Method in class net.jqwik.api.Combinators.Combinator8
 
as(Function<List<T>, R>) - Method in class net.jqwik.api.Combinators.ListCombinator
 
ascii() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all ascii chars to show up in generated values.
ascii() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all ascii chars to show up in generated strings.
asGeneric() - Method in interface net.jqwik.api.Arbitrary
Sometimes simplifies test writing
asGeneric() - Method in interface net.jqwik.api.Shrinkable
Sometimes simplifies test writing
Assume - Class in net.jqwik.api
 

B

BASE - Static variable in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
BASE - Static variable in interface net.jqwik.api.lifecycle.AroundTryHook
 
before(PropertyLifecycleContext) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
Override if you want to perform some work once before the annotated property (or example).
beforeContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
 
BeforeContainer - Annotation Type in net.jqwik.api.lifecycle
Annotate static methods of a container class with @BeforeContainer to have them run exactly once before any of its properties or any lifecycle methods from embedded containers will be run.
beforeContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.BeforeContainerHook
The code of this method will be run exactly once before any property method or child container.
BeforeContainerHook - Interface in net.jqwik.api.lifecycle
Implement this hook to define behaviour for a container (class or whole test suite) that should be run exactly once before any of its property methods and child containers.
beforeContainerProximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
 
beforeContainerProximity() - Method in interface net.jqwik.api.lifecycle.BeforeContainerHook
The higher the value, the closer to the actual property methods, i.e. the later it will be run.
BeforeExample - Annotation Type in net.jqwik.api.lifecycle
This is an alias of BeforeProperty
BeforeProperty - Annotation Type in net.jqwik.api.lifecycle
Annotate methods of a container class with @BeforeProperty to have them run once before each property (or example) including properties (or examples) of embedded containers.
BeforeTry - Annotation Type in net.jqwik.api.lifecycle
Annotate methods of a container class with @BeforeTry to have them run once before each try - the actual invocation of the property method with generated parameters - including properties of embedded containers.
between(BigDecimal, BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed lower min (included) and upper max (included) border of generated numbers.
between(BigDecimal, boolean, BigDecimal, boolean) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed lower min (included) and upper max (included) border of generated numbers.
between(BigInteger, BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(byte, byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
Set the allowed lower min (included) and upper max (included) bounds of generated numbers.
between(double, double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed lower min (included) and upper max (included) border of generated numbers.
between(double, boolean, double, boolean) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed lower min (included) and upper max (included) border of generated numbers.
between(float, float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed lower min (included) and upper max (included) border of generated numbers.
between(float, boolean, float, boolean) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed lower min (included) and upper max (included) border of generated numbers.
between(int, int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(long, long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
Set the allowed lower min (included) and upper max (included) bounds of generated numbers.
between(short, short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
biased() - Static method in interface net.jqwik.api.RandomDistribution
A distribution that generates values closer to the center of a numerical range with a higher probability.
biased() - Method in class net.jqwik.api.RandomDistribution.RandomDistributionFacade
 
BigDecimalArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of BigDecimal values.
bigDecimals() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
bigDecimals() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type BigDecimal.
BigIntegerArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of BigInteger values.
bigIntegers() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
bigIntegers() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type BigInteger.
BigRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated "Big" number.
Bucket(String) - Constructor for class net.jqwik.api.statistics.Histogram.Bucket
 
Bucket(String, int) - Constructor for class net.jqwik.api.statistics.Histogram.Bucket
 
buckets() - Method in class net.jqwik.api.statistics.NumberRangeHistogram
Determines the number of buckets into which the full range of collected numbers will be clustered.
build(Function<B, T>) - Method in class net.jqwik.api.Combinators.BuilderCombinator
 
ByteArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Byte and byte values.
ByteRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated byte or Byte parameters.
bytes() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
bytes() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Byte.

C

canBeAssignedTo(TypeUsage) - Method in interface net.jqwik.api.providers.TypeUsage
Check if an instance can be assigned to another TypeUsage instance.
CannotFindArbitraryException - Exception in net.jqwik.api
 
CannotFindArbitraryException(TypeUsage) - Constructor for exception net.jqwik.api.CannotFindArbitraryException
 
CannotFindArbitraryException(TypeUsage, ForAll) - Constructor for exception net.jqwik.api.CannotFindArbitraryException
 
CannotFindStoreException - Exception in net.jqwik.api.lifecycle
Experimental feature.
CannotFindStoreException(Object, String) - Constructor for exception net.jqwik.api.lifecycle.CannotFindStoreException
 
CannotResolveParameterException - Exception in net.jqwik.api.lifecycle
Experimental feature.
CannotResolveParameterException(ParameterResolutionContext, String) - Constructor for exception net.jqwik.api.lifecycle.CannotResolveParameterException
 
CannotResolveParameterException(Parameter, String) - Constructor for exception net.jqwik.api.lifecycle.CannotResolveParameterException
 
canProvideFor(TypeUsage) - Method in interface net.jqwik.api.providers.ArbitraryProvider
Return true if the provider is suitable for targetType
CharacterArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Character and char values.
CharRange - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to chars in the range from from to to.
CharRangeList - Annotation Type in net.jqwik.api.constraints
 
chars() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
chars() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Character.
Chars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to chars contained in value.
CharsList - Annotation Type in net.jqwik.api.constraints
 
check(T) - Method in interface net.jqwik.api.stateful.Invariant
 
check(Object...) - Method in interface net.jqwik.api.statistics.StatisticsCoverage
Select a specific values set for coverage checking.
checkQuery(Predicate<? extends List<?>>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage
Execute a query for coverage checking.
cluster(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.Histogram
Cluster entries into buckets.
cluster(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.NumberRangeHistogram
Does not make sense to override because this has the number range functionality
collect(Predicate<List<T>>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type List<T> by adding elements of type T until condition until is fulfilled.
collect(Predicate<List<T>>) - Method in interface net.jqwik.api.RandomGenerator
 
collect(RandomGenerator<T>, Predicate<List<T>>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
collect(Object...) - Static method in class net.jqwik.api.statistics.Statistics
Call this method to record an entry for statistical data about generated values.
collect(Object...) - Method in interface net.jqwik.api.statistics.StatisticsCollector
Call this method to record an entry for statistical data about generated values.
collectorByLabel(String) - Method in class net.jqwik.api.statistics.Statistics.StatisticsFacade
 
Combinators - Class in net.jqwik.api
 
Combinators.BuilderCombinator<B> - Class in net.jqwik.api
 
Combinators.CombinableBuilder<B,T> - Class in net.jqwik.api
 
Combinators.Combinator2<T1,T2> - Class in net.jqwik.api
 
Combinators.Combinator3<T1,T2,T3> - Class in net.jqwik.api
 
Combinators.Combinator4<T1,T2,T3,T4> - Class in net.jqwik.api
 
Combinators.Combinator5<T1,T2,T3,T4,T5> - Class in net.jqwik.api
 
Combinators.Combinator6<T1,T2,T3,T4,T5,T6> - Class in net.jqwik.api
 
Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7> - Class in net.jqwik.api
 
Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8> - Class in net.jqwik.api
 
Combinators.CombinatorsFacade - Class in net.jqwik.api
 
Combinators.F2<T1,T2,R> - Interface in net.jqwik.api
 
Combinators.F3<T1,T2,T3,R> - Interface in net.jqwik.api
 
Combinators.F4<T1,T2,T3,T4,R> - Interface in net.jqwik.api
 
Combinators.F5<T1,T2,T3,T4,T5,R> - Interface in net.jqwik.api
 
Combinators.F6<T1,T2,T3,T4,T5,T6,R> - Interface in net.jqwik.api
 
Combinators.F7<T1,T2,T3,T4,T5,T6,T7,R> - Interface in net.jqwik.api
 
Combinators.F8<T1,T2,T3,T4,T5,T6,T7,T8,R> - Interface in net.jqwik.api
 
Combinators.ListCombinator<T> - Class in net.jqwik.api
 
CombinatorsFacade() - Constructor for class net.jqwik.api.Combinators.CombinatorsFacade
 
combine(Arbitrary<T1>, Arbitrary<T2>) - Static method in class net.jqwik.api.Combinators
Combine 2 arbitraries into one.
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>) - Static method in class net.jqwik.api.Combinators
Combine 3 arbitraries into one.
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>) - Static method in class net.jqwik.api.Combinators
Combine 4 arbitraries into one.
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>) - Static method in class net.jqwik.api.Combinators
Combine 5 arbitraries into one.
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>) - Static method in class net.jqwik.api.Combinators
Combine 6 arbitraries into one.
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>, Arbitrary<T7>) - Static method in class net.jqwik.api.Combinators
Combine 7 arbitraries into one.
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>, Arbitrary<T7>, Arbitrary<T8>) - Static method in class net.jqwik.api.Combinators
Combine 8 arbitraries into one.
combine(List<Arbitrary<T>>) - Static method in class net.jqwik.api.Combinators
Combine a list of arbitraries into one.
combine(List<Shrinkable<T>>) - Static method in class net.jqwik.api.ShrinkingDistance
 
combineEdgeCases(List<Arbitrary<Object>>, Function<List<Object>, R>) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
 
combineExhaustive(List<Arbitrary<Object>>, Function<List<Object>, R>, long) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
 
combineShrinkables(List<Shrinkable<Object>>, Function<List<Object>, R>) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
 
comparator() - Method in class net.jqwik.api.statistics.Histogram
Determine how entries are being sorted from top to bottom.
comparator() - Method in class net.jqwik.api.statistics.NumberRangeHistogram
Does not make sense to override since order does not matter for clustering anyway
compareTo(ArbitraryConfigurator) - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
 
compareTo(FalsificationResult<T>) - Method in class net.jqwik.api.FalsificationResult
 
compareTo(AfterContainerHook) - Method in interface net.jqwik.api.lifecycle.AfterContainerHook
 
compareTo(AroundPropertyHook) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
compareTo(AroundTryHook) - Method in interface net.jqwik.api.lifecycle.AroundTryHook
 
compareTo(BeforeContainerHook) - Method in interface net.jqwik.api.lifecycle.BeforeContainerHook
 
compareTo(SampleReportingFormat) - Method in interface net.jqwik.api.SampleReportingFormat
 
compareTo(Shrinkable<T>) - Method in interface net.jqwik.api.Shrinkable
 
compareTo(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
 
concat(EdgeCases<T>...) - Static method in interface net.jqwik.api.EdgeCases
 
concat(List<EdgeCases<T>>) - Static method in interface net.jqwik.api.EdgeCases
 
concat(List<EdgeCases<T>>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
 
configure(Arbitrary<T>, TypeUsage) - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
Configure a given arbitrary and return the configured instance.
configure(Arbitrary<T>, TypeUsage) - Method in class net.jqwik.api.configurators.ArbitraryConfiguratorBase
 
configure(Arbitrary<T>, ArbitraryConfigurator, TypeUsage) - Static method in interface net.jqwik.api.configurators.SelfConfiguringArbitrary
If an arbitrary is self configuring use it, otherwise use default configurator
configure(ArbitraryConfigurator, TypeUsage) - Method in interface net.jqwik.api.configurators.SelfConfiguringArbitrary
Do all configuration yourself or delegate to ArbitraryConfigurator.configure(Arbitrary, TypeUsage) of the configurator that's being handed in.
constant(T) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will always generate the same value.
containedIn(Reporting[]) - Method in enum net.jqwik.api.Reporting
 
containerClass() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
The container class in which the current property method is running.
containerClass() - Method in interface net.jqwik.api.lifecycle.TryLifecycleContext
The container class in which the current property method is running.
ContainerLifecycleContext - Interface in net.jqwik.api.lifecycle
The context of a test container (a container class or the whole jqwik suite).
count(Predicate<Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
Check the number of occurrences returning true (ok) or false (fail)
count(BiPredicate<Integer, Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
Check the number of occurrences using one or more assertions.
count(Consumer<Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
Check the number of occurrences returning true (ok) or false (fail).
count(BiConsumer<Integer, Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
Check the number of occurrences using one or more assertions.
count() - Method in interface net.jqwik.api.statistics.StatisticsEntry
The number of times a certain value (set) has been collected
countChecks() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
The number of tries for which parameters were created and the property method run.
countTries() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
The number of tries for which parameters were created and the property method run and which were not aborted, e.g. through a failing assumption.
coverage(Consumer<StatisticsCoverage>) - Static method in class net.jqwik.api.statistics.Statistics
Perform coverage checking for successful property on statistics for values collected with Statistics.collect(Object...)
coverage(Consumer<StatisticsCoverage>) - Method in interface net.jqwik.api.statistics.StatisticsCollector
Perform coverage checking for successful property on statistics.
create(Supplier<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will use a supplier to generate a value.
create(Object, Lifespan, Supplier<T>) - Static method in interface net.jqwik.api.lifecycle.Store
Create a new store for storing and retrieving values and objects in lifecycle hooks and lifecycle-dependent methods.
create(Object, Lifespan, Supplier<T>) - Method in class net.jqwik.api.lifecycle.Store.StoreFacade
 
createGenerator(int, BigInteger, BigInteger, BigInteger) - Method in interface net.jqwik.api.RandomDistribution
Return a generator that will generate value with the desired distribution
current() - Method in interface net.jqwik.api.ShrinkingSequence
 

D

Data - Annotation Type in net.jqwik.api
Used to annotate methods that can provide data points for property methods.
DEFAULT_STEREOTYPE - Static variable in annotation type net.jqwik.api.Property
 
defaultCollector() - Method in class net.jqwik.api.statistics.Statistics.StatisticsFacade
 
defaultFor(Class<T>, Class<?>[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
defaultFor(TypeUsage) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
defaultFor(Class<T>, Class<?>...) - Static method in class net.jqwik.api.Arbitraries
Find a registered arbitrary that will be used to generate values of type T.
defaultFor(TypeUsage) - Static method in class net.jqwik.api.Arbitraries
Find a registered arbitrary that will be used to generate values of type T.
digit() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all numeric chars (digits) to show up in generated values.
dimensions() - Method in class net.jqwik.api.ShrinkingDistance
 
Disabled - Annotation Type in net.jqwik.api
Use @Disabled("reason to disable") to disable test container or test method during normal test execution.
distance() - Method in class net.jqwik.api.FalsificationResult
 
distance() - Method in interface net.jqwik.api.Shrinkable
 
DO_NOT_RESOLVE - Static variable in interface net.jqwik.api.lifecycle.ResolveParameterHook
 
DO_NOT_SKIP - Static variable in interface net.jqwik.api.lifecycle.SkipExecutionHook
 
DO_NOTHING - Static variable in interface net.jqwik.api.lifecycle.AfterContainerHook
 
DO_NOTHING - Static variable in interface net.jqwik.api.lifecycle.BeforeContainerHook
 
Domain - Annotation Type in net.jqwik.api.domains
Use @Domain(MyDomainContext.class) to use only arbitrary providers and arbitrary configurators defined in given context class You can have many domains on the same element.
DomainContext - Interface in net.jqwik.api.domains
Class that implement this interface are used to annotate property methods or containers like this: Domain(MyDomainContext.class).
DomainContext.DomainContextFacade - Class in net.jqwik.api.domains
 
DomainContext.Global - Class in net.jqwik.api.domains
 
DomainContextFacade() - Constructor for class net.jqwik.api.domains.DomainContext.DomainContextFacade
 
DomainList - Annotation Type in net.jqwik.api.domains
 
doNotSkip() - Static method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
Create instance of SkipExecutionHook.SkipResult to make the current element not being skipped.
dontShrink(Shrinkable<T>) - Static method in interface net.jqwik.api.ShrinkingSequence
 
dontShrink(Shrinkable<T>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
 
DoubleArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Double and double values.
DoubleRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated double or Double parameters.
doubles() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
doubles() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Double.

E

edgeCases() - Method in interface net.jqwik.api.Arbitrary
 
EdgeCases<T> - Interface in net.jqwik.api
 
EdgeCases.EdgeCasesFacade - Class in net.jqwik.api
 
edgeCasesChoose(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
edgeCasesChoose(char[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
EdgeCasesFacade() - Constructor for class net.jqwik.api.EdgeCases.EdgeCasesFacade
 
EdgeCasesMode - Enum in net.jqwik.api
The edge-cases mode determines if and when combined edge-cases of all parameters will be explicitly generated.
ensureFunctionalType(Class<?>) - Method in class net.jqwik.api.Functions.FunctionsFacade
 
entries(Arbitrary<K>, Arbitrary<V>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
entries(Arbitrary<K>, Arbitrary<V>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary to create instances of Map.Entry.
equals(Object) - Method in class net.jqwik.api.ShrinkingDistance
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple1
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple2
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple3
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple4
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple5
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple6
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple7
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple8
 
Example - Annotation Type in net.jqwik.api
Use @Example to mark methods that are simple, example-based test cases.
execute(T) - Method in interface net.jqwik.api.Falsifier
 
execute() - Method in interface net.jqwik.api.lifecycle.PropertyExecutor
Call to actually run the property, including all hooks that are "closer" (have a higher proximity) than the current hook.
execute(List<Object>) - Method in interface net.jqwik.api.lifecycle.TryExecutor
 
exhaustive() - Method in interface net.jqwik.api.Arbitrary
Create the exhaustive generator for an arbitrary using the maximum allowed number of generated samples.
exhaustive(long) - Method in interface net.jqwik.api.Arbitrary
Create the exhaustive generator for an arbitrary.
exhaustiveChoose(List<T>, long) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
exhaustiveChoose(char[], long) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
exhaustiveCreate(Supplier<T>, long) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
ExhaustiveGenerator<T> - Interface in net.jqwik.api
Used only internally to run and compute exhaustive generation of parameters
ExhaustiveGenerator.ExhaustiveGeneratorFacade - Class in net.jqwik.api
 
ExhaustiveGeneratorFacade() - Constructor for class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
 
exhaustiveShuffle(List<T>, long) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
extendedLabel() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
The extended label contains additional information about the current container class.

F

FacadeLoader - Class in net.jqwik.api
 
FacadeLoader() - Constructor for class net.jqwik.api.FacadeLoader
 
FalsificationResult<T> - Class in net.jqwik.api
 
FalsificationResult.Status - Enum in net.jqwik.api
 
falsified(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
 
falsified(Shrinkable<T>, Throwable) - Static method in class net.jqwik.api.FalsificationResult
 
falsified(Throwable) - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
Create a result that falsified the current property and will immediately finish this property as failed.
falsifiedSample() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
The potentially shrunk set of parameters that falsified this property.
Falsifier<T> - Interface in net.jqwik.api
 
falsify(Shrinkable<T>) - Method in interface net.jqwik.api.Falsifier
 
filter(Predicate<T>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of the same type T that creates and shrinks the original arbitrary but only allows values that are accepted by the filterPredicate.
filter(EdgeCases<T>, Predicate<T>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
 
filter(Predicate<T>) - Method in interface net.jqwik.api.EdgeCases
 
filter(ExhaustiveGenerator<T>, Predicate<T>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
 
filter(Predicate<T>) - Method in interface net.jqwik.api.ExhaustiveGenerator
 
filter(Predicate<T>) - Method in class net.jqwik.api.FalsificationResult
 
filter(Predicate<T>) - Method in interface net.jqwik.api.RandomGenerator
 
filter(RandomGenerator<T>, Predicate<T>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
filter(Predicate<T>) - Method in interface net.jqwik.api.Shrinkable
 
filter(Shrinkable<T>, Predicate<T>) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
 
filtered(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
 
finalModel() - Method in interface net.jqwik.api.stateful.ActionSequence
 
findAnnotation(Class<T>) - Method in interface net.jqwik.api.lifecycle.LifecycleContext
Retrieve an annotation if present at the current test element.
findAnnotation(Class<A>) - Method in interface net.jqwik.api.providers.TypeUsage
Return an Optional of the first instance of a specific annotationType if there is one (directly or indirectly through meta-annotations).
fixGenSize(int) - Method in interface net.jqwik.api.Arbitrary
Fix the genSize of an arbitrary so that it can no longer be influenced from outside
flatAs(Combinators.F2<T1, T2, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator2
 
flatAs(Combinators.F3<T1, T2, T3, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator3
 
flatAs(Combinators.F4<T1, T2, T3, T4, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator4
 
flatAs(Combinators.F5<T1, T2, T3, T4, T5, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator5
 
flatAs(Combinators.F6<T1, T2, T3, T4, T5, T6, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator6
 
flatAs(Combinators.F7<T1, T2, T3, T4, T5, T6, T7, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator7
 
flatAs(Combinators.F8<T1, T2, T3, T4, T5, T6, T7, T8, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator8
 
flatAs(Function<List<T>, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.ListCombinator
 
flatMap(Function<T, Arbitrary<U>>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type U that uses the values of the existing arbitrary to create a new arbitrary using the mapper function.
flatMap(Function<T, RandomGenerator<U>>) - Method in interface net.jqwik.api.RandomGenerator
 
flatMap(Function<T, Arbitrary<U>>, int) - Method in interface net.jqwik.api.RandomGenerator
 
flatMap(Shrinkable<T>, Function<T, RandomGenerator<U>>, long) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
flatMap(Shrinkable<T>, Function<T, Arbitrary<U>>, int, long) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
flatMap(Function<T, Arbitrary<U>>, int, long) - Method in interface net.jqwik.api.Shrinkable
 
flatMap(Shrinkable<T>, Function<T, Arbitrary<U>>, int, long) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
 
flatMapArbitrary(EdgeCases<T>, Function<T, Arbitrary<U>>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
 
flatMapArbitrary(Function<T, Arbitrary<U>>) - Method in interface net.jqwik.api.EdgeCases
 
flatMapExhaustiveGenerator(ExhaustiveGenerator<T>, Function<T, Arbitrary<U>>, long) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
 
FloatArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Float and float values.
FloatRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated float or Float parameters.
floats() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
floats() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Float.
ForAll - Annotation Type in net.jqwik.api
Used to annotate method parameters that will be provided by jqwik.
forCollection(Collection<Shrinkable<T>>) - Static method in class net.jqwik.api.ShrinkingDistance
 
forEachValue(Consumer<? super T>) - Method in interface net.jqwik.api.Arbitrary
Iterate through each value this arbitrary can generate if - and only if - exhaustive generation is possible.
formatReport(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.Histogram
 
formatReport(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.StatisticsReport.None
 
formatReport(List<StatisticsEntry>) - Method in interface net.jqwik.api.statistics.StatisticsReportFormat
Return a list of report lines.
forType(Class<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
forType(Class<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary for type T that will by default use the type's public constructors and public factory methods.
forType(Type) - Static method in interface net.jqwik.api.providers.TypeUsage
 
forType(Type) - Method in class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
 
frequency(Tuple.Tuple2<Integer, T>...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given values of the same type T.
frequency(List<Tuple.Tuple2<Integer, T>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given values of the same type T.
frequencyOf(List<Tuple.Tuple2<Integer, Arbitrary<T>>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
frequencyOf(Tuple.Tuple2<Integer, Arbitrary<T>>...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
frequencyOf(List<Tuple.Tuple2<Integer, Arbitrary<T>>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
From - Annotation Type in net.jqwik.api
Used to annotate type parameters within property parameters annotated with ForAll .
FromData - Annotation Type in net.jqwik.api
Used to annotate property methods.
fromGenerator(RandomGenerator<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary of type T from a corresponding generator of type T.
fromShrinkables(List<Shrinkable<T>>) - Static method in interface net.jqwik.api.EdgeCases
 
fromSupplier(Supplier<Shrinkable<T>>) - Static method in interface net.jqwik.api.EdgeCases
 
fromSuppliers(List<Supplier<Shrinkable<T>>>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
 
fromSuppliers(List<Supplier<Shrinkable<T>>>) - Static method in interface net.jqwik.api.EdgeCases
 
function(Class<?>) - Static method in class net.jqwik.api.Functions
Create a wrapper for functional types i.e. types marked FunctionalInterface or representing a SAM (single abstract method) type.
function(Class<?>, Arbitrary<R>) - Method in class net.jqwik.api.Functions.FunctionsFacade
 
FunctionArbitrary<F,R> - Interface in net.jqwik.api.arbitraries
Fluent interface to configure arbitraries that represent functional types
Functions - Class in net.jqwik.api
 
Functions.FunctionsFacade - Class in net.jqwik.api
 
Functions.FunctionWrapper - Class in net.jqwik.api
 
FunctionsFacade() - Constructor for class net.jqwik.api.Functions.FunctionsFacade
 

G

gaussian(double) - Static method in interface net.jqwik.api.RandomDistribution
A distribution that generates values with (potentially asymmetric) gaussian distribution the mean of which is the specified center and the probability at the borders is approximately borderSigma times standard deviation.
gaussian() - Static method in interface net.jqwik.api.RandomDistribution
A gaussian distribution with borderSigma of 3, i.e. approximately 99.7% of values are within the borders.
gaussian(double) - Method in class net.jqwik.api.RandomDistribution.RandomDistributionFacade
 
generateFirst() - Method in enum net.jqwik.api.EdgeCasesMode
 
GenerationMode - Enum in net.jqwik.api
The generation mode defines the generation behaviour of a property.
generator(int) - Method in interface net.jqwik.api.Arbitrary
Create the random generator for an arbitrary
get(Optional<TryLifecycleContext>) - Method in interface net.jqwik.api.lifecycle.ResolveParameterHook.ParameterSupplier
Supply the requested parameter.
get() - Method in interface net.jqwik.api.lifecycle.Store
 
get(Object) - Static method in interface net.jqwik.api.lifecycle.Store
Retrieve a store that must be created somewhere else.
get(Object) - Method in class net.jqwik.api.lifecycle.Store.StoreFacade
 
get1() - Method in class net.jqwik.api.Tuple.Tuple1
 
get2() - Method in class net.jqwik.api.Tuple.Tuple2
 
get3() - Method in class net.jqwik.api.Tuple.Tuple3
 
get4() - Method in class net.jqwik.api.Tuple.Tuple4
 
get5() - Method in class net.jqwik.api.Tuple.Tuple5
 
get6() - Method in class net.jqwik.api.Tuple.Tuple6
 
get7() - Method in class net.jqwik.api.Tuple.Tuple7
 
get8() - Method in class net.jqwik.api.Tuple.Tuple8
 
getAnnotatedType() - Method in interface net.jqwik.api.providers.TypeUsage
 
getAnnotations() - Method in interface net.jqwik.api.providers.TypeUsage
Return all annotations of a parameter (or an annotated type argument).
getArbitraryConfigurators() - Method in class net.jqwik.api.domains.AbstractDomainContextBase
 
getArbitraryConfigurators() - Method in interface net.jqwik.api.domains.DomainContext
 
getArbitraryConfigurators() - Method in class net.jqwik.api.domains.DomainContext.Global
 
getArbitraryProviders() - Method in class net.jqwik.api.domains.AbstractDomainContextBase
 
getArbitraryProviders() - Method in interface net.jqwik.api.domains.DomainContext
 
getArbitraryProviders() - Method in class net.jqwik.api.domains.DomainContext.Global
 
getComponentType() - Method in interface net.jqwik.api.providers.TypeUsage
Return an Optional of an array's component type - if it is an array.
getInterfaces() - Method in interface net.jqwik.api.providers.TypeUsage
Return interfaces of this type.
getLowerBounds() - Method in interface net.jqwik.api.providers.TypeUsage
Return lower bounds if a generic type is a wildcard.
getOrCreate(Object, Lifespan, Supplier<T>) - Static method in interface net.jqwik.api.lifecycle.Store
Find an existing store or create a new one if it doesn't exist
getRawType() - Method in interface net.jqwik.api.providers.TypeUsage
Return the raw type which is usually the class or interface you see in a parameters or return values specification.
getSuperclass() - Method in interface net.jqwik.api.providers.TypeUsage
Return superclass of this type.
getType() - Method in interface net.jqwik.api.providers.TypeUsage
 
getTypeArgument(int) - Method in interface net.jqwik.api.providers.TypeUsage
Return the type argument at a specific position.
getTypeArguments() - Method in interface net.jqwik.api.providers.TypeUsage
Return the type arguments of a generic type in the order of there appearance in a type's declaration.
getUpperBounds() - Method in interface net.jqwik.api.providers.TypeUsage
Return upper bounds if a generic type is a wildcard or type variable.
global() - Method in class net.jqwik.api.domains.DomainContext.DomainContextFacade
 
global() - Static method in interface net.jqwik.api.domains.DomainContext
 
Global() - Constructor for class net.jqwik.api.domains.DomainContext.Global
 
greaterOrEqual(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed lower min (included) border of generated numbers.
greaterOrEqual(BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
Set the allowed lower min (included) bound of generated numbers.
greaterOrEqual(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed lower min (included) border of generated numbers.
greaterOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed lower min (included) border of generated numbers.
greaterOrEqual(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
Set the allowed lower min (included) bound of generated numbers.
greaterOrEqual(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterThan(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed lower min (excluded) border of generated numbers.
greaterThan(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed lower min (excluded) border of generated numbers.
greaterThan(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed lower min (excluded) border of generated numbers.
Group - Annotation Type in net.jqwik.api
 

H

hashCode() - Method in class net.jqwik.api.ShrinkingDistance
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple1
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple2
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple3
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple4
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple5
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple6
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple7
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple8
 
Histogram - Class in net.jqwik.api.statistics
A statistics report format to display collected statistics entries as a histogram
Histogram() - Constructor for class net.jqwik.api.statistics.Histogram
 
Histogram.Bucket - Class in net.jqwik.api.statistics
 

I

ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type T that will use the underlying arbitrary to create the tuple values but will ignore any raised exception of type exceptionType during generation.
ignoreException(EdgeCases<T>, Class<? extends Throwable>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
 
ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.EdgeCases
 
ignoreException(ExhaustiveGenerator<T>, Class<? extends Throwable>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
 
ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.ExhaustiveGenerator
 
ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.RandomGenerator
 
ignoreException(RandomGenerator<T>, Class<? extends Throwable>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
in(Combinators.F2<B, T, C>) - Method in class net.jqwik.api.Combinators.CombinableBuilder
 
index() - Method in interface net.jqwik.api.lifecycle.ParameterResolutionContext
 
init(FalsificationResult<T>) - Method in interface net.jqwik.api.ShrinkingSequence
 
injectDuplicates(double) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Iterable<T> that will inject duplicates of previously generated values with a probability of duplicateProbability.
injectDuplicates(double) - Method in interface net.jqwik.api.RandomGenerator
 
injectDuplicates(RandomGenerator<T>, double) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
injectNull(double) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of the same type but inject null values with a probability of nullProbability.
injectNull(ExhaustiveGenerator<T>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
 
injectNull() - Method in interface net.jqwik.api.ExhaustiveGenerator
 
injectNull(double) - Method in interface net.jqwik.api.RandomGenerator
 
IntegerArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Integer and int values.
integers() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
integers() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Integer.
IntRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated int or Integer parameters.
invalid() - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
Create a result that calls out the current parameter list as invalid.
Invariant<T> - Interface in net.jqwik.api.stateful
 
isAnnotated(Class<A>) - Method in interface net.jqwik.api.providers.TypeUsage
Return true if the current instance is annotated (directly or indirectly through meta-annotations) with a specific annotationType.
isArray() - Method in interface net.jqwik.api.providers.TypeUsage
Return true if a type is an array type.
isAssignableFrom(Class<?>) - Method in interface net.jqwik.api.providers.TypeUsage
Check if a given providedClass is assignable from this generic type.
isEmpty() - Method in interface net.jqwik.api.EdgeCases
 
isEnum() - Method in interface net.jqwik.api.providers.TypeUsage
Return true if a type is an enum type.
isGeneric() - Method in interface net.jqwik.api.providers.TypeUsage
Return true if a type has any type arguments itself.
isOfType(Class<?>) - Method in interface net.jqwik.api.providers.TypeUsage
Check if an instance is of a specific raw type Most of the time this is what you want to do when checking for applicability of a ArbitraryProvider.
isSatisfied() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
 
isSkipped() - Method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
Whether execution of the context should be skipped.
isSmallerThan(Shrinkable<T>) - Method in interface net.jqwik.api.Shrinkable
 
isTypeVariable() - Method in interface net.jqwik.api.providers.TypeUsage
Return true if a generic type is a wildcard.
isTypeVariableOrWildcard() - Method in interface net.jqwik.api.providers.TypeUsage
Return true if a generic type is a type variable or a wildcard.
isUnique() - Method in interface net.jqwik.api.Arbitrary
All arbitraries whose base generator is supposed to produce no duplicates should return true.
isVoid() - Method in interface net.jqwik.api.providers.TypeUsage
Return true if type is Void.
isWildcard() - Method in interface net.jqwik.api.providers.TypeUsage
Return true if a generic type is a wildcard.
items() - Method in interface net.jqwik.api.Tuple
 
items() - Method in class net.jqwik.api.Tuple.Tuple1
 
items() - Method in class net.jqwik.api.Tuple.Tuple2
 
items() - Method in class net.jqwik.api.Tuple.Tuple3
 
items() - Method in class net.jqwik.api.Tuple.Tuple4
 
items() - Method in class net.jqwik.api.Tuple.Tuple5
 
items() - Method in class net.jqwik.api.Tuple.Tuple6
 
items() - Method in class net.jqwik.api.Tuple.Tuple7
 
items() - Method in class net.jqwik.api.Tuple.Tuple8
 
iterator(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
 
iterator() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Iterable<T> using the existing arbitrary for generating the elements of the stream.
iterator() - Method in interface net.jqwik.api.EdgeCases
 

J

JqwikException - Exception in net.jqwik.api
Base exception for exceptions that are thrown during the discovery phase and during setup of properties before they are actually run.
JqwikException(String) - Constructor for exception net.jqwik.api.JqwikException
 
JqwikException(String, Throwable) - Constructor for exception net.jqwik.api.JqwikException
 

L

Label - Annotation Type in net.jqwik.api
Use @Label("a descriptive name") to give test classes, groups and methods a more readable label (aka display name).
label() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
The elements label under which it shows up in test reports and IDEs.
label(Object) - Method in interface net.jqwik.api.SampleReportingFormat
 
label(StatisticsEntry) - Method in class net.jqwik.api.statistics.Histogram
Determine how entries are being labelled in the histogram.
label(StatisticsEntry) - Method in class net.jqwik.api.statistics.NumberRangeHistogram
Does not make sense to override since these labels won't be used anyway
label(String) - Static method in class net.jqwik.api.statistics.Statistics
Call this method to get a labeled instance of StatisticsCollector.
lazy(Supplier<Arbitrary<T>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
lazy(Supplier<Arbitrary<T>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will evaluate arbitrarySupplier as soon as it is used for generating values.
lessOrEqual(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessOrEqual(BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessOrEqual(byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
Set the allowed upper max (included) bound of generated numbers.
lessOrEqual(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed upper max (included) border of generated numbers.
lessOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed upper max (included) border of generated numbers.
lessOrEqual(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessOrEqual(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
Set the allowed upper max (included) bound of generated numbers.
lessOrEqual(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessThan(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed upper max (excluded) border of generated numbers.
lessThan(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed upper max (excluded) border of generated numbers.
lessThan(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed upper max (excluded) border of generated numbers.
LifecycleContext - Interface in net.jqwik.api.lifecycle
Supertype of all lifecycle context interfaces.
LifecycleHook - Interface in net.jqwik.api.lifecycle
This is the supertype of all lifecycle hook interfaces.
LifecycleHooks - Annotation Type in net.jqwik.api.lifecycle
Experimental feature.
Lifespan - Enum in net.jqwik.api.lifecycle
Define how long a resource, e.g. the value in a Store with the same identifier, will live: For the whole test run For the currently running property For the currently running try Any hook or collection of hooks can use this enum to allow the specification of the lifespan of resources from which it is abstracting.
lifespan() - Method in interface net.jqwik.api.lifecycle.Store
 
list(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
 
list() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type List<T> using the existing arbitrary for generating the elements of the list.
load(Class<T>) - Static method in class net.jqwik.api.FacadeLoader
Load single implementation of an API facade.
LongArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Long and long values.
LongRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated long or BigInteger parameters.
longs() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
longs() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Long.
LowerChars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to lower case chars.

M

map(Function<T, U>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type U that maps the values of the original arbitrary using the mapper function.
map(Function<T, U>) - Method in interface net.jqwik.api.EdgeCases
 
map(ExhaustiveGenerator<T>, Function<T, U>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
 
map(Function<T, U>) - Method in interface net.jqwik.api.ExhaustiveGenerator
 
map(Function<Shrinkable<T>, Shrinkable<U>>) - Method in class net.jqwik.api.FalsificationResult
 
map(Function<U, T>) - Method in interface net.jqwik.api.Falsifier
 
map(Function<T, U>) - Method in interface net.jqwik.api.RandomGenerator
 
map(Function<T, U>) - Method in interface net.jqwik.api.Shrinkable
 
map(Shrinkable<T>, Function<T, U>) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
 
map(Function<FalsificationResult<T>, FalsificationResult<U>>) - Method in interface net.jqwik.api.ShrinkingSequence
 
map(ShrinkingSequence<T>, Function<FalsificationResult<T>, FalsificationResult<U>>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
 
maps(Arbitrary<K>, Arbitrary<V>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
maps(Arbitrary<K>, Arbitrary<V>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary to create instances of Map.
mapShrinkable(EdgeCases<T>, Function<Shrinkable<T>, Shrinkable<U>>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
 
mapShrinkable(Function<Shrinkable<T>, Shrinkable<U>>) - Method in interface net.jqwik.api.EdgeCases
 
mapTo(PropertyExecutionResult.Status, Throwable) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
Use to change the status of a property execution result in a AroundPropertyHook.
mapToAborted(Throwable) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
Use to change the status of a property execution to PropertyExecutionResult.Status.ABORTED in a AroundPropertyHook.
mapToFailed(Throwable) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
Use to change the status of a successful property execution to PropertyExecutionResult.Status.FAILED in a AroundPropertyHook.
mapToFailed(String) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
Use to change the status of a successful property execution to PropertyExecutionResult.Status.FAILED in a AroundPropertyHook.
mapToSuccessful() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
Use to change the status of a failed property to PropertyExecutionResult.Status.SUCCESSFUL in a AroundPropertyHook.
mapValue(Function<T, U>) - Method in interface net.jqwik.api.ShrinkingSequence
 
mapValue(ShrinkingSequence<T>, Function<T, U>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
 
MAX - Static variable in class net.jqwik.api.ShrinkingDistance
 
MAX_DISCARD_RATIO_NOT_SET - Static variable in annotation type net.jqwik.api.Property
 
maxCount() - Method in interface net.jqwik.api.ExhaustiveGenerator
 
maxDrawRange() - Method in class net.jqwik.api.statistics.Histogram
Determine how many block characters are maximally used to draw the distribution.
MAXIMUM_SAMPLES_TO_GENERATE - Static variable in interface net.jqwik.api.ExhaustiveGenerator
 
mixIn() - Method in enum net.jqwik.api.EdgeCasesMode
 
modify(TypeArbitrary<T>) - Method in enum net.jqwik.api.constraints.UseTypeMode
 

N

name() - Method in interface net.jqwik.api.statistics.StatisticsEntry
The name of an entry usually refers to the collected value(s)
Negative - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated number to be less than 0.
net.jqwik.api - package net.jqwik.api
 
net.jqwik.api.arbitraries - package net.jqwik.api.arbitraries
 
net.jqwik.api.configurators - package net.jqwik.api.configurators
 
net.jqwik.api.constraints - package net.jqwik.api.constraints
 
net.jqwik.api.domains - package net.jqwik.api.domains
 
net.jqwik.api.lifecycle - package net.jqwik.api.lifecycle
 
net.jqwik.api.providers - package net.jqwik.api.providers
 
net.jqwik.api.stateful - package net.jqwik.api.stateful
 
net.jqwik.api.statistics - package net.jqwik.api.statistics
 
newInstance(Class<T>) - Method in interface net.jqwik.api.lifecycle.LifecycleContext
Create a new instance of a clazz in the context of the property in which it is running.
next(Random) - Method in interface net.jqwik.api.RandomDistribution.RandomNumericGenerator
Generate next random number within the specified range given on creation of the generator.
next(Random) - Method in interface net.jqwik.api.RandomGenerator
 
next(Runnable, Consumer<FalsificationResult<T>>) - Method in interface net.jqwik.api.ShrinkingSequence
 
NO_VALUE - Static variable in annotation type net.jqwik.api.ForAll
 
none() - Static method in interface net.jqwik.api.EdgeCases
 
None() - Constructor for class net.jqwik.api.statistics.StatisticsReport.None
 
NotEmpty - Annotation Type in net.jqwik.api.constraints
Constrain the size of generated "sizable" types to be at least 1.
notFalsified(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
 
nothing() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that never creates anything.
NumberRangeHistogram - Class in net.jqwik.api.statistics
A specialized type of Histogram to divide collected numbers into range-based clusters for display in a histogram.
NumberRangeHistogram() - Constructor for class net.jqwik.api.statistics.NumberRangeHistogram
 
numeric() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all numeric chars (digits) to show up in generated strings.
NumericalArbitrary<T,A extends NumericalArbitrary<T,A>> - Interface in net.jqwik.api.arbitraries
 
NumericChars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to digits.

O

of(T...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose from a given array of values.
of(Collection<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose from a given collection of values.
of(char[]) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary of character values.
of(Class<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary for enum values of type T.
of(Class<?>, TypeUsage...) - Static method in interface net.jqwik.api.providers.TypeUsage
 
of(Class<?>, TypeUsage...) - Method in class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
 
of(long...) - Static method in class net.jqwik.api.ShrinkingDistance
 
of(E...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple1<T>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple2<T1, T2>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple3<T1, T2, T3>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple4<T1, T2, T3, T4>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple5<T1, T2, T3, T4, T5>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple6<T1, T2, T3, T4, T5, T6>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple7<T1, T2, T3, T4, T5, T6, T7>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple8<T1, T2, T3, T4, T5, T6, T7, T8>...) - Static method in class net.jqwik.api.Table
 
of(T1) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5, T6) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5, T6, T7) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5, T6, T7, T8) - Static method in interface net.jqwik.api.Tuple
 
ofLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Fix the length to length of generated strings.
ofMaxLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Set the maximum allowed length maxLength (included) of generated strings.
ofMaxSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
Set upper size boundary maxSize (included).
ofMaxSize(int) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
Set upper size boundary maxSize (included).
ofMaxSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
 
ofMinLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Set the minimum allowed length mixLength (included) of generated strings.
ofMinSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
Set lower size boundary minSize (included).
ofMinSize(int) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
Set lower size boundary minSize (included).
ofMinSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
 
ofScale(int) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the scale (maximum number of decimal places) to scale.
ofScale(int) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the scale (maximum number of decimal places) to scale.
ofScale(int) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the scale (maximum number of decimal places) to scale.
ofSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
Fix the size to size.
ofSize(int) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
Fix the size to size.
ofSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
 
ofSuppliers(Supplier<T>...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose from a given array of value suppliers and then get the value from the supplier.
ofSuppliers(Collection<Supplier<T>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose from a given collection of value suppliers and then get the value from the supplier.
onClose(Consumer<T>) - Method in interface net.jqwik.api.lifecycle.Store
 
oneOf(List<Arbitrary<T>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
oneOf(Arbitrary<? extends T>, Arbitrary<? extends T>...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
oneOf(List<Arbitrary<T>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
onFailure(PropertyExecutionResult) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
Override if you want to perform some work or run assertions if - and only if - the property failed.
onSuccess() - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
Override if you want to perform some work or run assertions if - and only if - the property succeeded.
optional() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Optional<T> using the existing arbitrary for generating the elements of the stream.
optionalContainerClass() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
If the context refers to a class or a method the class or the method's class is returned, otherwise Optional.empty()
optionalElement() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
If the context refers to a class or a method the class or method is returned, otherwise Optional.empty()
order() - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
Determines the order in which a configurator will be applied in regards to other configurators.

P

parameter() - Method in interface net.jqwik.api.lifecycle.ParameterResolutionContext
 
ParameterResolutionContext - Interface in net.jqwik.api.lifecycle
Experimental feature.
peek(Consumer<M>) - Method in interface net.jqwik.api.stateful.ActionSequence
Peek into the model of a running sequence.
percentage(Predicate<Double>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
Check the percentage of occurrences returning true (ok) or false (fail)
percentage(Consumer<Double>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
Check the number of occurrences returning true (ok) or false (fail).
percentage() - Method in interface net.jqwik.api.statistics.StatisticsEntry
The percentage of times a certain value (set) has been collected
PerProperty - Annotation Type in net.jqwik.api.lifecycle
Annotate property methods of a container class with @PerProperty if you want to have some lifecycle control over this property alone.
PerProperty.Lifecycle - Interface in net.jqwik.api.lifecycle
 
PerProperty.PerPropertyHook - Class in net.jqwik.api.lifecycle
 
PerPropertyHook() - Constructor for class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
 
plus(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
 
Positive - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated number to be greater than 0.
precondition(S) - Method in interface net.jqwik.api.stateful.Action
If this method returns false, the action will not be performed.
priority() - Method in interface net.jqwik.api.providers.ArbitraryProvider
Providers with higher priority will replace providers with lower priority.
priority() - Method in interface net.jqwik.api.SampleReportingFormat
 
PRIORITY_NOT_SET - Static variable in annotation type net.jqwik.api.domains.Domain
 
propagateTo() - Method in interface net.jqwik.api.lifecycle.LifecycleHook
Override this method if you want to change a concrete hook implementation's default propagation behaviour: Do not use hook in child elements -- sub containers or properties.
PropagationMode - Enum in net.jqwik.api.lifecycle
Describes if and how a concrete registered hook is propagated to children of the element where the hook has been registered.
Property - Annotation Type in net.jqwik.api
Use @Property to mark methods that serve as properties.
PropertyExecutionResult - Interface in net.jqwik.api.lifecycle
Represents the result of running a property.
PropertyExecutionResult.Status - Enum in net.jqwik.api.lifecycle
Status of executing a single test or container.
PropertyExecutor - Interface in net.jqwik.api.lifecycle
Objects of this class represent a property's execution.
PropertyLifecycleContext - Interface in net.jqwik.api.lifecycle
The context information of a property or example.
Provide - Annotation Type in net.jqwik.api
Used to annotate methods that can provide values for property method parameters.
provideFor(TypeUsage, ArbitraryProvider.SubtypeProvider) - Method in interface net.jqwik.api.providers.ArbitraryProvider
This is the method you must override in your own implementations of ArbitraryProvider.
proximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
publish(String, String) - Method in interface net.jqwik.api.lifecycle.Reporter
Publish some value under a given key.

R

randomChoose(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
randomChoose(char[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
RandomDistribution - Interface in net.jqwik.api
Determines how generated numerical values are generated and distributed across the allowed range and a center withing this range.
RandomDistribution.RandomDistributionFacade - Class in net.jqwik.api
 
RandomDistribution.RandomNumericGenerator - Interface in net.jqwik.api
Generator for BigInteger values which are behind all generated numeric values in jqwik.
RandomDistributionFacade() - Constructor for class net.jqwik.api.RandomDistribution.RandomDistributionFacade
 
randomFrequency(List<Tuple.Tuple2<Integer, T>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
RandomGenerator<T> - Interface in net.jqwik.api
 
RandomGenerator.RandomGeneratorFacade - Class in net.jqwik.api
 
RandomGeneratorFacade() - Constructor for class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
randoms() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary for Random objects.
randomSamples(T[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
randomShuffle(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
randomValue(Function<Random, T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will generate values of type T using a generator function.
range(char, char) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all chars within min (included) and max (included) to show up in generated values.
rangeLabel(BigInteger, BigInteger, boolean) - Method in class net.jqwik.api.statistics.NumberRangeHistogram
Determines how a range of numbers is being displayed.
reason() - Method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
Get the reason that execution of the context should be skipped, if available.
recursive(Supplier<Arbitrary<T>>, Function<Arbitrary<T>, Arbitrary<T>>, int) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary by deterministic recursion.
reduce(R, BiFunction<R, T, R>) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
Given an initial argument use accumulator to produce the final result.
register(Class<? extends LifecycleHook>, PropagationMode) - Method in interface net.jqwik.api.lifecycle.RegistrarHook.Registrar
Register a concrete hook implementation.
register(Class<? extends LifecycleHook>) - Method in interface net.jqwik.api.lifecycle.RegistrarHook.Registrar
Register a concrete hook implementation with its default PropagationMode.
registerArbitrary(TypeUsage, Arbitrary<?>) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
 
registerArbitrary(Class<T>, Arbitrary<T>) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
 
registerConfigurator(ArbitraryConfigurator) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
 
registerHooks(RegistrarHook.Registrar) - Method in interface net.jqwik.api.lifecycle.RegistrarHook
This method will be called during hook registration, i.e. before any test has been started.
registerProvider(ArbitraryProvider) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
 
RegistrarHook - Interface in net.jqwik.api.lifecycle
Use this hook if you want to apply several hook implementations that belong together but that cannot be implemented in a single class, e.g. because the same hook type must be added with different proximity or different propagation.
RegistrarHook.Registrar - Interface in net.jqwik.api.lifecycle
A short-lived object used for registering concrete hook implementation classes.
Report - Annotation Type in net.jqwik.api
Use @Report to specify what additional things should be reported when running a property.
report(Object) - Method in interface net.jqwik.api.SampleReportingFormat
Transform the value into one that will be handled by default mechanism, e.g. a Collection, a String, a Map.
reporter() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
Get hold of test reporter for publishing additional information on a test container or method.
Reporter - Interface in net.jqwik.api.lifecycle
An interface that can be used to report additional information for a test element, i.e. a test container or property.
Reporting - Enum in net.jqwik.api
 
reset() - Method in interface net.jqwik.api.lifecycle.Store
 
resolve(ParameterResolutionContext) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
Override if you want to provide parameters for this property.
resolve(ParameterResolutionContext, LifecycleContext) - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
 
resolve(ParameterResolutionContext, LifecycleContext) - Method in interface net.jqwik.api.lifecycle.ResolveParameterHook
This method will be called only once per property, whereas the returned supplier's get method is usually invoked for each try - and potentially more often during shrinking or when resolving parameters in before/after methods.
resolveAndCombine(TypeUsage...) - Method in interface net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider
Resolve all typeUsages and return a stream of all possible arbitraries combinations per type.
resolveParameter(Executable, int) - Method in interface net.jqwik.api.lifecycle.LifecycleContext
Resolve a parameter from a method in the context of the property in which it is running.
ResolveParameterHook - Interface in net.jqwik.api.lifecycle
This hook type allows to provide parameters for property methods but also to annotated lifecycle methods.
ResolveParameterHook.ParameterSupplier - Interface in net.jqwik.api.lifecycle
A functional interface specialized on providing parameters to property methods and to annotated lifecycle methods.
returns(Arbitrary<R>) - Method in class net.jqwik.api.Functions.FunctionWrapper
Create an arbitrary to create instances of functions represented by this wrapper.
run(S) - Method in interface net.jqwik.api.stateful.Action
Perform an action on state S and return the same state (if it has state) or a new one representing the new state.
run(M) - Method in interface net.jqwik.api.stateful.ActionSequence
 
runActions() - Method in interface net.jqwik.api.stateful.ActionSequence
 
runState() - Method in interface net.jqwik.api.stateful.ActionSequence
 

S

sample() - Method in interface net.jqwik.api.Arbitrary
Generate a single sample value using this arbitrary.
SampleReportingFormat - Interface in net.jqwik.api
 
samples(T...) - Static method in class net.jqwik.api.Arbitraries
Deprecated.
Use Arbitraries.of(Object[]) or move to data-driven properties if order is important. Will be removed in version 1.4.0
sampleStream(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
 
sampleStream() - Method in interface net.jqwik.api.Arbitrary
Generate a stream of sample values using this arbitrary.
satisfied() - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
Create a result that satisfies the current property with the current parameter set.
satisfied(boolean) - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
Create a result that satisfies the current property and will immediately finish this property as successful.
Scale - Annotation Type in net.jqwik.api.constraints
Use to constrain the maximum number of decimal places when generating decimal numbers.
seed() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
The seed used to generate randomized parameters.
SEED_NOT_SET - Static variable in annotation type net.jqwik.api.Property
 
SelfConfiguringArbitrary<T> - Interface in net.jqwik.api.configurators
An Arbitrary implementation can also implement this interface if it wants to take over its own configuration which is usually being done by registered instances of ArbitraryConfigurator.
sequences(Arbitrary<? extends Action<M>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
sequences(Arbitrary<? extends Action<M>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary to create a sequence of actions.
set(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
 
set() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Set<T> using the existing arbitrary for generating the elements of the set.
setDefaultPriority(int) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
 
setDefaultPriority(int) - Method in interface net.jqwik.api.domains.DomainContext
 
ShortArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Short and short values.
ShortRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated short or Short parameters.
shorts() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
shorts() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Short.
shouldBeSkipped(LifecycleContext) - Method in interface net.jqwik.api.lifecycle.SkipExecutionHook
Determine if an annotated element should be skipped or not.
shouldPropertyFinishEarly() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
 
shrink(Falsifier<T>) - Method in interface net.jqwik.api.Shrinkable
 
shrinkable() - Method in class net.jqwik.api.FalsificationResult
 
Shrinkable<T> - Interface in net.jqwik.api
 
Shrinkable.ShrinkableFacade - Class in net.jqwik.api
 
ShrinkableFacade() - Constructor for class net.jqwik.api.Shrinkable.ShrinkableFacade
 
ShrinkingDistance - Class in net.jqwik.api
 
ShrinkingMode - Enum in net.jqwik.api
The shrinking mode defines the shrinking behaviour of a property.
ShrinkingSequence<T> - Interface in net.jqwik.api
 
ShrinkingSequence.ShrinkingSequenceFacade - Class in net.jqwik.api
 
ShrinkingSequenceFacade() - Constructor for class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
 
shrinkingSuggestions() - Method in interface net.jqwik.api.Shrinkable
Used only when several shrinkables must be shrunk in synchronicity e.g. duplicate values.
shrinkTowards(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set shrinking target to target which must be between the allowed bounds.
shrinkTowards(BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
Set shrinking target to target which must be between the allowed bounds.
shrinkTowards(int) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
Set shrinking target to target which must be between the allowed bounds.
shrinkTowards(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set shrinking target to target which must be between the allowed bounds.
shrinkTowards(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set shrinking target to target which must be between the allowed bounds.
shrinkTowards(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
Set shrinking target to target which must be between the allowed bounds.
shrinkTowards(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
Set shrinking target to target which must be between the allowed bounds.
shrinkTowards(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
Set shrinking target to target which must be between the allowed bounds.
shuffle(T...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will always generate a list which is a permutation of the values handed to it.
shuffle(List<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will always generate a list which is a permutation of the values handed to it.
SizableArbitrary<U> - Interface in net.jqwik.api.arbitraries
Fluent interface to configure arbitraries that have size constraints for generated values, e.g. collections and arrays.
Size - Annotation Type in net.jqwik.api.constraints
Constrain the size of generated "sizable" types.
size() - Method in interface net.jqwik.api.EdgeCases
 
size() - Method in class net.jqwik.api.ShrinkingDistance
 
size() - Method in interface net.jqwik.api.Tuple
 
size() - Method in class net.jqwik.api.Tuple.Tuple1
 
size() - Method in class net.jqwik.api.Tuple.Tuple2
 
size() - Method in class net.jqwik.api.Tuple.Tuple3
 
size() - Method in class net.jqwik.api.Tuple.Tuple4
 
size() - Method in class net.jqwik.api.Tuple.Tuple5
 
size() - Method in class net.jqwik.api.Tuple.Tuple6
 
size() - Method in class net.jqwik.api.Tuple.Tuple7
 
size() - Method in class net.jqwik.api.Tuple.Tuple8
 
skip(String) - Static method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
Create instance of SkipExecutionHook.SkipResult to make the current element being skipped.
SkipExecutionHook - Interface in net.jqwik.api.lifecycle
Use this hook to determine if an annotated element should be skipped during a test run or not.
SkipExecutionHook.SkipResult - Class in net.jqwik.api.lifecycle
 
startWith(Shrinkable<T>, Falsifier<T>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
 
startWith(Shrinkable<T>, Falsifier<T>) - Static method in interface net.jqwik.api.ShrinkingSequence
 
Statistics - Class in net.jqwik.api.statistics
This class serves as a container for static methods to collect statistical data about generated values within a property method and to check coverage of that data.
Statistics.StatisticsFacade - Class in net.jqwik.api.statistics
 
StatisticsCollector - Interface in net.jqwik.api.statistics
This class serves as an interface to collect statistical data about generated values within a property method.
StatisticsCoverage - Interface in net.jqwik.api.statistics
Intermediate object to provide statistics coverage checking capabilities
StatisticsCoverage.CoverageChecker - Interface in net.jqwik.api.statistics
 
StatisticsEntry - Interface in net.jqwik.api.statistics
Describes an entry for a given statistics selector.
StatisticsFacade() - Constructor for class net.jqwik.api.statistics.Statistics.StatisticsFacade
 
StatisticsReport - Annotation Type in net.jqwik.api.statistics
This annotation can be used to influence statistics reporting.
StatisticsReport.None - Class in net.jqwik.api.statistics
 
StatisticsReport.StatisticsReportMode - Enum in net.jqwik.api.statistics
 
StatisticsReportFormat - Interface in net.jqwik.api.statistics
An implementation of this interface is responsible for creating a formatted statistics report.
status() - Method in class net.jqwik.api.FalsificationResult
 
status() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
The final status of this property
status() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
 
Store<T> - Interface in net.jqwik.api.lifecycle
Experimental feature.
Store.StoreFacade - Class in net.jqwik.api.lifecycle
 
StoreFacade() - Constructor for class net.jqwik.api.lifecycle.Store.StoreFacade
 
stream(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
 
stream() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Stream<T> using the existing arbitrary for generating the elements of the stream.
stream(Random) - Method in interface net.jqwik.api.RandomGenerator
 
StreamableArbitrary<T,U> - Interface in net.jqwik.api.arbitraries
Fluent interface to add functionality to arbitraries whose generation artefacts can be streamed, e.g.
StringArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure arbitraries that generate String values.
StringLength - Annotation Type in net.jqwik.api.constraints
Constrain the length of generated Strings.
strings() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
 
strings() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type String.
suppliers() - Method in interface net.jqwik.api.EdgeCases
 

T

Table - Class in net.jqwik.api
 
Table() - Constructor for class net.jqwik.api.Table
 
Tag - Annotation Type in net.jqwik.api
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 - Annotation Type in net.jqwik.api
 
targetMethod() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
The method that defines the current property or example.
targetMethod() - Method in interface net.jqwik.api.lifecycle.TryLifecycleContext
The method that defines the current property or example.
testInstance() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
The current instance of the property's container class.
testInstance() - Method in interface net.jqwik.api.lifecycle.TryLifecycleContext
The current instance of the property's container class.
that(boolean) - Static method in class net.jqwik.api.Assume
If condition does not hold, the current property method will be aborted, i.e., it will not be executed but not counted as a try.
that(Supplier<Boolean>) - Static method in class net.jqwik.api.Assume
If condition provided by conditionSupplier does not hold, the current property method will be aborted, i.e., it will not be executed but not counted as a try.
throwable() - Method in class net.jqwik.api.FalsificationResult
 
throwable() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
Will return Optional.empty() if status is anything but FAILED.
throwable() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
Will return Optional.empty() if status is anything but TryExecutionResult.Status.FALSIFIED.
TooManyFilterMissesException - Exception in net.jqwik.api
 
TooManyFilterMissesException(String) - Constructor for exception net.jqwik.api.TooManyFilterMissesException
 
toString() - Method in class net.jqwik.api.FalsificationResult
 
toString() - Method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
 
toString() - Method in class net.jqwik.api.ShrinkingDistance
 
toString() - Method in class net.jqwik.api.Tuple.Tuple1
 
toString() - Method in class net.jqwik.api.Tuple.Tuple2
 
toString() - Method in class net.jqwik.api.Tuple.Tuple3
 
toString() - Method in class net.jqwik.api.Tuple.Tuple4
 
toString() - Method in class net.jqwik.api.Tuple.Tuple5
 
toString() - Method in class net.jqwik.api.Tuple.Tuple6
 
toString() - Method in class net.jqwik.api.Tuple.Tuple7
 
toString() - Method in class net.jqwik.api.Tuple.Tuple8
 
TRIES_NOT_SET - Static variable in annotation type net.jqwik.api.Property
 
TryExecutionResult - Interface in net.jqwik.api.lifecycle
Represents the result of calling a property method with a list of parameters.
TryExecutionResult.Status - Enum in net.jqwik.api.lifecycle
Status of running a single try.
TryExecutor - Interface in net.jqwik.api.lifecycle
Experimental feature.
TryLifecycleContext - Interface in net.jqwik.api.lifecycle
The context information of a single try of a property.
Tuple - Interface in net.jqwik.api
 
Tuple.Tuple1<T1> - Class in net.jqwik.api
 
Tuple.Tuple2<T1,T2> - Class in net.jqwik.api
 
Tuple.Tuple3<T1,T2,T3> - Class in net.jqwik.api
 
Tuple.Tuple4<T1,T2,T3,T4> - Class in net.jqwik.api
 
Tuple.Tuple5<T1,T2,T3,T4,T5> - Class in net.jqwik.api
 
Tuple.Tuple6<T1,T2,T3,T4,T5,T6> - Class in net.jqwik.api
 
Tuple.Tuple7<T1,T2,T3,T4,T5,T6,T7> - Class in net.jqwik.api
 
Tuple.Tuple8<T1,T2,T3,T4,T5,T6,T7,T8> - Class in net.jqwik.api
 
tuple1() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Tuple.Tuple1<T> that will use the underlying arbitrary to create the tuple value;
tuple2() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Tuple.Tuple2<T, T> that will use the underlying arbitrary to create the tuple values;
tuple3() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Tuple.Tuple3<T, T, T> that will use the underlying arbitrary to create the tuple values;
tuple4() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Tuple.Tuple4<T, T, T, T> that will use the underlying arbitrary to create the tuple values;
TypeArbitrary<T> - Interface in net.jqwik.api.arbitraries
Fluent interface to configure arbitraries that try to generate instances of a given type T from the type's available constructors and factory methods.
typeUsage() - Method in interface net.jqwik.api.lifecycle.ParameterResolutionContext
 
TypeUsage - Interface in net.jqwik.api.providers
An instance of TypeUsage describes the information available for parameter or return types.
TypeUsage.TypeUsageFacade - Class in net.jqwik.api.providers
 
TypeUsageFacade() - Constructor for class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
 

U

uniform() - Method in class net.jqwik.api.RandomDistribution.RandomDistributionFacade
 
uniform() - Static method in interface net.jqwik.api.RandomDistribution
A distribution that generates values across the allowed range with a uniform probability distribution.
unique() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of the same type T that creates and shrinks the original arbitrary but will never generate the same value twice.
Unique - Annotation Type in net.jqwik.api.constraints
Make a generated value to be unique withing the same try.
unique(ExhaustiveGenerator<T>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
 
unique() - Method in interface net.jqwik.api.ExhaustiveGenerator
 
unique(RandomGenerator<T>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
unique() - Method in interface net.jqwik.api.RandomGenerator
 
unshrinkable(T, ShrinkingDistance) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
 
unshrinkable(T) - Static method in interface net.jqwik.api.Shrinkable
 
unshrinkable(T, ShrinkingDistance) - Static method in interface net.jqwik.api.Shrinkable
 
update(Function<T, T>) - Method in interface net.jqwik.api.lifecycle.Store
 
UpperChars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to upper and lower case chars.
use(Executable) - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
Add another creator (function or constructor) to be used for generating values of type T
use(Arbitrary<T>) - Method in class net.jqwik.api.Combinators.BuilderCombinator
 
useAllConstructors() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
Add all constructors (public, private or package scope) of class T to be used for generating values of type T
useAllFactoryMethods() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
Add all factory methods (static methods with return type T) of class T to be used for generating values of type T
useConstructors(Predicate<? super Constructor<?>>) - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
Add all constructors (public, private or package scope) of class T to be used for generating values of type T
useFactoryMethods(Predicate<Method>) - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
Add all factory methods (static methods with return type T) of class T to be used for generating values of type T
usePublicConstructors() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
Add public constructors of class T to be used for generating values of type T
usePublicFactoryMethods() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
Add public factory methods (static methods with return type T) of class T to be used for generating values of type T
UseType - Annotation Type in net.jqwik.api.constraints
Generate a value from the annotated class' or type's constructors or factory methods.
UseTypeMode - Enum in net.jqwik.api.constraints
 

V

value() - Method in class net.jqwik.api.FalsificationResult
 
value() - Method in interface net.jqwik.api.Shrinkable
 
valueOf(String) - Static method in enum net.jqwik.api.AfterFailureMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.constraints.UseTypeMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.EdgeCasesMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.FalsificationResult.Status
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.GenerationMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.lifecycle.Lifespan
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.lifecycle.PropagationMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.lifecycle.PropertyExecutionResult.Status
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.lifecycle.TryExecutionResult.Status
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.Reporting
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.ShrinkingMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.stateful.ActionSequence.RunState
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.statistics.StatisticsReport.StatisticsReportMode
Returns the enum constant of this type with the specified name.
values() - Static method in enum net.jqwik.api.AfterFailureMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.constraints.UseTypeMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.EdgeCasesMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.FalsificationResult.Status
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.GenerationMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.lifecycle.Lifespan
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.lifecycle.PropagationMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.lifecycle.PropertyExecutionResult.Status
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.lifecycle.TryExecutionResult.Status
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.Reporting
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.ShrinkingMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.stateful.ActionSequence.RunState
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in interface net.jqwik.api.statistics.StatisticsEntry
The values collected during Statistics.collect(Object...)
values() - Static method in enum net.jqwik.api.statistics.StatisticsReport.StatisticsReportMode
Returns an array containing the constants of this enum type, in the order they are declared.

W

when(Predicate<List<Object>>, Function<List<Object>, R>) - Method in interface net.jqwik.api.arbitraries.FunctionArbitrary
 
whitespace() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all whitespace chars to show up in generated values.
whitespace() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all chars that will return true for Character.isWhitespace(char).
Whitespace - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to chars that will return true for Character.isWhitespace(char).
wildcard(TypeUsage) - Method in class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
 
wildcard(TypeUsage) - Static method in interface net.jqwik.api.providers.TypeUsage
 
with(char...) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all chars in allowedChars show up in generated values.
with(Arbitrary<Character>) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all chars generated by characterArbitrary.
with(CharSequence) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all chars in allowedChars show up in generated values.
withBuilder(Supplier<B>) - Static method in class net.jqwik.api.Combinators
Combine Arbitraries by means of a builder.
withBuilder(Arbitrary<B>) - Static method in class net.jqwik.api.Combinators
Combine Arbitraries by means of a builder.
withCharRange(char, char) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all chars within from (included) and to (included) to show up in generated strings.
withChars(char...) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all chars in chars to show up in generated strings.
withChars(CharSequence) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all chars in chars to show up in generated strings.
withChars(Arbitrary<Character>) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all chars generated by characterArbitrary.
withDistribution(RandomDistribution) - Method in interface net.jqwik.api.arbitraries.NumericalArbitrary
Set the distribution to use when generating random numerical values.
withEdgeCases(RandomGenerator<T>, int, EdgeCases<T>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
 
withEdgeCases(int, EdgeCases<T>) - Method in interface net.jqwik.api.RandomGenerator
 
withFilter(Predicate<T>) - Method in interface net.jqwik.api.Falsifier
 
withInvariant(Invariant<M>) - Method in interface net.jqwik.api.stateful.ActionSequence
Add an unlabelled invariant to a sequence.
withInvariant(String, Invariant<M>) - Method in interface net.jqwik.api.stateful.ActionSequence
Add a labelled invariant to a sequence.
WithNull - Annotation Type in net.jqwik.api.constraints
Allows jqwik to inject null parameters into generated values.
withPostFilter(Predicate<T>) - Method in interface net.jqwik.api.Falsifier
 
A B C D E F G H I J L M N O P R S T U V W 
Skip navigation links