Package net.jqwik.api

Class Arbitrary.ArbitraryFacade

java.lang.Object

net.jqwik.api.Arbitrary.ArbitraryFacade

Enclosing interface:

Arbitrary<T>

@API(status=INTERNAL)
public abstract static class Arbitrary.ArbitraryFacade
extends Object

Constructor Summary

Constructors

Constructor	Description
ArbitraryFacade()

Method Summary

Modifier and Type	Method	Description
abstract <T, A> ArrayArbitrary<T,A>	array(Arbitrary<T> elementArbitrary, Class<A> arrayClass)
abstract <T> Arbitrary<List<T>>	collect(Arbitrary<T> self, Predicate<List<T>> until)
abstract <T> Arbitrary<T>	configureEdgeCases(Arbitrary<T> self, Consumer<EdgeCases.Config<T>> configurator)
abstract <T> Arbitrary<T>	dontShrink(Arbitrary<T> self)
abstract <T> Arbitrary<T>	filter(Arbitrary<T> self, Predicate<T> filterPredicate, int maxMisses)
abstract <T> Arbitrary<T>	fixGenSize(Arbitrary<T> self, int genSize)
abstract <T, U> Arbitrary<U>	flatMap(Arbitrary<T> self, Function<T,Arbitrary<U>> mapper)
abstract <T> Arbitrary<T>	ignoreExceptions(Arbitrary<T> self, int maxThrows, Class<? extends Throwable>[] exceptionTypes)
abstract <T> Arbitrary<T>	injectNull(Arbitrary<T> self, double nullProbability)
abstract <T> IteratorArbitrary<T>	iterator(Arbitrary<T> elementArbitrary)
abstract <T> ListArbitrary<T>	list(Arbitrary<T> elementArbitrary)
abstract <T, U> Arbitrary<U>	map(Arbitrary<T> self, Function<T,U> mapper)
abstract <T> RandomGenerator<T>	memoizedGenerator(Arbitrary<T> self, int genSize, boolean withEdgeCases)
abstract <T> Stream<T>	sampleStream(Arbitrary<T> arbitrary)
abstract <T> SetArbitrary<T>	set(Arbitrary<T> elementArbitrary)
abstract <T> StreamArbitrary<T>	stream(Arbitrary<T> elementArbitrary)
abstract <T> Arbitrary<T>	withoutEdgeCases(Arbitrary<T> self)

Methods inherited from class java.lang.Object

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

Constructor Details

ArbitraryFacade

public ArbitraryFacade()

Method Details

list

public abstract <T> ListArbitrary<T> list(Arbitrary<T> elementArbitrary)

set

public abstract <T> SetArbitrary<T> set(Arbitrary<T> elementArbitrary)

stream

public abstract <T> StreamArbitrary<T> stream(Arbitrary<T> elementArbitrary)

iterator

public abstract <T> IteratorArbitrary<T> iterator(Arbitrary<T> elementArbitrary)

array

public abstract <T,
A> ArrayArbitrary<T,A> array(Arbitrary<T> elementArbitrary,
 Class<A> arrayClass)

sampleStream

public abstract <T> Stream<T> sampleStream(Arbitrary<T> arbitrary)

injectNull

public abstract <T> Arbitrary<T> injectNull(Arbitrary<T> self,
 double nullProbability)

filter

public abstract <T> Arbitrary<T> filter(Arbitrary<T> self,
 Predicate<T> filterPredicate,
 int maxMisses)

map

public abstract <T,
U> Arbitrary<U> map(Arbitrary<T> self,
 Function<T,U> mapper)

flatMap

public abstract <T,
U> Arbitrary<U> flatMap(Arbitrary<T> self,
 Function<T,Arbitrary<U>> mapper)

ignoreExceptions

public abstract <T> Arbitrary<T> ignoreExceptions(Arbitrary<T> self,
 int maxThrows,
 Class<? extends Throwable>[] exceptionTypes)

dontShrink

public abstract <T> Arbitrary<T> dontShrink(Arbitrary<T> self)

configureEdgeCases

public abstract <T> Arbitrary<T> configureEdgeCases(Arbitrary<T> self,
 Consumer<EdgeCases.Config<T>> configurator)

withoutEdgeCases

public abstract <T> Arbitrary<T> withoutEdgeCases(Arbitrary<T> self)

memoizedGenerator

public abstract <T> RandomGenerator<T> memoizedGenerator(Arbitrary<T> self,
 int genSize,
 boolean withEdgeCases)

fixGenSize

public abstract <T> Arbitrary<T> fixGenSize(Arbitrary<T> self,
 int genSize)

collect

public abstract <T> Arbitrary<List<T>> collect(Arbitrary<T> self,
 Predicate<List<T>> until)