Package net.jqwik.engine.properties

Klasse ExhaustiveShrinkablesGenerator

java.lang.Object

net.jqwik.engine.properties.ExhaustiveShrinkablesGenerator

Alle implementierten Schnittstellen:

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

public class ExhaustiveShrinkablesGenerator
extends Object
implements ForAllParametersGenerator

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static ExhaustiveShrinkablesGenerator	forParameters(List<MethodParameter> parameters, ArbitraryResolver arbitraryResolver, long maxNumberOfSamples)
boolean	hasNext()
long	maxCount()
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 net.jqwik.engine.properties.ForAllParametersGenerator

edgeCasesTotal, edgeCasesTried

Von Schnittstelle geerbte Methoden java.util.Iterator

forEachRemaining, remove

Methodendetails

forParameters

public static ExhaustiveShrinkablesGenerator forParameters(List<MethodParameter> parameters,
 ArbitraryResolver arbitraryResolver,
 long maxNumberOfSamples)

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

reset

public void reset()

Angegeben von:

reset in Schnittstelle ForAllParametersGenerator

maxCount

public long maxCount()