- AbstractDomainContextBase - Class in net.jqwik.api.domains
-
- AbstractDomainContextBase() - Constructor for class net.jqwik.api.domains.AbstractDomainContextBase
-
- acceptTargetType(TypeUsage) - Method in class net.jqwik.api.configurators.ArbitraryConfiguratorBase
-
Override if configurator only works for certain types of domain objects
- Action<S> - Interface in net.jqwik.api.stateful
-
An action class represents a state change that can be preformed
on a stateful S
.
- ActionSequence<M> - Interface in net.jqwik.api.stateful
-
A sequence of Actions that can be run with a model of type M
- ActionSequence.RunState - Enum in net.jqwik.api.stateful
-
- ActionSequenceArbitrary<M> - Interface in net.jqwik.api.stateful
-
- activated() - Method in enum net.jqwik.api.EdgeCasesMode
-
- AddLifecycleHook - Annotation Type in net.jqwik.api.lifecycle
-
- after(PropertyExecutionResult) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
-
Override if you want to perform some work once after the annotated property (or example).
- AfterContainer - Annotation Type in net.jqwik.api.lifecycle
-
Annotate static methods of a container class with @AfterContainer
to have them run exactly once after all of its properties or any lifecycle
methods from embedded containers have been run.
- afterContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.AfterContainerHook
-
The code of this method will be run exactly once after all property methods and child containers.
- afterContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
-
- AfterContainerHook - Interface in net.jqwik.api.lifecycle
-
Implement this hook to define behaviour for a container (class or whole test suite)
that should be run exactly once after of its property methods and child containers.
- afterContainerProximity() - Method in interface net.jqwik.api.lifecycle.AfterContainerHook
-
The higher the value, the closer to the actual property methods, i.e. the earlier it will be run.
- afterContainerProximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
-
- AfterExample - Annotation Type in net.jqwik.api.lifecycle
-
- AfterFailureMode - Enum in net.jqwik.api
-
The after-failure mode determines how a property behaves after it has been falsified.
- AfterProperty - Annotation Type in net.jqwik.api.lifecycle
-
Annotate methods of a container class with @AfterProperty
to have them run once after each property (or example)
including properties (or examples) of embedded containers.
- AfterTry - Annotation Type in net.jqwik.api.lifecycle
-
Annotate methods of a container class with @AfterTry
to have them run once after each try - the actual invocation of the property
method with generated parameters - including properties of
embedded containers.
- all() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
-
Allow all unicode chars to show up in generated values.
- all() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all unicode chars even noncharacters and private use characters
but only in plane 0 (aka Basic Multilingual Plane)
- allValues() - Method in interface net.jqwik.api.Arbitrary
-
Create optional stream of all possible values this arbitrary could generate.
- alpha() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all alpha chars to show up in generated strings.
- AlphaChars - Annotation Type in net.jqwik.api.constraints
-
Constrain the chars used to generate Strings or Characters to upper and lower case chars.
- andThen(Function<Shrinkable<T>, ShrinkingSequence<T>>) - Method in interface net.jqwik.api.ShrinkingSequence
-
- andThen(ShrinkingSequence<T>, Function<Shrinkable<T>, ShrinkingSequence<T>>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
-
- append(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
-
- appliesTo(Optional<AnnotatedElement>) - Method in interface net.jqwik.api.lifecycle.LifecycleHook
-
This method is called once per hook and potential element during lifecycle hooks registration.
- appliesTo(Object) - Method in interface net.jqwik.api.SampleReportingFormat
-
- apply(T1, T2) - Method in interface net.jqwik.api.Combinators.F2
-
- apply(T1, T2, T3) - Method in interface net.jqwik.api.Combinators.F3
-
- apply(T1, T2, T3, T4) - Method in interface net.jqwik.api.Combinators.F4
-
- apply(T1, T2, T3, T4, T5) - Method in interface net.jqwik.api.Combinators.F5
-
- apply(T1, T2, T3, T4, T5, T6) - Method in interface net.jqwik.api.Combinators.F6
-
- apply(T1, T2, T3, T4, T5, T6, T7) - Method in interface net.jqwik.api.Combinators.F7
-
- apply(T1, T2, T3, T4, T5, T6, T7, T8) - Method in interface net.jqwik.api.Combinators.F8
-
- Arbitraries - Class in net.jqwik.api
-
- Arbitraries.ArbitrariesFacade - Class in net.jqwik.api
-
- ArbitrariesFacade() - Constructor for class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- Arbitrary<T> - Interface in net.jqwik.api
-
The main interface for representing objects that can be generated and shrunk.
- Arbitrary.ArbitraryFacade - Class in net.jqwik.api
-
- ArbitraryConfigurationException - Exception in net.jqwik.api.configurators
-
- ArbitraryConfigurator - Interface in net.jqwik.api.configurators
-
Implementors can modify any arbitrary before it's being used for value generation.
- ArbitraryConfiguratorBase - Class in net.jqwik.api.configurators
-
Using this base class is the easiest way to make use of the configuration mechanism
described in
ArbitraryConfigurator
Implementations must be registered in
/META-INF/services/net.jqwik.api.configurators.ArbitraryConfigurator
so that they will be automatically considered for arbitrary configuration.
- ArbitraryConfiguratorBase() - Constructor for class net.jqwik.api.configurators.ArbitraryConfiguratorBase
-
- ArbitraryFacade() - Constructor for class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- ArbitraryProvider - Interface in net.jqwik.api.providers
-
Implementation of this class are used to provide default arbitraries to
ForAll
parameters without an explicit provider reference.
- ArbitraryProvider.SubtypeProvider - Interface in net.jqwik.api.providers
-
- AroundContainerHook - Interface in net.jqwik.api.lifecycle
-
- aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
-
When you wrap a property you can do stuff before and/or after its execution.
- aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
-
- AroundPropertyHook - Interface in net.jqwik.api.lifecycle
-
Implement this hook to define behaviour that should "wrap" the execution of a property,
i.e., do something directly before or after running a property - or both.
- aroundPropertyProximity() - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
-
The higher the value, the closer to the actual property method.
- aroundPropertyProximity() - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
-
- aroundTry(TryLifecycleContext, TryExecutor, List<Object>) - Method in interface net.jqwik.api.lifecycle.AroundTryHook
-
When you wrap a try you can do stuff before and/or after its execution.
- AroundTryHook - Interface in net.jqwik.api.lifecycle
-
Implement this hook to define behaviour that should "wrap" the execution of a single try,
i.e., do something directly before or after executing a property method with a given list of parameters.
- aroundTryProximity() - Method in interface net.jqwik.api.lifecycle.AroundTryHook
-
The higher the value, the closer to the actual property method.
- array(Arbitrary<T>, Class<A>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- array(Class<A>) - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type T[]
using the existing arbitrary for generating the elements of the array.
- as(Combinators.F2<T1, T2, R>) - Method in class net.jqwik.api.Combinators.Combinator2
-
- as(Combinators.F3<T1, T2, T3, R>) - Method in class net.jqwik.api.Combinators.Combinator3
-
- as(Combinators.F4<T1, T2, T3, T4, R>) - Method in class net.jqwik.api.Combinators.Combinator4
-
- as(Combinators.F5<T1, T2, T3, T4, T5, R>) - Method in class net.jqwik.api.Combinators.Combinator5
-
- as(Combinators.F6<T1, T2, T3, T4, T5, T6, R>) - Method in class net.jqwik.api.Combinators.Combinator6
-
- as(Combinators.F7<T1, T2, T3, T4, T5, T6, T7, R>) - Method in class net.jqwik.api.Combinators.Combinator7
-
- as(Combinators.F8<T1, T2, T3, T4, T5, T6, T7, T8, R>) - Method in class net.jqwik.api.Combinators.Combinator8
-
- as(Function<List<T>, R>) - Method in class net.jqwik.api.Combinators.ListCombinator
-
- ascii() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
-
Allow all ascii chars to show up in generated values.
- ascii() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all ascii chars to show up in generated strings.
- asGeneric() - Method in interface net.jqwik.api.Arbitrary
-
Sometimes simplifies test writing
- asGeneric() - Method in interface net.jqwik.api.Shrinkable
-
Sometimes simplifies test writing
- Assume - Class in net.jqwik.api
-
- BASE - Static variable in interface net.jqwik.api.lifecycle.AroundPropertyHook
-
- BASE - Static variable in interface net.jqwik.api.lifecycle.AroundTryHook
-
- before(PropertyLifecycleContext) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
-
Override if you want to perform some work once before the annotated property (or example).
- beforeContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
-
- BeforeContainer - Annotation Type in net.jqwik.api.lifecycle
-
Annotate static methods of a container class with @BeforeContainer
to have them run exactly once before any of its properties or any lifecycle
methods from embedded containers will be run.
- beforeContainer(ContainerLifecycleContext) - Method in interface net.jqwik.api.lifecycle.BeforeContainerHook
-
The code of this method will be run exactly once before any property method or child container.
- BeforeContainerHook - Interface in net.jqwik.api.lifecycle
-
Implement this hook to define behaviour for a container (class or whole test suite)
that should be run exactly once before any of its property methods and child containers.
- beforeContainerProximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
-
- beforeContainerProximity() - Method in interface net.jqwik.api.lifecycle.BeforeContainerHook
-
The higher the value, the closer to the actual property methods, i.e. the later it will be run.
- BeforeExample - Annotation Type in net.jqwik.api.lifecycle
-
- BeforeProperty - Annotation Type in net.jqwik.api.lifecycle
-
Annotate methods of a container class with @BeforeProperty
to have them run once before each property (or example)
including properties (or examples) of embedded containers.
- BeforeTry - Annotation Type in net.jqwik.api.lifecycle
-
Annotate methods of a container class with @BeforeTry
to have them run once before each try - the actual invocation of the property
method with generated parameters - including properties of
embedded containers.
- between(BigDecimal, BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set the allowed lower min
(included) and upper max
(included) border of generated numbers.
- between(BigDecimal, boolean, BigDecimal, boolean) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set the allowed lower min
(included) and upper max
(included) border of generated numbers.
- between(BigInteger, BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
-
Set the allowed lower min
(included) and upper max
(included) bounder of generated numbers.
- between(byte, byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
-
Set the allowed lower min
(included) and upper max
(included) bounds of generated numbers.
- between(double, double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set the allowed lower min
(included) and upper max
(included) border of generated numbers.
- between(double, boolean, double, boolean) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set the allowed lower min
(included) and upper max
(included) border of generated numbers.
- between(float, float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set the allowed lower min
(included) and upper max
(included) border of generated numbers.
- between(float, boolean, float, boolean) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set the allowed lower min
(included) and upper max
(included) border of generated numbers.
- between(int, int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
-
Set the allowed lower min
(included) and upper max
(included) bounder of generated numbers.
- between(long, long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
-
Set the allowed lower min
(included) and upper max
(included) bounds of generated numbers.
- between(short, short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
-
Set the allowed lower min
(included) and upper max
(included) bounder of generated numbers.
- biased() - Static method in interface net.jqwik.api.RandomDistribution
-
A distribution that generates values closer to the center of a numerical range
with a higher probability.
- biased() - Method in class net.jqwik.api.RandomDistribution.RandomDistributionFacade
-
- BigDecimalArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of BigDecimal values.
- bigDecimals() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- bigDecimals() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type BigDecimal.
- BigIntegerArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of BigInteger values.
- bigIntegers() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- bigIntegers() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type BigInteger.
- BigRange - Annotation Type in net.jqwik.api.constraints
-
Constrain the range of a generated "Big" number.
- Bucket(String) - Constructor for class net.jqwik.api.statistics.Histogram.Bucket
-
- Bucket(String, int) - Constructor for class net.jqwik.api.statistics.Histogram.Bucket
-
- buckets() - Method in class net.jqwik.api.statistics.NumberRangeHistogram
-
Determines the number of buckets into which the full range of collected
numbers will be clustered.
- build(Function<B, T>) - Method in class net.jqwik.api.Combinators.BuilderCombinator
-
- ByteArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of Byte and byte values.
- ByteRange - Annotation Type in net.jqwik.api.constraints
-
Constrain the range of a generated byte or Byte parameters.
- bytes() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- bytes() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type Byte.
- canBeAssignedTo(TypeUsage) - Method in interface net.jqwik.api.providers.TypeUsage
-
Check if an instance can be assigned to another TypeUsage
instance.
- CannotFindArbitraryException - Exception in net.jqwik.api
-
- CannotFindArbitraryException(TypeUsage) - Constructor for exception net.jqwik.api.CannotFindArbitraryException
-
- CannotFindArbitraryException(TypeUsage, ForAll) - Constructor for exception net.jqwik.api.CannotFindArbitraryException
-
- CannotFindStoreException - Exception in net.jqwik.api.lifecycle
-
Experimental feature.
- CannotFindStoreException(Object, String) - Constructor for exception net.jqwik.api.lifecycle.CannotFindStoreException
-
- CannotResolveParameterException - Exception in net.jqwik.api.lifecycle
-
Experimental feature.
- CannotResolveParameterException(ParameterResolutionContext, String) - Constructor for exception net.jqwik.api.lifecycle.CannotResolveParameterException
-
- CannotResolveParameterException(Parameter, String) - Constructor for exception net.jqwik.api.lifecycle.CannotResolveParameterException
-
- canProvideFor(TypeUsage) - Method in interface net.jqwik.api.providers.ArbitraryProvider
-
Return true if the provider is suitable for targetType
- CharacterArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of Character and char values.
- CharRange - Annotation Type in net.jqwik.api.constraints
-
Constrain the chars used to generate Strings or Characters to chars in the range
from from
to to
.
- CharRangeList - Annotation Type in net.jqwik.api.constraints
-
- chars() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- chars() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type Character.
- Chars - Annotation Type in net.jqwik.api.constraints
-
Constrain the chars used to generate Strings or Characters to chars
contained in value
.
- CharsList - Annotation Type in net.jqwik.api.constraints
-
- check(T) - Method in interface net.jqwik.api.stateful.Invariant
-
- check(Object...) - Method in interface net.jqwik.api.statistics.StatisticsCoverage
-
Select a specific values set for coverage checking.
- checkQuery(Predicate<? extends List<?>>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage
-
Execute a query for coverage checking.
- cluster(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.Histogram
-
- cluster(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.NumberRangeHistogram
-
Does not make sense to override because this has the number range functionality
- collect(Predicate<List<T>>) - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type List<T>
by adding elements of type T until condition until
is fulfilled.
- collect(Predicate<List<T>>) - Method in interface net.jqwik.api.RandomGenerator
-
- collect(RandomGenerator<T>, Predicate<List<T>>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- collect(Object...) - Static method in class net.jqwik.api.statistics.Statistics
-
Call this method to record an entry for statistical data about generated values.
- collect(Object...) - Method in interface net.jqwik.api.statistics.StatisticsCollector
-
Call this method to record an entry for statistical data about generated values.
- collectorByLabel(String) - Method in class net.jqwik.api.statistics.Statistics.StatisticsFacade
-
- Combinators - Class in net.jqwik.api
-
- Combinators.BuilderCombinator<B> - Class in net.jqwik.api
-
- Combinators.CombinableBuilder<B,T> - Class in net.jqwik.api
-
- Combinators.Combinator2<T1,T2> - Class in net.jqwik.api
-
- Combinators.Combinator3<T1,T2,T3> - Class in net.jqwik.api
-
- Combinators.Combinator4<T1,T2,T3,T4> - Class in net.jqwik.api
-
- Combinators.Combinator5<T1,T2,T3,T4,T5> - Class in net.jqwik.api
-
- Combinators.Combinator6<T1,T2,T3,T4,T5,T6> - Class in net.jqwik.api
-
- Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7> - Class in net.jqwik.api
-
- Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8> - Class in net.jqwik.api
-
- Combinators.CombinatorsFacade - Class in net.jqwik.api
-
- Combinators.F2<T1,T2,R> - Interface in net.jqwik.api
-
- Combinators.F3<T1,T2,T3,R> - Interface in net.jqwik.api
-
- Combinators.F4<T1,T2,T3,T4,R> - Interface in net.jqwik.api
-
- Combinators.F5<T1,T2,T3,T4,T5,R> - Interface in net.jqwik.api
-
- Combinators.F6<T1,T2,T3,T4,T5,T6,R> - Interface in net.jqwik.api
-
- Combinators.F7<T1,T2,T3,T4,T5,T6,T7,R> - Interface in net.jqwik.api
-
- Combinators.F8<T1,T2,T3,T4,T5,T6,T7,T8,R> - Interface in net.jqwik.api
-
- Combinators.ListCombinator<T> - Class in net.jqwik.api
-
- CombinatorsFacade() - Constructor for class net.jqwik.api.Combinators.CombinatorsFacade
-
- combine(Arbitrary<T1>, Arbitrary<T2>) - Static method in class net.jqwik.api.Combinators
-
Combine 2 arbitraries into one.
- combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>) - Static method in class net.jqwik.api.Combinators
-
Combine 3 arbitraries into one.
- combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>) - Static method in class net.jqwik.api.Combinators
-
Combine 4 arbitraries into one.
- combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>) - Static method in class net.jqwik.api.Combinators
-
Combine 5 arbitraries into one.
- combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>) - Static method in class net.jqwik.api.Combinators
-
Combine 6 arbitraries into one.
- combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>, Arbitrary<T7>) - Static method in class net.jqwik.api.Combinators
-
Combine 7 arbitraries into one.
- combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>, Arbitrary<T7>, Arbitrary<T8>) - Static method in class net.jqwik.api.Combinators
-
Combine 8 arbitraries into one.
- combine(List<Arbitrary<T>>) - Static method in class net.jqwik.api.Combinators
-
Combine a list of arbitraries into one.
- combine(List<Shrinkable<T>>) - Static method in class net.jqwik.api.ShrinkingDistance
-
- combineEdgeCases(List<Arbitrary<Object>>, Function<List<Object>, R>) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
-
- combineExhaustive(List<Arbitrary<Object>>, Function<List<Object>, R>, long) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
-
- combineShrinkables(List<Shrinkable<Object>>, Function<List<Object>, R>) - Method in class net.jqwik.api.Combinators.CombinatorsFacade
-
- comparator() - Method in class net.jqwik.api.statistics.Histogram
-
Determine how entries are being sorted from top to bottom.
- comparator() - Method in class net.jqwik.api.statistics.NumberRangeHistogram
-
Does not make sense to override since order does not matter for clustering anyway
- compareTo(ArbitraryConfigurator) - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
-
- compareTo(FalsificationResult<T>) - Method in class net.jqwik.api.FalsificationResult
-
- compareTo(AfterContainerHook) - Method in interface net.jqwik.api.lifecycle.AfterContainerHook
-
- compareTo(AroundPropertyHook) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
-
- compareTo(AroundTryHook) - Method in interface net.jqwik.api.lifecycle.AroundTryHook
-
- compareTo(BeforeContainerHook) - Method in interface net.jqwik.api.lifecycle.BeforeContainerHook
-
- compareTo(SampleReportingFormat) - Method in interface net.jqwik.api.SampleReportingFormat
-
- compareTo(Shrinkable<T>) - Method in interface net.jqwik.api.Shrinkable
-
- compareTo(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
-
- concat(EdgeCases<T>...) - Static method in interface net.jqwik.api.EdgeCases
-
- concat(List<EdgeCases<T>>) - Static method in interface net.jqwik.api.EdgeCases
-
- concat(List<EdgeCases<T>>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
-
- configure(Arbitrary<T>, TypeUsage) - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
-
Configure a given arbitrary
and return the configured instance.
- configure(Arbitrary<T>, TypeUsage) - Method in class net.jqwik.api.configurators.ArbitraryConfiguratorBase
-
- configure(Arbitrary<T>, ArbitraryConfigurator, TypeUsage) - Static method in interface net.jqwik.api.configurators.SelfConfiguringArbitrary
-
If an arbitrary is self configuring use it, otherwise use default configurator
- configure(ArbitraryConfigurator, TypeUsage) - Method in interface net.jqwik.api.configurators.SelfConfiguringArbitrary
-
- constant(T) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will always generate the same value.
- containedIn(Reporting[]) - Method in enum net.jqwik.api.Reporting
-
- containerClass() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
-
The container class in which the current property method is running.
- containerClass() - Method in interface net.jqwik.api.lifecycle.TryLifecycleContext
-
The container class in which the current property method is running.
- ContainerLifecycleContext - Interface in net.jqwik.api.lifecycle
-
The context of a test container (a container class or the whole jqwik suite).
- count(Predicate<Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
-
Check the number of occurrences returning true (ok) or false (fail)
- count(BiPredicate<Integer, Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
-
Check the number of occurrences using one or more assertions.
- count(Consumer<Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
-
Check the number of occurrences returning true (ok) or false (fail).
- count(BiConsumer<Integer, Integer>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
-
Check the number of occurrences using one or more assertions.
- count() - Method in interface net.jqwik.api.statistics.StatisticsEntry
-
The number of times a certain value (set) has been collected
- countChecks() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
-
The number of tries for which parameters were created
and the property method run.
- countTries() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
-
The number of tries for which parameters were created and the property method run
and which were not aborted, e.g. through a failing assumption.
- coverage(Consumer<StatisticsCoverage>) - Static method in class net.jqwik.api.statistics.Statistics
-
- coverage(Consumer<StatisticsCoverage>) - Method in interface net.jqwik.api.statistics.StatisticsCollector
-
Perform coverage checking for successful property on statistics.
- create(Supplier<T>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will use a supplier to generate a value.
- create(Object, Lifespan, Supplier<T>) - Static method in interface net.jqwik.api.lifecycle.Store
-
Create a new store for storing and retrieving values and objects in lifecycle
hooks and lifecycle-dependent methods.
- create(Object, Lifespan, Supplier<T>) - Method in class net.jqwik.api.lifecycle.Store.StoreFacade
-
- createGenerator(int, BigInteger, BigInteger, BigInteger) - Method in interface net.jqwik.api.RandomDistribution
-
Return a generator that will generate value with the desired distribution
- current() - Method in interface net.jqwik.api.ShrinkingSequence
-
- FacadeLoader - Class in net.jqwik.api
-
- FacadeLoader() - Constructor for class net.jqwik.api.FacadeLoader
-
- FalsificationResult<T> - Class in net.jqwik.api
-
- FalsificationResult.Status - Enum in net.jqwik.api
-
- falsified(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
-
- falsified(Shrinkable<T>, Throwable) - Static method in class net.jqwik.api.FalsificationResult
-
- falsified(Throwable) - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
Create a result that falsified the current property and will immediately
finish this property as failed.
- falsifiedSample() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
-
The potentially shrunk set of parameters that falsified this property.
- Falsifier<T> - Interface in net.jqwik.api
-
- falsify(Shrinkable<T>) - Method in interface net.jqwik.api.Falsifier
-
- filter(Predicate<T>) - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of the same type T
that creates and shrinks the original arbitrary but only allows
values that are accepted by the filterPredicate
.
- filter(EdgeCases<T>, Predicate<T>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
-
- filter(Predicate<T>) - Method in interface net.jqwik.api.EdgeCases
-
- filter(ExhaustiveGenerator<T>, Predicate<T>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
-
- filter(Predicate<T>) - Method in interface net.jqwik.api.ExhaustiveGenerator
-
- filter(Predicate<T>) - Method in class net.jqwik.api.FalsificationResult
-
- filter(Predicate<T>) - Method in interface net.jqwik.api.RandomGenerator
-
- filter(RandomGenerator<T>, Predicate<T>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- filter(Predicate<T>) - Method in interface net.jqwik.api.Shrinkable
-
- filter(Shrinkable<T>, Predicate<T>) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
-
- filtered(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
-
- finalModel() - Method in interface net.jqwik.api.stateful.ActionSequence
-
- findAnnotation(Class<T>) - Method in interface net.jqwik.api.lifecycle.LifecycleContext
-
Retrieve an annotation if present at the current test element.
- findAnnotation(Class<A>) - Method in interface net.jqwik.api.providers.TypeUsage
-
Return an Optional
of the first instance of a specific annotationType
if there is one (directly or indirectly through meta-annotations).
- fixGenSize(int) - Method in interface net.jqwik.api.Arbitrary
-
Fix the genSize of an arbitrary so that it can no longer be influenced from outside
- flatAs(Combinators.F2<T1, T2, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator2
-
- flatAs(Combinators.F3<T1, T2, T3, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator3
-
- flatAs(Combinators.F4<T1, T2, T3, T4, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator4
-
- flatAs(Combinators.F5<T1, T2, T3, T4, T5, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator5
-
- flatAs(Combinators.F6<T1, T2, T3, T4, T5, T6, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator6
-
- flatAs(Combinators.F7<T1, T2, T3, T4, T5, T6, T7, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator7
-
- flatAs(Combinators.F8<T1, T2, T3, T4, T5, T6, T7, T8, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.Combinator8
-
- flatAs(Function<List<T>, Arbitrary<R>>) - Method in class net.jqwik.api.Combinators.ListCombinator
-
- flatMap(Function<T, Arbitrary<U>>) - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type U
that uses the values of the existing arbitrary to create a new arbitrary
using the mapper
function.
- flatMap(Function<T, RandomGenerator<U>>) - Method in interface net.jqwik.api.RandomGenerator
-
- flatMap(Function<T, Arbitrary<U>>, int) - Method in interface net.jqwik.api.RandomGenerator
-
- flatMap(Shrinkable<T>, Function<T, RandomGenerator<U>>, long) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- flatMap(Shrinkable<T>, Function<T, Arbitrary<U>>, int, long) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- flatMap(Function<T, Arbitrary<U>>, int, long) - Method in interface net.jqwik.api.Shrinkable
-
- flatMap(Shrinkable<T>, Function<T, Arbitrary<U>>, int, long) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
-
- flatMapArbitrary(EdgeCases<T>, Function<T, Arbitrary<U>>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
-
- flatMapArbitrary(Function<T, Arbitrary<U>>) - Method in interface net.jqwik.api.EdgeCases
-
- flatMapExhaustiveGenerator(ExhaustiveGenerator<T>, Function<T, Arbitrary<U>>, long) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- FloatArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of Float and float values.
- FloatRange - Annotation Type in net.jqwik.api.constraints
-
Constrain the range of a generated float or Float parameters.
- floats() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- floats() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type Float.
- ForAll - Annotation Type in net.jqwik.api
-
Used to annotate method parameters that will be provided by jqwik.
- forCollection(Collection<Shrinkable<T>>) - Static method in class net.jqwik.api.ShrinkingDistance
-
- forEachValue(Consumer<? super T>) - Method in interface net.jqwik.api.Arbitrary
-
Iterate through each value this arbitrary can generate if - and only if -
exhaustive generation is possible.
- formatReport(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.Histogram
-
- formatReport(List<StatisticsEntry>) - Method in class net.jqwik.api.statistics.StatisticsReport.None
-
- formatReport(List<StatisticsEntry>) - Method in interface net.jqwik.api.statistics.StatisticsReportFormat
-
Return a list of report lines.
- forType(Class<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- forType(Class<T>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary for type T
that will by default use the type's
public constructors and public factory methods.
- forType(Type) - Static method in interface net.jqwik.api.providers.TypeUsage
-
- forType(Type) - Method in class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
-
- frequency(Tuple.Tuple2<Integer, T>...) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose between all given values of the same type T.
- frequency(List<Tuple.Tuple2<Integer, T>>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose between all given values of the same type T.
- frequencyOf(List<Tuple.Tuple2<Integer, Arbitrary<T>>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- frequencyOf(Tuple.Tuple2<Integer, Arbitrary<T>>...) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
- frequencyOf(List<Tuple.Tuple2<Integer, Arbitrary<T>>>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
- From - Annotation Type in net.jqwik.api
-
Used to annotate type parameters within property parameters annotated with
ForAll .
- FromData - Annotation Type in net.jqwik.api
-
Used to annotate property methods.
- fromGenerator(RandomGenerator<T>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary of type T from a corresponding generator of type T.
- fromShrinkables(List<Shrinkable<T>>) - Static method in interface net.jqwik.api.EdgeCases
-
- fromSupplier(Supplier<Shrinkable<T>>) - Static method in interface net.jqwik.api.EdgeCases
-
- fromSuppliers(List<Supplier<Shrinkable<T>>>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
-
- fromSuppliers(List<Supplier<Shrinkable<T>>>) - Static method in interface net.jqwik.api.EdgeCases
-
- function(Class<?>) - Static method in class net.jqwik.api.Functions
-
Create a wrapper for functional types
i.e. types marked FunctionalInterface or representing a
SAM (single abstract method) type.
- function(Class<?>, Arbitrary<R>) - Method in class net.jqwik.api.Functions.FunctionsFacade
-
- FunctionArbitrary<F,R> - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure arbitraries that represent functional types
- Functions - Class in net.jqwik.api
-
- Functions.FunctionsFacade - Class in net.jqwik.api
-
- Functions.FunctionWrapper - Class in net.jqwik.api
-
- FunctionsFacade() - Constructor for class net.jqwik.api.Functions.FunctionsFacade
-
- gaussian(double) - Static method in interface net.jqwik.api.RandomDistribution
-
A distribution that generates values with (potentially asymmetric) gaussian distribution
the mean of which is the specified center and the probability at the borders is
approximately borderSigma
times standard deviation.
- gaussian() - Static method in interface net.jqwik.api.RandomDistribution
-
A gaussian distribution with borderSigma
of 3,
i.e. approximately 99.7% of values are within the borders.
- gaussian(double) - Method in class net.jqwik.api.RandomDistribution.RandomDistributionFacade
-
- generateFirst() - Method in enum net.jqwik.api.EdgeCasesMode
-
- GenerationMode - Enum in net.jqwik.api
-
The generation mode defines the generation behaviour of a property.
- generator(int) - Method in interface net.jqwik.api.Arbitrary
-
Create the random generator for an arbitrary
- get(Optional<TryLifecycleContext>) - Method in interface net.jqwik.api.lifecycle.ResolveParameterHook.ParameterSupplier
-
Supply the requested parameter.
- get() - Method in interface net.jqwik.api.lifecycle.Store
-
- get(Object) - Static method in interface net.jqwik.api.lifecycle.Store
-
Retrieve a store that must be created somewhere else.
- get(Object) - Method in class net.jqwik.api.lifecycle.Store.StoreFacade
-
- get1() - Method in class net.jqwik.api.Tuple.Tuple1
-
- get2() - Method in class net.jqwik.api.Tuple.Tuple2
-
- get3() - Method in class net.jqwik.api.Tuple.Tuple3
-
- get4() - Method in class net.jqwik.api.Tuple.Tuple4
-
- get5() - Method in class net.jqwik.api.Tuple.Tuple5
-
- get6() - Method in class net.jqwik.api.Tuple.Tuple6
-
- get7() - Method in class net.jqwik.api.Tuple.Tuple7
-
- get8() - Method in class net.jqwik.api.Tuple.Tuple8
-
- getAnnotatedType() - Method in interface net.jqwik.api.providers.TypeUsage
-
- getAnnotations() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return all annotations of a parameter (or an annotated type argument).
- getArbitraryConfigurators() - Method in class net.jqwik.api.domains.AbstractDomainContextBase
-
- getArbitraryConfigurators() - Method in interface net.jqwik.api.domains.DomainContext
-
- getArbitraryConfigurators() - Method in class net.jqwik.api.domains.DomainContext.Global
-
- getArbitraryProviders() - Method in class net.jqwik.api.domains.AbstractDomainContextBase
-
- getArbitraryProviders() - Method in interface net.jqwik.api.domains.DomainContext
-
- getArbitraryProviders() - Method in class net.jqwik.api.domains.DomainContext.Global
-
- getComponentType() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return an Optional
of an array's component type - if it is an array.
- getInterfaces() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return interfaces of this type.
- getLowerBounds() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return lower bounds if a generic type is a wildcard.
- getOrCreate(Object, Lifespan, Supplier<T>) - Static method in interface net.jqwik.api.lifecycle.Store
-
Find an existing store or create a new one if it doesn't exist
- getRawType() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return the raw type which is usually the class or interface you see in a parameters or return values
specification.
- getSuperclass() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return superclass of this type.
- getType() - Method in interface net.jqwik.api.providers.TypeUsage
-
- getTypeArgument(int) - Method in interface net.jqwik.api.providers.TypeUsage
-
Return the type argument at a specific position.
- getTypeArguments() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return the type arguments of a generic type in the order of there appearance in a type's declaration.
- getUpperBounds() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return upper bounds if a generic type is a wildcard or type variable.
- global() - Method in class net.jqwik.api.domains.DomainContext.DomainContextFacade
-
- global() - Static method in interface net.jqwik.api.domains.DomainContext
-
- Global() - Constructor for class net.jqwik.api.domains.DomainContext.Global
-
- greaterOrEqual(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set the allowed lower min
(included) border of generated numbers.
- greaterOrEqual(BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
-
Set the allowed lower min
(included) bounder of generated numbers.
- greaterOrEqual(byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
-
Set the allowed lower min
(included) bound of generated numbers.
- greaterOrEqual(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set the allowed lower min
(included) border of generated numbers.
- greaterOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set the allowed lower min
(included) border of generated numbers.
- greaterOrEqual(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
-
Set the allowed lower min
(included) bounder of generated numbers.
- greaterOrEqual(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
-
Set the allowed lower min
(included) bound of generated numbers.
- greaterOrEqual(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
-
Set the allowed lower min
(included) bounder of generated numbers.
- greaterThan(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set the allowed lower min
(excluded) border of generated numbers.
- greaterThan(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set the allowed lower min
(excluded) border of generated numbers.
- greaterThan(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set the allowed lower min
(excluded) border of generated numbers.
- Group - Annotation Type in net.jqwik.api
-
- ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type T
that will use the underlying
arbitrary to create the tuple values but will ignore any raised exception of
type exceptionType
during generation.
- ignoreException(EdgeCases<T>, Class<? extends Throwable>) - Method in class net.jqwik.api.EdgeCases.EdgeCasesFacade
-
- ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.EdgeCases
-
- ignoreException(ExhaustiveGenerator<T>, Class<? extends Throwable>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
-
- ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.ExhaustiveGenerator
-
- ignoreException(Class<? extends Throwable>) - Method in interface net.jqwik.api.RandomGenerator
-
- ignoreException(RandomGenerator<T>, Class<? extends Throwable>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- in(Combinators.F2<B, T, C>) - Method in class net.jqwik.api.Combinators.CombinableBuilder
-
- index() - Method in interface net.jqwik.api.lifecycle.ParameterResolutionContext
-
- init(FalsificationResult<T>) - Method in interface net.jqwik.api.ShrinkingSequence
-
- injectDuplicates(double) - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Iterable<T>
that will
inject duplicates of previously generated values with a probability of duplicateProbability
.
- injectDuplicates(double) - Method in interface net.jqwik.api.RandomGenerator
-
- injectDuplicates(RandomGenerator<T>, double) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- injectNull(double) - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of the same type but inject null values with a probability of nullProbability
.
- injectNull(ExhaustiveGenerator<T>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
-
- injectNull() - Method in interface net.jqwik.api.ExhaustiveGenerator
-
- injectNull(double) - Method in interface net.jqwik.api.RandomGenerator
-
- IntegerArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of Integer and int values.
- integers() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- integers() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type Integer.
- IntRange - Annotation Type in net.jqwik.api.constraints
-
Constrain the range of a generated int or Integer parameters.
- invalid() - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
Create a result that calls out the current parameter list as invalid.
- Invariant<T> - Interface in net.jqwik.api.stateful
-
- isAnnotated(Class<A>) - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if the current instance is annotated (directly or indirectly through meta-annotations)
with a specific annotationType
.
- isArray() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if a type is an array type.
- isAssignableFrom(Class<?>) - Method in interface net.jqwik.api.providers.TypeUsage
-
Check if a given providedClass
is assignable from this generic type.
- isEmpty() - Method in interface net.jqwik.api.EdgeCases
-
- isEnum() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if a type is an enum
type.
- isGeneric() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if a type has any type arguments itself.
- isOfType(Class<?>) - Method in interface net.jqwik.api.providers.TypeUsage
-
Check if an instance is of a specific raw type
Most of the time this is what you want to do when checking for applicability of a
ArbitraryProvider.
- isSatisfied() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
- isSkipped() - Method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
-
Whether execution of the context should be skipped.
- isSmallerThan(Shrinkable<T>) - Method in interface net.jqwik.api.Shrinkable
-
- isTypeVariable() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if a generic type is a wildcard.
- isTypeVariableOrWildcard() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if a generic type is a type variable or a wildcard.
- isUnique() - Method in interface net.jqwik.api.Arbitrary
-
All arbitraries whose base generator is supposed to produce no duplicates
should return true.
- isVoid() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if type is Void.
- isWildcard() - Method in interface net.jqwik.api.providers.TypeUsage
-
Return true if a generic type is a wildcard.
- items() - Method in interface net.jqwik.api.Tuple
-
- items() - Method in class net.jqwik.api.Tuple.Tuple1
-
- items() - Method in class net.jqwik.api.Tuple.Tuple2
-
- items() - Method in class net.jqwik.api.Tuple.Tuple3
-
- items() - Method in class net.jqwik.api.Tuple.Tuple4
-
- items() - Method in class net.jqwik.api.Tuple.Tuple5
-
- items() - Method in class net.jqwik.api.Tuple.Tuple6
-
- items() - Method in class net.jqwik.api.Tuple.Tuple7
-
- items() - Method in class net.jqwik.api.Tuple.Tuple8
-
- iterator(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- iterator() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Iterable<T>
using the existing arbitrary for generating the elements of the
stream.
- iterator() - Method in interface net.jqwik.api.EdgeCases
-
- Label - Annotation Type in net.jqwik.api
-
Use @Label("a descriptive name")
to give test classes, groups and methods
a more readable label (aka display name).
- label() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
-
The elements label under which it shows up in test reports and IDEs.
- label(Object) - Method in interface net.jqwik.api.SampleReportingFormat
-
- label(StatisticsEntry) - Method in class net.jqwik.api.statistics.Histogram
-
Determine how entries are being labelled in the histogram.
- label(StatisticsEntry) - Method in class net.jqwik.api.statistics.NumberRangeHistogram
-
Does not make sense to override since these labels won't be used anyway
- label(String) - Static method in class net.jqwik.api.statistics.Statistics
-
- lazy(Supplier<Arbitrary<T>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- lazy(Supplier<Arbitrary<T>>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will evaluate arbitrarySupplier as soon as it is used for generating values.
- lessOrEqual(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set the allowed upper max
(included) bounder of generated numbers.
- lessOrEqual(BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
-
Set the allowed upper max
(included) bounder of generated numbers.
- lessOrEqual(byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
-
Set the allowed upper max
(included) bound of generated numbers.
- lessOrEqual(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set the allowed upper max
(included) border of generated numbers.
- lessOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set the allowed upper max
(included) border of generated numbers.
- lessOrEqual(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
-
Set the allowed upper max
(included) bounder of generated numbers.
- lessOrEqual(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
-
Set the allowed upper max
(included) bound of generated numbers.
- lessOrEqual(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
-
Set the allowed upper max
(included) bounder of generated numbers.
- lessThan(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set the allowed upper max
(excluded) border of generated numbers.
- lessThan(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set the allowed upper max
(excluded) border of generated numbers.
- lessThan(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set the allowed upper max
(excluded) border of generated numbers.
- LifecycleContext - Interface in net.jqwik.api.lifecycle
-
Supertype of all lifecycle context interfaces.
- LifecycleHook - Interface in net.jqwik.api.lifecycle
-
This is the supertype of all lifecycle hook interfaces.
- LifecycleHooks - Annotation Type in net.jqwik.api.lifecycle
-
Experimental feature.
- Lifespan - Enum in net.jqwik.api.lifecycle
-
Define how long a resource,
e.g. the value in a
Store with the same identifier,
will live:
For the whole test run
For the currently running property
For the currently running try
Any hook or collection of hooks can use this enum to allow the specification
of the lifespan of resources from which it is abstracting.
- lifespan() - Method in interface net.jqwik.api.lifecycle.Store
-
- list(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- list() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type List<T>
using the existing arbitrary for generating the elements of the list.
- load(Class<T>) - Static method in class net.jqwik.api.FacadeLoader
-
Load single implementation of an API facade.
- LongArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of Long and long values.
- LongRange - Annotation Type in net.jqwik.api.constraints
-
Constrain the range of a generated long or BigInteger parameters.
- longs() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- longs() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type Long.
- LowerChars - Annotation Type in net.jqwik.api.constraints
-
Constrain the chars used to generate Strings or Characters to lower case chars.
- of(T...) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose from a given array of values.
- of(Collection<T>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose from a given collection of values.
- of(char[]) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary of character values.
- of(Class<T>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary for enum values of type T.
- of(Class<?>, TypeUsage...) - Static method in interface net.jqwik.api.providers.TypeUsage
-
- of(Class<?>, TypeUsage...) - Method in class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
-
- of(long...) - Static method in class net.jqwik.api.ShrinkingDistance
-
- of(E...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple1<T>...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple2<T1, T2>...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple3<T1, T2, T3>...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple4<T1, T2, T3, T4>...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple5<T1, T2, T3, T4, T5>...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple6<T1, T2, T3, T4, T5, T6>...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple7<T1, T2, T3, T4, T5, T6, T7>...) - Static method in class net.jqwik.api.Table
-
- of(Tuple.Tuple8<T1, T2, T3, T4, T5, T6, T7, T8>...) - Static method in class net.jqwik.api.Table
-
- of(T1) - Static method in interface net.jqwik.api.Tuple
-
- of(T1, T2) - Static method in interface net.jqwik.api.Tuple
-
- of(T1, T2, T3) - Static method in interface net.jqwik.api.Tuple
-
- of(T1, T2, T3, T4) - Static method in interface net.jqwik.api.Tuple
-
- of(T1, T2, T3, T4, T5) - Static method in interface net.jqwik.api.Tuple
-
- of(T1, T2, T3, T4, T5, T6) - Static method in interface net.jqwik.api.Tuple
-
- of(T1, T2, T3, T4, T5, T6, T7) - Static method in interface net.jqwik.api.Tuple
-
- of(T1, T2, T3, T4, T5, T6, T7, T8) - Static method in interface net.jqwik.api.Tuple
-
- ofLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Fix the length to length
of generated strings.
- ofMaxLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Set the maximum allowed length maxLength
(included) of generated strings.
- ofMaxSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
-
Set upper size boundary maxSize
(included).
- ofMaxSize(int) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
-
Set upper size boundary maxSize
(included).
- ofMaxSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
-
- ofMinLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Set the minimum allowed length mixLength
(included) of generated strings.
- ofMinSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
-
Set lower size boundary minSize
(included).
- ofMinSize(int) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
-
Set lower size boundary minSize
(included).
- ofMinSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
-
- ofScale(int) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set the scale (maximum number of decimal places) to scale
.
- ofScale(int) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set the scale (maximum number of decimal places) to scale
.
- ofScale(int) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set the scale (maximum number of decimal places) to scale
.
- ofSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
-
Fix the size to size
.
- ofSize(int) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
-
Fix the size to size
.
- ofSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
-
- ofSuppliers(Supplier<T>...) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose from a given array of value suppliers
and then get the value from the supplier.
- ofSuppliers(Collection<Supplier<T>>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose from a given collection of value suppliers
and then get the value from the supplier.
- onClose(Consumer<T>) - Method in interface net.jqwik.api.lifecycle.Store
-
- oneOf(List<Arbitrary<T>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- oneOf(Arbitrary<? extends T>, Arbitrary<? extends T>...) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
- oneOf(List<Arbitrary<T>>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
- onFailure(PropertyExecutionResult) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
-
Override if you want to perform some work or run assertions if - and only if - the property failed.
- onSuccess() - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
-
Override if you want to perform some work or run assertions if - and only if - the property succeeded.
- optional() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Optional<T>
using the existing arbitrary for generating the elements of the
stream.
- optionalContainerClass() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
-
If the context refers to a class or a method the class or the method's class
is returned, otherwise Optional.empty()
- optionalElement() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
-
If the context refers to a class or a method the class or method
is returned, otherwise Optional.empty()
- order() - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
-
Determines the order in which a configurator will be applied in regards to other configurators.
- parameter() - Method in interface net.jqwik.api.lifecycle.ParameterResolutionContext
-
- ParameterResolutionContext - Interface in net.jqwik.api.lifecycle
-
Experimental feature.
- peek(Consumer<M>) - Method in interface net.jqwik.api.stateful.ActionSequence
-
Peek into the model of a running sequence.
- percentage(Predicate<Double>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
-
Check the percentage of occurrences returning true (ok) or false (fail)
- percentage(Consumer<Double>) - Method in interface net.jqwik.api.statistics.StatisticsCoverage.CoverageChecker
-
Check the number of occurrences returning true (ok) or false (fail).
- percentage() - Method in interface net.jqwik.api.statistics.StatisticsEntry
-
The percentage of times a certain value (set) has been collected
- PerProperty - Annotation Type in net.jqwik.api.lifecycle
-
Annotate property methods of a container class with @PerProperty
if you want to have some lifecycle control over this property alone.
- PerProperty.Lifecycle - Interface in net.jqwik.api.lifecycle
-
- PerProperty.PerPropertyHook - Class in net.jqwik.api.lifecycle
-
- PerPropertyHook() - Constructor for class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
-
- plus(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
-
- Positive - Annotation Type in net.jqwik.api.constraints
-
Constrain the range of a generated number to be greater than 0.
- precondition(S) - Method in interface net.jqwik.api.stateful.Action
-
If this method returns false, the action will not be performed.
- priority() - Method in interface net.jqwik.api.providers.ArbitraryProvider
-
Providers with higher priority will replace providers with lower priority.
- priority() - Method in interface net.jqwik.api.SampleReportingFormat
-
- PRIORITY_NOT_SET - Static variable in annotation type net.jqwik.api.domains.Domain
-
- propagateTo() - Method in interface net.jqwik.api.lifecycle.LifecycleHook
-
Override this method if you want to change a concrete hook implementation's default
propagation behaviour: Do not use hook in child elements -- sub containers or properties.
- PropagationMode - Enum in net.jqwik.api.lifecycle
-
Describes if and how a concrete registered hook is propagated to children of
the element where the hook has been registered.
- Property - Annotation Type in net.jqwik.api
-
Use @Property
to mark methods that serve as properties.
- PropertyExecutionResult - Interface in net.jqwik.api.lifecycle
-
Represents the result of running a property.
- PropertyExecutionResult.Status - Enum in net.jqwik.api.lifecycle
-
Status of executing a single test or container.
- PropertyExecutor - Interface in net.jqwik.api.lifecycle
-
Objects of this class represent a property's execution.
- PropertyLifecycleContext - Interface in net.jqwik.api.lifecycle
-
The context information of a property or example.
- Provide - Annotation Type in net.jqwik.api
-
Used to annotate methods that can provide values for property method parameters.
- provideFor(TypeUsage, ArbitraryProvider.SubtypeProvider) - Method in interface net.jqwik.api.providers.ArbitraryProvider
-
This is the method you must override in your own implementations of ArbitraryProvider
.
- proximity() - Method in interface net.jqwik.api.lifecycle.AroundContainerHook
-
- publish(String, String) - Method in interface net.jqwik.api.lifecycle.Reporter
-
Publish some value
under a given key
.
- randomChoose(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- randomChoose(char[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- RandomDistribution - Interface in net.jqwik.api
-
Determines how generated numerical values are generated and distributed
across the allowed range and a center withing this range.
- RandomDistribution.RandomDistributionFacade - Class in net.jqwik.api
-
- RandomDistribution.RandomNumericGenerator - Interface in net.jqwik.api
-
Generator for BigInteger values which are behind all generated numeric values in jqwik.
- RandomDistributionFacade() - Constructor for class net.jqwik.api.RandomDistribution.RandomDistributionFacade
-
- randomFrequency(List<Tuple.Tuple2<Integer, T>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- RandomGenerator<T> - Interface in net.jqwik.api
-
- RandomGenerator.RandomGeneratorFacade - Class in net.jqwik.api
-
- RandomGeneratorFacade() - Constructor for class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- randoms() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary for Random objects.
- randomSamples(T[]) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- randomShuffle(List<T>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- randomValue(Function<Random, T>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will generate values of type T using a generator function.
- range(char, char) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
-
Allow all chars within min
(included) and max
(included) to show up in generated values.
- rangeLabel(BigInteger, BigInteger, boolean) - Method in class net.jqwik.api.statistics.NumberRangeHistogram
-
Determines how a range of numbers is being displayed.
- reason() - Method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
-
Get the reason that execution of the context should be skipped,
if available.
- recursive(Supplier<Arbitrary<T>>, Function<Arbitrary<T>, Arbitrary<T>>, int) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary by deterministic recursion.
- reduce(R, BiFunction<R, T, R>) - Method in interface net.jqwik.api.arbitraries.StreamableArbitrary
-
Given an initial
argument use accumulator
to produce
the final result.
- register(Class<? extends LifecycleHook>, PropagationMode) - Method in interface net.jqwik.api.lifecycle.RegistrarHook.Registrar
-
Register a concrete hook implementation.
- register(Class<? extends LifecycleHook>) - Method in interface net.jqwik.api.lifecycle.RegistrarHook.Registrar
-
- registerArbitrary(TypeUsage, Arbitrary<?>) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
-
- registerArbitrary(Class<T>, Arbitrary<T>) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
-
- registerConfigurator(ArbitraryConfigurator) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
-
- registerHooks(RegistrarHook.Registrar) - Method in interface net.jqwik.api.lifecycle.RegistrarHook
-
This method will be called during hook registration, i.e. before any test has been started.
- registerProvider(ArbitraryProvider) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
-
- RegistrarHook - Interface in net.jqwik.api.lifecycle
-
Use this hook if you want to apply several hook implementations that belong
together but that cannot be implemented in a single class, e.g. because
the same hook type must be added with different proximity or different propagation.
- RegistrarHook.Registrar - Interface in net.jqwik.api.lifecycle
-
A short-lived object used for registering concrete hook implementation classes.
- Report - Annotation Type in net.jqwik.api
-
Use @Report
to specify what additional things should be reported
when running a property.
- report(Object) - Method in interface net.jqwik.api.SampleReportingFormat
-
Transform the value into one that will be handled by default mechanism,
e.g. a Collection, a String, a Map.
- reporter() - Method in interface net.jqwik.api.lifecycle.LifecycleContext
-
Get hold of test reporter for publishing additional information on a test container or method.
- Reporter - Interface in net.jqwik.api.lifecycle
-
An interface that can be used to report additional information for a test element,
i.e. a test container or property.
- Reporting - Enum in net.jqwik.api
-
- reset() - Method in interface net.jqwik.api.lifecycle.Store
-
- resolve(ParameterResolutionContext) - Method in interface net.jqwik.api.lifecycle.PerProperty.Lifecycle
-
Override if you want to provide parameters for this property.
- resolve(ParameterResolutionContext, LifecycleContext) - Method in class net.jqwik.api.lifecycle.PerProperty.PerPropertyHook
-
- resolve(ParameterResolutionContext, LifecycleContext) - Method in interface net.jqwik.api.lifecycle.ResolveParameterHook
-
This method will be called only once per property, whereas the returned supplier's get method
is usually invoked for each try - and potentially more often during shrinking or when resolving
parameters in before/after methods.
- resolveAndCombine(TypeUsage...) - Method in interface net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider
-
Resolve all typeUsages and return a stream of all possible arbitraries
combinations per type.
- resolveParameter(Executable, int) - Method in interface net.jqwik.api.lifecycle.LifecycleContext
-
Resolve a parameter from a method in the context of the property in which it
is running.
- ResolveParameterHook - Interface in net.jqwik.api.lifecycle
-
This hook type allows to provide parameters for property methods
but also to annotated lifecycle methods.
- ResolveParameterHook.ParameterSupplier - Interface in net.jqwik.api.lifecycle
-
A functional interface specialized on providing parameters to property methods
and to annotated lifecycle methods.
- returns(Arbitrary<R>) - Method in class net.jqwik.api.Functions.FunctionWrapper
-
Create an arbitrary to create instances of functions represented by this wrapper.
- run(S) - Method in interface net.jqwik.api.stateful.Action
-
Perform an action on state S
and return the same state (if it has state)
or a new one representing the new state.
- run(M) - Method in interface net.jqwik.api.stateful.ActionSequence
-
- runActions() - Method in interface net.jqwik.api.stateful.ActionSequence
-
- runState() - Method in interface net.jqwik.api.stateful.ActionSequence
-
- sample() - Method in interface net.jqwik.api.Arbitrary
-
Generate a single sample value using this arbitrary.
- SampleReportingFormat - Interface in net.jqwik.api
-
- samples(T...) - Static method in class net.jqwik.api.Arbitraries
-
- sampleStream(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- sampleStream() - Method in interface net.jqwik.api.Arbitrary
-
Generate a stream of sample values using this arbitrary.
- satisfied() - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
Create a result that satisfies the current property with the current parameter set.
- satisfied(boolean) - Static method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
Create a result that satisfies the current property and will immediately
finish this property as successful.
- Scale - Annotation Type in net.jqwik.api.constraints
-
Use to constrain the maximum number of decimal places when generating decimal numbers.
- seed() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
-
The seed used to generate randomized parameters.
- SEED_NOT_SET - Static variable in annotation type net.jqwik.api.Property
-
- SelfConfiguringArbitrary<T> - Interface in net.jqwik.api.configurators
-
An
Arbitrary implementation can also implement this interface if it wants
to take over its own configuration which is usually being done by registered instances
of
ArbitraryConfigurator.
- sequences(Arbitrary<? extends Action<M>>) - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- sequences(Arbitrary<? extends Action<M>>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary to create a sequence of actions.
- set(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- set() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Set<T>
using the existing arbitrary for generating the elements of the set.
- setDefaultPriority(int) - Method in class net.jqwik.api.domains.AbstractDomainContextBase
-
- setDefaultPriority(int) - Method in interface net.jqwik.api.domains.DomainContext
-
- ShortArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure the generation of Short and short values.
- ShortRange - Annotation Type in net.jqwik.api.constraints
-
Constrain the range of a generated short or Short parameters.
- shorts() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- shorts() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type Short.
- shouldBeSkipped(LifecycleContext) - Method in interface net.jqwik.api.lifecycle.SkipExecutionHook
-
Determine if an annotated element should be skipped or not.
- shouldPropertyFinishEarly() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
- shrink(Falsifier<T>) - Method in interface net.jqwik.api.Shrinkable
-
- shrinkable() - Method in class net.jqwik.api.FalsificationResult
-
- Shrinkable<T> - Interface in net.jqwik.api
-
- Shrinkable.ShrinkableFacade - Class in net.jqwik.api
-
- ShrinkableFacade() - Constructor for class net.jqwik.api.Shrinkable.ShrinkableFacade
-
- ShrinkingDistance - Class in net.jqwik.api
-
- ShrinkingMode - Enum in net.jqwik.api
-
The shrinking mode defines the shrinking behaviour of a property.
- ShrinkingSequence<T> - Interface in net.jqwik.api
-
- ShrinkingSequence.ShrinkingSequenceFacade - Class in net.jqwik.api
-
- ShrinkingSequenceFacade() - Constructor for class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
-
- shrinkingSuggestions() - Method in interface net.jqwik.api.Shrinkable
-
Used only when several shrinkables must be shrunk in synchronicity e.g. duplicate values.
- shrinkTowards(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shrinkTowards(BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shrinkTowards(int) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shrinkTowards(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shrinkTowards(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shrinkTowards(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shrinkTowards(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shrinkTowards(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
-
Set shrinking target to target
which must be between the allowed bounds.
- shuffle(T...) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will always generate a list which is a
permutation of the values handed to it.
- shuffle(List<T>) - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that will always generate a list which is a
permutation of the values handed to it.
- SizableArbitrary<U> - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure arbitraries that have size constraints for generated values, e.g. collections and arrays.
- Size - Annotation Type in net.jqwik.api.constraints
-
Constrain the size of generated "sizable" types.
- size() - Method in interface net.jqwik.api.EdgeCases
-
- size() - Method in class net.jqwik.api.ShrinkingDistance
-
- size() - Method in interface net.jqwik.api.Tuple
-
- size() - Method in class net.jqwik.api.Tuple.Tuple1
-
- size() - Method in class net.jqwik.api.Tuple.Tuple2
-
- size() - Method in class net.jqwik.api.Tuple.Tuple3
-
- size() - Method in class net.jqwik.api.Tuple.Tuple4
-
- size() - Method in class net.jqwik.api.Tuple.Tuple5
-
- size() - Method in class net.jqwik.api.Tuple.Tuple6
-
- size() - Method in class net.jqwik.api.Tuple.Tuple7
-
- size() - Method in class net.jqwik.api.Tuple.Tuple8
-
- skip(String) - Static method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
-
- SkipExecutionHook - Interface in net.jqwik.api.lifecycle
-
Use this hook to determine if an annotated element should be skipped during
a test run or not.
- SkipExecutionHook.SkipResult - Class in net.jqwik.api.lifecycle
-
- startWith(Shrinkable<T>, Falsifier<T>) - Method in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade
-
- startWith(Shrinkable<T>, Falsifier<T>) - Static method in interface net.jqwik.api.ShrinkingSequence
-
- Statistics - Class in net.jqwik.api.statistics
-
This class serves as a container for static methods to collect statistical
data about generated values within a property method and to check coverage
of that data.
- Statistics.StatisticsFacade - Class in net.jqwik.api.statistics
-
- StatisticsCollector - Interface in net.jqwik.api.statistics
-
This class serves as an interface to collect statistical
data about generated values within a property method.
- StatisticsCoverage - Interface in net.jqwik.api.statistics
-
Intermediate object to provide statistics coverage checking capabilities
- StatisticsCoverage.CoverageChecker - Interface in net.jqwik.api.statistics
-
- StatisticsEntry - Interface in net.jqwik.api.statistics
-
Describes an entry for a given statistics selector.
- StatisticsFacade() - Constructor for class net.jqwik.api.statistics.Statistics.StatisticsFacade
-
- StatisticsReport - Annotation Type in net.jqwik.api.statistics
-
This annotation can be used to influence statistics reporting.
- StatisticsReport.None - Class in net.jqwik.api.statistics
-
- StatisticsReport.StatisticsReportMode - Enum in net.jqwik.api.statistics
-
- StatisticsReportFormat - Interface in net.jqwik.api.statistics
-
An implementation of this interface is responsible for creating
a formatted statistics report.
- status() - Method in class net.jqwik.api.FalsificationResult
-
- status() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
-
The final status of this property
- status() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
- Store<T> - Interface in net.jqwik.api.lifecycle
-
Experimental feature.
- Store.StoreFacade - Class in net.jqwik.api.lifecycle
-
- StoreFacade() - Constructor for class net.jqwik.api.lifecycle.Store.StoreFacade
-
- stream(Arbitrary<T>) - Method in class net.jqwik.api.Arbitrary.ArbitraryFacade
-
- stream() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Stream<T>
using the existing arbitrary for generating the elements of the
stream.
- stream(Random) - Method in interface net.jqwik.api.RandomGenerator
-
- StreamableArbitrary<T,U> - Interface in net.jqwik.api.arbitraries
-
Fluent interface to add functionality to arbitraries whose generation artefacts
can be streamed, e.g.
- StringArbitrary - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure arbitraries that generate String values.
- StringLength - Annotation Type in net.jqwik.api.constraints
-
Constrain the length of generated Strings.
- strings() - Method in class net.jqwik.api.Arbitraries.ArbitrariesFacade
-
- strings() - Static method in class net.jqwik.api.Arbitraries
-
Create an arbitrary that generates values of type String.
- suppliers() - Method in interface net.jqwik.api.EdgeCases
-
- Table - Class in net.jqwik.api
-
- Table() - Constructor for class net.jqwik.api.Table
-
- Tag - Annotation Type in net.jqwik.api
-
Use @Tag("a tag")
to give test classes, groups and methods an (additional) tag
which can later be used to select the set of tests to execute.
- TagList - Annotation Type in net.jqwik.api
-
- targetMethod() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
-
The method that defines the current property or example.
- targetMethod() - Method in interface net.jqwik.api.lifecycle.TryLifecycleContext
-
The method that defines the current property or example.
- testInstance() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
-
The current instance of the property's container class.
- testInstance() - Method in interface net.jqwik.api.lifecycle.TryLifecycleContext
-
The current instance of the property's container class.
- that(boolean) - Static method in class net.jqwik.api.Assume
-
If condition does not hold, the current property method will be aborted,
i.e., it will not be executed but not counted as a try.
- that(Supplier<Boolean>) - Static method in class net.jqwik.api.Assume
-
If condition provided by conditionSupplier does not hold, the current property method will be aborted,
i.e., it will not be executed but not counted as a try.
- throwable() - Method in class net.jqwik.api.FalsificationResult
-
- throwable() - Method in interface net.jqwik.api.lifecycle.PropertyExecutionResult
-
Will return Optional.empty()
if status is anything but FAILED.
- throwable() - Method in interface net.jqwik.api.lifecycle.TryExecutionResult
-
- TooManyFilterMissesException - Exception in net.jqwik.api
-
- TooManyFilterMissesException(String) - Constructor for exception net.jqwik.api.TooManyFilterMissesException
-
- toString() - Method in class net.jqwik.api.FalsificationResult
-
- toString() - Method in class net.jqwik.api.lifecycle.SkipExecutionHook.SkipResult
-
- toString() - Method in class net.jqwik.api.ShrinkingDistance
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple1
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple2
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple3
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple4
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple5
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple6
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple7
-
- toString() - Method in class net.jqwik.api.Tuple.Tuple8
-
- TRIES_NOT_SET - Static variable in annotation type net.jqwik.api.Property
-
- TryExecutionResult - Interface in net.jqwik.api.lifecycle
-
Represents the result of calling a property method with a list of parameters.
- TryExecutionResult.Status - Enum in net.jqwik.api.lifecycle
-
Status of running a single try.
- TryExecutor - Interface in net.jqwik.api.lifecycle
-
Experimental feature.
- TryLifecycleContext - Interface in net.jqwik.api.lifecycle
-
The context information of a single try of a property.
- Tuple - Interface in net.jqwik.api
-
- Tuple.Tuple1<T1> - Class in net.jqwik.api
-
- Tuple.Tuple2<T1,T2> - Class in net.jqwik.api
-
- Tuple.Tuple3<T1,T2,T3> - Class in net.jqwik.api
-
- Tuple.Tuple4<T1,T2,T3,T4> - Class in net.jqwik.api
-
- Tuple.Tuple5<T1,T2,T3,T4,T5> - Class in net.jqwik.api
-
- Tuple.Tuple6<T1,T2,T3,T4,T5,T6> - Class in net.jqwik.api
-
- Tuple.Tuple7<T1,T2,T3,T4,T5,T6,T7> - Class in net.jqwik.api
-
- Tuple.Tuple8<T1,T2,T3,T4,T5,T6,T7,T8> - Class in net.jqwik.api
-
- tuple1() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Tuple.Tuple1<T>
that will use the underlying
arbitrary to create the tuple value;
- tuple2() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Tuple.Tuple2<T, T>
that will use the underlying
arbitrary to create the tuple values;
- tuple3() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Tuple.Tuple3<T, T, T>
that will use the underlying
arbitrary to create the tuple values;
- tuple4() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of type Tuple.Tuple4<T, T, T, T>
that will use the underlying
arbitrary to create the tuple values;
- TypeArbitrary<T> - Interface in net.jqwik.api.arbitraries
-
Fluent interface to configure arbitraries that try to generate instances
of a given type T
from the type's available constructors and factory methods.
- typeUsage() - Method in interface net.jqwik.api.lifecycle.ParameterResolutionContext
-
- TypeUsage - Interface in net.jqwik.api.providers
-
An instance of TypeUsage
describes the information available for parameter or return types.
- TypeUsage.TypeUsageFacade - Class in net.jqwik.api.providers
-
- TypeUsageFacade() - Constructor for class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
-
- uniform() - Method in class net.jqwik.api.RandomDistribution.RandomDistributionFacade
-
- uniform() - Static method in interface net.jqwik.api.RandomDistribution
-
A distribution that generates values across the allowed range
with a uniform probability distribution.
- unique() - Method in interface net.jqwik.api.Arbitrary
-
Create a new arbitrary of the same type T
that creates and shrinks the original arbitrary but will
never generate the same value twice.
- Unique - Annotation Type in net.jqwik.api.constraints
-
Make a generated value to be unique withing the same try.
- unique(ExhaustiveGenerator<T>) - Method in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade
-
- unique() - Method in interface net.jqwik.api.ExhaustiveGenerator
-
- unique(RandomGenerator<T>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- unique() - Method in interface net.jqwik.api.RandomGenerator
-
- unshrinkable(T, ShrinkingDistance) - Method in class net.jqwik.api.Shrinkable.ShrinkableFacade
-
- unshrinkable(T) - Static method in interface net.jqwik.api.Shrinkable
-
- unshrinkable(T, ShrinkingDistance) - Static method in interface net.jqwik.api.Shrinkable
-
- update(Function<T, T>) - Method in interface net.jqwik.api.lifecycle.Store
-
- UpperChars - Annotation Type in net.jqwik.api.constraints
-
Constrain the chars used to generate Strings or Characters to upper and lower case chars.
- use(Executable) - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
-
Add another creator (function or constructor) to be used
for generating values of type T
- use(Arbitrary<T>) - Method in class net.jqwik.api.Combinators.BuilderCombinator
-
- useAllConstructors() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
-
Add all constructors (public, private or package scope) of class T
to be used
for generating values of type T
- useAllFactoryMethods() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
-
Add all factory methods (static methods with return type T
)
of class T
to be used for generating values of type T
- useConstructors(Predicate<? super Constructor<?>>) - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
-
Add all constructors (public, private or package scope) of class T
to be used
for generating values of type T
- useFactoryMethods(Predicate<Method>) - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
-
Add all factory methods (static methods with return type T
)
of class T
to be used for generating values of type T
- usePublicConstructors() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
-
Add public constructors of class T
to be used
for generating values of type T
- usePublicFactoryMethods() - Method in interface net.jqwik.api.arbitraries.TypeArbitrary
-
Add public factory methods (static methods with return type T
)
of class T
to be used for generating values of type T
- UseType - Annotation Type in net.jqwik.api.constraints
-
Generate a value from the annotated class' or type's constructors or factory methods.
- UseTypeMode - Enum in net.jqwik.api.constraints
-
- value() - Method in class net.jqwik.api.FalsificationResult
-
- value() - Method in interface net.jqwik.api.Shrinkable
-
- valueOf(String) - Static method in enum net.jqwik.api.AfterFailureMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.constraints.UseTypeMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.EdgeCasesMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.FalsificationResult.Status
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.GenerationMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.lifecycle.Lifespan
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.lifecycle.PropagationMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.lifecycle.PropertyExecutionResult.Status
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.lifecycle.TryExecutionResult.Status
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.Reporting
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.ShrinkingMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.stateful.ActionSequence.RunState
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.jqwik.api.statistics.StatisticsReport.StatisticsReportMode
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum net.jqwik.api.AfterFailureMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.constraints.UseTypeMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.EdgeCasesMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.FalsificationResult.Status
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.GenerationMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.lifecycle.Lifespan
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.lifecycle.PropagationMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.lifecycle.PropertyExecutionResult.Status
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.lifecycle.TryExecutionResult.Status
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.Reporting
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.ShrinkingMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.jqwik.api.stateful.ActionSequence.RunState
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Method in interface net.jqwik.api.statistics.StatisticsEntry
-
- 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.
- when(Predicate<List<Object>>, Function<List<Object>, R>) - Method in interface net.jqwik.api.arbitraries.FunctionArbitrary
-
- whitespace() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
-
Allow all whitespace chars to show up in generated values.
- whitespace() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all chars that will return true
for
Character.isWhitespace(char)
.
- Whitespace - Annotation Type in net.jqwik.api.constraints
-
Constrain the chars used to generate Strings or Characters to chars
that will return true
for Character.isWhitespace(char)
.
- wildcard(TypeUsage) - Method in class net.jqwik.api.providers.TypeUsage.TypeUsageFacade
-
- wildcard(TypeUsage) - Static method in interface net.jqwik.api.providers.TypeUsage
-
- with(char...) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
-
Allow all chars in allowedChars
show up in generated values.
- with(Arbitrary<Character>) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
-
Allow all chars generated by characterArbitrary
.
- with(CharSequence) - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
-
Allow all chars in allowedChars
show up in generated values.
- withBuilder(Supplier<B>) - Static method in class net.jqwik.api.Combinators
-
Combine Arbitraries by means of a builder.
- withBuilder(Arbitrary<B>) - Static method in class net.jqwik.api.Combinators
-
Combine Arbitraries by means of a builder.
- withCharRange(char, char) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all chars within from
(included) and to
(included) to show up in generated strings.
- withChars(char...) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all chars in chars
to show up in generated strings.
- withChars(CharSequence) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all chars in chars
to show up in generated strings.
- withChars(Arbitrary<Character>) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
-
Allow all chars generated by characterArbitrary
.
- withDistribution(RandomDistribution) - Method in interface net.jqwik.api.arbitraries.NumericalArbitrary
-
Set the
distribution to use when generating random numerical values.
- withEdgeCases(RandomGenerator<T>, int, EdgeCases<T>) - Method in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade
-
- withEdgeCases(int, EdgeCases<T>) - Method in interface net.jqwik.api.RandomGenerator
-
- withFilter(Predicate<T>) - Method in interface net.jqwik.api.Falsifier
-
- withInvariant(Invariant<M>) - Method in interface net.jqwik.api.stateful.ActionSequence
-
Add an unlabelled invariant to a sequence.
- withInvariant(String, Invariant<M>) - Method in interface net.jqwik.api.stateful.ActionSequence
-
Add a labelled invariant to a sequence.
- WithNull - Annotation Type in net.jqwik.api.constraints
-
Allows jqwik to inject null parameters into generated values.
- withPostFilter(Predicate<T>) - Method in interface net.jqwik.api.Falsifier
-