net.jqwik.engine.properties.shrinking

Class ShrinkableString

java.lang.Object

net.jqwik.engine.properties.shrinking.ShrinkableString

All Implemented Interfaces:

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

public class ShrinkableString
extends java.lang.Object

Nested Class Summary

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

net.jqwik.api.Shrinkable.ShrinkableFacade

Constructor Summary

Constructors

Constructor and Description
ShrinkableString(java.util.List<net.jqwik.api.Shrinkable<java.lang.Character>> elements, int minSize)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.ShrinkingDistance	distance()
boolean	equals(java.lang.Object o)
int	hashCode()
net.jqwik.api.ShrinkingSequence<C>	shrink(net.jqwik.api.Falsifier<C> falsifier)
java.util.List<net.jqwik.api.Shrinkable<C>>	shrinkingSuggestions()
java.lang.String	toString()
C	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, isSmallerThan, map, unshrinkable, unshrinkable

Constructor Detail

ShrinkableString

public ShrinkableString(java.util.List<net.jqwik.api.Shrinkable<java.lang.Character>> elements,
                        int minSize)

Method Detail

value

public C value()

Specified by:

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

shrink

public net.jqwik.api.ShrinkingSequence<C> shrink(net.jqwik.api.Falsifier<C> falsifier)

Specified by:

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

shrinkingSuggestions

public java.util.List<net.jqwik.api.Shrinkable<C>> shrinkingSuggestions()

Specified by:

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

distance

public net.jqwik.api.ShrinkingDistance distance()

Specified by:

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

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object