Package net.jqwik.engine.properties.shrinking

Klasse ShrinkableString

java.lang.Object

net.jqwik.engine.properties.shrinking.ShrinkableString

Alle implementierten Schnittstellen:

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

public class ShrinkableString
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<Character>	elementArbitrary
protected final List<? extends net.jqwik.api.Shrinkable<Character>>	elements
protected final int	maxSize
protected final int	minSize
static final Set<FeatureExtractor<Character>>	UNIQUE_CHARS_EXTRACTOR
protected final Collection<? extends FeatureExtractor<Character>>	uniquenessExtractors

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ShrinkableString(List<? extends net.jqwik.api.Shrinkable<Character>> elements, int minSize, int maxSize, net.jqwik.api.Arbitrary<Character> characterArbitrary, boolean uniqueChars)

Methodenübersicht

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

UNIQUE_CHARS_EXTRACTOR

public static final Set<FeatureExtractor<Character>> UNIQUE_CHARS_EXTRACTOR

elements

protected final List<? extends net.jqwik.api.Shrinkable<Character>> elements

minSize

protected final int minSize

maxSize

protected final int maxSize

uniquenessExtractors

protected final Collection<? extends FeatureExtractor<Character>> uniquenessExtractors

elementArbitrary

protected final @Nullable net.jqwik.api.Arbitrary<Character> elementArbitrary

Konstruktordetails

ShrinkableString

public ShrinkableString(List<? extends net.jqwik.api.Shrinkable<Character>> elements,
 int minSize,
 int maxSize,
 net.jqwik.api.Arbitrary<Character> characterArbitrary,
 boolean uniqueChars)

Methodendetails

shrink

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

Angegeben von:

shrink in Schnittstelle net.jqwik.api.Shrinkable<String>

value

public String value()

Angegeben von:

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

grow

public Optional<net.jqwik.api.Shrinkable<String>> 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<String>> grow()

Angegeben von:

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

hasReallyGrown

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

shrinkSizeAggressively

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

shrinkSizeOfList

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

shrinkElementsOneAfterTheOther

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

shrinkPairsOfElements

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

sortElements

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