net.jqwik.api

Class EdgeCases.EdgeCasesFacade

java.lang.Object

net.jqwik.api.EdgeCases.EdgeCasesFacade

Enclosing interface:

EdgeCases<T>

@API(status=INTERNAL)
public abstract static class EdgeCases.EdgeCasesFacade
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
EdgeCasesFacade()

Method Summary

Modifier and Type	Method and Description
abstract <T> EdgeCases<T>	concat(java.util.List<EdgeCases<T>> edgeCases)
abstract <T> EdgeCases<T>	filter(EdgeCases<T> self, java.util.function.Predicate<T> filterPredicate)
abstract <T,U> EdgeCases<U>	flatMapArbitrary(EdgeCases<T> self, java.util.function.Function<T,Arbitrary<U>> mapper)
abstract <T> EdgeCases<T>	fromSuppliers(java.util.List<java.util.function.Supplier<Shrinkable<T>>> suppliers)
abstract <T> EdgeCases<T>	ignoreException(EdgeCases<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)
abstract <T,U> EdgeCases<U>	mapShrinkable(EdgeCases<T> self, java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)

Methods inherited from class java.lang.Object

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

Constructor Detail

EdgeCasesFacade

public EdgeCasesFacade()

Method Detail

fromSuppliers

public abstract <T> EdgeCases<T> fromSuppliers(java.util.List<java.util.function.Supplier<Shrinkable<T>>> suppliers)

concat

public abstract <T> EdgeCases<T> concat(java.util.List<EdgeCases<T>> edgeCases)

mapShrinkable

public abstract <T,U> EdgeCases<U> mapShrinkable(EdgeCases<T> self,
                                                 java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)

flatMapArbitrary

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

filter

public abstract <T> EdgeCases<T> filter(EdgeCases<T> self,
                                        java.util.function.Predicate<T> filterPredicate)

ignoreException

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