Package net.jqwik.engine.properties

Class ExhaustiveShrinkablesGenerator

java.lang.Object

net.jqwik.engine.properties.ExhaustiveShrinkablesGenerator

All Implemented Interfaces:

Iterator<List<net.jqwik.api.Shrinkable<Object>>>, ForAllParametersGenerator

public class ExhaustiveShrinkablesGenerator
extends Object
implements ForAllParametersGenerator

Method Summary

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

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

edgeCasesTotal, edgeCasesTried

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Method Details

forParameters

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

hasNext

public boolean hasNext()

Specified by:

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

next

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

Specified by:

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

reset

public void reset()

Specified by:

reset in interface ForAllParametersGenerator

maxCount

public long maxCount()