Package net.jqwik.engine.execution

Class AfterFailureParametersGenerator

java.lang.Object

net.jqwik.engine.execution.AfterFailureParametersGenerator

All Implemented Interfaces:

ParametersGenerator

public class AfterFailureParametersGenerator
extends Object
implements ParametersGenerator

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
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()

Methods inherited from class java.lang.Object

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

Constructor Details

AfterFailureParametersGenerator

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

Method Details

hasNext

public boolean hasNext()

Specified by:

hasNext in interface ParametersGenerator

next

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

Specified by:

next in interface ParametersGenerator

edgeCasesTotal

public int edgeCasesTotal()

Specified by:

edgeCasesTotal in interface ParametersGenerator

edgeCasesTried

public int edgeCasesTried()

Specified by:

edgeCasesTried in interface ParametersGenerator

generationInfo

public GenerationInfo generationInfo(String randomSeed)

Specified by:

generationInfo in interface ParametersGenerator

reset

public void reset()

Specified by:

reset in interface ParametersGenerator