Package net.jqwik.engine.properties.arbitraries.exhaustive

Class ExhaustiveGenerators

java.lang.Object

net.jqwik.engine.properties.arbitraries.exhaustive.ExhaustiveGenerators

public class ExhaustiveGenerators
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ExhaustiveGenerators()

Method Summary

Modifier and Type	Method	Description
static java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>>	choose(char[] characters, long maxNumberOfSamples)
static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	choose(java.util.List<T> values, long maxNumberOfSamples)
static <R> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<R>>	combine(java.util.List<net.jqwik.api.Arbitrary<java.lang.Object>> arbitraries, java.util.function.Function<java.util.List<java.lang.Object>,R> combinator, long maxNumberOfSamples)
static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	create(java.util.function.Supplier<T> supplier, long maxNumberOfSamples)
static <U,T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<U>>	flatMap(net.jqwik.api.ExhaustiveGenerator<T> base, java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper, long maxNumberOfSamples)
static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	fromIterable(java.lang.Iterable<T> iterator, long maxCount, long maxNumberOfSamples)
static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.List<T>>>	list(net.jqwik.api.Arbitrary<T> elementArbitrary, int minSize, int maxSize, long maxNumberOfSamples)
static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.Set<T>>>	set(net.jqwik.api.Arbitrary<T> elementArbitrary, int minSize, int maxSize, long maxNumberOfSamples)
static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.List<T>>>	shuffle(java.util.List<T> values, long maxNumberOfSamples)
static java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.String>>	strings(net.jqwik.api.Arbitrary<java.lang.Character> characterArbitrary, int minLength, int maxLength, long maxNumberOfSamples)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExhaustiveGenerators

public ExhaustiveGenerators()

Method Detail

create

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

choose

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

choose

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

fromIterable

public static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>> fromIterable(java.lang.Iterable<T> iterator,
                                                                                        long maxCount,
                                                                                        long maxNumberOfSamples)

list

public static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.List<T>>> list(net.jqwik.api.Arbitrary<T> elementArbitrary,
                                                                                                int minSize,
                                                                                                int maxSize,
                                                                                                long maxNumberOfSamples)

strings

public static java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.String>> strings(net.jqwik.api.Arbitrary<java.lang.Character> characterArbitrary,
                                                                                              int minLength,
                                                                                              int maxLength,
                                                                                              long maxNumberOfSamples)

set

public static <T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.Set<T>>> set(net.jqwik.api.Arbitrary<T> elementArbitrary,
                                                                                              int minSize,
                                                                                              int maxSize,
                                                                                              long maxNumberOfSamples)

combine

public static <R> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<R>> combine(java.util.List<net.jqwik.api.Arbitrary<java.lang.Object>> arbitraries,
                                                                                   java.util.function.Function<java.util.List<java.lang.Object>,R> combinator,
                                                                                   long maxNumberOfSamples)

shuffle

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

flatMap

public static <U,T> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<U>> flatMap(net.jqwik.api.ExhaustiveGenerator<T> base,
                                                                                           java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper,
                                                                                           long maxNumberOfSamples)