Package net.jqwik.api
Class EdgeCases.EdgeCasesFacade
- java.lang.Object
-
- net.jqwik.api.EdgeCases.EdgeCasesFacade
-
-
Constructor Summary
Constructors Constructor Description EdgeCasesFacade()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description 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)
-
-
-
Method Detail
-
fromSuppliers
public abstract <T> EdgeCases<T> fromSuppliers(java.util.List<java.util.function.Supplier<Shrinkable<T>>> suppliers)
-
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)
-
-