Package net.jqwik.engine.properties.shrinking

Class ChooseValueShrinkable<T>

java.lang.Object
net.jqwik.engine.properties.shrinking.AbstractValueShrinkable<T>
net.jqwik.engine.properties.shrinking.ChooseValueShrinkable<T>
All Implemented Interfaces:
Comparable<net.jqwik.api.Shrinkable<T>>, net.jqwik.api.Shrinkable<T>
public class ChooseValueShrinkable<T> extends AbstractValueShrinkable<T>

  • Nested Class Summary

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

    net.jqwik.api.Shrinkable.ShrinkableFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    ChooseValueShrinkable(T value, List<T> values)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.ShrinkingDistance
    distance()
     
    Stream<net.jqwik.api.Shrinkable<T>>
    grow()
     
    Stream<net.jqwik.api.Shrinkable<T>>
    shrink()
     

    Methods inherited from class net.jqwik.engine.properties.shrinking.AbstractValueShrinkable

    equals, hashCode, toString, 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, makeUnshrinkable, map

  • Constructor Details

    • ChooseValueShrinkable

      public ChooseValueShrinkable(T value, List<T> values)

  • Method Details

    • distance

      public net.jqwik.api.ShrinkingDistance distance()

    • shrink

      public Stream<net.jqwik.api.Shrinkable<T>> shrink()

    • grow

      public Stream<net.jqwik.api.Shrinkable<T>> grow()