Package net.jqwik.api

Class Arbitrary.ArbitraryFacade

java.lang.Object

net.jqwik.api.Arbitrary.ArbitraryFacade

Enclosing interface:

Arbitrary<T extends @Nullable Object>

@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 extends @Nullable Object, A> ArrayArbitrary<T,A>	array(Arbitrary<T> elementArbitrary, Class<A> arrayClass)
abstract <T extends @Nullable Object> Arbitrary<List<T>>	collect(Arbitrary<T> self, Predicate<? super List<? extends T>> until)
abstract <T extends @Nullable Object> Arbitrary<T>	configureEdgeCases(Arbitrary<T> self, Consumer<? super EdgeCases.Config<T>> configurator)
abstract <T extends @Nullable Object> Arbitrary<T>	dontShrink(Arbitrary<T> self)
abstract <T extends @Nullable Object> Arbitrary<T>	filter(Arbitrary<T> self, Predicate<? super T> filterPredicate, int maxMisses)
abstract <T extends @Nullable Object> Arbitrary<T>	fixGenSize(Arbitrary<T> self, int genSize)
abstract <T, U extends @Nullable Object> Arbitrary<U>	flatMap(Arbitrary<T> self, Function<? super T,? extends Arbitrary<U>> mapper)
abstract <T extends @Nullable Object> Arbitrary<T>	ignoreExceptions(Arbitrary<T> self, int maxThrows, Class<? extends Throwable>[] exceptionTypes)
abstract <T extends @Nullable Object> Arbitrary<@Nullable T>	injectNull(Arbitrary<T> self, double nullProbability)
abstract <T extends @Nullable Object> IteratorArbitrary<T>	iterator(Arbitrary<T> elementArbitrary)
abstract <T extends @Nullable Object> ListArbitrary<T>	list(Arbitrary<T> elementArbitrary)
abstract <T, U extends @Nullable Object> Arbitrary<U>	map(Arbitrary<T> self, Function<? super T,? extends U> mapper)
abstract <T extends @Nullable Object> RandomGenerator<T>	memoizedGenerator(Arbitrary<T> self, int genSize, boolean withEdgeCases)
abstract <T extends @Nullable Object> Stream<T>	sampleStream(Arbitrary<T> arbitrary)
abstract <T extends @Nullable Object> SetArbitrary<T>	set(Arbitrary<T> elementArbitrary)
abstract <T extends @Nullable Object> StreamArbitrary<T>	stream(Arbitrary<T> elementArbitrary)
abstract <T extends @Nullable Object> 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 extends @Nullable Object>
ListArbitrary<T> list(Arbitrary<T> elementArbitrary)

set

public abstract <T extends @Nullable Object>
SetArbitrary<T> set(Arbitrary<T> elementArbitrary)

stream

public abstract <T extends @Nullable Object>
StreamArbitrary<T> stream(Arbitrary<T> elementArbitrary)

iterator

public abstract <T extends @Nullable Object>
IteratorArbitrary<T> iterator(Arbitrary<T> elementArbitrary)

array

public abstract <T extends @Nullable Object,
A>
ArrayArbitrary<T,A> array(Arbitrary<T> elementArbitrary,
 Class<A> arrayClass)

sampleStream

public abstract <T extends @Nullable Object>
Stream<T> sampleStream(Arbitrary<T> arbitrary)

injectNull

public abstract <T extends @Nullable Object>
Arbitrary<@Nullable T> injectNull(Arbitrary<T> self,
 double nullProbability)

filter

public abstract <T extends @Nullable Object>
Arbitrary<T> filter(Arbitrary<T> self,
 Predicate<? super T> filterPredicate,
 int maxMisses)

map

public abstract <T,
U extends @Nullable Object>
Arbitrary<U> map(Arbitrary<T> self,
 Function<? super T,? extends U> mapper)

flatMap

public abstract <T,
U extends @Nullable Object>
Arbitrary<U> flatMap(Arbitrary<T> self,
 Function<? super T,? extends Arbitrary<U>> mapper)

ignoreExceptions

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

dontShrink

public abstract <T extends @Nullable Object>
Arbitrary<T> dontShrink(Arbitrary<T> self)

configureEdgeCases

public abstract <T extends @Nullable Object>
Arbitrary<T> configureEdgeCases(Arbitrary<T> self,
 Consumer<? super EdgeCases.Config<T>> configurator)

withoutEdgeCases

public abstract <T extends @Nullable Object>
Arbitrary<T> withoutEdgeCases(Arbitrary<T> self)

memoizedGenerator

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

fixGenSize

public abstract <T extends @Nullable Object>
Arbitrary<T> fixGenSize(Arbitrary<T> self,
 int genSize)

collect

public abstract <T extends @Nullable Object>
Arbitrary<List<T>> collect(Arbitrary<T> self,
 Predicate<? super List<? extends T>> until)