Package net.jqwik.engine.properties.shrinking

Klasse ShrinkableSet<E extends @Nullable Object>

java.lang.Object

net.jqwik.engine.properties.shrinking.ShrinkableSet<E>

Alle implementierten Schnittstellen:

Comparable<net.jqwik.api.Shrinkable<Set<E>>>, net.jqwik.api.Shrinkable<Set<E>>

public class ShrinkableSet<E extends @Nullable Object>
extends Object

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Shrinkable

net.jqwik.api.Shrinkable.ShrinkableFacade

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
protected final @Nullable net.jqwik.api.Arbitrary<E>	elementArbitrary
protected final List<? extends net.jqwik.api.Shrinkable<E>>	elements
protected final int	maxSize
protected final int	minSize
protected final Collection<? extends FeatureExtractor<E>>	uniquenessExtractors

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ShrinkableSet(Collection<? extends net.jqwik.api.Shrinkable<E>> elements, int minSize, int maxSize, Collection<? extends FeatureExtractor<E>> uniquenessExtractors, @Nullable net.jqwik.api.Arbitrary<E> elementArbitrary)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
net.jqwik.api.ShrinkingDistance	distance()
boolean	equals(Object o)
Stream<net.jqwik.api.Shrinkable<Set<E>>>	grow()
Optional<net.jqwik.api.Shrinkable<Set<E>>>	grow(net.jqwik.api.Shrinkable<?> before, net.jqwik.api.Shrinkable<?> after)
int	hashCode()
protected boolean	hasReallyGrown(net.jqwik.api.Shrinkable<Set<E>> grownShrinkable)
Stream<net.jqwik.api.Shrinkable<Set<E>>>	shrink()
protected Stream<net.jqwik.api.Shrinkable<Set<E>>>	shrinkElementsOneAfterTheOther(int maxToShrink)
protected Stream<net.jqwik.api.Shrinkable<Set<E>>>	shrinkPairsOfElements()
protected Stream<net.jqwik.api.Shrinkable<Set<E>>>	shrinkSizeAggressively()
protected Stream<net.jqwik.api.Shrinkable<Set<E>>>	shrinkSizeOfList()
protected Stream<net.jqwik.api.Shrinkable<Set<E>>>	sortElements()
String	toString()
Set<E>	value()

Von Klasse geerbte Methoden java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Von Schnittstelle geerbte Methoden net.jqwik.api.Shrinkable

asGeneric, compareTo, filter, flatMap, makeUnshrinkable, map

Felddetails

elements

protected final List<? extends net.jqwik.api.Shrinkable<E extends @Nullable Object>> elements

minSize

protected final int minSize

maxSize

protected final int maxSize

uniquenessExtractors

protected final Collection<? extends FeatureExtractor<E extends @Nullable Object>> uniquenessExtractors

elementArbitrary

protected final @Nullable net.jqwik.api.Arbitrary<E extends @Nullable Object> elementArbitrary

Konstruktordetails

ShrinkableSet

public ShrinkableSet(Collection<? extends net.jqwik.api.Shrinkable<E>> elements,
 int minSize,
 int maxSize,
 Collection<? extends FeatureExtractor<E>> uniquenessExtractors,
 @Nullable net.jqwik.api.Arbitrary<E> elementArbitrary)

Methodendetails

shrink

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

Angegeben von:

shrink in Schnittstelle net.jqwik.api.Shrinkable<E extends @Nullable Object>

hasReallyGrown

protected boolean hasReallyGrown(net.jqwik.api.Shrinkable<Set<E>> grownShrinkable)

value

public Set<E> value()

Angegeben von:

value in Schnittstelle net.jqwik.api.Shrinkable<C>

grow

public Optional<net.jqwik.api.Shrinkable<Set<E>>> grow(net.jqwik.api.Shrinkable<?> before,
 net.jqwik.api.Shrinkable<?> after)

Angegeben von:

grow in Schnittstelle net.jqwik.api.Shrinkable<C>

grow

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

Angegeben von:

grow in Schnittstelle net.jqwik.api.Shrinkable<C>

shrinkSizeAggressively

protected Stream<net.jqwik.api.Shrinkable<Set<E>>> shrinkSizeAggressively()

shrinkSizeOfList

protected Stream<net.jqwik.api.Shrinkable<Set<E>>> shrinkSizeOfList()

shrinkElementsOneAfterTheOther

protected Stream<net.jqwik.api.Shrinkable<Set<E>>> shrinkElementsOneAfterTheOther(int maxToShrink)

shrinkPairsOfElements

protected Stream<net.jqwik.api.Shrinkable<Set<E>>> shrinkPairsOfElements()

sortElements

protected Stream<net.jqwik.api.Shrinkable<Set<E>>> sortElements()

distance

public net.jqwik.api.ShrinkingDistance distance()

Angegeben von:

distance in Schnittstelle net.jqwik.api.Shrinkable<C>

equals

public boolean equals(Object o)

Setzt außer Kraft:

equals in Klasse Object

hashCode

public int hashCode()

Setzt außer Kraft:

hashCode in Klasse Object

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object