net.jqwik.engine.properties.arbitraries

Class DefaultTypeArbitrary<T>

java.lang.Object

net.jqwik.engine.properties.arbitraries.OneOfArbitrary<T>

net.jqwik.engine.properties.arbitraries.DefaultTypeArbitrary<T>

All Implemented Interfaces:

net.jqwik.api.arbitraries.TypeArbitrary<T>, net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

public class DefaultTypeArbitrary<T>
extends OneOfArbitrary<T>
implements net.jqwik.api.arbitraries.TypeArbitrary<T>

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor and Description
DefaultTypeArbitrary(java.lang.Class<T> targetType)

Method Summary

Modifier and Type	Method and Description
int	countCreators()
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<T>	generator(int genSize)
java.lang.String	toString()
net.jqwik.api.arbitraries.TypeArbitrary<T>	use(java.lang.reflect.Executable creator)
net.jqwik.api.arbitraries.TypeArbitrary<T>	useAllConstructors()
net.jqwik.api.arbitraries.TypeArbitrary<T>	useAllFactoryMethods()
net.jqwik.api.arbitraries.TypeArbitrary<T>	useConstructors(java.util.function.Predicate<? super java.lang.reflect.Constructor<?>> filter)
net.jqwik.api.arbitraries.TypeArbitrary<T>	useDefaults()
net.jqwik.api.arbitraries.TypeArbitrary<T>	useFactoryMethods(java.util.function.Predicate<java.lang.reflect.Method> filter)
net.jqwik.api.arbitraries.TypeArbitrary<T>	usePublicConstructors()
net.jqwik.api.arbitraries.TypeArbitrary<T>	usePublicFactoryMethods()

Methods inherited from class net.jqwik.engine.properties.arbitraries.OneOfArbitrary

addArbitrary, arbitraries, configure

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, collect, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectNull, iterator, list, map, optional, set, stream, unique, withSamples

Constructor Detail

DefaultTypeArbitrary

public DefaultTypeArbitrary(java.lang.Class<T> targetType)

Method Detail

useDefaults

public net.jqwik.api.arbitraries.TypeArbitrary<T> useDefaults()

use

public net.jqwik.api.arbitraries.TypeArbitrary<T> use(java.lang.reflect.Executable creator)

Specified by:

use in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

useConstructors

public net.jqwik.api.arbitraries.TypeArbitrary<T> useConstructors(java.util.function.Predicate<? super java.lang.reflect.Constructor<?>> filter)

Specified by:

useConstructors in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

usePublicConstructors

public net.jqwik.api.arbitraries.TypeArbitrary<T> usePublicConstructors()

Specified by:

usePublicConstructors in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

useAllConstructors

public net.jqwik.api.arbitraries.TypeArbitrary<T> useAllConstructors()

Specified by:

useAllConstructors in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

useFactoryMethods

public net.jqwik.api.arbitraries.TypeArbitrary<T> useFactoryMethods(java.util.function.Predicate<java.lang.reflect.Method> filter)

Specified by:

useFactoryMethods in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

usePublicFactoryMethods

public net.jqwik.api.arbitraries.TypeArbitrary<T> usePublicFactoryMethods()

Specified by:

usePublicFactoryMethods in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

useAllFactoryMethods

public net.jqwik.api.arbitraries.TypeArbitrary<T> useAllFactoryMethods()

Specified by:

useAllFactoryMethods in interface net.jqwik.api.arbitraries.TypeArbitrary<T>

generator

public net.jqwik.api.RandomGenerator<T> generator(int genSize)

Specified by:

generator in interface net.jqwik.api.Arbitrary<T>

Overrides:

generator in class OneOfArbitrary<T>

exhaustive

public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive(long maxNumberOfSamples)

Specified by:

exhaustive in interface net.jqwik.api.Arbitrary<T>

Overrides:

exhaustive in class OneOfArbitrary<T>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

countCreators

public int countCreators()