Package 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<java.lang.Object>>>, ForAllParametersGenerator

public class ExhaustiveShrinkablesGenerator
extends java.lang.Object
implements ForAllParametersGenerator

Method Summary

Modifier and Type	Method	Description
static ExhaustiveShrinkablesGenerator	forParameters(java.util.List<MethodParameter> parameters, ArbitraryResolver arbitraryResolver, long maxNumberOfSamples)
boolean	hasNext()
long	maxCount()
java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>	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.ForAllParametersGenerator

andThen, edgeCasesTotal, edgeCasesTried

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<java.lang.Object>>>

next

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

Specified by:

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

maxCount

public long maxCount()