Package net.jqwik.engine.properties

Klasse RandomizedShrinkablesGenerator

java.lang.Object

net.jqwik.engine.properties.RandomizedShrinkablesGenerator

Alle implementierten Schnittstellen:

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

public class RandomizedShrinkablesGenerator
extends Object
implements ForAllParametersGenerator

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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()

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

forParameters

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

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

edgeCasesTotal

public int edgeCasesTotal()

Angegeben von:

edgeCasesTotal in Schnittstelle ForAllParametersGenerator

edgeCasesTried

public int edgeCasesTried()

Angegeben von:

edgeCasesTried in Schnittstelle ForAllParametersGenerator

reset

public void reset()

Angegeben von:

reset in Schnittstelle ForAllParametersGenerator