net.jqwik.api

Interface EdgeCases<T>

All Superinterfaces:

java.lang.Iterable<Shrinkable<T>>

@API(status=EXPERIMENTAL,
     since="1.3.0")
public interface EdgeCases<T>
extends java.lang.Iterable<Shrinkable<T>>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	EdgeCases.EdgeCasesFacade

Method Summary

Modifier and Type	Method and Description
default EdgeCases<T>	dontShrink()
default EdgeCases<T>	filter(java.util.function.Predicate<T> filterPredicate)
default <U> EdgeCases<U>	flatMapArbitrary(java.util.function.Function<T,Arbitrary<U>> mapper)
static <T> EdgeCases<T>	fromSupplier(java.util.function.Supplier<Shrinkable<T>> supplier)
static <T> EdgeCases<T>	fromSuppliers(java.util.List<java.util.function.Supplier<Shrinkable<T>>> suppliers)
default EdgeCases<T>	ignoreException(java.lang.Class<? extends java.lang.Throwable> exceptionType)
default boolean	isEmpty()
default java.util.Iterator<Shrinkable<T>>	iterator()
default <U> EdgeCases<U>	map(java.util.function.Function<T,U> mapper)
default <U> EdgeCases<U>	mapShrinkable(java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)
static <T> EdgeCases<T>	none()
default int	size()
java.util.List<java.util.function.Supplier<Shrinkable<T>>>	suppliers()

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

suppliers

java.util.List<java.util.function.Supplier<Shrinkable<T>>> suppliers()

size

default int size()

isEmpty

default boolean isEmpty()

iterator

default java.util.Iterator<Shrinkable<T>> iterator()

Specified by:

iterator in interface java.lang.Iterable<Shrinkable<T>>

fromSuppliers

@API(status=INTERNAL)
static <T> EdgeCases<T> fromSuppliers(java.util.List<java.util.function.Supplier<Shrinkable<T>>> suppliers)

none

@API(status=INTERNAL)
static <T> EdgeCases<T> none()

fromSupplier

@API(status=INTERNAL)
static <T> EdgeCases<T> fromSupplier(java.util.function.Supplier<Shrinkable<T>> supplier)

map

@API(status=INTERNAL)
default <U> EdgeCases<U> map(java.util.function.Function<T,U> mapper)

mapShrinkable

@API(status=INTERNAL)
default <U> EdgeCases<U> mapShrinkable(java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)

filter

@API(status=INTERNAL)
default EdgeCases<T> filter(java.util.function.Predicate<T> filterPredicate)

flatMapArbitrary

@API(status=INTERNAL)
default <U> EdgeCases<U> flatMapArbitrary(java.util.function.Function<T,Arbitrary<U>> mapper)

ignoreException

@API(status=INTERNAL)
default EdgeCases<T> ignoreException(java.lang.Class<? extends java.lang.Throwable> exceptionType)

dontShrink

@API(status=INTERNAL)
default EdgeCases<T> dontShrink()