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

Class ExhaustiveGenerators

java.lang.Object

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

public class ExhaustiveGenerators
extends Object

Constructor Summary

Constructors

Constructor	Description
ExhaustiveGenerators()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

ExhaustiveGenerators

public ExhaustiveGenerators()

Method Details

create

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

choose

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

choose

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

fromIterable

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

list

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

strings

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

set

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

combine

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

shuffle

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

flatMap

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