Package net.jqwik.engine.properties.shrinking

Class ShrinkableSet<E>

  • All Implemented Interfaces:
    java.lang.Comparable<net.jqwik.api.Shrinkable<java.util.Set<E>>>, net.jqwik.api.Shrinkable<java.util.Set<E>>
    public class ShrinkableSet<E>
extends java.lang.Object

    • Nested Class Summary

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

        net.jqwik.api.Shrinkable.ShrinkableFacade

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.List<net.jqwik.api.Shrinkable<E>> elements  
      protected int maxSize  
      protected int minSize  

    • Constructor Summary

      Constructors 
      Constructor Description
      ShrinkableSet​(java.util.Set<net.jqwik.api.Shrinkable<E>> elements, int minSize, int maxSize)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.ShrinkingDistance distance()  
      boolean equals​(java.lang.Object o)  
      java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> grow()  
      java.util.Optional<net.jqwik.api.Shrinkable<C>> grow​(net.jqwik.api.Shrinkable<?> before, net.jqwik.api.Shrinkable<?> after)  
      int hashCode()  
      protected boolean hasReallyGrown​(net.jqwik.api.Shrinkable<java.util.Set<E>> grownShrinkable)  
      java.util.stream.Stream<net.jqwik.api.Shrinkable<java.util.Set<E>>> shrink()  
      protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> shrinkElementsOneAfterTheOther()  
      protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> shrinkPairsOfElements()  
      protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> shrinkSizeOfList()  
      protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> sortElements()  
      java.lang.String toString()  
      C value()  

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface net.jqwik.api.Shrinkable

        asGeneric, compareTo, filter, flatMap, makeUnshrinkable, map, shrink

    • Field Detail

      • elements

        protected final java.util.List<net.jqwik.api.Shrinkable<E>> elements

      • minSize

        protected final int minSize

      • maxSize

        protected final int maxSize

    • Constructor Detail

      • ShrinkableSet

        public ShrinkableSet​(java.util.Set<net.jqwik.api.Shrinkable<E>> elements,
                     int minSize,
                     int maxSize)

    • Method Detail

      • shrink

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

      • hasReallyGrown

        protected boolean hasReallyGrown​(net.jqwik.api.Shrinkable<java.util.Set<E>> grownShrinkable)

      • value

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

      • grow

        public java.util.Optional<net.jqwik.api.Shrinkable<C>> grow​(net.jqwik.api.Shrinkable<?> before,
                                                            net.jqwik.api.Shrinkable<?> after)
        Specified by:
        grow in interface net.jqwik.api.Shrinkable<C>

      • grow

        public java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> grow()
        Specified by:
        grow in interface net.jqwik.api.Shrinkable<C>

      • shrinkSizeOfList

        protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> shrinkSizeOfList()

      • shrinkElementsOneAfterTheOther

        protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> shrinkElementsOneAfterTheOther()

      • shrinkPairsOfElements

        protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> shrinkPairsOfElements()

      • sortElements

        protected java.util.stream.Stream<net.jqwik.api.Shrinkable<C>> sortElements()

      • distance

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

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object