Package net.jqwik.engine.execution
Class ResolvingParametersGenerator
java.lang.Object
net.jqwik.engine.execution.ResolvingParametersGenerator
- All Implemented Interfaces:
ParametersGenerator
-
Constructor Summary
ConstructorsConstructorDescriptionResolvingParametersGenerator(List<MethodParameter> propertyParameters, ForAllParametersGenerator forAllParametersGenerator, net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook, net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext) -
Method Summary
Modifier and TypeMethodDescriptionintintgenerationInfo(String randomSeed) booleanhasNext()next(net.jqwik.api.lifecycle.TryLifecycleContext context) voidreset()
-
Constructor Details
-
ResolvingParametersGenerator
public ResolvingParametersGenerator(List<MethodParameter> propertyParameters, ForAllParametersGenerator forAllParametersGenerator, net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook, net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext)
-
-
Method Details
-
hasNext
public boolean hasNext()- Specified by:
hasNextin interfaceParametersGenerator
-
next
public List<net.jqwik.api.Shrinkable<Object>> next(net.jqwik.api.lifecycle.TryLifecycleContext context) - Specified by:
nextin interfaceParametersGenerator
-
edgeCasesTotal
public int edgeCasesTotal()- Specified by:
edgeCasesTotalin interfaceParametersGenerator
-
edgeCasesTried
public int edgeCasesTried()- Specified by:
edgeCasesTriedin interfaceParametersGenerator
-
generationInfo
- Specified by:
generationInfoin interfaceParametersGenerator
-
reset
public void reset()- Specified by:
resetin interfaceParametersGenerator
-