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 java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ArbitraryFacade()

Method Summary

Modifier and Type	Method	Description
abstract <T,A> ArrayArbitrary<T,A>	array(Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)
abstract <T> Arbitrary<T>	configureEdgeCases(Arbitrary<T> self, java.util.function.Consumer<EdgeCases.Config<T>> configurator)
abstract <T> Arbitrary<T>	dontShrink(Arbitrary<T> self)
abstract <T> Arbitrary<T>	filter(Arbitrary<T> self, java.util.function.Predicate<T> filterPredicate, int maxMisses)
abstract <T,U> Arbitrary<U>	flatMap(Arbitrary<T> self, java.util.function.Function<T,Arbitrary<U>> mapper)
abstract <T> Arbitrary<T>	ignoreException(Arbitrary<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)
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, java.util.function.Function<T,U> mapper)
abstract <T> RandomGenerator<T>	memoizedGenerator(Arbitrary<T> self, int genSize, boolean withEdgeCases)
abstract <T> java.util.stream.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 Detail

ArbitraryFacade

public ArbitraryFacade()

Method Detail

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,
                                                            java.lang.Class<A> arrayClass)

sampleStream

public abstract <T> java.util.stream.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,
                                        java.util.function.Predicate<T> filterPredicate,
                                        int maxMisses)

map

public abstract <T,U> Arbitrary<U> map(Arbitrary<T> self,
                                             java.util.function.Function<T,U> mapper)

flatMap

public abstract <T,U> Arbitrary<U> flatMap(Arbitrary<T> self,
                                                 java.util.function.Function<T,Arbitrary<U>> mapper)

ignoreException

public abstract <T> Arbitrary<T> ignoreException(Arbitrary<T> self,
                                                 java.lang.Class<? extends java.lang.Throwable> exceptionType)

dontShrink

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

configureEdgeCases

public abstract <T> Arbitrary<T> configureEdgeCases(Arbitrary<T> self,
                                                    java.util.function.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)