Package net.jqwik.engine.execution

Klasse AfterFailureParametersGenerator

java.lang.Object

net.jqwik.engine.execution.AfterFailureParametersGenerator

Alle implementierten Schnittstellen:

ParametersGenerator

public class AfterFailureParametersGenerator
extends Object
implements ParametersGenerator

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
AfterFailureParametersGenerator(net.jqwik.api.AfterFailureMode afterFailureMode, GenerationInfo previousFailureGeneration, ParametersGenerator parametersGenerator)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
int	edgeCasesTotal()
int	edgeCasesTried()
GenerationInfo	generationInfo(String randomSeed)
boolean	hasNext()
List<net.jqwik.api.Shrinkable<Object>>	next(net.jqwik.api.lifecycle.TryLifecycleContext context)
void	reset()

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

AfterFailureParametersGenerator

public AfterFailureParametersGenerator(net.jqwik.api.AfterFailureMode afterFailureMode,
 GenerationInfo previousFailureGeneration,
 ParametersGenerator parametersGenerator)

Methodendetails

hasNext

public boolean hasNext()

Angegeben von:

hasNext in Schnittstelle ParametersGenerator

next

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

Angegeben von:

next in Schnittstelle ParametersGenerator

edgeCasesTotal

public int edgeCasesTotal()

Angegeben von:

edgeCasesTotal in Schnittstelle ParametersGenerator

edgeCasesTried

public int edgeCasesTried()

Angegeben von:

edgeCasesTried in Schnittstelle ParametersGenerator

generationInfo

public GenerationInfo generationInfo(String randomSeed)

Angegeben von:

generationInfo in Schnittstelle ParametersGenerator

reset

public void reset()

Angegeben von:

reset in Schnittstelle ParametersGenerator