net.jqwik.engine.properties.shrinking

Class ShrinkableSet<E>

java.lang.Object

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

All Implemented Interfaces:

java.lang.Comparable<net.jqwik.api.Shrinkable<java.util.Set<E>>>, net.jqwik.api.Shrinkable<java.util.Set<E>>

public class ShrinkableSet<E>
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
ShrinkableSet(java.util.Set<net.jqwik.api.Shrinkable<E>> 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<java.util.Set<E>>	shrink(net.jqwik.api.Falsifier<java.util.Set<E>> falsifier)
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

compareTo, filter, flatMap, isSmallerThan, map, unshrinkable

Constructor Detail

ShrinkableSet

public ShrinkableSet(java.util.Set<net.jqwik.api.Shrinkable<E>> elements,
                     int minSize)

Method Detail

shrink

public net.jqwik.api.ShrinkingSequence<java.util.Set<E>> shrink(net.jqwik.api.Falsifier<java.util.Set<E>> falsifier)

Specified by:

shrink in interface net.jqwik.api.Shrinkable<java.util.Set<E>>

value

public C value()

Specified by:

value 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