Package net.jqwik.engine.properties.shrinking

Class ShrinkableString

java.lang.Object

net.jqwik.engine.properties.shrinking.ShrinkableString

All Implemented Interfaces:

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

public class ShrinkableString
extends Object

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
protected final @Nullable net.jqwik.api.Arbitrary<Character>	elementArbitrary
protected final List<net.jqwik.api.Shrinkable<Character>>	elements
protected final int	maxSize
protected final int	minSize
protected final Collection<FeatureExtractor<Character>>	uniquenessExtractors

Constructor Summary

Constructors

Constructor	Description
ShrinkableString(List<net.jqwik.api.Shrinkable<Character>> elements, int minSize, int maxSize, net.jqwik.api.Arbitrary<Character> characterArbitrary)

Method Summary

Modifier and Type	Method	Description
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()

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, makeUnshrinkable, map

Field Details

elements

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

minSize

protected final int minSize

maxSize

protected final int maxSize

uniquenessExtractors

protected final Collection<FeatureExtractor<Character>> uniquenessExtractors

elementArbitrary

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

Constructor Details

ShrinkableString

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

Method Details

shrink

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

Specified by:

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

value

public String value()

Specified by:

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

grow

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

Specified by:

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

grow

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

Specified by:

grow in interface 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()

Specified by:

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

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object