Package net.jqwik.engine.properties.arbitraries

Class EdgeCasesSupport

  • public class EdgeCasesSupport
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <T> net.jqwik.api.EdgeCases<T> choose​(java.util.List<T> values)  
      static <T> net.jqwik.api.EdgeCases<T> concat​(java.util.List<net.jqwik.api.EdgeCases<T>> edgeCases)  
      static <T> net.jqwik.api.EdgeCases<T> concatFrom​(java.util.List<net.jqwik.api.Arbitrary<T>> arbitraries)  
      static <T> net.jqwik.api.EdgeCases<T> dontShrink​(net.jqwik.api.EdgeCases<T> self)  
      static <T> net.jqwik.api.EdgeCases<T> filter​(net.jqwik.api.EdgeCases<T> self, java.util.function.Predicate<T> filterPredicate)  
      static <T,​U>
      net.jqwik.api.EdgeCases<U>      		 flatMapArbitrary​(net.jqwik.api.EdgeCases<T> self, java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper)  
      static <T> net.jqwik.api.EdgeCases<T> fromShrinkables​(java.util.List<net.jqwik.api.Shrinkable<T>> shrinkables)  
      static <T> net.jqwik.api.EdgeCases<T> fromSuppliers​(java.util.List<java.util.function.Supplier<net.jqwik.api.Shrinkable<T>>> suppliers)  
      static <T> net.jqwik.api.EdgeCases<T> ignoreException​(net.jqwik.api.EdgeCases<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)  
      static <T,​U>
      net.jqwik.api.EdgeCases<U>      		 map​(net.jqwik.api.EdgeCases<T> self, java.util.function.Function<T,​U> mapper)  
      static <T,​U>
      net.jqwik.api.EdgeCases<U>      		 mapShrinkable​(net.jqwik.api.EdgeCases<T> self, java.util.function.Function<net.jqwik.api.Shrinkable<T>,​net.jqwik.api.Shrinkable<U>> mapper)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • EdgeCasesSupport

        public EdgeCasesSupport()

    • Method Detail

      • fromSuppliers

        public static <T> net.jqwik.api.EdgeCases<T> fromSuppliers​(java.util.List<java.util.function.Supplier<net.jqwik.api.Shrinkable<T>>> suppliers)

      • choose

        public static <T> net.jqwik.api.EdgeCases<T> choose​(java.util.List<T> values)

      • concatFrom

        public static <T> net.jqwik.api.EdgeCases<T> concatFrom​(java.util.List<net.jqwik.api.Arbitrary<T>> arbitraries)

      • concat

        public static <T> net.jqwik.api.EdgeCases<T> concat​(java.util.List<net.jqwik.api.EdgeCases<T>> edgeCases)

      • fromShrinkables

        public static <T> net.jqwik.api.EdgeCases<T> fromShrinkables​(java.util.List<net.jqwik.api.Shrinkable<T>> shrinkables)

      • map

        public static <T,​U> net.jqwik.api.EdgeCases<U> map​(net.jqwik.api.EdgeCases<T> self,
                                                         java.util.function.Function<T,​U> mapper)

      • mapShrinkable

        public static <T,​U> net.jqwik.api.EdgeCases<U> mapShrinkable​(net.jqwik.api.EdgeCases<T> self,
                                                                   java.util.function.Function<net.jqwik.api.Shrinkable<T>,​net.jqwik.api.Shrinkable<U>> mapper)

      • filter

        public static <T> net.jqwik.api.EdgeCases<T> filter​(net.jqwik.api.EdgeCases<T> self,
                                                    java.util.function.Predicate<T> filterPredicate)

      • ignoreException

        public static <T> net.jqwik.api.EdgeCases<T> ignoreException​(net.jqwik.api.EdgeCases<T> self,
                                                             java.lang.Class<? extends java.lang.Throwable> exceptionType)

      • dontShrink

        public static <T> net.jqwik.api.EdgeCases<T> dontShrink​(net.jqwik.api.EdgeCases<T> self)

      • flatMapArbitrary

        public static <T,​U> net.jqwik.api.EdgeCases<U> flatMapArbitrary​(net.jqwik.api.EdgeCases<T> self,
                                                                      java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper)