Package net.jqwik.engine.properties

Klasse EdgeCasesGenerator

java.lang.Object

net.jqwik.engine.properties.EdgeCasesGenerator

Alle implementierten Schnittstellen:

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

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

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static int	calculateBaseToEdgeCaseRatio(int genSize, int countEdgeCases)
boolean	hasNext()
List<net.jqwik.api.Shrinkable<Object>>	next()

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Von Schnittstelle geerbte Methoden java.util.Iterator

forEachRemaining, remove

Methodendetails

calculateBaseToEdgeCaseRatio

public static int calculateBaseToEdgeCaseRatio(int genSize,
 int countEdgeCases)

hasNext

public boolean hasNext()

Angegeben von:

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

next

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

Angegeben von:

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