Index (documentation 1.1.4 API)

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

A

aborted(Throwable, String) - Static method in class net.jqwik.api.lifecycle.PropertyExecutionResult
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<M> - Interface in net.jqwik.api.stateful: An action class represents a state change that can be preformed on a model M.
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
AddLifecycleHook - Annotation Type in net.jqwik.api.lifecycle: Experimental feature.
AfterFailureMode - Enum in net.jqwik.api: The after-failure mode determines how a property behaves after it has been falsified.
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
annotatedElement() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
append(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
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
around(AroundPropertyHook) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
AroundPropertyHook - Interface in net.jqwik.api.lifecycle: Experimental feature.
aroundPropertyProximity() - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
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.
Assume - Class in net.jqwik.api

B

BASE - Static variable in interface net.jqwik.api.lifecycle.AroundPropertyHook
between(BigDecimal, BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary: Set the allowed lower min (included) and upper max (included) bounder 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(char, char) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary: Deprecated.
Use CharacterArbitrary.range(char, char) instead.
between(double, double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary: Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(float, float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary: Set the allowed lower min (included) and upper max (included) bounder 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.
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.
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
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
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: Call this method to record an entry for statistical data about generated values.
collect(Object...) - Method in class net.jqwik.api.Statistics.StatisticsFacade
Combinators - Class in net.jqwik.api
Combinators.BuilderCombinator - 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<AroundPropertyHook>) - Static method in interface net.jqwik.api.lifecycle.AroundPropertyHook
combine(List<SkipExecutionHook>) - Static method in interface net.jqwik.api.lifecycle.SkipExecutionHook
combine(List<Shrinkable<T>>) - Static method in class net.jqwik.api.ShrinkingDistance
combineExhaustive(List<Arbitrary<Object>>, Function<List<Object>, R>) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
combineShrinkables(List<Shrinkable<Object>>, Function<List<Object>, R>) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
compareTo(ArbitraryConfigurator) - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
compareTo(FalsificationResult<T>) - Method in class net.jqwik.api.FalsificationResult
compareTo(AroundPropertyHook) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
compareTo(SkipExecutionHook) - Method in interface net.jqwik.api.lifecycle.SkipExecutionHook
compareTo(Shrinkable<T>) - Method in interface net.jqwik.api.Shrinkable
compareTo(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
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(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.
configure(Function<String, Optional<String>>) - Method in interface net.jqwik.api.lifecycle.LifecycleHook
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
ContainerLifecycleContext - Interface in net.jqwik.api.lifecycle: Experimental feature.
create(Supplier<T>) - Static method in class net.jqwik.api.Arbitraries: Create an arbitrary that will use a supplier to generate a value.
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
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
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
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

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() - Method in interface net.jqwik.api.lifecycle.PropertyExecutor
exhaustive() - Method in interface net.jqwik.api.Arbitrary: Create the exhaustive generator for an arbitrary
exhaustiveChoose(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
exhaustiveChoose(char[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
exhaustiveChoose(Class<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
exhaustiveCreate(Supplier<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
ExhaustiveGenerator<T> - Interface in net.jqwik.api
ExhaustiveGenerator.ExhaustiveGeneratorFacade - Class in net.jqwik.api
ExhaustiveGeneratorFacade() - Constructor for class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
exhaustiveShuffle(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade

F

FacadeLoader - Class in net.jqwik.api
FacadeLoader() - Constructor for class net.jqwik.api.FacadeLoader
failed(Throwable, String, List<Object>) - Static method in class net.jqwik.api.lifecycle.PropertyExecutionResult
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
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(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<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>) - 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>) - Method in interface net.jqwik.api.RandomGenerator
flatMap(Function<T, Arbitrary>, int) - Method in interface net.jqwik.api.RandomGenerator
flatMap(Shrinkable<T>, Function<T, RandomGenerator>, long) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
flatMap(Shrinkable<T>, Function<T, Arbitrary>, int, long) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
flatMap(Function<T, Arbitrary>, int, long) - Method in interface net.jqwik.api.Shrinkable
flatMap(Shrinkable<T>, Function<T, Arbitrary>, int, long) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
flatMapExhaustiveGenerator(ExhaustiveGenerator<T>, Function<T, Arbitrary>) - 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.
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.
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.

G

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
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
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.
getFalsifiedSample() - Method in class net.jqwik.api.lifecycle.PropertyExecutionResult
getLowerBounds() - Method in interface net.jqwik.api.providers.TypeUsage: Return lower bounds if a generic type is a wildcard.
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.
getSeed() - Method in class net.jqwik.api.lifecycle.PropertyExecutionResult
getStatus() - Method in class net.jqwik.api.lifecycle.PropertyExecutionResult
getThrowable() - Method in class net.jqwik.api.lifecycle.PropertyExecutionResult
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) bounder 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) bounder of generated numbers.
greaterOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary: Set the allowed lower min (included) bounder 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.
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

I

in(Combinators.F2<B, T, C>) - Method in class net.jqwik.api.Combinators.CombinableBuilder
init(FalsificationResult<T>) - Method in interface net.jqwik.api.ShrinkingSequence
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.
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.
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.
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.ExhaustiveGenerator: This is a hack to make unique work for exhaustive generation
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.

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
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) bounder of generated numbers.
lessOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary: Set the allowed upper max (included) bounder 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.
LifecycleContext - Interface in net.jqwik.api.lifecycle: Experimental feature.
LifecycleHook<T extends LifecycleHook> - Interface in net.jqwik.api.lifecycle: Experimental feature.
LifecycleHooks - Annotation Type in net.jqwik.api.lifecycle: Experimental feature.
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(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>) - Method in class net.jqwik.api.FalsificationResult
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>) - Method in interface net.jqwik.api.ShrinkingSequence
map(ShrinkingSequence<T>, Function<FalsificationResult<T>, FalsificationResult>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
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_DISCARD_RATIO_NOT_SET - Static variable in annotation type net.jqwik.api.Property
maxCount() - Method in interface net.jqwik.api.ExhaustiveGenerator
modify(TypeArbitrary<T>) - Method in enum net.jqwik.api.constraints.UseTypeMode

N

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
next(Random) - Method in interface net.jqwik.api.RandomGenerator
next(Runnable, Consumer<FalsificationResult<T>>) - Method in interface net.jqwik.api.ShrinkingSequence
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
numeric() - Method in interface net.jqwik.api.arbitraries.StringArbitrary: Allow all numeric chars (digits) to show up in generated strings.
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(List<T>) - Static method in class net.jqwik.api.Arbitraries: Create an arbitrary that will randomly choose from a given list 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.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.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.stateful.ActionSequenceArbitrary
oneOf(List<Arbitrary<T>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
oneOf(Arbitrary<T>, 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.
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.
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.
order() - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator: Determines the order in which a configurator will be applied in regards to other configurators.
order() - Method in interface net.jqwik.api.lifecycle.SkipExecutionHook

P

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(M) - 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_NOT_SET - Static variable in annotation type net.jqwik.api.domains.Domain
Property - Annotation Type in net.jqwik.api: Use @Property to mark methods that serve as properties.
PropertyExecutionResult - Class in net.jqwik.api.lifecycle: Experimental feature.
PropertyExecutionResult.Status - Enum in net.jqwik.api.lifecycle: Status of executing a single test or container.
PropertyExecutor - Interface in net.jqwik.api.lifecycle: Experimental feature.
PropertyLifecycleContext - Interface in net.jqwik.api.lifecycle: Experimental feature.
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.

R

randomChoose(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
randomChoose(char[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
randomChoose(Class<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
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.
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.
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
registerProvider(ArbitraryProvider) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
Report - Annotation Type in net.jqwik.api: Use @Report to specify what additional things should be reported when running a property.
Reporting - Enum in net.jqwik.api
run(M) - Method in interface net.jqwik.api.stateful.Action: Perform an action on model M and return the same model (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

samples(T...) - Static method in class net.jqwik.api.Arbitraries: Create an arbitrary that will provide the sample values from first to last and then start again at the beginning.
Scale - Annotation Type in net.jqwik.api.constraints: Use to constrain the maximum number of decimal places when generating decimal numbers.
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<Action<M>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
sequences(Arbitrary<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
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
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(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 - 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 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
SkipExecutionHook - Interface in net.jqwik.api.lifecycle: Experimental feature.
SkipExecutionHook.SkipResult - Class in net.jqwik.api.lifecycle
Statistics - Class in net.jqwik.api: This class serves as a container for static methods to collect statistical data about generated values within a property method.
Statistics() - Constructor for class net.jqwik.api.Statistics
Statistics.StatisticsFacade - Class in net.jqwik.api
StatisticsFacade() - Constructor for class net.jqwik.api.Statistics.StatisticsFacade
status() - Method in class net.jqwik.api.FalsificationResult
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
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.
successful() - Static method in class net.jqwik.api.lifecycle.PropertyExecutionResult
successful(String) - Static method in class net.jqwik.api.lifecycle.PropertyExecutionResult

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
testInstance() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
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.
then(SkipExecutionHook) - Method in interface net.jqwik.api.lifecycle.SkipExecutionHook
throwable() - Method in class net.jqwik.api.FalsificationResult
TooManyFilterMissesException - Exception in net.jqwik.api
TooManyFilterMissesException(String) - Constructor for exception net.jqwik.api.TooManyFilterMissesException
toString() - Method in class net.jqwik.api.lifecycle.PropertyExecutionResult
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
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
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 - 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

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) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
unshrinkable(T) - Static method in interface net.jqwik.api.Shrinkable
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.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.PropertyExecutionResult.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.
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.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.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.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.

W

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 chars show up in generated values.
withBuilder(Supplier) - Static method in class net.jqwik.api.Combinators: Combine Arbitraries by means of a builder.
withBuilder(Arbitrary) - 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.
withEdgeCases(RandomGenerator<T>, int, List<Shrinkable<T>>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
withEdgeCases(int, List<Shrinkable<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
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
withSamples(T...) - Method in interface net.jqwik.api.Arbitrary: Create a new arbitrary of the same type but inject values in samples first before continuing with standard value generation.
withSamples(ExhaustiveGenerator<T>, T[]) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
withSamples(T[]) - Method in interface net.jqwik.api.ExhaustiveGenerator
withSamples(RandomGenerator<T>, T[]) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
withSamples(T...) - Method in interface net.jqwik.api.RandomGenerator

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