net.jqwik.engine.properties

Class ExhaustiveShrinkablesGenerator

java.lang.Object

net.jqwik.engine.properties.ExhaustiveShrinkablesGenerator

All Implemented Interfaces:

java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable>>, ShrinkablesGenerator

public class ExhaustiveShrinkablesGenerator
extends java.lang.Object
implements ShrinkablesGenerator

Method Summary

Modifier and Type	Method and Description
static ExhaustiveShrinkablesGenerator	forParameters(java.util.List<MethodParameter> parameters, ArbitraryResolver arbitraryResolver, long maxNumberOfSamples)
boolean	hasNext()
long	maxCount()
java.util.List<net.jqwik.api.Shrinkable>	next()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.jqwik.engine.properties.ShrinkablesGenerator

andThen

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Method Detail

forParameters

public static ExhaustiveShrinkablesGenerator forParameters(java.util.List<MethodParameter> parameters,
                                                           ArbitraryResolver arbitraryResolver,
                                                           long maxNumberOfSamples)

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable>>

next

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

Specified by:

next in interface java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable>>

maxCount

public long maxCount()