Class CombinedShrinkable<T>

  • All Implemented Interfaces:
    java.lang.Comparable<net.jqwik.api.Shrinkable<T>>, net.jqwik.api.Shrinkable<T>

    public class CombinedShrinkable<T>
    extends java.lang.Object
    implements net.jqwik.api.Shrinkable<T>
    • Nested Class Summary

      • Nested classes/interfaces inherited from interface net.jqwik.api.Shrinkable

        net.jqwik.api.Shrinkable.ShrinkableFacade
    • Constructor Summary

      Constructors 
      Constructor Description
      CombinedShrinkable​(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> parts, java.util.function.Function<java.util.List<java.lang.Object>,​T> combinator)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.ShrinkingDistance distance()  
      java.util.stream.Stream<net.jqwik.api.Shrinkable<T>> shrink()  
      protected java.util.stream.Stream<net.jqwik.api.Shrinkable<T>> shrinkPartsOneAfterTheOther()  
      T value()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface net.jqwik.api.Shrinkable

        asGeneric, compareTo, filter, flatMap, grow, grow, makeUnshrinkable, map, shrink
    • Constructor Detail

      • CombinedShrinkable

        public CombinedShrinkable​(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> parts,
                                  java.util.function.Function<java.util.List<java.lang.Object>,​T> combinator)
    • Method Detail

      • value

        public T value()
        Specified by:
        value in interface net.jqwik.api.Shrinkable<T>
      • shrink

        public java.util.stream.Stream<net.jqwik.api.Shrinkable<T>> shrink()
        Specified by:
        shrink in interface net.jqwik.api.Shrinkable<T>
      • shrinkPartsOneAfterTheOther

        protected java.util.stream.Stream<net.jqwik.api.Shrinkable<T>> shrinkPartsOneAfterTheOther()
      • distance

        public net.jqwik.api.ShrinkingDistance distance()
        Specified by:
        distance in interface net.jqwik.api.Shrinkable<T>