Package net.jqwik.engine.properties

Class RandomizedShrinkablesGenerator

java.lang.Object

net.jqwik.engine.properties.RandomizedShrinkablesGenerator

All Implemented Interfaces:

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

public class RandomizedShrinkablesGenerator
extends java.lang.Object
implements ForAllParametersGenerator

Method Summary

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

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Method Detail

forParameters

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

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

edgeCasesTotal

public int edgeCasesTotal()

Specified by:

edgeCasesTotal in interface ForAllParametersGenerator

edgeCasesTried

public int edgeCasesTried()

Specified by:

edgeCasesTried in interface ForAllParametersGenerator