Package 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>>

    • 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<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()