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 and Description
ArbitraryFacade()

Method Summary

Modifier and Type	Method and Description
abstract <T,A> SizableArbitrary<A>	array(Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)
abstract <T,U> java.util.Optional<ExhaustiveGenerator<U>>	flatMapExhaustiveGenerator(ExhaustiveGenerator<T> self, java.util.function.Function<T,Arbitrary<U>> mapper)
abstract <T> SizableArbitrary<java.util.Iterator<T>>	iterator(Arbitrary<T> elementArbitrary)
abstract <T> SizableArbitrary<java.util.List<T>>	list(Arbitrary<T> elementArbitrary)
abstract <T> SizableArbitrary<java.util.Set<T>>	set(Arbitrary<T> elementArbitrary)
abstract <T> SizableArbitrary<java.util.stream.Stream<T>>	stream(Arbitrary<T> elementArbitrary)

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

flatMapExhaustiveGenerator

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

list

public abstract <T> SizableArbitrary<java.util.List<T>> list(Arbitrary<T> elementArbitrary)

set

public abstract <T> SizableArbitrary<java.util.Set<T>> set(Arbitrary<T> elementArbitrary)

stream

public abstract <T> SizableArbitrary<java.util.stream.Stream<T>> stream(Arbitrary<T> elementArbitrary)

iterator

public abstract <T> SizableArbitrary<java.util.Iterator<T>> iterator(Arbitrary<T> elementArbitrary)

array

public abstract <T,A> SizableArbitrary<A> array(Arbitrary<T> elementArbitrary,
                                                java.lang.Class<A> arrayClass)