Package net.jqwik.engine.facades

Class ShrinkableFacadeImpl

  • public class ShrinkableFacadeImpl
extends net.jqwik.api.Shrinkable.ShrinkableFacade
    Is loaded through reflection in api module

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <T> net.jqwik.api.Shrinkable<T> filter​(net.jqwik.api.Shrinkable<T> self, java.util.function.Predicate<T> filter)  
      <T,​U>
      net.jqwik.api.Shrinkable<U>      		 flatMap​(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> flatMapper, int tries, long randomSeed)  
      <T,​U>
      net.jqwik.api.Shrinkable<U>      		 map​(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,​U> mapper)  
      <T> net.jqwik.api.Shrinkable<T> unshrinkable​(java.util.function.Supplier<T> valueSupplier, net.jqwik.api.ShrinkingDistance distance)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ShrinkableFacadeImpl

        public ShrinkableFacadeImpl()

    • Method Detail

      • unshrinkable

        public <T> net.jqwik.api.Shrinkable<T> unshrinkable​(java.util.function.Supplier<T> valueSupplier,
                                                    net.jqwik.api.ShrinkingDistance distance)
        Specified by:
        unshrinkable in class net.jqwik.api.Shrinkable.ShrinkableFacade

      • map

        public <T,​U> net.jqwik.api.Shrinkable<U> map​(net.jqwik.api.Shrinkable<T> self,
                                                   java.util.function.Function<T,​U> mapper)
        Specified by:
        map in class net.jqwik.api.Shrinkable.ShrinkableFacade

      • filter

        public <T> net.jqwik.api.Shrinkable<T> filter​(net.jqwik.api.Shrinkable<T> self,
                                              java.util.function.Predicate<T> filter)
        Specified by:
        filter in class net.jqwik.api.Shrinkable.ShrinkableFacade

      • flatMap

        public <T,​U> net.jqwik.api.Shrinkable<U> flatMap​(net.jqwik.api.Shrinkable<T> self,
                                                       java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> flatMapper,
                                                       int tries,
                                                       long randomSeed)
        Specified by:
        flatMap in class net.jqwik.api.Shrinkable.ShrinkableFacade