Package net.jqwik.engine.properties.shrinking

Class CollectShrinkable<T>

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

  • Nested Class Summary

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

    net.jqwik.api.Shrinkable.ShrinkableFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    CollectShrinkable(List<net.jqwik.api.Shrinkable<T>> elements, Predicate<List<T>> until)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.ShrinkingDistance
    distance()
     
    Stream<net.jqwik.api.Shrinkable<List<T>>>
    shrink()
     
    List<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

  • Constructor Details

    • CollectShrinkable

      public CollectShrinkable(List<net.jqwik.api.Shrinkable<T>> elements, Predicate<List<T>> until)

  • Method Details

    • value

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

    • shrink

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

    • distance

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