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

A

acceptTargetType(TypeUsage) - Method in class net.jqwik.api.configurators.ArbitraryConfiguratorBase
Override if configurator only works for certain types of domain objects
Action<M> - Interface in net.jqwik.api.stateful
An action class represents a state change that can be preformed on a model M.
ActionSequence<M> - Interface in net.jqwik.api.stateful
A sequence of Actions that can be run with a model of type M
ActionSequence.RunState - Enum in net.jqwik.api.stateful
 
ActionSequenceArbitrary<M> - Interface in net.jqwik.api.stateful
 
AddLifecycleHook - Annotation Type in net.jqwik.api.lifecycle
Experimental feature.
AfterFailureMode - Enum in net.jqwik.api
The after-failure mode determines how a property behaves after it has been falsified.
all() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all unicode chars to show up in generated values.
all() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all unicode chars even noncharacters and private use characters but only in plane 0 (aka Basic Multilingual Plane)
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
 
append(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
 
apply(T1, T2) - Method in interface net.jqwik.api.Combinators.F2
 
apply(T1, T2, T3) - Method in interface net.jqwik.api.Combinators.F3
 
apply(T1, T2, T3, T4) - Method in interface net.jqwik.api.Combinators.F4
 
apply(T1, T2, T3, T4, T5) - Method in interface net.jqwik.api.Combinators.F5
 
apply(T1, T2, T3, T4, T5, T6) - Method in interface net.jqwik.api.Combinators.F6
 
apply(T1, T2, T3, T4, T5, T6, T7) - Method in interface net.jqwik.api.Combinators.F7
 
apply(T1, T2, T3, T4, T5, T6, T7, T8) - Method in interface net.jqwik.api.Combinators.F8
 
Arbitraries - Class in net.jqwik.api
 
Arbitrary<T> - Interface in net.jqwik.api
The main interface for representing objects that can be generated and shrunk.
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
 
ArbitraryProvider - Interface in net.jqwik.api.providers
Implementation of this class are used to provide default arbitraries to ForAll parameters without an explicit provider reference.
ArbitraryProvider.SubtypeProvider - Interface in net.jqwik.api.providers
 
around(AroundPropertyHook) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
aroundProperty(PropertyLifecycleContext, PropertyExecutor) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
AroundPropertyHook - Interface in net.jqwik.api.lifecycle
Experimental feature.
aroundPropertyProximity() - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
array(Class<A>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type T[] using the existing arbitrary for generating the elements of the array.
as(Combinators.F2<T1, T2, R>) - Method in class net.jqwik.api.Combinators.Combinator2
 
as(Combinators.F3<T1, T2, T3, R>) - Method in class net.jqwik.api.Combinators.Combinator3
 
as(Combinators.F4<T1, T2, T3, T4, R>) - Method in class net.jqwik.api.Combinators.Combinator4
 
as(Combinators.F5<T1, T2, T3, T4, T5, R>) - Method in class net.jqwik.api.Combinators.Combinator5
 
as(Combinators.F6<T1, T2, T3, T4, T5, T6, R>) - Method in class net.jqwik.api.Combinators.Combinator6
 
as(Combinators.F7<T1, T2, T3, T4, T5, T6, T7, R>) - Method in class net.jqwik.api.Combinators.Combinator7
 
as(Combinators.F8<T1, T2, T3, T4, T5, T6, T7, T8, R>) - Method in class net.jqwik.api.Combinators.Combinator8
 
as(Function<List<T>, R>) - Method in class net.jqwik.api.Combinators.ListCombinator
 
ascii() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all ascii chars to show up in generated values.
ascii() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all ascii chars to show up in generated strings.
Assume - Class in net.jqwik.api
 

B

BASE - Static variable in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
between(BigDecimal, BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(BigInteger, BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(byte, byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
Set the allowed lower min (included) and upper max (includedI bounder of generated numbers.
between(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.
between(double, double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(float, float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(int, int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(long, long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
between(short, short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
BigDecimalArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of BigDecimal values.
bigDecimals() - 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() - 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.
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() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Byte.

C

canBeAssignedTo(TypeUsage) - Method in class net.jqwik.api.providers.TypeUsage
Check if an instance can be assigned to another TypeUsage instance.
CannotFindArbitraryException - Exception in net.jqwik.api
 
CannotFindArbitraryException(MethodParameter) - Constructor for exception net.jqwik.api.CannotFindArbitraryException
 
canProvideFor(TypeUsage) - Method in interface net.jqwik.api.providers.ArbitraryProvider
Return true if the provider is suitable for targetType
CharacterArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Character and char values.
CharRange - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to chars in the range from from to to.
CharRangeList - Annotation Type in net.jqwik.api.constraints
 
chars() - Static method in class net.jqwik.api.Arbitraries
 
Chars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to chars contained in value.
CharsList - Annotation Type in net.jqwik.api.constraints
 
check(T) - Method in interface net.jqwik.api.stateful.Invariant
 
collect(Object...) - Static method in class net.jqwik.api.Statistics
 
Combinators - 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.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
 
combine(Arbitrary<T1>, Arbitrary<T2>) - Static method in class net.jqwik.api.Combinators
 
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>) - Static method in class net.jqwik.api.Combinators
 
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>) - Static method in class net.jqwik.api.Combinators
 
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>) - Static method in class net.jqwik.api.Combinators
 
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>) - Static method in class net.jqwik.api.Combinators
 
combine(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>, Arbitrary<T7>) - Static method in class net.jqwik.api.Combinators
 
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(List<Arbitrary<T>>) - Static method in class net.jqwik.api.Combinators
 
combine(List<AroundPropertyHook>) - Static method in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
combine(List<Shrinkable<T>>) - Static method in class net.jqwik.api.ShrinkingDistance
 
compareTo(ArbitraryConfigurator) - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
 
compareTo(FalsificationResult<T>) - Method in class net.jqwik.api.FalsificationResult
 
compareTo(AroundPropertyHook) - Method in interface net.jqwik.api.lifecycle.AroundPropertyHook
 
compareTo(Shrinkable<T>) - Method in interface net.jqwik.api.Shrinkable
 
compareTo(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
 
configure(Arbitrary<T>, TypeUsage) - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
Configure a given arbitrary and return the configured instance.
configure(Arbitrary<T>, TypeUsage) - Method in class net.jqwik.api.configurators.ArbitraryConfiguratorBase
 
configure(ArbitraryConfigurator, TypeUsage) - Method in interface net.jqwik.api.configurators.SelfConfiguringArbitrary
Do all configuration yourself or delegate to ArbitraryConfigurator.configure(Arbitrary, TypeUsage) of the configurator that's being handed in.
constant(T) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will always generate the same value.
containedIn(Reporting[]) - Method in enum net.jqwik.api.Reporting
 
containerClass() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
 
current() - Method in interface net.jqwik.api.ShrinkingSequence
 

D

Data - Annotation Type in net.jqwik.api
Used to annotate methods that can provide data points for property methods.
DEFAULT_STEREOTYPE - Static variable in annotation type net.jqwik.api.Property
 
defaultFor(Class<T>, Class<?>...) - Static method in class net.jqwik.api.Arbitraries
Find a registered arbitrary that will be used to generate values of type T.
digit() - Method in interface net.jqwik.api.arbitraries.CharacterArbitrary
Allow all numeric chars (digits) to show up in generated values.
dimensions() - Method in class net.jqwik.api.ShrinkingDistance
 
distance() - Method in class net.jqwik.api.FalsificationResult
 
distance() - Method in interface net.jqwik.api.Shrinkable
 
dontShrink(Shrinkable<T>) - Static method in interface net.jqwik.api.ShrinkingSequence
 
DoubleArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure the generation of Double and double values.
DoubleRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated double or Double parameters.
doubles() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Double.

E

equals(Object) - Method in class net.jqwik.api.providers.TypeUsage
 
equals(Object) - Method in class net.jqwik.api.ShrinkingDistance
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple1
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple2
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple3
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple4
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple5
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple6
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple7
 
equals(Object) - Method in class net.jqwik.api.Tuple.Tuple8
 
Example - Annotation Type in net.jqwik.api
Use @Example to mark methods that are simple, example-based test cases.
execute() - Method in interface net.jqwik.api.lifecycle.PropertyExecutor
 
exhaustive() - Method in interface net.jqwik.api.Arbitrary
Create the exhaustive generator for an arbitrary
ExhaustiveGenerator<T> - Interface in net.jqwik.api
 

F

FalsificationResult<T> - Class in net.jqwik.api
 
FalsificationResult.Status - Enum in net.jqwik.api
 
falsified(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
 
falsified(Shrinkable<T>, Throwable) - Static method in class net.jqwik.api.FalsificationResult
 
Falsifier<T> - Interface in net.jqwik.api
 
falsify(Shrinkable<T>) - Method in interface net.jqwik.api.Falsifier
 
filter(Predicate<T>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of the same type T that creates and shrinks the original arbitrary but only allows values that are accepted by the filterPredicate.
filter(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(Predicate<T>) - Method in interface net.jqwik.api.Shrinkable
 
filtered(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
 
finalModel() - Method in interface net.jqwik.api.stateful.ActionSequence
 
findAnnotation(Class<A>) - Method in class 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).
findSuperType(Class<?>) - Method in class net.jqwik.api.providers.TypeUsage
 
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(Function<T, Arbitrary<U>>, int, long) - Method in interface net.jqwik.api.Shrinkable
 
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() - 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
 
forParameter(MethodParameter) - Static method in class net.jqwik.api.providers.TypeUsage
 
forType(Type) - Static method in class net.jqwik.api.providers.TypeUsage
 
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(Tuple.Tuple2<Integer, Arbitrary<T>>...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
frequencyOf(List<Tuple.Tuple2<Integer, Arbitrary<T>>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
FromData - Annotation Type in net.jqwik.api
Used to annotate property methods.
fromGenerator(RandomGenerator<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary of type T from a corresponding generator of type T.

G

GenerationMode - Enum in net.jqwik.api
The generation mode defines the generation behaviour of a property.
generator(int) - Method in interface net.jqwik.api.Arbitrary
Create the random generator for an arbitrary
get1() - Method in class net.jqwik.api.Tuple.Tuple1
 
get2() - Method in class net.jqwik.api.Tuple.Tuple2
 
get3() - Method in class net.jqwik.api.Tuple.Tuple3
 
get4() - Method in class net.jqwik.api.Tuple.Tuple4
 
get5() - Method in class net.jqwik.api.Tuple.Tuple5
 
get6() - Method in class net.jqwik.api.Tuple.Tuple6
 
get7() - Method in class net.jqwik.api.Tuple.Tuple7
 
get8() - Method in class net.jqwik.api.Tuple.Tuple8
 
getAnnotations() - Method in class net.jqwik.api.providers.TypeUsage
Return all annotations of a parameter (or an annotated type argument).
getComponentType() - Method in class net.jqwik.api.providers.TypeUsage
Return an Optional of an array's component type - if it is an array.
getRawType() - Method in class 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.
getTypeArguments() - Method in class net.jqwik.api.providers.TypeUsage
Return the type arguments of a generic type in the order of there appearance in a type's declaration.
greaterOrEqual(BigDecimal) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(BigInteger) - Method in interface net.jqwik.api.arbitraries.BigIntegerArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(byte) - Method in interface net.jqwik.api.arbitraries.ByteArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
Set the allowed lower min (included) bounder of generated numbers.
greaterOrEqual(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
Set the allowed lower min (included) bounder of generated numbers.
Group - Annotation Type in net.jqwik.api
 

H

hashCode() - Method in class net.jqwik.api.providers.TypeUsage
 
hashCode() - Method in class net.jqwik.api.ShrinkingDistance
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple1
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple2
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple3
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple4
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple5
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple6
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple7
 
hashCode() - Method in class net.jqwik.api.Tuple.Tuple8
 
hasLowerBounds() - Method in class net.jqwik.api.providers.TypeUsage
Return true if a type parameter has upper bounds.
hasUpperBounds() - Method in class net.jqwik.api.providers.TypeUsage
Return true if a type parameter has upper bounds.

I

init(FalsificationResult<T>) - Method in interface net.jqwik.api.ShrinkingSequence
 
injectNull(double) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of the same type but inject null values with a probability of nullProbability.
injectNull() - 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() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Integer.
IntRange - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated int or Integer parameters.
Invariant<T> - Interface in net.jqwik.api.stateful
 
isAnnotated(Class<A>) - Method in class 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 class net.jqwik.api.providers.TypeUsage
Return true if a type is an array type.
isAssignableFrom(Class<?>) - Method in class net.jqwik.api.providers.TypeUsage
Check if a given providedClass is assignable from this generic type.
isEnum() - Method in class net.jqwik.api.providers.TypeUsage
Return true if a type is an enum type.
isGeneric() - Method in class net.jqwik.api.providers.TypeUsage
Return true if a type has any type arguments itself.
isOfType(Class<?>) - Method in class 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.
isSmallerThan(Shrinkable<T>) - Method in interface net.jqwik.api.Shrinkable
 
isTypeVariable() - Method in class net.jqwik.api.providers.TypeUsage
Return true if a generic type is a wildcard.
isTypeVariableOrWildcard() - Method in class net.jqwik.api.providers.TypeUsage
Return true if a generic type is a type variable or a wildcard.
isUnique() - Method in interface net.jqwik.api.ExhaustiveGenerator
This is a hack to make unique work for exhaustive generation
isWildcard() - Method in class 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() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Iterable<T> using the existing arbitrary for generating the elements of the stream.

J

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

L

Label - Annotation Type in net.jqwik.api
Use @Label("a descriptive name") to give test classes, groups and methods a more readable label (aka display name).
label() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
 
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) bounder of generated numbers.
lessOrEqual(double) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessOrEqual(float) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessOrEqual(int) - Method in interface net.jqwik.api.arbitraries.IntegerArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessOrEqual(long) - Method in interface net.jqwik.api.arbitraries.LongArbitrary
Set the allowed upper max (included) bounder of generated numbers.
lessOrEqual(short) - Method in interface net.jqwik.api.arbitraries.ShortArbitrary
Set the allowed upper max (included) bounder of generated numbers.
LifecycleHook<T extends LifecycleHook> - Interface in net.jqwik.api.lifecycle
Experimental feature.
LifecycleHooks - Annotation Type in net.jqwik.api.lifecycle
Experimental feature.
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.
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() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Long.
LowerChars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to lower case chars.

M

map(Function<T, U>) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type U that maps the values of the original arbitrary using the mapper function.
map(Function<T, U>) - Method in interface net.jqwik.api.ExhaustiveGenerator
 
map(Function<Shrinkable<T>, Shrinkable<U>>) - Method in class net.jqwik.api.FalsificationResult
 
map(Function<T, U>) - Method in interface net.jqwik.api.RandomGenerator
 
map(Function<T, U>) - Method in interface net.jqwik.api.Shrinkable
 
map(Function<FalsificationResult<T>, FalsificationResult<U>>) - Method in interface net.jqwik.api.ShrinkingSequence
 
mapValue(Function<T, U>) - Method in interface net.jqwik.api.ShrinkingSequence
 
MAX_DISCARD_RATIO_NOT_SET - Static variable in annotation type net.jqwik.api.Property
 
maxCount() - Method in interface net.jqwik.api.ExhaustiveGenerator
 

N

Negative - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated number to be 0 or less.
net.jqwik.api - package net.jqwik.api
 
net.jqwik.api.arbitraries - package net.jqwik.api.arbitraries
 
net.jqwik.api.configurators - package net.jqwik.api.configurators
 
net.jqwik.api.constraints - package net.jqwik.api.constraints
 
net.jqwik.api.lifecycle - package net.jqwik.api.lifecycle
 
net.jqwik.api.providers - package net.jqwik.api.providers
 
net.jqwik.api.stateful - package net.jqwik.api.stateful
 
next(Random) - Method in interface net.jqwik.api.RandomGenerator
 
next(Runnable, Consumer<FalsificationResult<T>>) - Method in interface net.jqwik.api.ShrinkingSequence
 
NotEmpty - Annotation Type in net.jqwik.api.constraints
Constrain the size of generated "sizable" types to be at least 1.
notFalsified(Shrinkable<T>) - Static method in class net.jqwik.api.FalsificationResult
 
numeric() - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all numeric chars (digits) to show up in generated strings.
NumericChars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to digits.

O

of(T...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose from a given array of values.
of(List<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose from a given list of values.
of(char[]) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary of character values.
of(Class<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary for enum values of type T.
of(Class<?>, TypeUsage...) - Static method in class net.jqwik.api.providers.TypeUsage
 
of(long...) - Static method in class net.jqwik.api.ShrinkingDistance
 
of(E...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple1<T>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple2<T1, T2>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple3<T1, T2, T3>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple4<T1, T2, T3, T4>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple5<T1, T2, T3, T4, T5>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple6<T1, T2, T3, T4, T5, T6>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple7<T1, T2, T3, T4, T5, T6, T7>...) - Static method in class net.jqwik.api.Table
 
of(Tuple.Tuple8<T1, T2, T3, T4, T5, T6, T7, T8>...) - Static method in class net.jqwik.api.Table
 
of(T1) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5, T6) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5, T6, T7) - Static method in interface net.jqwik.api.Tuple
 
of(T1, T2, T3, T4, T5, T6, T7, T8) - Static method in interface net.jqwik.api.Tuple
 
ofLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Fix the length to length of generated strings.
ofMaxLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Set the maximum allowed length maxLength (included) of generated strings.
ofMaxSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
Set upper size boundary maxSize (included).
ofMaxSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
 
ofMinLength(int) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Set the minimum allowed length mixLength (included) of generated strings.
ofMinSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
Set lower size boundary minSize (included).
ofMinSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
 
ofScale(int) - Method in interface net.jqwik.api.arbitraries.BigDecimalArbitrary
Set the scale (maximum number of decimal places) to scale.
ofScale(int) - Method in interface net.jqwik.api.arbitraries.DoubleArbitrary
Set the scale (maximum number of decimal places) to scale.
ofScale(int) - Method in interface net.jqwik.api.arbitraries.FloatArbitrary
Set the scale (maximum number of decimal places) to scale.
ofSize(int) - Method in interface net.jqwik.api.arbitraries.SizableArbitrary
Fix the size to size.
ofSize(int) - Method in interface net.jqwik.api.stateful.ActionSequenceArbitrary
 
oneOf(Arbitrary<T>, Arbitrary<T>...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
oneOf(List<Arbitrary<T>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will randomly choose between all given arbitraries of the same type T.
optional() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Optional<T> using the existing arbitrary for generating the elements of the stream.
order() - Method in interface net.jqwik.api.configurators.ArbitraryConfigurator
Determines the order in which a configurator will be applied in regards to other configurators.

P

plus(ShrinkingDistance) - Method in class net.jqwik.api.ShrinkingDistance
 
Positive - Annotation Type in net.jqwik.api.constraints
Constrain the range of a generated number to be 0 or greater.
precondition(M) - Method in interface net.jqwik.api.stateful.Action
If this method returns false, the action will not be performed.
priority() - Method in interface net.jqwik.api.providers.ArbitraryProvider
Providers with higher priority will replace providers with lower priority.
Property - Annotation Type in net.jqwik.api
Use @Property to mark methods that serve as properties.
PropertyExecutor - Interface in net.jqwik.api.lifecycle
Experimental feature.
PropertyLifecycleContext - Interface in net.jqwik.api.lifecycle
Experimental feature.
Provide - Annotation Type in net.jqwik.api
Used to annotate methods that can provide values for property method parameters.
provideFor(TypeUsage, ArbitraryProvider.SubtypeProvider) - Method in interface net.jqwik.api.providers.ArbitraryProvider
This is the method you must override in your own implementations of ArbitraryProvider.

R

RandomGenerator<T> - Interface in net.jqwik.api
 
randoms() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary for Random objects.
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.
recursive(Supplier<Arbitrary<T>>, Function<Arbitrary<T>, Arbitrary<T>>, int) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary by deterministic recursion.
Report - Annotation Type in net.jqwik.api
Use @Report to specify what additional things should be reported when running a property.
Reporting - Enum in net.jqwik.api
 
run(M) - Method in interface net.jqwik.api.stateful.Action
Perform an action on model M and return the same model (if it has state) or a new one representing the new state.
run(M) - Method in interface net.jqwik.api.stateful.ActionSequence
 
runActions() - Method in interface net.jqwik.api.stateful.ActionSequence
 
runState() - Method in interface net.jqwik.api.stateful.ActionSequence
 

S

samples(T...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will provide the sample values from first to last and then start again at the beginning.
Scale - Annotation Type in net.jqwik.api.constraints
Use to constrain the maximum number of decimal places when generating decimal numbers.
SEED_NOT_SET - Static variable in annotation type net.jqwik.api.Property
 
SelfConfiguringArbitrary<T> - Interface in net.jqwik.api.configurators
An Arbitrary implementation can also implement this interface if it wants to take over its own configuration which is usually being done by registered instances of ArbitraryConfigurator.
sequences(Arbitrary<Action<M>>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary to create a sequence of actions.
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.
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() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type Short.
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
 
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
 
shuffle(T...) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will always generate a list which is a permutation of the values handed to it.
shuffle(List<T>) - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that will always generate a list which is a permutation of the values handed to it.
SizableArbitrary<U> - Interface in net.jqwik.api.arbitraries
Fluent interface to configure arbitraries that have size constraints for generated values, e.g. collections and arrays.
Size - Annotation Type in net.jqwik.api.constraints
Constrain the size of generated "sizable" types.
size() - Method in class net.jqwik.api.ShrinkingDistance
 
size() - Method in interface net.jqwik.api.Tuple
 
size() - Method in class net.jqwik.api.Tuple.Tuple1
 
size() - Method in class net.jqwik.api.Tuple.Tuple2
 
size() - Method in class net.jqwik.api.Tuple.Tuple3
 
size() - Method in class net.jqwik.api.Tuple.Tuple4
 
size() - Method in class net.jqwik.api.Tuple.Tuple5
 
size() - Method in class net.jqwik.api.Tuple.Tuple6
 
size() - Method in class net.jqwik.api.Tuple.Tuple7
 
size() - Method in class net.jqwik.api.Tuple.Tuple8
 
Statistics - Class in net.jqwik.api
 
status() - Method in class net.jqwik.api.FalsificationResult
 
stream() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of type Stream<T> using the existing arbitrary for generating the elements of the stream.
stream(Random) - Method in interface net.jqwik.api.RandomGenerator
 
StringArbitrary - Interface in net.jqwik.api.arbitraries
Fluent interface to configure arbitraries that generate String values.
StringLength - Annotation Type in net.jqwik.api.constraints
Constrain the length of generated Strings.
strings() - Static method in class net.jqwik.api.Arbitraries
Create an arbitrary that generates values of type String.

T

Table - Class in net.jqwik.api
 
Table() - Constructor for class net.jqwik.api.Table
 
Tag - Annotation Type in net.jqwik.api
Use @Tag("a tag") to give test classes, groups and methods an (additional) tag which can later be used to select the set of tests to execute.
TagList - Annotation Type in net.jqwik.api
 
targetMethod() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
 
testInstance() - Method in interface net.jqwik.api.lifecycle.PropertyLifecycleContext
 
that(boolean) - Static method in class net.jqwik.api.Assume
 
that(Supplier<Boolean>) - Static method in class net.jqwik.api.Assume
 
throwable() - Method in class net.jqwik.api.FalsificationResult
 
TooManyFilterMissesException - Exception in net.jqwik.api
 
TooManyFilterMissesException(String) - Constructor for exception net.jqwik.api.TooManyFilterMissesException
 
toString() - Method in class net.jqwik.api.providers.TypeUsage
 
toString(Set<TypeUsage>) - Method in class net.jqwik.api.providers.TypeUsage
 
toString() - Method in class net.jqwik.api.ShrinkingDistance
 
toString() - Method in class net.jqwik.api.Tuple.Tuple1
 
toString() - Method in class net.jqwik.api.Tuple.Tuple2
 
toString() - Method in class net.jqwik.api.Tuple.Tuple3
 
toString() - Method in class net.jqwik.api.Tuple.Tuple4
 
toString() - Method in class net.jqwik.api.Tuple.Tuple5
 
toString() - Method in class net.jqwik.api.Tuple.Tuple6
 
toString() - Method in class net.jqwik.api.Tuple.Tuple7
 
toString() - Method in class net.jqwik.api.Tuple.Tuple8
 
TRIES_NOT_SET - Static variable in annotation type net.jqwik.api.Property
 
Tuple - Interface in net.jqwik.api
 
Tuple.Tuple1<T1> - Class in net.jqwik.api
 
Tuple.Tuple2<T1,T2> - Class in net.jqwik.api
 
Tuple.Tuple3<T1,T2,T3> - Class in net.jqwik.api
 
Tuple.Tuple4<T1,T2,T3,T4> - Class in net.jqwik.api
 
Tuple.Tuple5<T1,T2,T3,T4,T5> - Class in net.jqwik.api
 
Tuple.Tuple6<T1,T2,T3,T4,T5,T6> - Class in net.jqwik.api
 
Tuple.Tuple7<T1,T2,T3,T4,T5,T6,T7> - Class in net.jqwik.api
 
Tuple.Tuple8<T1,T2,T3,T4,T5,T6,T7,T8> - Class in net.jqwik.api
 
TypeUsage - Class in net.jqwik.api.providers
An instance of TypeUsage describes the information available for parameter or return types.

U

unique() - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of the same type T that creates and shrinks the original arbitrary but will never generate the same value twice.
Unique - Annotation Type in net.jqwik.api.constraints
Make a generated value to be unique withing the same try.
unique() - Method in interface net.jqwik.api.ExhaustiveGenerator
 
unique() - Method in interface net.jqwik.api.RandomGenerator
 
unshrinkable(T) - Static method in interface net.jqwik.api.Shrinkable
 
UpperChars - Annotation Type in net.jqwik.api.constraints
Constrain the chars used to generate Strings or Characters to upper and lower case chars.

V

value() - Method in class net.jqwik.api.FalsificationResult
 
value() - Method in interface net.jqwik.api.Shrinkable
 
valueOf(String) - Static method in enum net.jqwik.api.AfterFailureMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.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.Reporting
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.ShrinkingMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.jqwik.api.stateful.ActionSequence.RunState
Returns the enum constant of this type with the specified name.
values() - Static method in enum net.jqwik.api.AfterFailureMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.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.Reporting
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.ShrinkingMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.jqwik.api.stateful.ActionSequence.RunState
Returns an array containing the constants of this enum type, in the order they are declared.

W

whitespace() - Method in interface net.jqwik.api.arbitraries.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) - Static method in class net.jqwik.api.providers.TypeUsage
 
withCharRange(char, char) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all chars within from (included) and to (included) to show up in generated strings.
withChars(char...) - Method in interface net.jqwik.api.arbitraries.StringArbitrary
Allow all chars in chars to show up in generated strings.
withEdgeCases(int, List<Shrinkable<T>>) - Method in interface net.jqwik.api.RandomGenerator
 
withFilter(Predicate<T>) - Method in interface net.jqwik.api.Falsifier
 
withInvariant(Invariant<M>) - Method in interface net.jqwik.api.stateful.ActionSequence
 
WithNull - Annotation Type in net.jqwik.api.constraints
Allows jqwik to inject null parameters into generated values.
withPostFilter(Predicate<T>) - Method in interface net.jqwik.api.Falsifier
 
withSamples(T...) - Method in interface net.jqwik.api.Arbitrary
Create a new arbitrary of the same type but inject values in samples first before continuing with standard value generation.
withSamples(T[]) - Method in interface net.jqwik.api.ExhaustiveGenerator
 
withSamples(T...) - Method in interface net.jqwik.api.RandomGenerator
 
A B C D E F G H I J L M N O P R S T U V W 
Skip navigation links