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

AddLifecycleHook - Annotation Type in net.jqwik.api.lifecycle

Experimental feature.

after(PropertyExecutionResult) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle

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

afterContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.AroundContainerHook

AfterContainerHook - Interface in net.jqwik.api.lifecycle

Experimental feature.

afterContainerProximity() - Method in interface net.jqwik.api.lifecycle.AfterContainerHook

afterContainerProximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook

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 including properties 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

annotatedElement() - Method in interface net.jqwik.api.lifecycle.LifecycleContext

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.

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

Experimental feature.

aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook

aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook

AroundPropertyHook - Interface in net.jqwik.api.lifecycle

Experimental feature.

aroundPropertyProximity() - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook

aroundPropertyProximity() - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook

aroundTry(TryLifecycleContext, TryExecutor, List<Object>) - Method in interface net.jqwik.api.lifecycle.AroundTryHook

AroundTryHook - Interface in net.jqwik.api.lifecycle

Experimental feature.

aroundTryProximity() - Method in interface net.jqwik.api.lifecycle.AroundTryHook

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.

arrayOfUnique(Arbitrary<T>, Class<A>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade

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

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

BeforeContainerHook - Interface in net.jqwik.api.lifecycle

Experimental feature.

beforeContainerProximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook

beforeContainerProximity() - Method in interface net.jqwik.api.lifecycle.BeforeContainerHook

BeforeProperty - Annotation Type in net.jqwik.api.lifecycle

Annotate methods of a container class with @BeforeProperty to have them run once before each property including properties 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) 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(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

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

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.

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

Deprecated.

Use Statistics.collect(Object...) instead. Will be removed in version 1.3.

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

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

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

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

containerClass() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext

ContainerLifecycleContext - Interface in net.jqwik.api.lifecycle

Experimental feature.

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

countTries() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult

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

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

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

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

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

exhaustiveChoose(Class<T>, 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

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

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

falsifiedSample() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult

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<T>) - Method in interface net.jqwik.api.lifecycle.LifecycleContext

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

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

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

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

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

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.

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

This is a hack to make unique work for exhaustive generation

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.

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

label(String) - Static method in class net.jqwik.api.Statistics

Deprecated.

Use Statistics.label(String) instead. Will be removed in version 1.3.

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) 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 - Interface in net.jqwik.api.lifecycle

Experimental feature.

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.

listOfUnique(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade

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

mapTo(PropertyExecutionResult.Status, Throwable) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult

mapToAborted(Throwable) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult

mapToFailed(Throwable) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult

mapToFailed(String) - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult

mapToSuccessful() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult

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

MAXIMUM_SAMPLES_TO_GENERATE - Static variable in interface net.jqwik.api.ExhaustiveGenerator

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

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

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

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

onSuccess() - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle

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.

P

parameter() - Method in interface net.jqwik.api.lifecycle.ParameterResolutionContext

ParameterResolutionContext - Interface in net.jqwik.api.lifecycle

Experimental feature.

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

Experimental feature.

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.

prepareFor(LifecycleContext) - Method in interface net.jqwik.api.lifecycle.LifecycleHook

This method is called when an element, container class or property method, is found with this hook directly attached or applied to through a parent element.

prepareFor(LifecycleContext) - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook

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

propagateTo() - Method in interface net.jqwik.api.lifecycle.LifecycleHook

PropagationMode - Enum in net.jqwik.api.lifecycle

Property - Annotation Type in net.jqwik.api

Use @Property to mark methods that serve as properties.

propertyContext() - Method in interface net.jqwik.api.lifecycle.TryLifecycleContext

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

proximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook

publish(String, String) - Method in interface net.jqwik.api.lifecycle.Reporter

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.

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.

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.

reporter() - Method in interface net.jqwik.api.lifecycle.LifecycleContext

Reporter - Interface in net.jqwik.api.lifecycle

Experimental feature.

Reporting - Enum in net.jqwik.api

reset() - Method in interface net.jqwik.api.lifecycle.Store

resolve(ParameterResolutionContext, PropertyLifecycleContext) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle

resolve(ParameterResolutionContext, PropertyLifecycleContext) - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook

resolve(ParameterResolutionContext, PropertyLifecycleContext) - Method in interface net.jqwik.api.lifecycle.ResolveParameterHook

This method will be called only once per property, whereas the returned supplier is usually called for each try - and potentially more often during shrinking.

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.

ResolveParameterHook - Interface in net.jqwik.api.lifecycle

Experimental feature.

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.

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.

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

satisfied(boolean) - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult

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

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

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

skipExecutionOrder() - Method in interface net.jqwik.api.lifecycle.SkipExecutionHook

Lower order value means earlier evaluation

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

Deprecated.

Use Statistics instead. Will be removed in version 1.3.

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

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.

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.

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

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

TryExecutionResult.Status - Enum in net.jqwik.api.lifecycle

TryExecutor - Interface in net.jqwik.api.lifecycle

Experimental feature.

TryLifecycleContext - Interface in net.jqwik.api.lifecycle

Experimental feature.

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

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.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.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() - 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>, Function<List, 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(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.

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

Deprecated.

Use something like Arbitraries.oneOf(myArbitrary, Arbitraries.of(samples)). Will be removed in version 1.3.

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

Deprecated.

withSamples(T...) - Method in interface net.jqwik.api.RandomGenerator

Deprecated.

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