Package net.jqwik.engine.properties

Class EdgeCasesGenerator

java.lang.Object

net.jqwik.engine.properties.EdgeCasesGenerator

All Implemented Interfaces:

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

public class EdgeCasesGenerator
extends Object
implements Iterator<List<net.jqwik.api.Shrinkable<Object>>>

Method Summary

Modifier and Type	Method	Description
static int	calculateBaseToEdgeCaseRatio(int genSize, int countEdgeCases)
boolean	hasNext()
List<net.jqwik.api.Shrinkable<Object>>	next()

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

calculateBaseToEdgeCaseRatio

public static int calculateBaseToEdgeCaseRatio(int genSize,
 int countEdgeCases)

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