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>	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 EdgeCases<java.lang.Character>	edgeCasesChoose(char[] validChars, int maxEdgeCases)
abstract <T> EdgeCases<T>	edgeCasesChoose(java.util.List<T> values, int maxEdgeCases)
abstract <K,V> Arbitrary<java.util.Map.Entry<K,V>>	entries(Arbitrary<K> keysArbitrary, Arbitrary<V> valuesArbitrary)
abstract java.util.Optional<ExhaustiveGenerator<java.lang.Character>>	exhaustiveChoose(char[] values, long maxNumberOfSamples)
abstract <T> java.util.Optional<ExhaustiveGenerator<T>>	exhaustiveChoose(java.util.List<T> values, long maxNumberOfSamples)
abstract <T> java.util.Optional<ExhaustiveGenerator<T>>	exhaustiveCreate(java.util.function.Supplier<T> supplier, long maxNumberOfSamples)
abstract <T> java.util.Optional<ExhaustiveGenerator<java.util.List<T>>>	exhaustiveShuffle(java.util.List<T> values, long maxNumberOfSamples)
abstract FloatArbitrary	floats()
abstract <T> TypeArbitrary<T>	forType(java.lang.Class<T> targetType)
abstract <T> Arbitrary<T>	frequencyOf(java.util.List<Tuple.Tuple2<java.lang.Integer,Arbitrary<T>>> frequencies)
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 <T> Arbitrary<T>	oneOf(java.util.Collection<Arbitrary<? extends T>> all)
abstract RandomGenerator<java.lang.Character>	randomChoose(char[] values)
abstract <T> RandomGenerator<T>	randomChoose(java.util.List<T> values)
abstract <T> RandomGenerator<T>	randomFrequency(java.util.List<Tuple.Tuple2<java.lang.Integer,T>> frequencies)
abstract <T> RandomGenerator<java.util.List<T>>	randomShuffle(java.util.List<T> values)
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 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

edgeCasesChoose

public abstract <T> EdgeCases<T> edgeCasesChoose(java.util.List<T> values,
                                                 int maxEdgeCases)

edgeCasesChoose

public abstract EdgeCases<java.lang.Character> edgeCasesChoose(char[] validChars,
                                                               int maxEdgeCases)

exhaustiveChoose

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

exhaustiveCreate

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

exhaustiveChoose

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

exhaustiveShuffle

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

randomChoose

public abstract <T> RandomGenerator<T> randomChoose(java.util.List<T> values)

randomChoose

public abstract RandomGenerator<java.lang.Character> randomChoose(char[] values)

oneOf

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

randomFrequency

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

randomShuffle

public abstract <T> RandomGenerator<java.util.List<T>> randomShuffle(java.util.List<T> values)

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)