Package net.jqwik.engine.properties.shrinking

Class FlatMappedShrinkable<T,U>

java.lang.Object
net.jqwik.engine.properties.shrinking.FlatMappedShrinkable<T,U>
All Implemented Interfaces:
Comparable<net.jqwik.api.Shrinkable<U>>, net.jqwik.api.Shrinkable<U>
Direct Known Subclasses:
FixedValueFlatMappedShrinkable
public class FlatMappedShrinkable<T,U> extends 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, Function<T,net.jqwik.api.Arbitrary<U>> toArbitraryMapper, int genSize, long randomSeed, boolean withEmbeddedEdgeCases)
     
     
    FlatMappedShrinkable(net.jqwik.api.Shrinkable<T> toMap, Function<T,net.jqwik.api.RandomGenerator<U>> toGeneratorMapper, long randomSeed)
     
    protected
    FlatMappedShrinkable(net.jqwik.api.Shrinkable<T> toMap, Function<T,net.jqwik.api.Shrinkable<U>> mapper)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.ShrinkingDistance
    distance()
     
    boolean
    equals(Object o)
     
    int
    hashCode()
     
    Stream<net.jqwik.api.Shrinkable<U>>
    shrink()
     
    protected net.jqwik.api.Shrinkable<U>
    shrinkable()
     
    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

  • Constructor Details

    • FlatMappedShrinkable

      public FlatMappedShrinkable(net.jqwik.api.Shrinkable<T> toMap, Function<T,net.jqwik.api.Arbitrary<U>> toArbitraryMapper, int genSize, long randomSeed, boolean withEmbeddedEdgeCases)

    • FlatMappedShrinkable

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

    • FlatMappedShrinkable

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

  • Method Details

    • shrink

      public 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(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object