Package net.jqwik.engine.properties

Class RandomizedShrinkablesGenerator

java.lang.Object

net.jqwik.engine.properties.RandomizedShrinkablesGenerator

All Implemented Interfaces:

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

public class RandomizedShrinkablesGenerator
extends Object
implements ForAllParametersGenerator

Method Summary

Modifier and Type	Method	Description
int	edgeCasesTotal()
int	edgeCasesTried()
static RandomizedShrinkablesGenerator	forParameters(List<MethodParameter> parameters, ArbitraryResolver arbitraryResolver, Random random, int genSize, net.jqwik.api.EdgeCasesMode edgeCasesMode)
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 java.util.Iterator

forEachRemaining, remove

Method Details

forParameters

public static RandomizedShrinkablesGenerator forParameters(List<MethodParameter> parameters,
 ArbitraryResolver arbitraryResolver,
 Random random,
 int genSize,
 net.jqwik.api.EdgeCasesMode edgeCasesMode)

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>>>

edgeCasesTotal

public int edgeCasesTotal()

Specified by:

edgeCasesTotal in interface ForAllParametersGenerator

edgeCasesTried

public int edgeCasesTried()

Specified by:

edgeCasesTried in interface ForAllParametersGenerator

reset

public void reset()

Specified by:

reset in interface ForAllParametersGenerator