Package net.jqwik.api

Class Arbitraries.ArbitrariesFacade

java.lang.Object

net.jqwik.api.Arbitraries.ArbitrariesFacade

Enclosing class:

Arbitraries

@API(status=INTERNAL)
public abstract static class Arbitraries.ArbitrariesFacade
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ArbitrariesFacade()

Method Summary

Modifier and Type	Method	Description
abstract BigDecimalArbitrary	bigDecimals()
abstract BigIntegerArbitrary	bigIntegers()
abstract ByteArbitrary	bytes()
abstract CharacterArbitrary	chars()
abstract <T> Arbitrary<T>	create(java.util.function.Supplier<T> supplier)
abstract <T> Arbitrary<T>	defaultFor(java.lang.Class<T> type, java.lang.Class<?>[] typeParameters)
abstract <T> Arbitrary<T>	defaultFor(TypeUsage typeUsage, java.util.function.Function<TypeUsage,Arbitrary<java.lang.Object>> noDefaultResolver)
abstract DoubleArbitrary	doubles()
abstract <K,V> Arbitrary<java.util.Map.Entry<K,V>>	entries(Arbitrary<K> keysArbitrary, Arbitrary<V> valuesArbitrary)
abstract FloatArbitrary	floats()
abstract <T> TypeArbitrary<T>	forType(java.lang.Class<T> targetType)
abstract <T> Arbitrary<T>	frequency(java.util.List<Tuple.Tuple2<java.lang.Integer,T>> frequencies)
abstract <T> Arbitrary<T>	frequencyOf(java.util.List<Tuple.Tuple2<java.lang.Integer,Arbitrary<T>>> frequencies)
abstract <T> Arbitrary<T>	fromGenerator(RandomGenerator<T> generator)
abstract IntegerArbitrary	integers()
abstract <T> Arbitrary<T>	just(T value)
abstract <T> Arbitrary<T>	lazy(java.util.function.Supplier<Arbitrary<T>> arbitrarySupplier)
abstract <T> Arbitrary<T>	lazyOf(java.util.List<java.util.function.Supplier<Arbitrary<T>>> suppliers)
abstract LongArbitrary	longs()
abstract <K,V> MapArbitrary<K,V>	maps(Arbitrary<K> keysArbitrary, Arbitrary<V> valuesArbitrary)
abstract Arbitrary<java.lang.Character>	of(char[] chars)
abstract <T> Arbitrary<T>	of(java.util.Collection<T> values)
abstract <T> Arbitrary<T>	oneOf(java.util.Collection<Arbitrary<? extends T>> all)
abstract <T> Arbitrary<T>	recursive(java.util.function.Supplier<Arbitrary<T>> base, java.util.function.Function<Arbitrary<T>,Arbitrary<T>> recur, int minDepth, int maxDepth)
abstract <M> ActionSequenceArbitrary<M>	sequences(Arbitrary<? extends Action<M>> actionArbitrary)
abstract ShortArbitrary	shorts()
abstract <T> Arbitrary<java.util.List<T>>	shuffle(java.util.List<T> values)
abstract StringArbitrary	strings()
abstract <T> TraverseArbitrary<T>	traverse(java.lang.Class<T> targetType, TraverseArbitrary.Traverser traverser)

Methods inherited from class java.lang.Object

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

Constructor Detail

ArbitrariesFacade

public ArbitrariesFacade()

Method Detail

oneOf

public abstract <T> Arbitrary<T> oneOf(java.util.Collection<Arbitrary<? extends T>> all)

sequences

public abstract <M> ActionSequenceArbitrary<M> sequences(Arbitrary<? extends Action<M>> actionArbitrary)

frequencyOf

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

just

public abstract <T> Arbitrary<T> just(@Nullable
                                      T value)

integers

public abstract IntegerArbitrary integers()

longs

public abstract LongArbitrary longs()

bigIntegers

public abstract BigIntegerArbitrary bigIntegers()

floats

public abstract FloatArbitrary floats()

bigDecimals

public abstract BigDecimalArbitrary bigDecimals()

doubles

public abstract DoubleArbitrary doubles()

bytes

public abstract ByteArbitrary bytes()

shorts

public abstract ShortArbitrary shorts()

strings

public abstract StringArbitrary strings()

chars

public abstract CharacterArbitrary chars()

defaultFor

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

defaultFor

public abstract <T> Arbitrary<T> defaultFor(TypeUsage typeUsage,
                                            java.util.function.Function<TypeUsage,Arbitrary<java.lang.Object>> noDefaultResolver)

lazy

public abstract <T> Arbitrary<T> lazy(java.util.function.Supplier<Arbitrary<T>> arbitrarySupplier)

forType

public abstract <T> TypeArbitrary<T> forType(java.lang.Class<T> targetType)

maps

public abstract <K,V> MapArbitrary<K,V> maps(Arbitrary<K> keysArbitrary,
                                                         Arbitrary<V> valuesArbitrary)

entries

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

recursive

public abstract <T> Arbitrary<T> recursive(java.util.function.Supplier<Arbitrary<T>> base,
                                           java.util.function.Function<Arbitrary<T>,Arbitrary<T>> recur,
                                           int minDepth,
                                           int maxDepth)

lazyOf

public abstract <T> Arbitrary<T> lazyOf(java.util.List<java.util.function.Supplier<Arbitrary<T>>> suppliers)

traverse

public abstract <T> TraverseArbitrary<T> traverse(java.lang.Class<T> targetType,
                                                  TraverseArbitrary.Traverser traverser)

of

public abstract Arbitrary<java.lang.Character> of(char[] chars)

of

public abstract <T> Arbitrary<T> of(java.util.Collection<T> values)

create

public abstract <T> Arbitrary<T> create(java.util.function.Supplier<T> supplier)

shuffle

public abstract <T> Arbitrary<java.util.List<T>> shuffle(java.util.List<T> values)

fromGenerator

public abstract <T> Arbitrary<T> fromGenerator(RandomGenerator<T> generator)

frequency

public abstract <T> Arbitrary<T> frequency(java.util.List<Tuple.Tuple2<java.lang.Integer,T>> frequencies)