Package net.jqwik.engine.properties.shrinking

Class LazyOfShrinkable<T>

java.lang.Object

net.jqwik.engine.properties.shrinking.LazyOfShrinkable<T>

All Implemented Interfaces:

Comparable<net.jqwik.api.Shrinkable<T>>, net.jqwik.api.Shrinkable<T>

public class LazyOfShrinkable<T>
extends Object
implements net.jqwik.api.Shrinkable<T>

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
final net.jqwik.api.Shrinkable<T>	current
final int	depth
final Set<LazyOfShrinkable<T>>	parts

Constructor Summary

Constructors

Constructor	Description
LazyOfShrinkable(net.jqwik.api.Shrinkable<T> current, int depth, Set<LazyOfShrinkable<T>> parts, Function<LazyOfShrinkable<T>,Stream<net.jqwik.api.Shrinkable<T>>> shrinker)

Method Summary

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

Field Details

current

public final net.jqwik.api.Shrinkable<T> current

depth

public final int depth

parts

public final Set<LazyOfShrinkable<T>> parts

Constructor Details

LazyOfShrinkable

public LazyOfShrinkable(net.jqwik.api.Shrinkable<T> current,
 int depth,
 Set<LazyOfShrinkable<T>> parts,
 Function<LazyOfShrinkable<T>,Stream<net.jqwik.api.Shrinkable<T>>> shrinker)

Method Details

value

public T value()

Specified by:

value in interface net.jqwik.api.Shrinkable<T>

shrink

public Stream<net.jqwik.api.Shrinkable<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>