Package net.jqwik.engine.properties

Class DataBasedShrinkablesGenerator

java.lang.Object

net.jqwik.engine.properties.DataBasedShrinkablesGenerator

All Implemented Interfaces:

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

public class DataBasedShrinkablesGenerator
extends Object
implements ForAllParametersGenerator

Constructor Summary

Constructors

Constructor	Description
DataBasedShrinkablesGenerator(List<MethodParameter> forAllParameters, Iterable<? extends net.jqwik.api.Tuple> data)

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
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

Constructor Details

DataBasedShrinkablesGenerator

public DataBasedShrinkablesGenerator(List<MethodParameter> forAllParameters,
 Iterable<? extends net.jqwik.api.Tuple> data)

Method Details

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