Package net.jqwik.engine.execution

Klasse ResolvingParametersGenerator

java.lang.Object

net.jqwik.engine.execution.ResolvingParametersGenerator

Alle implementierten Schnittstellen:

ParametersGenerator

public class ResolvingParametersGenerator
extends Object
implements ParametersGenerator

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ResolvingParametersGenerator(List<MethodParameter> propertyParameters, ForAllParametersGenerator forAllParametersGenerator, net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook, net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext)

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

ResolvingParametersGenerator

public ResolvingParametersGenerator(List<MethodParameter> propertyParameters,
 ForAllParametersGenerator forAllParametersGenerator,
 net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook,
 net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext)

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