Package net.jqwik.api

Class EdgeCases.EdgeCasesFacade

  • Enclosing interface:
    EdgeCases<T>

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

      • EdgeCasesFacade

        public EdgeCasesFacade()
    • Method Detail

      • fromSuppliers

        public abstract <T> EdgeCases<T> fromSuppliers​(java.util.List<java.util.function.Supplier<Shrinkable<T>>> suppliers)
      • 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)