Package net.jqwik.engine.properties.shrinking

Class FlatMappedShrinkable<T,​U>

  • All Implemented Interfaces:
    java.lang.Comparable<net.jqwik.api.Shrinkable<U>>, net.jqwik.api.Shrinkable<U>
    Direct Known Subclasses:
    FixedValueFlatMappedShrinkable
    public class FlatMappedShrinkable<T,​U>
extends java.lang.Object
implements net.jqwik.api.Shrinkable<U>

    • Nested Class Summary

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

        net.jqwik.api.Shrinkable.ShrinkableFacade

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
        FlatMappedShrinkable​(net.jqwik.api.Shrinkable<T> toMap, java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> toArbitraryMapper, int genSize, long randomSeed)  
        FlatMappedShrinkable​(net.jqwik.api.Shrinkable<T> toMap, java.util.function.Function<T,​net.jqwik.api.RandomGenerator<U>> toGeneratorMapper, long randomSeed)  
      protected FlatMappedShrinkable​(net.jqwik.api.Shrinkable<T> toMap, java.util.function.Function<T,​net.jqwik.api.Shrinkable<U>> mapper)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.ShrinkingDistance distance()  
      boolean equals​(java.lang.Object o)  
      int hashCode()  
      java.util.stream.Stream<net.jqwik.api.Shrinkable<U>> shrink()  
      protected net.jqwik.api.Shrinkable<U> shrinkable()  
      java.lang.String toString()  
      U 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, grow, grow, makeUnshrinkable, map, shrink

    • Constructor Detail

      • FlatMappedShrinkable

        public FlatMappedShrinkable​(net.jqwik.api.Shrinkable<T> toMap,
                            java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> toArbitraryMapper,
                            int genSize,
                            long randomSeed)

      • FlatMappedShrinkable

        public FlatMappedShrinkable​(net.jqwik.api.Shrinkable<T> toMap,
                            java.util.function.Function<T,​net.jqwik.api.RandomGenerator<U>> toGeneratorMapper,
                            long randomSeed)

      • FlatMappedShrinkable

        protected FlatMappedShrinkable​(net.jqwik.api.Shrinkable<T> toMap,
                               java.util.function.Function<T,​net.jqwik.api.Shrinkable<U>> mapper)

    • Method Detail

      • shrink

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

      • value

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

      • shrinkable

        protected net.jqwik.api.Shrinkable<U> shrinkable()

      • distance

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

      • 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