net.jqwik.engine.facades

Class ArbitrariesFacadeImpl

java.lang.Object

net.jqwik.api.Arbitraries.ArbitrariesFacade

net.jqwik.engine.facades.ArbitrariesFacadeImpl

public class ArbitrariesFacadeImpl
extends net.jqwik.api.Arbitraries.ArbitrariesFacade

Is loaded through reflection in api module

Constructor Summary

Constructors

Constructor and Description
ArbitrariesFacadeImpl()

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.arbitraries.BigDecimalArbitrary	bigDecimals()
net.jqwik.api.arbitraries.BigIntegerArbitrary	bigIntegers()
net.jqwik.api.arbitraries.ByteArbitrary	bytes()
net.jqwik.api.arbitraries.CharacterArbitrary	chars()
<T> net.jqwik.api.Arbitrary<T>	defaultFor(java.lang.Class<T> type, java.lang.Class<?>[] typeParameters)
<T> net.jqwik.api.Arbitrary<T>	defaultFor(net.jqwik.api.providers.TypeUsage typeUsage)
net.jqwik.api.arbitraries.DoubleArbitrary	doubles()
<K,V> net.jqwik.api.Arbitrary<java.util.Map.Entry<K,V>>	entries(net.jqwik.api.Arbitrary<K> keysArbitrary, net.jqwik.api.Arbitrary<V> valuesArbitrary)
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>>	exhaustiveChoose(char[] values, long maxNumberOfSamples)
<T extends java.lang.Enum> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	exhaustiveChoose(java.lang.Class<T> enumClass, long maxNumberOfSamples)
<T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	exhaustiveChoose(java.util.List<T> values, long maxNumberOfSamples)
<T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	exhaustiveCreate(java.util.function.Supplier<T> supplier, long maxNumberOfSamples)
<T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.List<T>>>	exhaustiveShuffle(java.util.List<T> values, long maxNumberOfSamples)
net.jqwik.api.arbitraries.FloatArbitrary	floats()
<T> net.jqwik.api.arbitraries.TypeArbitrary<T>	forType(java.lang.Class<T> targetType)
<T> net.jqwik.api.Arbitrary<T>	frequencyOf(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,net.jqwik.api.Arbitrary<T>>> frequencies)
net.jqwik.api.arbitraries.IntegerArbitrary	integers()
<T> net.jqwik.api.Arbitrary<T>	lazy(java.util.function.Supplier<net.jqwik.api.Arbitrary<T>> arbitrarySupplier)
net.jqwik.api.arbitraries.LongArbitrary	longs()
<K,V> net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>>	maps(net.jqwik.api.Arbitrary<K> keysArbitrary, net.jqwik.api.Arbitrary<V> valuesArbitrary)
<T> net.jqwik.api.Arbitrary<T>	oneOf(java.util.List<net.jqwik.api.Arbitrary<T>> all)
net.jqwik.api.RandomGenerator<java.lang.Character>	randomChoose(char[] values)
<T extends java.lang.Enum> net.jqwik.api.RandomGenerator<T>	randomChoose(java.lang.Class<T> enumClass)
<T> net.jqwik.api.RandomGenerator<T>	randomChoose(java.util.List<T> values)
<T> net.jqwik.api.RandomGenerator<T>	randomFrequency(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,T>> frequencies)
<T> net.jqwik.api.RandomGenerator<T>	randomSamples(T[] samples)
<T> net.jqwik.api.RandomGenerator<java.util.List<T>>	randomShuffle(java.util.List<T> values)
<M> net.jqwik.api.stateful.ActionSequenceArbitrary<M>	sequences(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)
net.jqwik.api.arbitraries.ShortArbitrary	shorts()
net.jqwik.api.arbitraries.StringArbitrary	strings()

Methods inherited from class java.lang.Object

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

Constructor Detail

ArbitrariesFacadeImpl

public ArbitrariesFacadeImpl()

Method Detail

randomChoose

public <T> net.jqwik.api.RandomGenerator<T> randomChoose(java.util.List<T> values)

Specified by:

randomChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

exhaustiveChoose

public <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustiveChoose(java.util.List<T> values,
                                                                                     long maxNumberOfSamples)

Specified by:

exhaustiveChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

randomChoose

public net.jqwik.api.RandomGenerator<java.lang.Character> randomChoose(char[] values)

Specified by:

randomChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

exhaustiveChoose

public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>> exhaustiveChoose(char[] values,
                                                                                                   long maxNumberOfSamples)

Specified by:

exhaustiveChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

exhaustiveCreate

public <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustiveCreate(java.util.function.Supplier<T> supplier,
                                                                                     long maxNumberOfSamples)

Specified by:

exhaustiveCreate in class net.jqwik.api.Arbitraries.ArbitrariesFacade

randomChoose

public <T extends java.lang.Enum> net.jqwik.api.RandomGenerator<T> randomChoose(java.lang.Class<T> enumClass)

Specified by:

randomChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

exhaustiveChoose

public <T extends java.lang.Enum> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustiveChoose(java.lang.Class<T> enumClass,
                                                                                                            long maxNumberOfSamples)

Specified by:

exhaustiveChoose in class net.jqwik.api.Arbitraries.ArbitrariesFacade

oneOf

public <T> net.jqwik.api.Arbitrary<T> oneOf(java.util.List<net.jqwik.api.Arbitrary<T>> all)

Specified by:

oneOf in class net.jqwik.api.Arbitraries.ArbitrariesFacade

randomFrequency

public <T> net.jqwik.api.RandomGenerator<T> randomFrequency(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,T>> frequencies)

Specified by:

randomFrequency in class net.jqwik.api.Arbitraries.ArbitrariesFacade

randomSamples

public <T> net.jqwik.api.RandomGenerator<T> randomSamples(T[] samples)

Specified by:

randomSamples in class net.jqwik.api.Arbitraries.ArbitrariesFacade

randomShuffle

public <T> net.jqwik.api.RandomGenerator<java.util.List<T>> randomShuffle(java.util.List<T> values)

Specified by:

randomShuffle in class net.jqwik.api.Arbitraries.ArbitrariesFacade

exhaustiveShuffle

public <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.List<T>>> exhaustiveShuffle(java.util.List<T> values,
                                                                                                      long maxNumberOfSamples)

Specified by:

exhaustiveShuffle in class net.jqwik.api.Arbitraries.ArbitrariesFacade

sequences

public <M> net.jqwik.api.stateful.ActionSequenceArbitrary<M> sequences(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)

Specified by:

sequences in class net.jqwik.api.Arbitraries.ArbitrariesFacade

frequencyOf

public <T> net.jqwik.api.Arbitrary<T> frequencyOf(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,net.jqwik.api.Arbitrary<T>>> frequencies)

Specified by:

frequencyOf in class net.jqwik.api.Arbitraries.ArbitrariesFacade

integers

public net.jqwik.api.arbitraries.IntegerArbitrary integers()

Specified by:

integers in class net.jqwik.api.Arbitraries.ArbitrariesFacade

longs

public net.jqwik.api.arbitraries.LongArbitrary longs()

Specified by:

longs in class net.jqwik.api.Arbitraries.ArbitrariesFacade

bigIntegers

public net.jqwik.api.arbitraries.BigIntegerArbitrary bigIntegers()

Specified by:

bigIntegers in class net.jqwik.api.Arbitraries.ArbitrariesFacade

floats

public net.jqwik.api.arbitraries.FloatArbitrary floats()

Specified by:

floats in class net.jqwik.api.Arbitraries.ArbitrariesFacade

bigDecimals

public net.jqwik.api.arbitraries.BigDecimalArbitrary bigDecimals()

Specified by:

bigDecimals in class net.jqwik.api.Arbitraries.ArbitrariesFacade

doubles

public net.jqwik.api.arbitraries.DoubleArbitrary doubles()

Specified by:

doubles in class net.jqwik.api.Arbitraries.ArbitrariesFacade

bytes

public net.jqwik.api.arbitraries.ByteArbitrary bytes()

Specified by:

bytes in class net.jqwik.api.Arbitraries.ArbitrariesFacade

shorts

public net.jqwik.api.arbitraries.ShortArbitrary shorts()

Specified by:

shorts in class net.jqwik.api.Arbitraries.ArbitrariesFacade

strings

public net.jqwik.api.arbitraries.StringArbitrary strings()

Specified by:

strings in class net.jqwik.api.Arbitraries.ArbitrariesFacade

chars

public net.jqwik.api.arbitraries.CharacterArbitrary chars()

Specified by:

chars in class net.jqwik.api.Arbitraries.ArbitrariesFacade

lazy

public <T> net.jqwik.api.Arbitrary<T> lazy(java.util.function.Supplier<net.jqwik.api.Arbitrary<T>> arbitrarySupplier)

Specified by:

lazy in class net.jqwik.api.Arbitraries.ArbitrariesFacade

defaultFor

public <T> net.jqwik.api.Arbitrary<T> defaultFor(java.lang.Class<T> type,
                                                 java.lang.Class<?>[] typeParameters)

Specified by:

defaultFor in class net.jqwik.api.Arbitraries.ArbitrariesFacade

defaultFor

public <T> net.jqwik.api.Arbitrary<T> defaultFor(net.jqwik.api.providers.TypeUsage typeUsage)

Specified by:

defaultFor in class net.jqwik.api.Arbitraries.ArbitrariesFacade

forType

public <T> net.jqwik.api.arbitraries.TypeArbitrary<T> forType(java.lang.Class<T> targetType)

Specified by:

forType in class net.jqwik.api.Arbitraries.ArbitrariesFacade

maps

public <K,V> net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>> maps(net.jqwik.api.Arbitrary<K> keysArbitrary,
                                                                                 net.jqwik.api.Arbitrary<V> valuesArbitrary)

Specified by:

maps in class net.jqwik.api.Arbitraries.ArbitrariesFacade

entries

public <K,V> net.jqwik.api.Arbitrary<java.util.Map.Entry<K,V>> entries(net.jqwik.api.Arbitrary<K> keysArbitrary,
                                                                       net.jqwik.api.Arbitrary<V> valuesArbitrary)

Specified by:

entries in class net.jqwik.api.Arbitraries.ArbitrariesFacade