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 and Description
ArbitrariesFacade()

Method Summary

Modifier and Type	Method and 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)
abstract DoubleArbitrary	doubles()
abstract java.util.Optional<ExhaustiveGenerator<java.lang.Character>>	exhaustiveChoose(char[] values)
abstract <T extends java.lang.Enum> java.util.Optional<ExhaustiveGenerator<T>>	exhaustiveChoose(java.lang.Class<T> enumClass)
abstract <T> java.util.Optional<ExhaustiveGenerator<T>>	exhaustiveChoose(java.util.List<T> values)
abstract <T> java.util.Optional<ExhaustiveGenerator<java.util.List<T>>>	exhaustiveShuffle(java.util.List<T> values)
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>	lazy(java.util.function.Supplier<Arbitrary<T>> arbitrarySupplier)
abstract LongArbitrary	longs()
abstract <T> Arbitrary<T>	oneOf(java.util.List<Arbitrary<T>> all)
abstract RandomGenerator<java.lang.Character>	randomChoose(char[] values)
abstract <T extends java.lang.Enum> RandomGenerator<T>	randomChoose(java.lang.Class<T> enumClass)
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<T>	randomSamples(T[] samples)
abstract <T> RandomGenerator<java.util.List<T>>	randomShuffle(java.util.List<T> values)
abstract <M> ActionSequenceArbitrary<M>	sequences(Arbitrary<Action<M>> actionArbitrary)
abstract ShortArbitrary	shorts()
abstract StringArbitrary	strings()

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

randomChoose

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

exhaustiveChoose

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

randomChoose

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

exhaustiveChoose

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

randomChoose

public abstract <T extends java.lang.Enum> RandomGenerator<T> randomChoose(java.lang.Class<T> enumClass)

exhaustiveChoose

public abstract <T extends java.lang.Enum> java.util.Optional<ExhaustiveGenerator<T>> exhaustiveChoose(java.lang.Class<T> enumClass)

oneOf

public abstract <T> Arbitrary<T> oneOf(java.util.List<Arbitrary<T>> all)

randomFrequency

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

randomSamples

public abstract <T> RandomGenerator<T> randomSamples(T[] samples)

randomShuffle

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

exhaustiveShuffle

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

sequences

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

frequencyOf

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

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)

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)